arXiv 0901.18092009-01math.AG

Trace formula for component groups of Néron models

Johannes Nicaise

备注：: Main result (Conjecture 1.1) proven unconditionally; Conjecture 1.2 in version 1 was recently proven by Liu and Lorenzini (see [10])

英文摘要：

We study a trace formula for tamely ramified abelian varieties $A$ over a complete discretely valued field, which expresses the Euler characteristic of the special fiber of the Néron model of $A$ in terms of the Galois action on the $\ell$-adic cohomology of $A$. If $A$ has purely additive reduction, the trace formula yields a cohomological interpretation for the number of connected components of the special fiber of the Néron model.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

A Riemann-Roch formula for traces of algebraic differential operators

We obtain a trace formula for algebraic differential operators which the corresponding analytic results have been proved by M. Engeli and G. Felder

2012-02-14math.AG

Lefschetz trace formula for open adic spaces

In this article, we discuss the Lefschetz trace formula for an adic space which is separated smooth of finite type but not necessarily proper over an algebraically closed non-archimedean field. Under a certain condition on the absence of set-theoretical fixed points on the boundary, we obtain a fixed point formula. As an application, we can establish a trace formula for some formal schemes, which is applicable to the Rapoport-Zink tower for GSp(4). A partial generalization of Fujiwara's trace formula for contracting morphisms is also given.

2012-12-20math.AG

The $\ell$-adic trace formula for dg-categories and Bloch's conductor conjecture

Building on recent results by A. Blanc, M. Robalo and the authors, we present an $\ell$-adic trace formula for smooth and proper dg-categories over a base $\mathbb{E}_{\infty}$-algebra $B$. We also give a variant when $B$ is only an $\mathbb{E}_2$-algebra. As an application of this trace formula, we propose a strategy of proof of Bloch's conductor conjecture. This is a research announcement and detailed proofs will appear elsewhere.

2016-05-28math.AG

The stable trace formula for Shimura varieties of abelian type

We express the Frobenius-Hecke traces on the compactly supported cohomology of a Shimura variety of abelian type in terms of elliptic parts of stable Arthur-Selberg trace formulas for the endoscopic groups. This confirms predictions of Langlands and Kottwitz at primes where the level is hyperspecial.

2021-10-11math.AGmath.NT

On the tropical Lefschetz-Hopf trace formula

In this follow-up to arXiv:2007.11642, our main result is a tropical Lefschetz-Hopf trace formula for matroidal automorphisms. We show that both sides of the formula are equal to the (generalized) beta invariant of the lattice of fixed flats.

2023-02-21math.AGmath.CO

Deligne's conjecture on the Lefschetz trace formula for $p^n$-torsion étale cohomology

Deligne's conjecture is the Lefschetz trace formula for correspondences defined over a finite field. In this paper, we prove an analogous statement of Deligne's conjecture with respect to $p^n$-torsion étale cohomology under certain conditions, where $p$ is the characteristic of the base field.

2012-05-08math.AGmath.NT

更多相关论文收起更多论文

The topological trace formula

The Lefschetz formula for the action of a Hecke correspondence on the weighted cohomology of a locally symmetric space is derived. It is also proven that each Hecke correspondence on the reductive Borel-Serre compactification of the locally symmetric space is weakly hyperbolic.

2001-05-05math.AGmath.RT

Analogy between the cyclotomic trace map $K \rightarrow TC$ and the Grothendieck trace formula via noncommutative geometry

In this article, we suggest a categorification procedure in order to capture an analogy between Crystalline Grothendieck-Lefschetz trace formula and the cyclotomic trace map $K\rightarrow TC$ from the algebraic $K$-theory to the topological cyclic homology $TC$. First, we categorify the category of schemes to the $(2, \infty)$-category of noncommuatative schemes a la Kontsevich. This gives a categorification of the set of rational points of a scheme. Then, we categorify the Crystalline Grothendieck-Lefschetz trace formula and find an analogue to the Crystalline cohomology in the setting of non…

2015-03-01math.AGmath.ATmath.KT

Lefschetz trace formula and l-adic cohomology of Rapoport-Zink tower for GSp(4)

We investigate the alternating sum of the l-adic cohomology of the Rapoport-Zink tower for GSp(4) by the Lefschetz trace formula. Under some assumptions on L-packets of GSp(4) and its inner form, we observe that the local Jacquet-Langlands correspondence appears in the cohomology.

2012-12-20math.AGmath.NTmath.RT

Local trace formulae and scaling asymptotics in Toeplitz quantization

A trace formula for Toeplitz operators was proved by Boutet de Monvel and Guillemin in the setting of general Toeplitz structures. Here we give a local version of this result for a class of Toeplitz operators related to continuous groups of symmetries on quantizable compact symplectic manifolds. The local trace formula involves certain scaling asymptotics along the clean fixed locus of the Hamiltonian flow of the symbol, reminiscent of the scaling asymptotics of the equivariant components of the Szegö kernel along the diagonal.

2009-07-24math.AGmath.SGmath.SP

Geometrization of Trace Formulas

Following our joint work arXiv:1003.4578 with Robert Langlands, we make the first steps toward developing geometric methods for analyzing trace formulas in the case of the function field of a curve defined over a finite field. We also suggest a conjectural framework of geometric trace formulas for curves defined over the complex field, which exploits the categorical version of the geometric Langlands correspondence.

2011-04-05math.AGmath.NTmath.RT

Trace and Kunneth formulas for singularity categories and applications

We present an $\ell$-adic trace formula for saturated and admissible dg-categories over a base monoidal dg-category. Moreover, we prove Künneth formulas for dg-category of singularities, and for inertia-invariant vanishing cycles. As an application, we prove a version of Bloch's Conductor Conjecture (stated by Spencer Bloch in 1985), under the additional hypothesis that the monodromy action of the inertia group is unipotent.

2019-01-31math.AGmath.CTmath.KT