Equivariant Singular Riemann-Roch Theorem

On the higher Riemann-Roch without denominators

We prove two refinements of the higher Riemann-Roch without denominators: a statement for regular closed immersions between arbitrary finite dimensional noetherian schemes, with no smoothness assumptions, and a statement for the relative cohomology of a proper morphism.

Permutation-equivariant quantum K-theory IX. Quantum Hirzebruch-Riemann-Roch in all genera

We introduce the most general to date version of the permutation-equivariant quantum K-theory, and express its total descendant potential in terms of cohomological Gromov-Witten invariants. This is the higher-genus analogue of adelic characterization from the paper [7] by Givental-Tonita, and is based on the application of Kawasaki's Riemann-Roch formula to moduli spaces of stable maps.

Chern class and Riemann-Roch theorem for cohomology theory without homotopy invariance

In this paper, we formulate axioms of certain graded cohomology theory for which Chern class maps from higher K-theory are defined, following the method of Gillet [Gi1]. We will not include homotopy invariance nor purity in our axioms. It will turn out that the Grothendieck-Riemann-Roch theorem and the Riemann-Roch theorem without denominators hold for our higher Chern classes. We will also give two applications of our Riemann-Roch results.

Riemann-Roch for homotopy invariant K-theory and Gysin morphisms

