Separable Pseudo-reductive Bands with Applications to Rational Points

Basic Information

• Paper ID: 2510.12973
• Title: Separable Pseudo-reductive Bands with Applications to Rational Points
• Author: Azur Donlagić
• Classification: math.NT (Number Theory), math.AG (Algebraic Geometry)
• Submission Date: October 14, 2024 (arXiv submission)
• Paper Link: https://arxiv.org/abs/2510.12973

Abstract

This paper extends the Borovoi-Springer Galois-theoretic interpretation of algebraic bands to a class of étale locally representable bands on the fppf site over arbitrary fields $k$, termed separable bands. It is proven that when $[k : k^p] = p$, bands represented by pseudo-reductive groups are globally representable, with counterexamples provided for the general case.

When $k$ is a global or local field, the author generalizes Borovoi's abelianization theory to separable bands represented by smooth connected algebraic groups. As an application, it is proven that for homogeneous spaces of pseudo-reductive groups with smooth connected geometric stabilizers, the Brauer-Manin obstruction is the only obstruction to the Hasse principle.

Research Background and Motivation

Problem Background

1. Development of Band Theory: Giraud introduced the concept of "bands" (lien) on sites in the 1960s, defined as objects locally represented by group sheaves with gluing data determined up to inner automorphisms. Springer simultaneously defined analogous "kernels" in the framework of Galois cohomology.
2. Necessity of Continuity Conditions: Borovoi recognized the need for continuity conditions and incorporated them into the definition of algebraic kernels in 1993. This definition was later refined by Flicker, Scheiderer, and Sujatha to be completely equivalent to Giraud's algebraic bands.
3. Challenges in Positive Characteristic: In positive characteristic, there exist the following types of algebraic groups for which the reductivity assumption is difficult to remove:
   • Non-split nilpotent algebraic groups
   • Non-reduced pseudo-reductive groups
   • Non-smooth algebraic groups (requiring fppf cohomology rather than étale cohomology)

Research Motivation

This paper is motivated by the study of the Hasse principle for homogeneous spaces. Borovoi developed abelianization theory for connected affine bands over number fields and applied it to the study of the Hasse principle for homogeneous spaces. However, in positive characteristic, the existence of pseudo-reductive groups necessitates a more refined theory.

Core Contributions

1. Introduction of Separable Bands: Defines a class of "separable bands" intermediate between étale bands and fppf bands, which are locally representable over some finite separable extension, with any two such representations isomorphic over a common finite separable extension.
2. Global Representability Theorem: Proves that when $[k : k^p] = p$, every étale band represented by a pseudo-reductive group is globally representable (Theorem 3.3.3 and Corollary 3.3.5).
3. Generalization of Abelianization Theory: Extends Borovoi's abelianization theory to smooth connected affine separable bands (Theorem 4.3.4).
4. Uniqueness of Brauer-Manin Obstruction: Proves that for homogeneous spaces of pseudo-reductive groups with smooth connected geometric stabilizers, the Brauer-Manin obstruction is the only obstruction to the Hasse principle (Theorem 5.3.1).

Methodology in Detail

Core Research Tasks

This paper addresses the following core tasks:

1. Extending algebraic band theory on the étale site to the fppf site
2. Studying global representability of bands represented by pseudo-reductive groups
3. Developing corresponding abelianization theory
4. Applying the theory to rational point problems for homogeneous spaces

Main Technical Framework

1. Definition of Separable Bands

A separable band $(G, \kappa)$ is an algebraic group $G$ over $k_s$ equipped with a homomorphism: $\kappa : \text{Gal}(k_s/k) \to \frac{\text{SAut}(G/k)}{(F/Z_F)(k_s)}$ satisfying $H^1(k_s, G/Z_G) = 1$, with $\kappa$ admitting a continuous lift.

2. Proof Strategy for Global Representability

Using the structure theory of pseudo-reductive groups, the problem is reduced to two main cases:

• Completely Non-reduced Case (Lemma 3.2.1): Utilizing the map to symplectic groups
• Generalized Standard Case (Lemma 3.2.2): Utilizing known results for reductive groups

3. Abelianization Theory

For a smooth connected affine separable band $L = (G, \kappa)$, an abelianization map is constructed: $\text{ab}_2 : H^2(k, L) \to H^2(k, L^{\text{ab}})$ where $L^{\text{ab}}$ is the maximal abelian quotient of $L$.

Technical Innovations

