On a descent conjecture of Wittenberg

1. Problem Statement and Context

The Core Problem:
The paper addresses the Inverse Galois Problem, which asks whether every finite group $G$ can be realized as a Galois group over some number field $k$. A major strategy to solve this involves the Weak Approximation Property for algebraic varieties. Specifically, the paper focuses on Conjecture 1.1 (Colliot-Thélène), which posits that for a rationally connected smooth variety $X$ over a number field $k$, the set of rational points $X(k)$ is dense in the set of adelic points $X(\mathbb{A}_k)$ restricted by the Brauer–Manin obstruction (denoted $X(\mathbb{A}_k)^{\text{Br}}$).

The Specific Conjecture:
The paper targets Wittenberg's Descent Conjecture (Conjecture 1.3). It asks: If $f: Y \to X$ is a torsor under a linear algebraic group $G$ where $Y$ is rationally connected, and if all twists $\sigma Y$ of the torsor satisfy the weak approximation property with Brauer–Manin obstruction, does the base variety $X$ also satisfy this property?

Previous Status:

• The conjecture was known for $G$ being a torus (Colliot-Thélène–Sansuc, Harpaz–Wittenberg).
• Recently, Linh (2026) proved it for any connected linear group $G$ using Harpaz–Wittenberg's descent method and Borovoi's abelianization machinery.
• Gap: The existing proofs rely on specific machinery. Tian aims to provide an alternative proof under potentially weaker or more structural assumptions, utilizing the invariant Brauer subgroup introduced by Cao.

---

2. Methodology

The paper employs a descent method refined by Cao's descent formula. The methodology proceeds through the following technical steps:

A. Twisting of Torsors

The author utilizes the standard twisting technique. For a $G$-torsor $Y \to X$ and a cohomology class $[\sigma] \in H^1(k, G)$, a twisted torsor $\sigma Y$ is constructed. The goal is to relate the arithmetic of $X$ to the union of the arithmetic of all its twists $\sigma Y$.

B. The Invariant Brauer Subgroup

A central tool is the invariant Brauer subgroup $Br_G(X)$, defined for a variety $X$ with a $G$-action.

• Definition: $Br_G(X) = \{ b \in Br(X) \mid (\rho^*(b) - p_2^*(b)) \in p_1^* Br(G) \}$.
• Key Proposition (2.2): If the abelianized fundamental group of the geometric fiber is trivial ($\pi_1(X_{\bar{k}})^{ab} = 0$), then the invariant Brauer subgroup coincides with the full Brauer group ($Br_G(X) = Br(X)$). This simplifies the analysis significantly for rationally connected varieties.

C. Cao's Descent Formula

The core engine of the proof is Cao's Descent Formula (Theorem 3.4, based on Cao [2018]).

• It establishes an equality between the Brauer–Manin set of the base $X$ and the union of the images of the Brauer–Manin sets of the twisted torsors $\sigma Y$.
• Formula:
  $$X(\mathbb{A}_k)^A = \bigcup_{[\sigma] \in H^1(k, G)} \sigma f \left( \sigma Y(\mathbb{A}_k)^{B_\sigma + \sigma f^*(A)} \right)$$
  Where $A$ and $B_\sigma$ are specific subgroups of the Brauer groups of $X$ and $\sigma Y$, respectively.

D. Application of Harari's Formal Lemma

The author uses Harari's Formal Lemma to bridge the gap between adelic points and local points. This lemma allows the identification of the Brauer–Manin set defined by a finite subgroup of the Brauer group with the closure of the rational points, provided certain finiteness conditions are met.

---

3. Key Contributions and Results

Main Theorem (Theorem 1.4 / Theorem 4.3)

The paper proves a general descent formula for a smooth geometrically integral $k$-variety $X$ with a $G$-torsor $f: Y \to X$.
Assumptions:

1. $Y^c$ (a smooth compactification of $Y$) satisfies $\pi_1(Y^c_{\bar{k}})^{ab} = 0$.
2. The quotient $Br(Y^c) / \text{Im}(Br(k))$ is finite.

Conclusion:
$$X(\mathbb{A}_k)^{\text{Br}} = \bigcup_{[\sigma] \in H^1(k, G)} \overline{\sigma f \left( \sigma Y(\mathbb{A}_k)^{\text{Br}} \right)}$$
(Where the bar denotes closure in the product topology).

Corollary 4.4 (Proof of Wittenberg's Conjecture):
If $Y$ is rationally connected, the assumptions of the Main Theorem are automatically satisfied (due to properties of rationally connected varieties: trivial fundamental group and finite Brauer group modulo constants).
Therefore, if all twists $\sigma Y$ satisfy weak approximation with Brauer–Manin obstruction, then $X$ also satisfies weak approximation with Brauer–Manin obstruction.

Technical Innovations

1. Alternative Proof: Unlike the previous proof by Linh which used abelianization machinery, this proof relies on Cao's invariant Brauer subgroup and the specific descent formula for adelic points.
2. Simplification of Conditions: The proof demonstrates that for rationally connected $Y$, the complex condition (†) in Cao's general theorem simplifies naturally because the relevant Brauer groups become invariant and finite modulo constants.
3. Finiteness Lemmas: The paper establishes (Lemma 4.2) that for a connected linear group $G$, the Picard group $Pic(G)$ and the kernel of the map $Br(X) \to Br(Y)$ are finite. This finiteness is crucial for applying Harari's lemma to ensure the Brauer–Manin obstruction is determined by a finite subgroup.

---

4. Significance

• Resolution of a Conjecture: The paper provides a complete proof of Wittenberg's Descent Conjecture, a critical step in the programmatic approach to the Inverse Galois Problem via arithmetic geometry.
• Methodological Shift: By utilizing Cao's invariant Brauer subgroup, the paper offers a distinct and potentially more flexible framework for studying descent problems. It highlights the power of the invariant Brauer subgroup in handling torsors over non-abelian groups without relying solely on abelianization.
• Implications for Inverse Galois Problem: Since the Inverse Galois Problem can be reduced to proving weak approximation for specific torsors (versal torsors), this result strengthens the theoretical foundation that if the "twisted" versions of these torsors behave well arithmetically, the base variety (and thus the group realization) will also behave well.
• Generalization: The result applies to any connected linear group $G$, extending the scope beyond tori and providing a unified treatment for rationally connected torsors.

In summary, Yisheng Tian's paper successfully validates Wittenberg's conjecture by leveraging Cao's descent formula and the properties of the invariant Brauer subgroup, offering a robust alternative to existing proofs and advancing the arithmetic theory of rationally connected varieties.