pith. sign in

arxiv: 2312.07776 · v2 · pith:RC5QYQ27new · submitted 2023-12-12 · 🧮 math.AG

Cycle caract\'eristique sur une puissance sym\'etrique d'une courbe et d\'eterminant de la cohomologie \'etale

Fabrice Orgogozo , Jo\"el Riou This is my paper

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

classification 🧮 math.AG
keywords characteristic cyclesymmetric powerétale sheafcurvelocal acyclicityAbel-Jacobi morphismdeterminant of cohomologyepsilon factor
0
0 comments X

The pith

The characteristic cycle of an external symmetric power of a tame étale sheaf on a curve is computed explicitly.

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

The paper uses the Beilinson-Saito formalism to calculate the characteristic cycle attached to the external symmetric power of a tame étale sheaf on a curve. This extends Laumon's earlier computation, which was limited to characteristic zero. The resulting formula establishes local acyclicity for the Abel-Jacobi morphism. The work is motivated by the need for a geometric understanding of the product formula for the determinant of étale cohomology.

Core claim

Relying on the formalism developed by Beilinson and Saito, we compute the characteristic cycle of an external symmetric power of a tame étale sheaf on a curve. This generalizes a result of Laumon in characteristic zero and leads to a result of local acyclicity of the Abel-Jacobi morphism, due to Deligne and motivated by his geometric approach to the product formula for the determinant of cohomology.

What carries the argument

The characteristic cycle of the external symmetric power, which records the support and multiplicities needed to determine the determinant of cohomology.

If this is right

  • The Abel-Jacobi morphism is locally acyclic.
  • The geometric approach to the product formula for the determinant of cohomology is supported by an explicit cycle calculation.
  • The epsilon factor admits a geometric interpretation via this cycle.
  • Results on determinants extend from characteristic zero to positive characteristic.

Where Pith is reading between the lines

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

  • The same cycle formula may apply to other operations on sheaves beyond symmetric powers.
  • Local acyclicity statements could extend to higher-dimensional bases or non-tame sheaves if the formalism generalizes.
  • The computation supplies a template for verifying product formulas in related settings such as higher-rank sheaves.

Load-bearing premise

The Beilinson-Saito formalism supplies the correct definition and properties of characteristic cycles for these étale sheaves.

What would settle it

A direct computation, for a concrete tame sheaf on an explicit curve over a finite field, that yields a different cycle from the one obtained by the symmetric-power formula.

read the original abstract

Relying on the formalism developed by Alexander Beilinson and Takeshi Saito, we compute the characteristic cycle of an external symmetric power of a tame \'etale sheaf on a curve. This generalizes a result of G\'erard Laumon in characteristic 0 and leads to a result of local acyclicity of the Abel-Jacobi morphism, due to Pierre Deligne and motivated by his geometric approach to the product formula for the determinant of cohomology (epsilon factor).

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 manuscript computes the characteristic cycle of the external symmetric power of a tame étale sheaf on a curve by applying the Beilinson–Saito formalism. This generalizes Laumon’s characteristic-zero result and yields local acyclicity of the Abel–Jacobi morphism, in the context of Deligne’s geometric approach to the product formula for the determinant of étale cohomology (epsilon factors).

Significance. If the explicit computation holds, the result supplies a positive-characteristic extension of Laumon’s work on characteristic cycles for symmetric powers, together with a concrete application to local acyclicity that bears directly on epsilon-factor product formulas. The open reliance on the cited Beilinson–Saito formalism and the production of a falsifiable local formula constitute clear strengths.

minor comments (2)
  1. The abstract states that the result 'leads to a result of local acyclicity'; §1 or the introduction should contain an explicit statement of the precise local acyclicity statement that is deduced, together with the precise hypotheses under which it holds.
  2. Notation for the external symmetric power and for the tame sheaf should be fixed once in §2 and used consistently; several passages in the provided abstract and title mix French and English terminology without cross-reference.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive assessment of our work, the accurate summary of the main results, and the recommendation for minor revision. The report correctly identifies the generalization of Laumon's characteristic-zero computation via the Beilinson-Saito formalism and the application to local acyclicity of the Abel-Jacobi morphism in the context of Deligne's approach to epsilon factors.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on the explicitly cited external formalism of Beilinson and Saito (distinct authors) to compute the characteristic cycle of the external symmetric power. The abstract states the result generalizes Laumon's characteristic-zero case and yields local acyclicity for the Abel-Jacobi map. No step reduces by construction to a self-definition, fitted input renamed as prediction, or load-bearing self-citation chain; the central computation is an application of independent prior work rather than an internal tautology.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Review based on abstract only; main reliance is on the external Beilinson-Saito formalism for characteristic cycles as stated.

axioms (1)
  • domain assumption The Beilinson-Saito formalism for characteristic cycles of étale sheaves
    Explicitly relied upon in the abstract for the computation.

pith-pipeline@v0.9.0 · 5614 in / 1106 out tokens · 23062 ms · 2026-05-24T05:08:14.673661+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

3 extracted references · 3 canonical work pages

  1. [1]

    Morphisme d’Abel-Jacobi et théorèmes d’acyclicité de Deligne L’objectif de cette section est d’établir un théorème d’acyclicité (2.1), dû à Pierre Deligne, en utilisant le théorème principal de la section précédente. Plus précisément, on va montrer que pour ℱ comme dans le théorème1.5.1, la courbe𝑋 propre, et l’entier𝑛 suffisamment grand (de façon explici...

    work page 1980

  2. [2]

    Localité du facteur epsilon 3.1. Lemme. Soient 𝐴 un torseur sous une variété abélienne de dimension ⩾ 2 sur un corps algébrique- ment clos 𝑘, un point rationnel 𝑎 ∈ 𝐴(𝑘), un anneau 𝛬 de coefficients fini de cardinal inversible dans 𝑘, et ℋ ∈ Db ctf(𝐴, 𝛬)un complexe dont la restriction à l’ouvert 𝐴× ≔ 𝐴 − {𝑎}est à objets de cohomologie localement constants...

    work page 1987

  3. [3]

    Les constantes des équations fonctionnelles des fonctions𝐿

    D’après un théorème d’Abel, la fibre du morphisme, propre,ʃ𝑛 au-dessus de la classe[ℒ ]d’un faisceau inversibleℒ est en bijection est le système linéaire completℙ(𝐻0 coh(𝑋, ℒ )∨), lorsqueℎ0 coh(𝑋, ℒ ) ≠ 0. Notons 𝑟(ℒ ) ≔ ℎ0 coh(𝑋, ℒ ) − 1la dimension de cet espace projectif. On a l’encadrement trivial dim 𝑋⟨𝑛⟩ − dim Pic𝑛 𝑋 = 𝑛 − 𝑔 ⩽ 𝑟 ⩽ 𝑛 = dim 𝑋⟨𝑛⟩, où 𝑔...

    work page 2003