1. Separable Band Concept: Cleverly combines the Galois-theoretic description of étale bands with the geometric properties of fppf bands.
2. Structure Theory on Imperfect Fields: Fully exploits the condition $[k : k^p] = p$, allowing reduction of problems involving infinite Galois extensions to finite extensions.
3. Čech Cohomology Methods: Develops Čech cohomology theory for algebraic bands, particularly its application in fppf topology.

Experimental Setup

Theoretical Verification

This paper is primarily theoretical work, with results verified through:

1. Counterexample Construction: Example 3.1.6 constructs a counterexample showing failure of global representability when $[k : k^p] > p$.
2. Explicit Computations: Example A.1.6 computes specific properties of the standard pseudo-reductive group $R(\text{GL}_{p^n})$.
3. Comparison with Known Results: Proves that the theory reduces to the known Borovoi theory in the reductive case.

Experimental Results

Main Theorems

Theorem 3.3.3: Let $k$ be a field satisfying $[k : k^p] = p$, and $G$ a pseudo-reductive group over $k_s$. Then every étale band of the form $(G, \kappa)$ over $k$ is globally representable.

Theorem 4.3.4: Let $k$ be a local or global field in positive characteristic, and $L = (G, \kappa)$ a smooth connected separable band over $k$. Then the sequence $N^2(k, L) \hookrightarrow H^2(k, L) \xrightarrow{\text{ab}_2} H^2(k, L^{\text{ab}})$ is exact.

Theorem 5.3.1: Let $G$ be an affine algebraic group that is an extension of a pseudo-reductive group by a split nilpotent group. Let $X$ be a homogeneous space of $G$ with smooth connected geometric stabilizer. Then the Brauer-Manin obstruction given by $B(X)$ is the only obstruction to the Hasse principle on $X$.

Important Corollaries

As corollaries, generalizations of Demarche-Harari results to the function field case are obtained, removing the reductivity assumption.

Related Work

Historical Development

1. Giraud (1960s): Introduced the concept of bands on sites
2. Springer (1966): Defined kernels in Galois cohomology
3. Borovoi (1993): Incorporated continuity conditions, developed abelianization theory
4. Flicker-Scheiderer-Sujatha (1998): Refined continuity definition
5. Demarche-Lucchini Arteche (2019): Proved equivalence

Innovations of This Paper

The main innovations of this paper compared to existing work are:

1. Handling technical difficulties in positive characteristic
2. Introduction of the new concept of separable bands
3. Generalization of theory to the pseudo-reductive group setting

Conclusions and Discussion

Main Conclusions

1. On fields with imperfect degree 1, bands represented by pseudo-reductive groups possess good global representability
2. Borovoi's abelianization theory can be generalized to more general settings
3. For a broad class of homogeneous spaces, the Brauer-Manin obstruction is the only obstruction to the Hasse principle

Limitations

1. Field Restrictions: Main results require $[k : k^p] = p$, excluding many imperfect fields
2. Technical Complexity: Use of fppf topology introduces additional technical difficulties
3. Smoothness Assumptions: Some results still require smoothness assumptions

Future Directions

1. Study the case of more general imperfect fields
2. Consider non-affine groups
3. Develop more general abelianization theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Successfully generalizes classical theory to the difficult positive characteristic setting
2. Technical Innovation: The introduction of separable bands is highly insightful
3. Application Value: Important applications to rational point theory
4. Clear Structure: Well-organized paper with clear logical flow

Weaknesses

1. High Technical Barrier: Requires extensive background in algebraic geometry and number theory
2. Limited Scope of Application: Applicability conditions for main results are quite restrictive
3. Computational Complexity: Some proofs involve complex Čech cohomology computations

Impact

This is an important theoretical contribution, expected to influence:

1. Cohomology theory of algebraic groups
2. Rational point problems in Diophantine geometry
3. Local-global principles in arithmetic geometry

Applicable Scenarios

This theory is particularly applicable to:

1. Rational point problems over function fields
2. Algebraic group theory over positive characteristic fields
3. Study of Brauer-Manin obstructions

References

The paper cites 82 references, primarily including:

• Giraud's original work on bands
• Borovoi's abelianization theory
• Conrad-Gabber-Prasad monograph on pseudo-reductive groups
• Demarche-Harari work on function fields

This paper is an important theoretical contribution at the intersection of algebraic geometry and number theory, successfully generalizing classical theory to more difficult yet more general settings, with significant implications for the development of rational point theory.