The behavior of essential dimension under specialization

Let A be a discrete valuation ring with generic point η and closed point s. We show that in a family of torsors over Spec(A), the essential dimension of the torsor above s is less than or equal to the essential dimension of the torsor above η. We give two applications of this result, one in mixed characteristic, the other in equal characteristic.

[1]  Zinovy Reichstein,et al.  Versality of algebraic group actions and rational points on twisted varieties , 2011, 1109.6093.

[2]  J. Bertin,et al.  Propriétés générales des schémas en groupes , 1970 .

[3]  G. Bresciani.  Essential dimension, pro-finite group schemes and anabelian geometry , 2019 .

[4]  Alexander Merkurjev,et al.  ESSENTIAL DIMENSION , 2015 .

[5]  A. Ledet.  On the Essential Dimension of p -Groups , 2004 .

[6]  Florian Pop,et al.  Little survey on large fields - old & new , 2014 .

[7]  Z. Reichstein,et al.  Essential Dimension in Mixed Characteristic , 2018, Documenta Mathematica.

[8]  Rijul Saini,et al.  Finite groups scheme actions and incompressibility of Galois covers: beyond the ordinary case , 2021, Documenta Mathematica.

[9]  G. Berhuy,et al.  Essential dimension: A functorial point of view (after A. Merkurjev) , 2003, Documenta Mathematica.

[10]  Z. Reichstein,et al.  Reduction of structure for torsors over semilocal rings , 2007, 0710.2064.

[11]  D. Tossici.  Essential dimension of group schemes over a local scheme , 2016, 1602.07187.

[12]  Z. Reichstein,et al.  Essential dimension and algebraic stacks , 2007, math/0701903.

[13]  J. Alper.  Adequate moduli spaces and geometrically reductive group schemes , 2010, 1005.2398.

[14]  L. Washington.  Galois Cohomology , 2018, Translations of Mathematical Monographs.

[15]  Alexander Merkurjev,et al.  Essential dimension: a survey , 2013 .

[16]  Resolving G-torsors by abelian base extensions , 2004, math/0404392.

[17]  Z. Reichstein,et al.  Essential dimension of finite groups in prime characteristic , 2017, 1801.00089.

[18]  Z. Reichstein,et al.  Essential dimension of extensions of finite groups by tori , 2021, Algebraic Geometry.

[19]  Jean-Louis Colliot-Thél.  Rational connectedness and Galois covers of the projective line , 2000 .

[20]  M. Florence.  Points rationnels sur les espaces homogenes et leurs compactifications , 2006 .

[21]  J. Buhler,et al.  On the essential dimension of a finite group , 1997, Compositio Mathematica.

[22]  Zinovy Reichstein,et al.  The behavior of essential dimension under specialization II , 2021, 2112.13298.

[23]  A. Ledet.  Finite groups of essential dimension one , 2007 .