arXiv 1503.077512015-03math.AG

An arithmetic Lefschetz-Riemann-Roch theorem. With an appendix by Xiaonan Ma

Shun Tang

备注：: 65 pages, published version
DOI：: 10.1112/plms.12349

英文摘要：

In this article, we consider regular projective arithmetic schemes in the context of Arakelov geometry, any of which is endowed with an action of the diagonalisable group scheme associated to a finite cyclic group and with an equivariant very ample invertible sheaf. For any equivariant morphism between such arithmetic schemes, which is smooth over the generic fibre, we define a direct image map between corresponding higher equivariant arithmetic K-groups and we discuss its transitivity property. Then we use the localization sequence of higher arithmetic K-groups and the higher arithmetic concentration theorem developed in \cite{T3} to prove an arithmetic Lefschetz-Riemann-Roch theorem. This theorem can be viewed as a generalization, to the higher equivariant arithmetic K-theory, of the fixed point formula of Lefschetz type proved by K. Köhler and D. Roessler in \cite{KR1}.

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

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

英文摘要相关论文

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

继续探索

相关论文

对于奇异方案的Lefschetz-Riemann-Roch定理

A Lefschetz-Riemann-Roch theorem for singular schemes

本文提出一个适用于奇异方案的Lefschetz-Riemann-Roch定理，扩展了之前针对奇异流形的结果。

2025-12-14math.AG

Lefschetz and Hirzebruch-Riemann-Roch formulas via noncommutative motives

V. Lunts has recently established Lefschetz fixed point theorems for Fourier-Mukai functors and dg algebras. In the same vein, D. Shklyarov introduced the noncommutative analogue of the Hirzebruch-Riemann-Roch theorem. In this short article, we see how these constructions and computations formally stem from their motivic counterparts.

2013-03-20math.AGmath.ATmath.KT

A Deligne-Riemann-Roch isomorphism I: Preliminaries on virtual categories

This is the first article in an upcoming series of papers. They have arisen through an attempt to answer open questions of Deligne proposed in "Le determinant de la cohomologie", Contemp. Mathematics 67 (1987). It amounts to functorial and metrized versions of the Grothendieck-Riemann-Roch theorem, as well as a Lefschetz-Riemann-Roch formula in the sense of Thomason, cf. "Lefschetz-Riemann-Roch theorem and coherent trace formula" Ann. Sci. Ec. Norm. Sup. 18 (1985), Theorem 3.5. In this article we treat various preliminary results on virtual categories which are the categories where the Deligne…

2009-04-26math.AG

Orbifold Quantum Riemann-Roch, Lefschetz and Serre

Given a vector bundle $F$ on a smooth Deligne-Mumford stack $\X$ and an invertible multiplicative characteristic class $\bc$, we define the orbifold Gromov-Witten invariants of $\X$ twisted by $F$ and $\bc$. We prove a "quantum Riemann-Roch theorem" which expresses the generating function of the twisted invariants in terms of the generating function of the untwisted invariants. A Quantum Lefschetz Hyperplane Theorem is derived from this by specializing to genus zero. As an application, we determine the relationship between genus-0 orbifold Gromov-Witten invariants of $\X$ and that of a complet…

2009-06-01math.AGmath.SG

Quantum Riemann - Roch, Lefschetz and Serre

Given a holomorphic vector bundle $E:EX X$ over a compact Kähler manifold, one introduces twisted GW-invariants of $X$ replacing virtual fundamental cycles of moduli spaces of stable maps $f: Σ\to X$ by their cap-product with a chosen multiplicative characteristic class of $H^0(Σ, f^* E) - H^1(Σ, f^*E)$. Using the formalism of quantized quadratic hamiltonians, we express the descendent potential for the twisted theory in terms of that for $X$. The result (Theorem 1) is a consequence of Mumford's Riemann -- Roch -- Grothendieck formula applied to the universal stable map. When $E$ is concave, a…

2001-10-19math.AG

Formes automorphes et theoremes de Riemann-Roch arithmetiques

Nous construisons trois familles de formes automorphes au moyen du theoreme de Riemann-Roch arithmetique et de la formule de Lefschetz arithmetique. Deux de ces familles ont deja ete construites par Yoshikawa et notre construction met en lumiere leur origine arithmetique. ----- We construct three families of automorphic forms following the arithmetic Riemann-Roch theorem and the arithmetic Lefschetz formula. Two of these families were already constructed by Yoshikawa and our construction illuminates their arithmetic origin.

2008-06-10math.AGmath.NT

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

