Separable rational connectedness and weak approximation in positive characteristic

Jason Michael Starr; Zhiyu Tian

arxiv: 1907.07041 · v1 · pith:SFTFCAOLnew · submitted 2019-07-16 · 🧮 math.AG · math.NT

Separable rational connectedness and weak approximation in positive characteristic

Jason Michael Starr , Zhiyu Tian This is my paper

Pith reviewed 2026-05-24 20:45 UTC · model grok-4.3

classification 🧮 math.AG math.NT

keywords separable rational connectednessweak approximationFano varietiespositive characteristicuniruling indextorsion ordercomplete intersectionsPicard number one

0 comments

The pith

Smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected are characterized by their torsion order and uniruling index.

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

The paper gives a characterization of smooth projective varieties with Picard number one that are separably uniruled but not separably rationally connected. It also supplies a sufficient condition, phrased in terms of the torsion order and the uniruling index, under which a smooth Fano variety of Picard number one must be separably rationally connected. This condition is used to prove that weak approximation holds at places of strong potentially good reduction for Fano complete intersections in projective space over a field of positive characteristic p, provided the ambient dimension exceeds the sum of the degrees and p exceeds each individual degree. A sympathetic reader cares because these statements clarify when uniruled varieties become rationally connected and deliver concrete approximation results that control rational points on Fano varieties over local fields in positive characteristic.

Core claim

We give a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected. We also give a sufficient condition involving the torsion order and the uniruling index for a smooth Fano variety of Picard number one to be separably rationally connected. As an application, we show that weak approximation holds at places of strong potentially good reduction for a Fano complete intersection in P^n of type (d1,...,dc) in characteristic p such that n > d1+...+dc, p > d1,...,dc.

What carries the argument

The numerical condition on the torsion order of the variety together with the index of a separable uniruling that forces separable rational connectedness.

If this is right

Smooth Fano varieties of Picard number one whose torsion order and uniruling index satisfy the given bounds are separably rationally connected.
Weak approximation holds at places of strong potentially good reduction for the indicated Fano complete intersections in positive characteristic.
The characterization identifies precisely when a separably uniruled variety of Picard number one fails to be separably rationally connected.

Where Pith is reading between the lines

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

The same numerical bounds might be testable on explicit families of Fano varieties by computing their uniruling indices directly from equations.
If the Picard number condition is relaxed, the weak approximation statement could still hold but would require separate arguments.
The results suggest that separability of the ruling is the key obstruction separating uniruled from rationally connected behavior in positive characteristic.

Load-bearing premise

The varieties must be smooth projective with Picard number one and must admit a separable uniruling whose index and torsion data satisfy the stated numerical bounds.

What would settle it

A smooth Fano complete intersection in P^n of type (d1,...,dc) with n larger than the sum of the di and p larger than each di, at a place of strong potentially good reduction, where weak approximation fails would falsify the application result.

read the original abstract

In this short note we give a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected. We also give a sufficient condition involving the torsion order and the uniruling index for a smooth Fano variety of Picard number one to be separably rationally connected. As an application, we prove some weak approximation results for Fano complete intersections in positive charactersitic. For example, we show that weak approximation holds at place of strong potentially good reduction for a Fano complete intersection in $\mathbb{P}^n$ of type $(d_1, \ldots, d_c)$ in characteristic $p$ such that $n>d_1+\ldots +d_c, p>d_1, \ldots, d_c.$

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.

Desk Editor's Note private letter to a colleague

Starr-Tian give an explicit characterization of Picard-number-one varieties that are separably uniruled but not separably rationally connected, plus a torsion-order/uniruling-index criterion for Fano cases and a weak-approximation application.

read the letter

