The behavior of essential dimension under specialization

Basic Information

• Paper ID: 2112.12840
• Title: The behavior of essential dimension under specialization
• Authors: Zinovy Reichstein, Federico Scavia
• Classification: math.AG (Algebraic Geometry)
• Published Journal: Épijournal de Géométrie Algébrique, Volume 6 (2022), Article No. 21
• Paper Link: https://arxiv.org/abs/2112.12840

Abstract

Let $A$ be a discrete valuation ring with generic point $η$ and closed point $s$. The authors prove that for a family of principal homogeneous spaces over $\operatorname{Spec}(A)$, the essential dimension of the principal homogeneous space at the closed point $s$ is less than or equal to the essential dimension at the generic point $η$. The paper provides two applications of this result, one in the mixed characteristic case and another in the equal characteristic case.

Research Background and Motivation

Core Problem

This paper investigates the behavior of essential dimension under specialization. Specifically, when we have an algebraic group $G$ defined over a discrete valuation ring $A$ and a corresponding family of principal homogeneous spaces, we seek to understand the relationship between the essential dimensions of the generic and special fibers.

Significance

1. Theoretical Importance: Essential dimension is a crucial invariant in algebraic geometry for measuring the complexity of objects. Understanding its behavior under deformation is important for theoretical development.
2. Applied Value: This result has important applications in arithmetic geometry, algebraic group theory, and other fields.
3. Connecting Different Characteristics: The study of both mixed characteristic and equal characteristic cases reveals deep connections between algebraic structures over fields of different characteristics.

Limitations of Existing Research

Prior to this work, systematic research on the behavior of essential dimension under specialization was relatively lacking, particularly in cases requiring treatment of different characteristics, where a unified theoretical framework was absent.

Core Contributions

1. Main Theorem: Proves the monotonicity of essential dimension under specialization: $\text{ed}_{k_0}(\alpha_{K_0}) \leq \text{ed}_k(\alpha_K)$
2. Technical Innovation: Develops new methods for handling principal homogeneous spaces over complete discrete valuation rings
3. Application Results:
   • Extends essential dimension inequalities for split reductive groups to the mixed characteristic case
   • Establishes monotonicity theorems for essential dimension of $G$-varieties
4. Methodological Contribution: Combines Galois cohomology methods with valuation theory techniques

Detailed Methodology

Problem Setup

Let $A$ be a complete discrete valuation ring with maximal ideal $m$, fraction field $k$, and residue field $k_0$. Let $G$ be a smooth affine group scheme over $A$, and $R \supset A$ be a complete discrete valuation ring with fraction field $K \supset k$ and residue field $K_0 \supset k_0$. For $\alpha \in H^1(R,G)$, we study the relationship between $\text{ed}_{k_0}(\alpha_{K_0})$ and $\text{ed}_k(\alpha_K)$.

Core Theorem Framework

Theorem 1.2: Under one of the following conditions, we have $\text{ed}_{k_0}(\alpha_{K_0}) \leq \text{ed}_k(\alpha_K)$:

(i) $p = 0$, there exist a section $\sigma: k_0 \to A$ and a $k_0$-group $H$ such that $G \cong \sigma^*H$

(ii) $G^{\circ}$ is reductive, $G/G^{\circ}$ is $A$-finite, there exists a finite subgroup $S \subset G(A)$ that is tame at $p$ and for each field $L$ containing $k$, the natural map $H^1(L,S) \to H^1(L,G)$ is surjective

(iii) $G = S_A$, where $S$ is an abstract finite group that is weakly tame at $p$

Technical Methods

Galois Cohomology Method (Cases (i) and (ii))

1. Completion Techniques: Utilize properties of complete discrete valuation rings to simplify the problem through completion
2. Section Construction: In case (i), use Cohen's structure theorem to construct sections
3. Reduction to Constant Groups: In case (ii), exploit the existence of finite subgroups

Valuation Theory Method (Case (iii))

1. Finite Étale Algebras: Represent principal homogeneous spaces as finite étale $R$-algebras
2. Galois Action Analysis: Analyze the action of finite groups on residue fields
3. Weak Tameness Condition: Utilize weak tameness conditions to ensure method effectiveness

Technical Innovations