L^2-Riemann-Roch Inequalities for Covering Manifolds

We study the existence of $L^2$ holomorphic sections of invariant line bundles over Galois coverings of Zariski open sets in Moishezon manilolds. We show that the von Neuman dimension of the space of $L^2$ holomorphic sections is bounded below under reasonable curvature conditions. We also give criteria for a a compact complex space with isolated singularities and some related strongly pseudoconcave manifolds to be Moishezon. Their coverings are then studied with the same methods. As applications we give weak Lefschetz theorems using the Napier--Ramachandran proof of the Nori theorem.

2000-02-07math.AG

A Riemann-Roch-Hirzebruch formula for traces of differential operators

Let D be a holomorphic differential operator acting on sections of a holomorphic vector bundle on an n-dimensional compact complex manifold. We prove a formula, conjectured by Feigin and Shoikhet, for the Lefschetz number of D as the integral over the manifold of a differential form. The class of this differential form is obtained via formal differential geometry from the canonical generator of the Hochschild cohomology of the algebra of differential operators in a formal neighbourhood of a point. If D is the identity, the formula reduces to the Riemann--Roch--Hirzebruch formula.

2008-02-12math.AGmath.QA

商Deligne-Mumford栈的轨形Hirzebruch-Riemann-Roch定理与K3曲面上的等变模空间理论

Orbifold Hirzebruch-Riemann-Roch for quotient Deligne-Mumford stacks and equivariant moduli theory on $ K3 $ surfaces

本文通过轨形Mukai配对导出新的轨形HRR公式，用于计算K3曲面上有限群作用下稳定层等变模空间的维数，并证明这些模空间是形变等价于点Hilbert概型的不可约辛流形。

2024-08-10math.AG

A general construction of partial Grothendieck transformations

Fulton and MacPherson introduced the notion of bivariant theories and Grothendieck transformations related to Riemann-Roch-theorems. But there are many situations, where such a bivariant theory or a corresponding Grothendieck transformation is only partially known: characteristic classes of singular spaces (e.g. Stiefel-Whitney or Chern classes), cohomology operations (e.g. singular Adams Riemann-Roch and Steenrod operations for Chow groups) or equivariant theories (e.g. Lefschetz Riemann-Roch). We introduce in this paper a simpler notion of partial (weak) bivariant theories and partial Grothe…

2003-07-15math.AGmath.AT

等变代数K-理论与导出完备化 III：应用

Equivariant Algebraic K-Theory and Derived completions III: Applications

本文利用前序论文的导出完备化定理，在一般情形下建立了线性代数群作用下等变G-理论与等变同伦K-理论的Riemann-Roch定理，证明其适用于环面簇与球面簇，还得到Lefschetz-Riemann-Roch定理及相关计算谱序列。

2024-05-15math.AGmath.KT

通过联络与留数的曲面等变黎曼-罗赫定理

Equivariant Riemann-Roch for Surfaces via Connections and Residues

本文通过联络与留数方法，结合除子剥离和双有理技巧，为有限群作用下的光滑射影曲面上的等变欧拉示性数提供了统一计算程序，并给出ADE奇点修正类及实例验证。

2026-09-29math.AG

Riemann-Roch多项式的正性与超凯勒流形的Todd类

Positivity of Riemann-Roch polynomials and Todd classes of hyperkähler manifolds

本文证明了超凯勒流形的Riemann-Roch多项式系数全为正，证实了Cao-作者的猜想和Riess的严格单调性问题，并蕴含Kawamata有效非消失猜想；方法上利用Rozansky-Witten理论构造Todd类平方根的Lefschetz型分解。

2021-12-23math.AGmath.DG

On localization and Riemann-Roch numbers for symplectic quotients

Suppose $(M,ω)$ is a compact symplectic manifold acted on by a compact Lie group $K$ in a Hamiltonian fashion, with moment map $μ: M \to \Lie(K)^*$ and Marsden-Weinstein reduction $M_{red} = μ^{-1}(0)/K$. In this paper, we assume that $M$ has a $K$-invariant Kähler structure. In an earlier paper, we proved a formula (the residue formula) for $η_0 e^{ω_0}[M_{red}]$ for any $η_0 \in H^*(M_{red})$, where $ω_0$ is the induced symplectic form on $M_{red}$. Here we apply the residue formula in the special case $η_0 = Td(M_{red})$; when $K$ acts freely on $μ^{-1}(0)$ this yields a formula for the Rie…

1995-06-04alg-geommath.AG