The main new pieces are the characterization of smooth projective varieties with Picard number one that are separably uniruled but not separably rationally connected, and the sufficient condition on torsion order and uniruling index that forces a smooth Fano variety of Picard number one to be separably rationally connected. The weak-approximation statement for Fano complete intersections in positive characteristic under the stated bounds on n, the degrees, and p follows from those two results. These statements are presented as independent and are not derived from fitted parameters or prior self-citations in the abstract. The numerical conditions are part of the claimed theorems rather than hidden assumptions. The stress-test note finds no internal inconsistency or unsupported step visible from the given material. The paper is short and the claims are stated cleanly, which is a plus for a note of this type. One limitation is that the abstract supplies no proof sketches or verification examples, so it is not yet possible to judge whether the bounds are sharp or whether the characterization is if-and-only-if. If the full proofs are concise and self-contained, that would be fine for a short note; if they rely on heavy machinery without new input, the contribution shrinks. This work is aimed at people already working on separable rational connectedness, unirulings, and weak approximation in positive characteristic. A reader who needs concrete criteria for Picard-number-one Fano varieties or who wants to extend approximation results to new ranges of complete intersections will find the statements directly usable. It shows honest engagement with the distinction between uniruledness and rational connectedness. I would bring it to a reading group only if the group already contains people in this subfield. I would not cite it in my own papers in the next year unless I needed the specific weak-approximation corollary. It deserves a serious referee because the results are new, address open boundary questions, and are stated in a form that can be checked.

Referee Report

0 major / 3 minor

Summary. The manuscript gives a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected. It also supplies a sufficient numerical condition, phrased in terms of torsion order and uniruling index, for a smooth Fano variety of Picard number one to be separably rationally connected. As an application it proves that weak approximation holds at places of strong potentially good reduction for Fano complete intersections in P^n of type (d1,...,dc) in characteristic p whenever n > sum di and p > each di.

Significance. If the stated characterization and sufficient condition are correct, the work supplies concrete tools for distinguishing separable uniruledness from separable rational connectedness in positive characteristic and yields new arithmetic consequences for Fano complete intersections. The explicit numerical hypotheses on p and the degrees make the weak-approximation statement directly applicable to a concrete class of varieties.

minor comments (3)

The abstract and introduction should explicitly state the precise definition of 'uniruling index' and 'torsion order' used in the sufficient condition, as these terms are not standard in all references on separable rational connectedness.
In the application to complete intersections, clarify whether the condition p > di is sharp or merely sufficient; a brief remark on known counter-examples when p ≤ di would strengthen the statement.
The manuscript is described as a 'short note'; adding a short section that recalls the relevant definitions from the literature on separable rational connectedness would improve readability for readers outside the immediate subfield.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary, significance assessment, and recommendation of minor revision. No specific major comments appear in the report, so we have no individual points to address.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper states a characterization of smooth projective varieties of Picard number one that are separably uniruled but not separably rationally connected, plus a sufficient numerical condition on torsion order and uniruling index for Fano varieties of Picard number one to be separably rationally connected, followed by an application to weak approximation for certain Fano complete intersections. These are presented as independent theorems relying on the explicit assumptions of smoothness, Picard number one, and the stated bounds; no derivation step reduces by construction to a fitted parameter, self-citation chain, or renamed input. The central claims remain self-contained against external algebraic geometry benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Report based solely on the abstract; no explicit free parameters, ad-hoc axioms, or invented entities are stated in the provided text.

pith-pipeline@v0.9.0 · 5652 in / 1380 out tokens · 23003 ms · 2026-05-24T20:45:35.192870+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/Foundation/AbsoluteFloorClosure.lean reality_from_one_distinction unclear

?

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

Theorem 3. Let X be a smooth projective variety, whose Picard group is isomorphic to Z... separably uniruled. Then X is separably rationally connected if and only if H^0(X, Ω^i_X)=0 for i=1,...,dim X.
IndisputableMonolith/Cost/FunctionalEquation.lean washburn_uniqueness_aczel unclear

?

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

Corollary 6... p prime to the torsion order Tor(κ̄,X) and the uniruling index u1(κ̄,X). Then X is separably rationally connected.

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.