F-characteristic cycle of a rank one sheaf on an arithmetic surface
Fuente:
arXiv
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2024
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866918524168962048 |
|---|---|
| author | Ooe, Ryosuke |
| author_facet | Ooe, Ryosuke |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2402_06163 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | F-characteristic cycle of a rank one sheaf on an arithmetic surface Ooe, Ryosuke Algebraic Geometry Number Theory 14F20, 11S15 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. |
| title | F-characteristic cycle of a rank one sheaf on an arithmetic surface |
| topic | Algebraic Geometry Number Theory 14F20, 11S15 |
| url | https://arxiv.org/abs/2402.06163 |