We prove the Riemann-Roch theorem for homotopy invariant $K$-theory and projective local complete intersection morphisms between finite dimensional noetherian schemes, without smoothness assumptions. We also prove a new Riemann-Roch theorem for the relative cohomology of a morphism. In order to do so, we construct and characterize Gysin morphisms for regular immersions between cohomologies represented by spectra (examples include homotopy invariant $K$-theory, motivic cohomology, their arithmetic counterparts, real absolute Hodge and Deligne-Beilinson cohomology, rigid syntomic cohomology, mix…

K-theory and cohomology of algebraic stacks: Riemann-Roch theorems, D-modules and GAGA theorems

This is the integral text of my thesis. The first part is an expanded version of "Riemann-Roch theorems for Deligne-Mumford stacks", where I deal with Artin stacks over general bases. In the second part, I prove some Riemann-Roch statment for D-modules on Deligne-Mumford stacks, and I also consider the problem of algebraization of analytic stacks.

Algebraic K-theory, A^1-homotopy and Riemann-Roch theorems

In this article, we show that the combination of the constructions done in SGA 6 and the A^1-homotopy theory naturally leads to results on higher algebraic K-theory. This applies to the operations on algebraic K-theory, Chern characters and Riemann-Roch theorems.

Equivariant Grothendieck-Riemann-Roch and localization in operational K-theory

We produce a Grothendieck transformation from bivariant operational $K$-theory to Chow, with a Riemann-Roch formula that generalizes classical Grothendieck-Verdier-Riemann-Roch. We also produce Grothendieck transformations and Riemann-Roch formulas that generalize the classical Adams-Riemann-Roch and equivariant localization theorems. As applications, we exhibit a projective toric variety $X$ whose equivariant $K$-theory of vector bundles does not surject onto its ordinary $K$-theory, and describe the operational $K$-theory of spherical varieties in terms of fixed-point data. In an appendix, V…

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

Equivariant Algebraic K-Theory and Derived completions III: Applications

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

On Grothendieck's Riemann-Roch Theorem

We prove that, for smooth quasi-projective varieties over a field, the $K$-theory $K(X)$ of vector bundles is the universal cohomology theory where $c_1(L\otimes \bar L)=c_1(L)+c_1(\bar L)-c_1(L)c_1(\bar L)$. Then, we show that Grothendieck's Riemann-Roch theorem is a direct consequence of this universal property, as well as the universal property of the graded $K$-theory $GK^\bullet (X)\otimes \mathbb{Q}$.

矩阵分解的典范配对与 Hirzebruch-Riemann-Roch 公式

Canonical pairing and Hirzebruch-Riemann-Roch formula for matrix factorizations

本文研究矩阵分解的典范配对，并借助扭曲 de Rham 值 Todd 类，在周期循环同调中建立 Hirzebruch-Riemann-Roch 公式。

Deligne-Riemann-Roch Theorems I. Uniqueness of Deligne Pairings and Degree $1$ Part of Deligne-Riemann-Roch Isomorphisms

This is the first of a series of papers. Our final goal is to establish Deligne-Riemann-Roch isomorphisms in various settings. In this paper, we establish a uniqueness theorem for Deligne pairings and prove the degree $1$ part of the Deligne-Riemann-Roch theorem.

Equivariant Riemann-Roch theorems for curves over perfect fields

We prove an equivariant Riemann-Roch formula for divisors on algebraic curves over perfect fields. By reduction to the known case of curves over algebraically closed fields, we first show a preliminary formula with coefficients in Q. We then prove and shed some further light on a divisibility result that yields a formula with integral coefficients. Moreover, we give variants of the main theorem for equivariant locally free sheaves of higher rank.

Permutation-equivariant quantum K-theory XI. Quantum Adams-Riemann-Roch

We introduce twisted permutation-equivariant GW-invariants, and compute them in terms of untwisted ones. The computation is based on Grothendieck-like RR formula corresponding to Adams' operations from K-theory to itself, and the result can be understood as a "quantum" version of such Adams-RR. As in the case of cohomological quantum RR theorem [3], the result is applied to express the invariants of bundle and super-bundle spaces in terms of those of the base. The bonus feature of permutation-equivariant K-theory is that the twisting classes can be understood as the simpler kappa-classes of Ka…

相干层的等变陈特征与Riemann-Roch-Grothendieck定理

Equivariant Chern character for coherent sheaves and Riemann-Roch-Grothendieck

本文在有限群作用的紧致复流形上，为相干层建立等变陈特征理论，并证明相应的Riemann-Roch-Grothendieck定理。

Derived invariants and motives, Part I, Integral Grothendieck Riemann-Roch and non-commutative motives

The goal of this series of papers is to give a new non-commutative approach to problems about the density of reductions such as the conjecture of Joshi-Rajan, and the generalization of the conjecture of Serre. In this paper, we prove integral Grothendieck Riemann-Roch which was proved by Papas in the case ch$(k)=0$. As a corollary we prove an integral analogue of Kontsevich's comparison theorem, and we show that if a smooth projective variety $X$ has a full exceptional collection then there is an explicit formula of the motive of $X$ up to bounded torsion.

Deligne-Mumford 栈的动形 Riemann-Roch 定理

A Motivic Riemann-Roch Theorem for Deligne-Mumford Stacks

本文为光滑分离 Deligne-Mumford 栈发展了在 Voevodsky 三角化动机范畴中可表示的动形上同调理论，证明其高阶 Chow 群与高阶 $K$-理论典范同构，从而将 Grothendieck-Riemann-Roch 定理推广至该范畴。

Equivariant Grothendieck-Riemann-Roch theorem via formal deformation theory

We use the formalism of traces in higher categories to prove a common generalization of the holomorphic Atiyah-Bott fixed point formula and the Grothendieck-Riemann-Roch theorem. The proof is quite different from the original one proposed by Grothendieck et al.: it relies on the interplay between self dualities of quasi- and ind- coherent sheaves on $X$ and formal deformation theory of Gaitsgory-Rozenblyum. In particular, we give a description of the Todd class in terms of the difference of two formal group structures on the derived loop scheme $\mathcal LX$. The equivariant case is reduced to…

Riemann-Roch Theorems for Deligne-Mumford Stacks

The goal of this paper is to prove Riemann-Roch type theorems for Deligne-Mumford algebraic stacks. To this end, we introduce a "cohomology with coefficients in representations" and a Chern character, and we prove a Grothendieck-Riemann-Roch theorem for the Riemann-Roch transformation it defines. As a corollary we obtain an Hirzebruch-Riemann-Roch formula for the Euler characteristic of a coherent sheaf, and some formulas for the different topological Euler characteristics of complex algebraic stacks.

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.

Grothendieck-Riemann-Roch for derived schemes

We define bivariant algebraic K-theory and bivariant derived Chow on the homotopy category of derived schemes over a smooth base. The orientation on the latter corresponds to virtual Gysin homomorphisms. We then provide a morphism between these two bivariant theories and compare the two orientations. This comparison then yields a homological and cohomological Grothendieck-Riemann-Roch formula for virtual classes.

Explicit Orbifold Riemann-Roch for quasismooth varieties

Considering quasismooth varieities as global $\CC^*$ quotients, we present a Riemann-Roch formula via general Riemann-Roch formula for quotient stacks. Furthermore, we give a parcing formula for Hilbert series associated to a polarized quasismooth projectively Gorenstein algebraic varieties with orbifold curves and dissident points, which is an extension of the result in \cite{BRZ}.

高维复非交换环面上的黎曼-罗赫定理

The Riemann-Roch Theorem on higher dimensional complex noncommutative tori

本文证明了配备复结构的任意维非交换环面上的黎曼-罗赫定理与霍奇定理的类似物，并探讨了区分非交换阿贝尔簇与非代数非交换复环面的理论意义。

Orbifold Riemann-Roch for threefolds with an application to Calabi-Yau geometry

We prove an orbifold Riemann--Roch formula for a polarized 3--fold (X,D). As an application, we construct new families of projective Calabi--Yau threefolds.

Riemann-Roch for stacky matrix factorizations

We establish a Hirzebruch-Riemann-Roch type theorem and Grothendieck-Riemann-Roch type theorem for matrix factorizations on quotient Deligne-Mumford stacks. For this we first construct a Hochschild-Kostant-Rosenberg type isomorphism explicit enough to yield a categorical Chern character formula. We next find an expression of the canonical pairing of Shklyarov under the isomorphism.

On the Riemann-Roch formula without projective hypothesis

Let $S$ be a finite dimensional noetherian scheme. For any proper morphism between smooth $S$-schemes, we prove a Riemann-Roch formula relating higher algebraic $K$-theory and motivic cohomology, thus with no projective hypothesis neither on the schemes nor on the morphism. We also prove, without projective assumptions, an arithmetic Riemann-Roch theorem involving Arakelov's higher $K$-theory and motivic cohomology as well as an analogue result for the relative cohomology of a morphism. These results are obtained as corollaries of a motivic statement that is valid for morphisms between oriente…

The Atiyah class, Hochschild cohomology and the Riemann-Roch theorem

We develop a formalism involving Atiyah classes of sheaves on a smooth manifold, Hochschild chain and cochain complexes. As an application we prove a version of the Riemann--Roch theorem.

Grothendieck-Riemann-Roch and the moduli of Enriques surfaces

We give a short and "classical" proof of Borcherds' theorem that the moduli space of Enriques surfaces is quasi-affine. The use of the Borcherds' product is replaced in our proof by an application of the Grothendieck-Riemann-Roch theorem.

Riemann-Roch Theorems via deformation quanitzation I

We deduce the Riemann-Roch type formula expressing the microlocal Euler class of a perfect complex of D-modules in terms of the Chern character of the associated symbol complex and the Todd class of the manifold from the Riemann-Roch type theorem for periodic cyclic cocycles of a symplectic deformation quantization. The proof of the latter is contained in the sequel to this paper.

Reduced norms and the Riemann-Roch theorem for Abelian varieties

We explain how the Riemann-Roch theorem for divisors on an abelian variety $A$ is related to the reduced norms of the Wedderburn components of $\operatorname{End}^0(A)$ the $\mathbb{Q}$-endomorphism algebra of $A$. We then describe consequences and examples.

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

A Lefschetz-Riemann-Roch theorem for singular schemes

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

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

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 conce…

The categorified Grothendieck-Riemann-Roch theorem

In this paper we prove a categorification of the Grothendieck-Riemann-Roch theorem. Our result implies in particular a Grothendieck-Riemann-Roch theorem for Toën and Vezzosi's secondary Chern character. As a main application, we establish a comparison between the Toën-Vezzosi Chern character and the classical Chern character, and show that the categorified Chern character recovers the classical de Rham realization.

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…

On the Adams-Riemann-Roch theorem in positive characteristic

We give a new proof of the Adams-Riemann-Roch theorem for a smooth projective morphism $X\to Y$, in the situation where $Y$ is a regular scheme, which is quasi-projective over $\mF_p$. We also partially answer a question of B. Köck.

An arithmetic Riemann-Roch theorem in higher degrees

We prove an analogue in Arakelov geometry of the Grothendieck-Riemann-Roch theorem.

Algebraic foliations and derived geometry II: the Grothendieck-Riemann-Roch theorem

This is the second of series of papers on the study of foliations in the setting of derived algebraic geometry based on the central notion of derived foliation. We introduce sheaf-like coefficients for derived foliations, called quasi-coherent crystals, and construct a certain sheaf of dg-algebras of differential operators along a given derived foliation, with the property that quasi-coherent crystals can be interpreted as modules over this sheaf of differential operators. We use this interpretation in order to introduce the notion of good filtrations on quasi-coherent crystals, and define the…

Higher adeles and non-abelian Riemann-Roch

We show a Riemann-Roch theorem for group ring bundles over an arithmetic surface; this is expressed using the higher adeles of Beilinson-Parshin and the tame symbol via a theory of adelic equivariant Chow groups and Chern classes. The theorem is obtained by combining a group ring coefficient version of the local Riemann-Roch formula as in Kapranov-Vasserot with results on K-groups of group rings and an explicit description of group ring bundles over P^1. Our set-up provides an extension of several aspects of the classical Fr"ohlich theory of the Galois module structure of rings of integers of …

Riemann-Roch for Toric Rank Functions

In this thesis we study toric rank functions for chip firing games and prove special cases of a conjectural Riemann-Roch. The original motivation for an investigation into this area of study came for the adaptation (due to Matt Baker) of Riemann-Roch into a graph theoretic analogue through the use of chip-firing games. Here, we collect known results and present new observations that indicate Riemann--Roch holds for trees and polygons. We also prove an asymptotic case of Riemann--Roch (i.e.~Riemann--Roch for divisors of large degree). Finally, we also provide magma code and computational eviden…

Tropical Theta Functions and Riemann-Roch Inequality for Tropical Abelian Surfaces

We show that the space of theta functions on tropical tori is identified with a convex polyhedron. We also show a Riemann-Roch inequality for tropical abelian surfaces by calculating the self-intersection numbers of divisors.

商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概型的不可约辛流形。

A Riemann-Roch theorem in tropical geometry

Recently, Baker and Norine have proven a Riemann-Roch theorem for finite graphs. We extend their results to metric graphs and thus establish a Riemann-Roch theorem for divisors on (abstract) tropical curves.

On Deligne's functorial Riemann-Roch theorem in positive characteristic

In this note, we give a proof for a variant of the functorial Deligne-Riemann-Roch theorem in positive characteristic based on ideas appearing in Pink and Rössler's proof of the Adams-Riemann-Roch theorem in positive characteristic (see \cite{Pi}). The method of their proof appearing in \cite{Pi}, which is valid for any positive characteristic and which is completely different from the classical proof, will allow us to prove the functorial Deligne-Riemann-Roch theorem in a much easier and more direct way. Our proof is also partially compatible with Mumford's isomorphism.

关于黎曼-罗奇公式：旧与新

On the Riemann-Roch formula: old and new

本文通过回答Matthew Baker和Serguei Norine于2007年提出的问题，提出了黎曼-罗奇公式证明的新方法。

几乎完美障碍理论的虚拟黎曼-罗赫定理

Virtual Riemann-Roch Theorems for Almost Perfect Obstruction Theories

本文在几乎完美障碍理论框架下证明虚拟黎曼-罗赫定理，涵盖非等变与等变情形及余截面局部化版本，推广并简化了既有结果，为K-理论不变量提供坚实基础。

The Riemann-Roch theorem for the Adams operations

We prove the classical Riemann-Roch theorems for the Adams operations $\,ψ^j\,$ on $K$-theory: a statement with coefficients on $\mathbb{Z}[j^{-1}]$, that holds for arbitrary projective morphisms, as well as another one with integral coefficients, that is valid for closed immersions. In presence of rational coefficients, we also analyze the relation between the corresponding Riemann-Roch formula for one Adams operation and the analogous formula for the Chern character. To do so, we complete the elementary exposition of the work of Panin-Smirnov that was initiated by the first author in a previ…

Representations of finite groups on Riemann-Roch spaces, II

If G is a finite subgroup of the automorphism group of a projective curve X and D is a divisor on X stabilized by G, then under the assumption that D is nonspecial, we compute a simplified formula for the trace of the natural representation of G on Riemann-Roch space L(D).

Integral Grothendieck-Riemann-Roch theorem

We show that, in characteristic zero, the obvious integral version of the Grothendieck-Riemann-Roch formula obtained by clearing the denominators of the Todd and Chern characters is true (without having to divide the Chow groups by their torsion subgroups). The proof introduces an alternative to Grothendieck's strategy: we use resolution of singularities and the weak factorization theorem for birational maps.

Riemann-Roch inequality for smooth tropical toric surfaces

For a divisor $D$ on a tropical variety $X$, we define two amounts in order to estimate the value of $h^{0}(X,D)$, which are described by terms of global sections and computed more easily than $h^{0}(X,D)$. As an application of its estimation, we show that a Riemann-Roch inequality holds for smooth tropical toric surfaces.

线性化函数域的 Riemann–Roch 空间的基及其在广义代数几何码中的应用

Bases for Riemann--Roch spaces of linearized function fields with applications to generalized algebraic geometry codes

该研究通过给出线性化函数域 Riemann–Roch 空间的显式基，建立广义代数几何码最小距离下界，并据此构造参数良好的编码。

Notes on equivariant higher Chow groups

In this short note, we prove a comparision theorem between Levine-Serpé's equivariant higher Chow groups of an algebraic variety equipped with an action of a finite group and ordinary higher Chow groups of its fixed points. As a consequence, we show that the equivariant motivic spectral sequence degenerates rationally. This yields a Riemann-Roch Theorem for equivariant algebraic $K$-theory.

轨形Hirzebruch-Riemann-Roch定理

Orbifold Hirzebruch-Riemann-Roch

该研究针对商Deligne-Mumford栈的轨形HRR定理展开，分析其与有限群表示论的联系，借助轨形Mukai配对得到了新的轨形HRR公式，丰富了代数几何领域的相关理论。

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

A remark on an algebraic Riemann-Roch formula for flat bundles

We propose an algebraic Riemann-Roch formula for moving flat bundles on contant families in characteristic zero with values in the ring of algebraic differential characters. This formula lifts Grothendieck-Riemann-Roch formula in the Chow groups and Bismut-Lott formula in the odd dimensional Betti cohomology with $\C/\Z$ coefficients over the field of complex numbers.

Quantum orbifold Hirzebruch-Riemann-Roch theorem in genus zero

We introduce K-theoretic Gromov-Witten invariants of algebraic orbifold target spaces. Using the methods developed by Givental-Tonita we characterize Giventals Lagrangian cone of quantum K theory of orbifolds in terms of the cohomological cone.