The motivic nearby fiber and degeneration of stable rationality

Nicaise, Johannes; Shinder, Evgeny

doi:10.1007/s00222-019-00869-2

Cited by 40 publications

(71 citation statements)

References 52 publications

(101 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This formula is inspired by the formula (3.2.2) in [NS17]. Note that this map ρ is a not a ring homomorphism; a modified version which is a ring homomorphism will be described in Section 5.…”

Section: Specializationmentioning

confidence: 99%

“…This paper is inspired by the discovery by Larsen and Lunts [LL03] of a remarkable connection between motivic integration and stable rationality and by the recent development of these ideas by Nicaise and Shinder [NS17], who proved that stable rationality is preserved under specializations in smooth families. Our goal here is to simplify and strengthen their arguments, leading to the following: Theorem 1.…”

Section: Introductionmentioning

confidence: 99%

“…Throughout, we work over a field k of characteristic zero. In our approach, we replace the Grothendieck ring K 0 (Var k ) of varieties over k, which plays a key role in motivic integration and which is crucial in [NS17], by a new invariant, the Burnside ring of k, denoted by Burn(k).…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Specialization of birational types

Kontsevich

Tschinkel

2019

Invent. math.

View full text Add to dashboard Cite

Section: Specializationmentioning

confidence: 99%

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Specialization of birational types

Kontsevich

Tschinkel

2019

Invent. math.

View full text Add to dashboard Cite

“…B] (Chow functors in case char(k) > 0 [34, §3]) shows that the k-points whose fibers admit a Chow decomposition of the diagonal occupy a countable union of closed subsets of B. An alternative approach, bypassing Chow groups, appears in recent work [54], [40]. We return to Theorem 1.4, with char(k) = 2, 3, and smooth degree 2 del Pezzo surface S.…”

Section: Local Analysis IImentioning

confidence: 99%

Models of Brauer-Severi surface bundles

Kresch¹,

Tschinkel²

2019

MMJ

View full text Add to dashboard Cite

This paper is motivated by the study of rationality properties of Mori fiber spaces. These are algebraic varieties, naturally occurring in the minimal model program, typically via contractions along extremal rays; they are fibrations with geometrically rational generic fiber. Widely studied are conic bundles π : X → S, when the generic fiber is a conic. According to the Sarkisov program [60], there exists a birational modification/ / S such that: (i) the general fiber ofπ is a smooth conic, (ii) the discriminant divisor ofπ is a simple normal crossing divisor, (iii) generally along the discriminant divisor, the fiber is a union of two lines, and (iv) over the singular locus of the discriminant divisor, the fiber is a double line in the plane.Rationality of conic bundles over surfaces has been classically studied by Artin and Mumford [11], who produced examples of nonrational unirational threefolds of this type, computing their Brauer groups and using its nontriviality as an obstruction to rationality. This was generalized to higher-dimensional quadric bundles in [20], bringing higher unramified cohomology into the subject and providing further examples of nonrational varieties based on these new obstructions.The specialization method, introduced by Voisin [64] and developed further by Colliot-Thélène-Pirutka [21], emerged as a powerful tool in the study of stable rationality. It allows to relate the failure of stable rationality of a very general member of a flat family to the existence of special fibers with nontrivial unramified cohomology and mild singularities; see also [13], [63]. In particular, the stable rationality problem for very general smooth rationally connected threefolds can be reduced to the case of conic bundles over rational surfaces [35], [42]. The case of very general families of conic bundles over rational surfaces is treated in [34].Date: August 20, 2017. 1 PreliminariesWe start with some algebraic results that will be used in our approach. Let k be a field. By a variety over k we mean a geometrically integral separated finite-type scheme over k. We will need, however, the generality of locally Noetherian schemes and Deligne-Mumford stacks. This additional generality allows us to construct models of Brauer-Severi bundles in which all of the fibers are smooth. This comes at the cost of imposing nontrivial stack structure on the base.2.1. Deligne-Mumford stacks. Deligne and Mumford [24] defined a class of stacks which includes all stack quotients of the form [X/G], where X is a variety and G a finite group, and which are now called Deligne-Mumford stacks. The stack [X/G] differs from the conventional quotient X/G (which exists as a variety, e.g., when X is quasi-projective) in that it keeps track of the stabilizers of the G-action. A further advantage is that

show abstract

“…A new ingredient is a variant of the standard elementary transformation of vector bundles. This is needed to apply the specialization method, which was introduced by Voisin [15] and developed further in [6], [14], [11] and which tells us that in a family where one (mildly singular) member has an obstruction to stable rationality, the very general member fails to be stably rational. In our case, the family is a family of Brauer-Severi surface bundles, where one member has nontrivial 3-torsion in its unramified Brauer group.…”

Section: Introductionmentioning

confidence: 99%