pith. sign in

arxiv: 2402.06163 · v4 · pith:2UJYWJ3Onew · submitted 2024-02-09 · 🧮 math.AG · math.NT

F-characteristic cycle of a rank one sheaf on an arithmetic surface

Ryosuke Ooe This is my paper

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

classification 🧮 math.AG math.NT
keywords F-characteristic cyclerank one sheafarithmetic surfaceSwan conductorcharacteristic formFW-cotangent bundleramificationGalois cohomology
0
0 comments X

The pith

The F-characteristic cycle of a rank one sheaf on an arithmetic surface intersects the zero section to compute the Swan conductor of the generic fiber cohomology.

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

The paper first proves rationality of the characteristic form for degree one Galois characters of abelian extensions of henselian discrete valuation fields and integrality of the form for rank one sheaves on regular excellent schemes, both by reduction to Kato's refined Swan conductor. These properties allow definition of the F-characteristic cycle as a cycle on the FW-cotangent bundle, extending Yatagawa's equal characteristic computation to arithmetic surfaces. The central result is that this cycle intersects the zero section in a number equal to the Swan conductor of the cohomology of the generic fiber. A reader cares because the Swan conductor quantifies ramification in sheaf cohomology, and the result supplies a direct geometric computation of that number via intersection theory.

Core claim

We define the F-characteristic cycle of a rank one sheaf on an arithmetic surface as a cycle on the FW-cotangent bundle using the characteristic form on the basis of the computation of the characteristic cycle in the equal characteristic case by Yatagawa. The rationality and the integrality of the characteristic form are necessary for the definition of the F-characteristic cycle. We prove the intersection of the F-characteristic cycle with the 0-section computes the Swan conductor of cohomology of the generic fiber.

What carries the argument

The F-characteristic cycle, a cycle on the FW-cotangent bundle of an arithmetic surface constructed from the characteristic form of the rank one sheaf.

Load-bearing premise

The characteristic form attached to the relevant rank one sheaves on arithmetic surfaces is both rational and integral.

What would settle it

An explicit calculation on a concrete arithmetic surface and rank one sheaf where the intersection number of the F-characteristic cycle with the zero section differs from the independently computed Swan conductor of the generic fiber cohomology.

read the original abstract

We prove the rationality of the characteristic form for a degree one character of the Galois group of an abelian extension of henselian discrete valuation fields. We prove the integrality of the characteristic form for a rank one sheaf on a regular excellent scheme. These properties are shown by reducing to the corresponding properties of the refined Swan conductor proved by Kato. We define the F-characteristic cycle of a rank one sheaf on an arithmetic surface as a cycle on the FW-cotangent bundle using the characteristic form on the basis of the computation of the characteristic cycle in the equal characteristic case by Yatagawa. The rationality and the integrality of the characteristic form are necessary for the definition of the F-characteristic cycle. We prove the intersection of the F-characteristic cycle with the 0-section computes the Swan conductor of cohomology of the generic fiber.

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

2 major / 0 minor

Summary. The manuscript proves the rationality of the characteristic form for a degree-1 character of the Galois group of an abelian extension of a henselian DVR and the integrality of the characteristic form for a rank-1 sheaf on a regular excellent scheme, both by reduction to Kato's corresponding results on the refined Swan conductor. It then defines the F-characteristic cycle of a rank-1 sheaf on an arithmetic surface as a cycle on the FW-cotangent bundle, using Yatagawa's equal-characteristic computation of the characteristic cycle, and proves that the intersection of this cycle with the zero section equals the Swan conductor of the cohomology of the generic fiber.

Significance. If the reductions to Kato's theorems are valid in the required generality, the work supplies a cycle-theoretic formula for the Swan conductor on arithmetic surfaces via intersection on the FW-cotangent bundle. This extends existing characteristic-cycle techniques into the mixed-characteristic arithmetic setting and may facilitate further applications in ramification theory.

major comments (2)
  1. [Abstract] Abstract (reduction paragraph): the assertion that rationality of the characteristic form for degree-1 characters follows from Kato's properties of the refined Swan conductor must be checked against the precise setting of henselian DVRs in mixed characteristic; the reduction from Yatagawa's equal-characteristic computation is not automatic when the scheme is not strictly local.
  2. [Abstract] Abstract (integrality paragraph): the claim that integrality of the characteristic form for rank-1 sheaves on regular excellent schemes reduces to Kato's integrality statement requires explicit confirmation that the passage from the local henselian case to the global arithmetic-surface case preserves the necessary hypotheses on the scheme.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive comments on the abstract. We address each major comment below. The reductions to Kato's theorems are valid in the stated generality, as justified in the body of the paper, but we agree that the abstract would benefit from greater explicitness and will make partial revisions accordingly.

