Math-14542 · mathematics · Algebraic geometry

Math-14542

Manin Components of Section Spaces of Fano Fibrations

Status Open · unsolvedmath.comLLM status Open unverified

Top Open Problems Not reported cataloguedOpenOpen

Statement

Definitions and mathematical statement

The supplied record concerns a Fano fibration $\pi:X\to B$, but does not specify the ground field, the hypotheses on the fibration, or the precise meaning of "Fano fibration." The following definitions describe the section-space notation without resolving those omissions. A section is a morphism $s:B\to X$ satisfying $\pi\circ s=\operatorname{id}_B$. Write $\operatorname{Sec}(X/B)$ for the parameter space of sections and $\operatorname{Sec}(X/B,\alpha)$ for its locus of sections of class $\alpha$; the equivalence relation defining section classes is not specified in the record.

When $\pi$ is smooth along the image of a section, let $T_{X/B}$ denote its relative tangent bundle there. The excerpt calls a section $s$ relatively free if \[ s^*T_{X/B}\text{ is globally generated},\qquad H^1(B,s^*T_{X/B})=0. \] Here global generation means that the evaluation map \[ H^0(B,s^*T_{X/B})\otimes\mathcal O_B\longrightarrow s^*T_{X/B} \] is surjective. The excerpt describes components whose general sections are relatively free as easier to understand, and components containing only sections that are not relatively free as pathological. It also refers to a missing formulation of Geometric Manin's conjecture, labelled $(1)$, and to Fujita invariants. Consequently, the excerpt does not establish that relative freeness alone defines the "nonpathological" or "Manin" components appearing in the reconstructed statement.

For context, under the additional usual hypotheses that $B$ is a smooth projective connected curve and that $\pi$ is smooth along the section, the tangent and obstruction spaces described in the excerpt are respectively \[ H^0(B,s^*T_{X/B}),\qquad H^1(B,s^*T_{X/B}). \] For a relatively free section of class $\alpha$, the corresponding expected dimension is \[ \chi(B,s^*T_{X/B})=(-K_{X/B})\mathbin{\cdot}\alpha+(\dim X-1)(1-g(B)). \] These hypotheses are explanatory additions, not verified hypotheses of the supplied problem. The intersection with the section class makes explicit the numerical interpretation of the excerpt's incomplete expected-dimension expression.

The reconstructed target is: for every sufficiently positive section class $\alpha$, there exists exactly one nonpathological irreducible component of $\operatorname{Sec}(X/B,\alpha)$, and these components exhibit homological or motivic stability as degree tends to infinity. More formally, if $\mathcal P$ denotes the intended range of sufficiently positive section classes and $\mathcal M_\alpha$ denotes the intended set of nonpathological irreducible components, its uniqueness clause would read \[ \forall\alpha\in\mathcal P,\qquad \#\mathcal M_\alpha=1. \] Both $\mathcal P$ and the predicate defining $\mathcal M_\alpha$ are unresolved placeholders. No precise stability assertion can be extracted: the degree, the sequence of components, the homology theory or motivic invariant, and the comparison maps or identities are absent. Thus this is an explicitly incomplete formulation of the supplied target, not a fully specified conjecture.

Short English statement

The proposed problem asks whether sufficiently positive section classes of a Fano fibration each have a unique Manin component, and whether these components stabilize homologically or motivically as degree grows. The excerpt defines relative freeness but omits the definitions and hypotheses needed to make uniqueness and stability precise. Its introductory discussion of rational points on Fano varieties over number fields does not specify the setting of the section-space problem.

Sources

  • Supplied local UnsolvedMath registry record, permanent ID $30005565$, title Manin Components of Section Spaces of Fano Fibrations, exact source code catalogue entry; collection: Oberwolfach Reports Open Problems; proposed year: 2023. No proposer is identified.
  • Supplied report citation: Recent Trends in Algebraic Geometry (2023), Oberwolfach Reports, pp. 1485--1542, DOI 10.4171/owr/2023/27. https://doi.org/10.4171/owr/2023/27. The supplied excerpt ends mid-sentence and refers to an unavailable conjecture labelled $(1)$.
  • Supplied literature reference: Tanimoto, From exceptional sets to non-free sections. https://doi.org/10.4171/owr/2023/27. The excerpt mentions joint work with Brian Lehmann and ends before completing the collaborator attribution.
  • Supplied literature reference: Frei--Loughran--Sofos, Density of rational points on some quadric bundle threefolds. https://doi.org/10.1007/s00208-024-02854-4.
  • Supplied literature-check date: 2026-08-22. This is supplied dated curation, not an independently verified assessment. It labels the problem open and describes the extracted entry as an account of Manin's conjecture rather than a proof claim, with many verified special families and the general number-field Fano case remaining open. The supplied background explicitly requests independent verification of time-sensitive status and cited claims. This assessment does not itself verify the reconstructed uniqueness or stability assertions.
  • The registry labels the statement corrected_verified and reports that it was reconstructed and checked against the official Oberwolfach report. These are supplied provenance claims; no independent source verification is asserted here.

Catalogue entry

Statement licence: CC-BY-SA-4.0 · Source file

Contributions 0

No attempts yet. Significant partial results and substantial reductions are welcome. Contribute an attempt.