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.
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.
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.
The goal of this paper is to prove the Riemann-Roch isomorphism for the higher equivariant K-theory of varieties with action of a linear algebraic group.
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}.
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.
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.
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.
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.
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.
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…
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.
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.
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.
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).
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…
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.
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.
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.
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.
In this paper, we introduce a geometrically stylized arithmetic cohomology for number fields. Based on such a cohomology, we define and study new yet genuine non-abelian zeta functions for number fields, using an intersection stability.
In this paper we give an explicit formula for the Riemann-Roch map for singular schemes which are quotients of smooth schemes by diagonalizable groups. As an application we obtain a simple proof of a formula for the Todd class of a simplicial toric variety. An equivariant version of this formula was previously obtained for complete simplicial toric varieties by Brion and Vergne using different techniques.
Using the arithmetic Schottky uniformization theory, we show the arithmeticity of $PSL_{2}({\mathbb C})$ Chern-Simons invariant. In terms of this invariant, we give an explicit formula of the Riemann-Roch isomorphism as Zograf-Mcintyre-Takhtajan's infinite product for families of algebraic curves. By this formula, we determine the unknown constant which appears in the holomorphic factorization formula of determinant of Laplacians on Riemann surfaces via the classical Liouville action. As an application, we show the rationality of Ruelle zeta values for Schottky uniformized $3$-manifolds.
This write up attempts to clarify a preprint by Markarian [2] which proves This paper attempts to clarify a preprint of Markarian [2]. The preprint by Markarian [2] proves the relative Riemann-Roch theorem using a result describing how the HKR map fails to respect comultiplication. This paper elaborates on the core computations in [2]. These computations show that the HKR map twisted by the square root of the Todd genus "almost preserves" the Mukai pairing. This settles a part of a conjecture of Caldararu[3]. The relative Riemann-Roch theorem follows from this and a result of Caldararu[4].
Suppose $\mathcal{S}$ is a smooth, proper, and tame Deligne-Mumford stack. Toën's Grothendieck-Riemann-Roch theorem requires correction terms, involving components of the inertia stack, to the standard formula for schemes. We give a brief overview of Toën's Grothendieck-Riemann-Roch theorem, and explicitly compute the correction terms in the case of an orbifold surface with stabilizers of types ADE.
For a proper scheme X with a fixed 1-perfect obstruction theory, we define virtual versions of holomorphic Euler characteristic, chi y-genus, and elliptic genus; they are deformation invariant, and extend the usual definition in the smooth case. We prove virtual versions of the Grothendieck-Riemann-Roch and Hirzebruch-Riemann-Roch theorems. We show that the virtual chi y-genus is a polynomial, and use this to define a virtual topological Euler characteristic. We prove that the virtual elliptic genus satisfies a Jacobi modularity property; we state and prove a localization theorem in the toric …
Let q>1 denote an integer relatively prime to 2,3,7 and for which G=PSL(2,q) is a Hurwitz group for a smooth projective curve X defined over C. We compute the G-module structure of the Riemann-Roch space L(D), where D is an invariant divisor on X of positive degree. This depends on a computation of the ramification module, which we give explicitly. In particular, we obtain the decomposition of H^1(X,C) as a G-module.
Let $ \; G \; $ be a group acting on a compact Riemann surface $ \; {\mathcal X} \; $ and $ \; D \; $ be a $ \; G$-invariant divisor on $\; {\mathcal X}. \; $ The action of $ \; G \; $ on $ \; {\mathcal X} \; $ induces a linear representation $ \; L_G(D) \; $ of $ \; G \; $ on the Riemann-Roch space associated to $ \; D.$ In this paper we give some results on the decomposition of $ \; L_G(D) \; $ as sum of complex irreducible representations of $ \; G, \; $ for $ \; D \; $ an effective non-special $\; G$-invariant divisor. In particular, we give explicit formulae for the multiplicity of each c…
In this paper, we prove the functorial Riemann-Roch theorem in positive characteristic for a smooth and projective morphism with any relative dimension. In the case of relative dimension $1$, we have given an analogue with Deligne's functorial Riemann Roch theorem in previous author's paper. For any relative dimension, our result can deduce an analogue to the Knudsen-Mumford extension. The present result is a generalization, which mainly originated from the extended Deligne pairing by S. Zhang and the Adams Riemann Roch theorem in positive characteristic by R. Pink and D. Rössler.
We introduce an approach of Riemann--Roch theorem to the boundedness problem of minimal log discrepancies in fixed dimension. After reducing it to the case of a Gorenstein terminal singularity, firstly we prove that its minimal log discrepancy is bounded if either multiplicity or embedding dimension is bounded. Secondly we recover the characterisation of a Gorenstein terminal three-fold singularity by Reid, and the precise boundary of its minimal log discrepancy by Markushevich, without explicit classification. Finally we provide the precise boundary for a special four-fold singularity, whose …
We prove a Hirzebruch-Riemann-Roch type formula for global matrix factorizations. This is established by an explicit realization of the abstract Hirzebruch-Riemann-Roch type formula of Shklarov. We also show a Grothendieck-Riemann-Roch type theorem.
We give an orbifold Riemann-Roch formula in closed form for the Hilbert series of a quasismooth polarized n-fold X,D, under the assumption that X is projectively Gorenstein with only isolated orbifold points. Our formula is a sum of parts each of which is integral and Gorenstein symmetric of the same canonical weight; the orbifold parts are called "ice cream functions". This form of the Hilbert series is particularly useful for computer algebra, and we illustrate it on examples of K3 surfaces and Calabi-Yau 3-folds. These results apply also with higher dimensional orbifold strata (see [A. Buck…
In this work we study the generalized Weierstrass semigroup $\widehat{H} (\mathbf{P}_m)$ at an $m$-tuple $\mathbf{P}_m = (P_{1}, \ldots , P_{m})$ of rational points on certain curves admitting a plane model of the form $f(y) = g(x)$ over $\mathbb{F}_{q}$, where ${f(T),g(T)\in \mathbb{F}_q[T]}$. In particular, we compute the generating set $\widehatΓ(\mathbf{P}_m)$ of $\widehat{H} (\mathbf{P}_m)$ and, as a consequence, we explicit a basis for Riemann-Roch spaces of divisors with support in $\{P_{1}, \ldots , P_{m}\}$ on these curves, generalizing results of Maharaj, Matthews, and Pirsic.
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…
Let $f: X \to S$ be flat morphism over an algebraically closed field $k$ with a relative normal crossings divisor $Y\subset X$, $(E, \nabla)$ be a bundle with a connection with log poles along $Y$ and curvature with values in $f^*Ω^2_{k(S)}$. Then the Gauß-Manin sheaf $R^if_*(Ω^*_{X/S}({\rm log} Y)\otimes E)$ carries a Gauß-Manin connection $GM^i(\nabla)$. We establish a Riemann-Roch formula relating the algebraic Chern-Simons invariants of $\nabla$, $GM^i(\nabla)$ and the top Chern class of $Ω^1_{X/S}({\rm log}Y)$.
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.
We give a simple proof of the Riemann-Roch theorem for Deligne-Mumford stacks using the equivariant Riemann-Roch theorem and the localization theorem in equivariant K-theory together with some basic commutative algebra of Artin rings.
For an irreducible subvariety Z in an algebraic group G we define a nonnegative integer gdeg(Z) as the degree, in a certain sense, of the Gauss map of Z. It can be regarded as a substitution for the intersection index of the conormal bundle to Z with the zero section of T^*G, even though G may be non-compact. For G a semiabelian variety (in particular, an algebraic torus (C^*)^n) we prove a Riemann-Roch-type formula for constructible sheaves on G, which involves our substitutions for the intersection indices. As a corollary, we get that a perverse sheaf on such a G has nonnegative Euler charac…
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.
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.
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.
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 classical arithmetic Grothendieck-Riemann-Roch theorem can be applied only to projective morphisms that are smooth over the complex numbers. In this paper we generalize the arithmetic Grothendieck-Riemann-Roch theorem to the case of general projective morphisms between regular arithmetic varieties. To this end we rely on the theory of generalized analytic torsion developed by the authors.
We prove a Riemann-Roch theorem for real divisors on edge-weighted graphs over the reals, extending the result of Baker and Norine for integral divisors on graphs with multiple edges.
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.
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…
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…
We define a divisor theory for graphs and tropical curves endowed with a weight function on the vertices; we prove that the Riemann-Roch theorem holds in both cases. We extend Baker's Specialization Lemma to weighted graphs.