Counting integral points in homogeneous spaces over function fields

Jing Liu; Sheng Chen

arxiv: 2510.06983 · v2 · submitted 2025-10-08 · 🧮 math.NT · math.AG

Counting integral points in homogeneous spaces over function fields

Sheng Chen , Jing Liu This is my paper

Pith reviewed 2026-05-18 09:09 UTC · model grok-4.3

classification 🧮 math.NT math.AG MSC 11G3514F2211D45

keywords integral pointshomogeneous spacesglobal function fieldsasymptotic formulaslocal densitiesBrauer elementsalgebraic groupsnumber theory

0 comments

The pith

The number of integral points in non-compact symmetric homogeneous spaces over global function fields is given by an asymptotic formula from sums of twisted local densities.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes an asymptotic formula for the number of integral points in non-compact symmetric homogeneous spaces of semi-simple simply connected algebraic groups over global function fields. The formula expresses this count as the sum of products of local densities that are twisted by suitable Brauer elements. A sympathetic reader would care because this supplies a precise way to count solutions to equations in these geometric settings over function fields, bridging local and global information in arithmetic geometry.

Core claim

We establish the asymptotic formula for the number of integral points in non-compact symmetric homogeneous spaces of semi-simple simply connected algebraic groups over global function fields, given by the sum of the products of local densities twisted by suitable Brauer elements.

What carries the argument

The sum of products of local densities twisted by Brauer elements, which assembles local data into a global asymptotic count for the integral points.

If this is right

The formula applies directly to count integral points on these spaces for any global function field.
Brauer elements adjust the local densities to account for global obstructions in the point count.
The result extends classical counting theorems to the setting of function fields with non-compact symmetric spaces.
Asymptotics become computable once the local densities and twisting elements are determined explicitly.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The method could extend to count points on related homogeneous spaces that are not symmetric.
Similar formulas might connect to point-counting problems over finite fields in algebraic geometry.
One could verify the formula by direct enumeration in low-dimensional cases over small finite fields.

Load-bearing premise

The spaces are non-compact symmetric homogeneous spaces from semi-simple simply connected algebraic groups over global function fields, and suitable Brauer elements exist to twist the local densities.

What would settle it

An explicit computation of all integral points on a concrete example such as the space associated to SL_2 over a rational function field, compared against the numerical value of the predicted asymptotic expression.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The paper establishes an asymptotic formula for the number of integral points in non-compact symmetric homogeneous spaces of semi-simple simply connected algebraic groups over global function fields. The leading term is expressed as a sum of products of local densities, each twisted by suitable elements of the Brauer group.

Significance. If the stated asymptotic holds, the result supplies a function-field counterpart to existing counts of integral points on homogeneous spaces, with an explicit leading constant obtained via adelic methods and Brauer twists. The reduction to the simply-connected case and the verification of convergence of the twisted local-density product within the standard adelic framework over global function fields constitute the main technical contribution.

minor comments (2)

The abstract states the main result but does not reference the theorem number or section where the precise statement and error term appear; adding such a pointer would improve readability.
Notation for the Brauer twists and the precise definition of the local densities could be collected in a single preliminary section for easier cross-reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their careful reading of the manuscript, for the accurate summary of our main result, and for the positive recommendation to accept. The referee's assessment of the significance aligns with the technical contributions we aimed to make regarding the asymptotic count of integral points via adelic methods and Brauer twists over global function fields.

Circularity Check

0 steps flagged

No significant circularity; derivation self-contained

full rationale

The manuscript proves an asymptotic count for integral points on non-compact symmetric homogeneous spaces of simply-connected semisimple groups over global function fields. It reduces to the simply-connected case, defines Brauer twists via the function-field Brauer group, and shows convergence of the product of twisted local densities to the leading constant, all inside the standard adelic framework. No equations or definitions reduce to their own inputs by construction, no fitted parameters are relabeled as predictions, and no load-bearing uniqueness theorem is imported solely via self-citation. The central claim therefore rests on independent analytic and arithmetic arguments rather than circular rephrasing of its own data or prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The abstract alone supplies no explicit list of free parameters, axioms, or invented entities; the result appears to rest on standard background from algebraic geometry and number theory over function fields.

axioms (2)

domain assumption Properties of semi-simple simply connected algebraic groups and their homogeneous spaces over global function fields
Invoked by the statement that the spaces are of this type.
domain assumption Existence and suitability of Brauer elements for twisting local densities
Required for the formula to incorporate the twists as described.

pith-pipeline@v0.9.0 · 5541 in / 1338 out tokens · 37115 ms · 2026-05-18T09:09:58.780838+00:00 · methodology

discussion (0)

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

N(X,q^n)∼r_H·q^{(1−η_F)dim X} ∑_{ξ∈Br_{1,P}(X,G)} (∏_{v∉S} I_v(X,ξ))·I_S(X,q^n,ξ)
IndisputableMonolith/Foundation/RealityFromDistinction.lean reality_from_one_distinction unclear

?

unclear
Relation between the paper passage and the cited Recognition theorem.

Tamagawa measure m_X on X(A_F) defined via gauge forms and λ_X^v, r_X

What do these tags mean?

matches: The paper's claim is directly supported by a theorem in the formal canon.
supports: The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends: The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses: The paper appears to rely on the theorem as machinery.
contradicts: The paper's claim conflicts with a theorem or certificate in the canon.
unclear: Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.