read point-by-point responses

  1. Referee: [Abstract] Abstract (reduction paragraph): the assertion that rationality of the characteristic form for degree-1 characters follows from Kato's properties of the refined Swan conductor must be checked against the precise setting of henselian DVRs in mixed characteristic; the reduction from Yatagawa's equal-characteristic computation is not automatic when the scheme is not strictly local.

    Authors: Kato's theorems on the refined Swan conductor are formulated precisely for henselian DVRs, including the mixed-characteristic case, and our reduction for the rationality of the characteristic form of a degree-1 character follows directly from these statements. The definition of the F-characteristic cycle employs Yatagawa's equal-characteristic computation only locally through the characteristic form; because the construction is local on the arithmetic surface, the reduction extends without requiring the scheme to be strictly local. To address the referee's concern about explicitness, we will revise the abstract to reference the precise settings and the local character of the construction. revision: partial

  2. Referee: [Abstract] Abstract (integrality paragraph): the claim that integrality of the characteristic form for rank-1 sheaves on regular excellent schemes reduces to Kato's integrality statement requires explicit confirmation that the passage from the local henselian case to the global arithmetic-surface case preserves the necessary hypotheses on the scheme.

    Authors: Integrality is first proved locally at each point by reduction to Kato's integrality result for the henselian case; regularity and excellence are preserved under localization, so the hypotheses remain satisfied. The global statement on the regular excellent scheme then follows by the local nature of the characteristic form. We will revise the abstract to include a brief explicit confirmation of this local-to-global passage. revision: partial

Circularity Check

0 steps flagged

No circularity: central claims reduce to independent external results by Kato and Yatagawa

full rationale

The paper's derivation chain consists of (1) proving rationality/integrality of the characteristic form by explicit reduction to Kato's independently established properties of the refined Swan conductor, and (2) defining the F-characteristic cycle on the basis of Yatagawa's prior equal-characteristic computation. Both steps invoke external prior work rather than self-citations or self-definitional loops. The intersection statement with the 0-section then follows from these reductions without any quoted equation or definition that collapses back to the paper's own inputs by construction. This is the normal case of a self-contained derivation against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 1 invented entities

The paper relies on two external results (Kato on refined Swan conductors, Yatagawa on equal-characteristic cycles) and standard background in scheme theory and Galois cohomology; no free parameters or new postulated entities beyond the defined cycle object.

axioms (2)
  • domain assumption Rationality and integrality properties of the refined Swan conductor as proved by Kato
    Explicitly invoked as the basis for proving the corresponding properties of the characteristic form.
  • domain assumption Computation of the characteristic cycle in the equal characteristic case by Yatagawa
    Used as the foundation for defining the F-characteristic cycle on arithmetic surfaces.
invented entities (1)
  • F-characteristic cycle no independent evidence
    purpose: A cycle on the FW-cotangent bundle attached to a rank one sheaf on an arithmetic surface
    Newly defined object whose construction requires the rationality and integrality statements; no independent falsifiable prediction supplied in the abstract.

pith-pipeline@v0.9.0 · 5664 in / 1539 out tokens · 25704 ms · 2026-05-24T04:14:46.962217+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