1. Unified Framework: First systematic treatment of mixed characteristic and equal characteristic cases within a unified framework
2. Handling Completeness Assumptions: Develops techniques to remove completeness assumptions (Theorem 6.4)
3. Application of Big Field Theory: Introduces big field concepts in the study of $G$-varieties

Experimental Setup

This is a pure theoretical mathematics paper with no numerical experiments. Rather, it verifies theoretical results through rigorous mathematical proofs.

Verification Methods

1. Constructive Proofs: Prove main inequalities through explicit constructions
2. Counterexample Analysis: Section 9 provides counterexamples showing the boundaries of the theory
3. Application Verification: Verify theoretical effectiveness through concrete applications

Main Results

Core Inequality

For group schemes $G$ satisfying the conditions, we have: $\text{ed}_{k_0}(\alpha_{K_0}) \leq \text{ed}_k(\alpha_K)$

Application Results

Theorem 1.5 (Split Reductive Groups)

Let $G$ be a split reductive group scheme of rank $r > 0$ with Weyl group $W$. If $p$ does not divide $2^r|W|$ and $k_0$ contains the algebraic closure of $\mathbb{F}_p$, then: $\text{ed}_k(G_k) \geq \text{ed}_{k_0}(G_{k_0})$

Theorem 1.6 (Essential Dimension of $G$-Varieties)

Under appropriate conditions, if there exists a $G$-equivariant rational map $f: Y \dashrightarrow X$, then: $\text{ed}_k(X) \geq \text{ed}_k(Y)$

Counterexamples and Boundaries

Section 9 proves that when $G$ is a finite $p$-group, the main results may fail, illustrating the boundaries of the theory.

Related Work

Essential Dimension Theory

• Work of Merkurjev et al.: Establishes the foundational framework of essential dimension theory
• Brosnan-Reichstein-Vistoli: Essential dimension theory on algebraic stacks
• Essential dimension of finite groups: Classical results by Ledet, Buhler-Reichstein, and others

Specialization Theory

• Specialization in Algebraic Geometry: Classical theory from the Grothendieck school
• Applications in Arithmetic Geometry: Applications by Lang, Serre, and others

Innovation of This Paper

Compared to existing work, this paper is the first to systematically investigate the behavior of essential dimension under specialization, particularly with novel results in the mixed characteristic case.

Conclusions and Discussion

Main Conclusions

1. Establishes fundamental inequalities for essential dimension under specialization
2. Proves characteristic comparison for essential dimension of split reductive groups
3. Develops comparison theory for essential dimension of $G$-varieties

Limitations

1. Technical Conditions: Requires groups to satisfy specific tameness conditions
2. Completeness Assumptions: While removable, proofs become more complex
3. Characteristic Restrictions: Additional technical conditions needed in positive characteristic

Future Directions

1. Problem 1.3: Can the "tame" condition in (ii) be weakened to "weakly tame"?
2. Stack Theory Extensions: Generalize results to more general algebraic stacks
3. Computational Aspects: Develop practical algorithms for computing essential dimension

In-Depth Evaluation

Strengths

1. Theoretical Depth: Combines deep theories from multiple mathematical branches
2. Technical Innovation: Develops new proof techniques and methods
3. Broad Applications: Results have important applications in multiple fields
4. Clear Exposition: Well-structured paper with rigorous proofs

Weaknesses

1. Technical Threshold: Requires deep background in algebraic and arithmetic geometry
2. Complex Conditions: Main results require numerous technical conditions
3. Computational Difficulty: Limited practical computational applications of theoretical results

Impact

1. Theoretical Contribution: Adds important new results to essential dimension theory
2. Methodological Value: Developed techniques have broad application potential
3. Subsequent Research: Has already inspired multiple follow-up research projects

Applicable Scenarios

1. Arithmetic Geometry: Study arithmetic properties of algebraic groups and principal homogeneous spaces
2. Algebraic Geometry: Understand geometric properties of families of algebraic varieties
3. Representation Theory: Investigate essential dimension problems in group representations

References

The paper includes 28 important references covering classical and recent results in essential dimension theory, algebraic group theory, arithmetic geometry, and related fields, providing readers with comprehensive bibliographic background.