Conics in the Grothendieck ring.

*(English)*Zbl 1082.14022Let \(K_0(\text{Var}_k)\) denote the Grothendieck ring of algebraic \(k\)-schemes, with addition and multiplication given by disjoint sums and products, respectively. This paper computes the subring generated by the smooth conics \(C\subset\mathbb P^2\), which are the 1-dimensional Severi–Brauer varieties. There is a technical assumption on the ground field \(k\), but number fields, functions fields of complex surfaces, and more generally \(C_2\)-fields are allowed.

To describe the result, let \(G\) be a finite subgroup inside the 2-torsion of the Brauer group \(\text{Br}(k)\). Choose a basis \(C_1,\ldots,C_n\in G\) consisting of smooth conics, where \(G\) is regarded as vector space over the field with two elements, and let \(C(G)=[C_1\times\ldots\times C_n]\) be the class in the Grothendieck ring. Then the subring of the Grothendieck ring generated by smooth conics is the free abelian group generated by elements of the form \(C(G) \cdot [\mathbb P^1]^m\), for varying \(G\) and \(m\). There is also an explicit formula for multiplication.

The computation depends on another result of the paper, which characterizes when two schemes of the form \(C_1\times\ldots\times C_n\) and \(C'_1\times\ldots\times C'_{n'}\), where all factors are smooth conics, have the same class in the Grothendieck ring. It turns out that this holds if and only if the following equivalent conditions hold: The two schemes are (1) birational, (2) stably birational, or (3) we have \(n=n'\) and the subgroups of the Brauer groups generated by the factors \(C_1,\ldots,C_n\) and \(C_1',\ldots, C'_n\) are the same.

The proofs are based on work of M. Larsen and V. A. Lunts [Mosc. Math. J. 3, 85–95 (2003; Zbl 1056.14015)], and a nice geometric description of the Brauer product of two smooth conics \(C_1,C_2\) as a subscheme of the Hilbert scheme of divisors on \(C_1\times C_2\) of bidegree (1,1).

To describe the result, let \(G\) be a finite subgroup inside the 2-torsion of the Brauer group \(\text{Br}(k)\). Choose a basis \(C_1,\ldots,C_n\in G\) consisting of smooth conics, where \(G\) is regarded as vector space over the field with two elements, and let \(C(G)=[C_1\times\ldots\times C_n]\) be the class in the Grothendieck ring. Then the subring of the Grothendieck ring generated by smooth conics is the free abelian group generated by elements of the form \(C(G) \cdot [\mathbb P^1]^m\), for varying \(G\) and \(m\). There is also an explicit formula for multiplication.

The computation depends on another result of the paper, which characterizes when two schemes of the form \(C_1\times\ldots\times C_n\) and \(C'_1\times\ldots\times C'_{n'}\), where all factors are smooth conics, have the same class in the Grothendieck ring. It turns out that this holds if and only if the following equivalent conditions hold: The two schemes are (1) birational, (2) stably birational, or (3) we have \(n=n'\) and the subgroups of the Brauer groups generated by the factors \(C_1,\ldots,C_n\) and \(C_1',\ldots, C'_n\) are the same.

The proofs are based on work of M. Larsen and V. A. Lunts [Mosc. Math. J. 3, 85–95 (2003; Zbl 1056.14015)], and a nice geometric description of the Brauer product of two smooth conics \(C_1,C_2\) as a subscheme of the Hilbert scheme of divisors on \(C_1\times C_2\) of bidegree (1,1).

Reviewer: Stefan Schröer (Düsseldorf)

##### MSC:

14F22 | Brauer groups of schemes |

14G27 | Other nonalgebraically closed ground fields in algebraic geometry |

Full Text:
DOI

##### References:

[1] | Abramovich, D.; Karu, K.; Matsuki, K.; Włodarczyk, J., Torification and factorization of birational maps, J. amer. math. soc., 15, 3, 531-572, (2002) · Zbl 1032.14003 |

[2] | A.A. Albert, Structure of Algebras, AMS Colloquium Publications, vol. 24, AMS, New York, 1939. · Zbl 0023.19901 |

[3] | Amitsur, S., Generic splitting fields of central simple algebras, Ann. math., 62, 8-43, (1955) · Zbl 0066.28604 |

[4] | M. Artin, Brauer-Severi varieties, in: Brauer Groups in Ring Theory and Algebraic Geometry (Wilrijk, 1981), Lecture Notes in Mathematics, vol. 917, Springer, Berlin, 1982, pp. 194-210. |

[5] | Larsen, M.; Lunts, V., Motivic measures and stable birational geometry, Moscow. math. J., 3, 85-95, (2003) · Zbl 1056.14015 |

[6] | Poonen, B., The Grothendieck ring of varieties is not a domain, Math. res. lett., 9, 493-497, (2003) · Zbl 1054.14505 |

[7] | Sarkisov, V.G., On conic bundle structures, Izv. akad. nauk SSSR ser. mat., 46, 2, 371-408, (1982), (in Russian) · Zbl 0593.14034 |

[8] | Serre, J.-P., Local fields, () |

This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.