21 extracted references · 21 canonical work pages

  1. [1]

    Abbes, The Grothendieck-Ogg-Shafarevich formula for arithmetic surfaces, J

    A. Abbes, The Grothendieck-Ogg-Shafarevich formula for arithmetic surfaces, J. Algebraic Geom.\ 9 (2000), no. 3, 529--576

    work page 2000

  2. [2]

    Abbes and T

    A. Abbes and T. Saito, Ramification of local fields with imperfect residue fields, Amer. J.\ of Math.\ 124 (2002), no. 5, 879--920, doi:10.1353/ajm.2002.0026

    work page doi:10.1353/ajm.2002.0026 2002

  3. [3]

    II (Kazuya Kato's fiftieth birthday), Doc.\ Math.\ 2003, Extra Vol., 5--72

    Ramification of local fields with imperfect residue fields. II (Kazuya Kato's fiftieth birthday), Doc.\ Math.\ 2003, Extra Vol., 5--72

    work page 2003

  4. [4]

    Bosch, W

    S. Bosch, W. L\"utkebohmert, and M. Raynaud, Formal and rigid geometry. IV. The reduced fibre theorem, Invent.\ Math.\ 119 (1995), no. 2, 361--398, doi:10.1007/bf01245187

    work page doi:10.1007/bf01245187 1995

  5. [5]

    Coleman and W

    R. Coleman and W. McCallum, Stable reduction of Fermat curves and Jacobi sum Hecke characters, J. reine angew.\ Math.\ 385 (1988), 41--101, doi:10.1515/crll.1988.385.41

    work page doi:10.1515/crll.1988.385.41 1988

  6. [6]

    Illusie, Complexe cotangent et d\'eformations

    L. Illusie, Complexe cotangent et d\'eformations. I, Lecture Notes in Math., vol. 239, Springer-Verlag, Berlin-New York, 1971

    work page 1971

  7. [7]

    Kato, Swan conductors for characters of degree one in the imperfect residue field case, In: Algebraic K-theory and algebraic number theory (Honolulu, HI, 1987), pp

    K. Kato, Swan conductors for characters of degree one in the imperfect residue field case, In: Algebraic K-theory and algebraic number theory (Honolulu, HI, 1987), pp. 101--131, Contemp.\ Math., vol. 83, Amer.\ Math.\ Soc,., Providence, RI, 1989, doi:10.1090/conm/083/991978

    work page doi:10.1090/conm/083/991978 1987

  8. [8]

    J.\ Math.\ 116 (1994), no

    , Class field theory, D -modules, and ramification on higher dimensional schemes, Part I , Amer. J.\ Math.\ 116 (1994), no. 4, 757--784, doi:10.2307/2375001

    work page doi:10.2307/2375001 1994

  9. [9]

    Kato and T

    K. Kato and T. Saito, Ramification theory for varieties over a local field, Publ.\ Math.\ Inst.\ Hautes \'Etudes Sci.\ 117 (2013), no. 1, 1--178, doi:10.1007/s10240-013-0048-z

    work page doi:10.1007/s10240-013-0048-z 2013

  10. [10]

    15, doi:10.46298/epiga.2019.volume3.5395

    , Coincidence of two Swan conductors of abelian characters, \'Epijournal G\'eom.\ Alg\'ebrique 3 (2019), Art. 15, doi:10.46298/epiga.2019.volume3.5395

    work page doi:10.46298/epiga.2019.volume3.5395 2019

  11. [11]

    Matsuda, On the Swan conductor in positive characteristic, Amer

    S. Matsuda, On the Swan conductor in positive characteristic, Amer. J.\ Math.\ 119 (1997), no. 4, 705--739, doi:10.1353/ajm.1997.0026

    work page doi:10.1353/ajm.1997.0026 1997

  12. [12]

    Miki, On the conductor of the Jacobi sum Hecke character, Compos.\ Math.\ 92 (1994), no

    H. Miki, On the conductor of the Jacobi sum Hecke character, Compos.\ Math.\ 92 (1994), no. 1, 23--41

    work page 1994

  13. [13]

    Saito, Ramification of local fields with imperfect residue fields III, Math.\ Ann.\ 352 (2012), no

    T. Saito, Ramification of local fields with imperfect residue fields III, Math.\ Ann.\ 352 (2012), no. 3, 567--580, doi:10.1007/s00208-011-0652-5

    work page doi:10.1007/s00208-011-0652-5 2012

  14. [14]

    2, 597--695, doi:10.1007/s00222-016-0675-3

    , The characteristic cycle and the singular support of a constructible sheaf, Invent.\ Math.\ 207 (2016), no. 2, 597--695, doi:10.1007/s00222-016-0675-3

    work page doi:10.1007/s00222-016-0675-3 2016

  15. [15]

    2, 335--368, doi:10.2140/ant.2022.16.335

    , Cotangent bundles and micro-supports in mixed characteristic case, Algebra Number Theory 16 (2022), no. 2, 335--368, doi:10.2140/ant.2022.16.335

    work page doi:10.2140/ant.2022.16.335 2022

  16. [16]

    2, 369--391, doi:10.2140/ant.2022.16.369

    , Frobenius--Witt differentials and regularity, Algebra Number Theory 16 (2022), no. 2, 369--391, doi:10.2140/ant.2022.16.369

    work page doi:10.2140/ant.2022.16.369 2022

  17. [17]

    J.\ of Math.\ 145 (2023), no

    , Graded quotients of ramification groups of local fields with imperfect residue fields, Amer. J.\ of Math.\ 145 (2023), no. 5, 1389--1464, doi:10.1353/ajm.2023.a907702

    work page doi:10.1353/ajm.2023.a907702 2023

  18. [18]

    Tsushima, Elementary computation of ramified components of the Jacobi sum Hecke characters, J

    T. Tsushima, Elementary computation of ramified components of the Jacobi sum Hecke characters, J. Number Theory 130 (2010), no. 9, 1932--1938, doi:10.1016/j.jnt.2010.01.004

    work page doi:10.1016/j.jnt.2010.01.004 2010

  19. [19]

    Xiao, On ramification filtrations and p -adic differential equations, II: mixed characteristic case, Compos.\ Math.\ 148 (2012), no

    L. Xiao, On ramification filtrations and p -adic differential equations, II: mixed characteristic case, Compos.\ Math.\ 148 (2012), no. 2, 415--463, doi:10.1112/s0010437x1100707x

    work page doi:10.1112/s0010437x1100707x 2012

  20. [20]

    Yatagawa, Equality of two non-logarithmic ramification filtrations of abelianized Galois group in positive characteristic

    Y. Yatagawa, Equality of two non-logarithmic ramification filtrations of abelianized Galois group in positive characteristic. Doc.\ Math.\ 22 (2017), 917--952, doi:10.4171/dm/582

    work page doi:10.4171/dm/582 2017

  21. [21]

    Algebraic Geom.\ 29 (2020), no

    , Characteristic cycle of a rank one sheaf and ramification theory, J. Algebraic Geom.\ 29 (2020), no. 3, 471--545, doi:10.1090/jag/758

    work page doi:10.1090/jag/758 2020