In this note, we investigate the Chern classes of flat bundles in the arithmetic Deligne Cohomology, introduced by Green-Griffiths, Asakura-Saito. We show nontriviality of the Chern classes in some cases and the proof also indicates that generic flat bundles (in its moduli space) can be expected to have nontrivial classes, which is in contrast with some Gauss-Manin systems.
The arithmetic Chow groups and their product structure are extended from the category of regular arithmetic varieties to regular Deligne-Mumford stacks over the ring of integers in a number field.
In this article, we construct Chern classes in rational Deligne cohomology for coherent sheaves on a smooth complex compact manifold. We prove that these classes verify the functoriality property under pullbacks, the Whitney formula and the Grothendieck-Riemann-Roch theorem for projective morphisms between smooth complex compact manifolds.
Let $X$ be a complex projective algebraic variety with Gorenstein quotient singularities and $\X$ a smooth Deligne-Mumford stack having $X$ as its coarse moduli space. We show that the CSM class $c^{SM}(X)$ coincides with the pushforward to $X$ of the total Chern class $c(T_{I\X})$ of the inertia stack $I\X$. We also show that the stringy Chern class $c_{str}(X)$ of $X$, whenever is defined, coincides with the pushforward to $X$ of the total Chern class $c(T_{II\X})$ of the double inertia stack $II\X$. Some consequences concerning stringy/orbifold Hodge numbers are deduced.
For an arithmetic surface $X\to B=\operatorname{Spec} O_K$ the Deligne pairing $\left <\,,\,\right > \colon \operatorname{Pic}(X) \times \operatorname{Pic}(X) \to \operatorname{Pic}(B)$ gives the "schematic contribution" to the Arakelov intersection number. We present an idelic and adelic interpretation of the Deligne pairing; this is the first crucial step for a full idelic and adelic interpretation of the Arakelov intersection number. For the idelic approach we show that the Deligne pairing can be lifted to a pairing $\left<\,,\,\right>_i:\ker(d^1_\times)\times \ker(d^1_\times)\to\operatorna…
In this paper we define the formal and tempered Deligne cohomology groups, that are obtained by applying the Deligne complex functor to the complexes of formal differential forms and tempered currents respectively. We then prove the existence of a duality between them, a vanishing theorem for the former and a semipurity property for the latter. The motivation of these results comes from the study of covariant arithmetic Chow groups. The semi-purity property of tempered Deligne cohomology implies, in particular, that several definitions of covariant arithmetic Chow groups agree for projective a…
In this paper, we prove a generalization of Reznikov's theorem which says that the Chern-Simons classes and in particular the Deligne Chern classes (in degrees $>1$) are torsion, of a flat bundle on a smooth complex projective variety. We consider the case of a smooth quasi--projective variety with an irreducible smooth divisor at infinity. We define the Chern-Simons classes of Deligne's canonical extension of a flat vector bundle with unipotent monodromy at infinity, which lift the Deligne Chern classes and prove that these classes are torsion.
Faltings showed that "arithmetic Kodaira--Spencer classes" satisfying a certain compatibility axiom cannot exist. By modifying his definitions slightly, we show that the Deligne--Illusie classes satisfy what could be considered an "arithmetic Kodaira--Spencer" compatibility condition. Afterwards we discuss a "wittfinitesimal Torelli problem" and its relation to CM Jacobians.
We prove a character formula for some closed fine Deligne-Lusztig varieties. We apply it to compute fixed points for fine Deligne-Lusztig varieties arising from the basic loci of Shimura varieties of Coxeter type. As an application, we prove an arithmetic intersection formula for certain diagonal cycles on unitary and GSpin Rapoport-Zink spaces arising from the arithmetic Gan-Gross-Prasad conjectures. In particular, we prove the arithmetic fundamental lemma in the minuscule case, without assumptions on the residual characteristic.
We use Burgos theory of arithmetic Chow groups to exhibit a realization of the degree zero part of the polylogarithm on abelian schemes in Deligne-Beilinson cohomology.
We propose an arithmetic McKay correspondence which relates suitably defined zeta functions of some Deligne-Mumford stacks to the zeta functions of their crepant resolutions. Some examples are discussed.
In this paper we express the class of the structure sheaves of the closures of Deligne--Lusztig varieties as explicit double Grothendieck polynomials in the first Chern classes of appropriate line bundles on the ambient flag variety. This is achieved by viewing such closures as degeneracy loci of morphisms of vector bundles.
We introduce exponential complexes of sheaves on manifolds. They are resolutions of the (Tate twisted) constant sheaves of the rational numbers, generalising the short exact exponential sequence. There are canonical maps from the exponential complexes to the de Rham complex. Using this, we introduce new complexes calculating the rational Deligne cohomology. We call them exponential Deligne complexes. Their advantage is that, at least at the generic point of a complex variety, one can define Beilinson's regulator map to the rational Deligne cohomology on the level of complexes. Namely, we defin…
We consider a short sequence of hermitian vector bundles on some arithmetic variety. Assuming that this sequence is exact on the generic fiber we prove that the alternated sum of the arithmetic Chern characters of these bundles is the sum of two terms, namely the secondary Bott Chern character class of the sequence and its Chern character with supports on the finite fibers. Next, we compute these classes in the situation encountered by the second author when proving a "Kodaira vanishing theorem" for arithmetic surfaces.
The study of affine Deligne-Lusztig varieties originally arose from arithmetic geometry, but many problems on affine Deligne-Lusztig varieties are purely Lie-theoretic in nature. This survey deals with recent progress on several important problems on affine Deligne-Lusztig varieties. The emphasis is on the Lie-theoretic aspect, while some connections and applications to arithmetic geometry will also be mentioned.
By comparing Deligne complex and Aeppli-Bott-Chern complex, we construct a differential cohomology $\widehat{H}^*(X, *, *)$ that plays the role of Harvey-Lawson spark group $\widehat{H}^*(X, *)$, and a cohomology $H^*_{ABC}(X; \Z(*, *))$ that plays the role of Deligne cohomology $H^*_{\mathcal{D}}(X; \Z(*))$ for every complex manifold $X$. They fit in the short exact sequence $$ 0\rightarrow H^{k+1}_{ABC}(X; \Z(p, q)) \rightarrow \widehat{H}^k(X, p, q) \overset{δ_1}{\rightarrow} Z^{k+1}_I(X, p, q) \rightarrow 0$$ and $\widehat{H}^{\bullet}(X, \bullet, \bullet)$ possess ring structure and refin…
We calculate the parabolic Chern character of a bundle with locally abelian parabolic structure on a smooth strict normal crossings divisor, using the definition in terms of Deligne-Mumford stacks. We obtain explicit formulas for $ch_1$, $ch_2$ and $ch_3$, and verify that these correspond to the formulas given by Borne for $ch_1$ and Mochizuki for $ch_2$.
In this note, we report on a work jointly done with C. Simpson on a generalization of Reznikov's theorem which says that the Chern-Simons classes and in particular the Deligne Chern classes (in degrees $> 1$) are torsion, of a flat vector bundle on a smooth complex projective variety. We consider the case of a smooth quasi--projective variety with an irreducible smooth divisor at infinity. We define the Chern-Simons classes of the Deligne's \textit{canonical extension} of a flat vector bundle with unipotent monodromy at infinity, which lift the Deligne Chern classes and prove that these classe…
Generalizing the famous Bernstein-Kushnirenko Theorem, Khovanskii proved in 1978 a combinatorial formula for the arithmetic genus of the compactification of a generic complete intersection associated to a family of lattice polytopes. Recently, an analogous combinatorial formula, called the discrete mixed volume, was introduced by Bihan and shown to be nonnegative. By making a footnote of Khovanskii in his paper explicit, we interpret this invariant as the (motivic) arithmetic genus of the non-compact generic complete intersection associated to the family of lattice polytopes.
Simplicial toric stack bundles are smooth Deligne-Mumford stacks over smooth varieties with fibre a toric Deligne-Mumford stack. We compute the Grothendieck $K$-theory of simplicial toric stack bundles and study the Chern character homomorphism.
For a proper local embedding between two Deligne--Mumford stacks Y and X, we find, under certain mild conditions, a new (possibly non-separated) Deligne--Mumford stack X', with an etale, surjective and universally closed map to the target X, and whose fiber product with the image of the local embedding is a finite union of stacks with corresponding etale, surjective and universally closed maps to Y. Moreover, a natural set of weights on the substacks of X' allows the construction of a universally closed push-forward, and thus a comparison between the Chow groups of X' and X. We apply the const…
We study the Harvey-Lawson spark characters of level p on complex manifolds. Presenting Deligne cohomology classes by sparks of level $p$, we give an explicit analytic product formula for Deligne cohomology. We also define refined Chern classes in Deligne cohomology for holomorphic vector bundles over complex manifolds. Applications to algebraic cycles are given. A Bott-type vanishing theorem in Deligne cohomology for holomorphic foliations is established. A general construction of Nadel-type invariants is given together with a new proof of Nadel's conjecture.
We prove that the existence of an automorphism of finite order on a (defined over a number field) variety X implies the existence of algebraic linear relations between the logarithm of certain periods of X and the logarithm of special values of the Gamma-function. This implies that a slight variation of results by Anderson, Colmez and Gross on the periods of CM abelian varieties is valid for a larger class of CM motives. In particular, we prove a weak form of the period conjecture of Gross-Deligne. Our proof relies on the arithmetic fixed point formula (equivariant arithmetic Riemann-Roch theo…
Those are the notes for the 2015 Summer Research Institute on Algebraic Geometry. We report on Deligne's finiteness theorem for $\ell$-adic representations on smooth varieties defined over a finite field, on its crystalline version, and on how the geometric étale fundamental group of a smooth projective variety defined over a characteristic $p>0$ field controls crystals on the infinitesimal site and should control those on the crystalline site. v2: last results added to the report, and some typos corrected.
A map from the higher arithmetic $K$-group defined by the author to the higher arithmetic Chow group constructed by Burgos and Feliu is given. It is a higher extension of the arithmetic Chern character established by Gillet and Soulé, and it can also be regarded as an analogue of Beilinson's regulator in Arakelov geometry. It is shown that this map is compatible with the pull-back map and the product structure.
In this paper, we obtain an explicit formula for the Chern character of a locally abelian parabolic bundle in terms of its constituent bundles. Several features and variants of parabolic structures are discussed. Parabolic bundles arising from logarithmic connections form an important class of examples. As an application, we consider the situation when the local monodromies are semi-simple and are of finite order at infinity. In this case the parabolic Chern classes of the associated locally abelian parabolic bundle are deduced to be zero in the rational Deligne cohomology in degrees $\geq 2$.
We compute the Bott-Chern classes of the metric Euler sequence describing the relative tangent bundle of the variety P(E) of hyperplans of a holomorphic hermitian vector bundle (E,h) on a complex manifold. We give applications to the construction of the arithmetic characteristic classes of an arithmetic vector bundle and to the computation of the height of P(E) with respect to the tautological quotient bundle O_E(1).
We define an `enriched' notion of Chow groups for algebraic varieties, agreeing with the conventional notion for complete varieties, but enjoying a functorial push-forward for arbitrary maps. This tool allows us to glue intersection-theoretic information across elements of a stratification of a variety; we illustrate this operation by giving a direct construction of Chern-Schwartz-MacPherson classes of singular varieties, providing a new proof of an old (and long since settled) conjecture of Deligne and Grothendieck.
We are showing that the Deligne--Beilinson cohomology sheaves ${\cal H}^{q+1}({\bf Z}(q)_{\cal D})$ are torsion free by assuming Kato's conjectures hold true for function fields. This result is `effective' for $q=2$; in this case, by dealing with `arithmetic properties' of the presheaves of mixed Hodge structures defined by singular cohomology, we are able to give a cohomological characterization of the Albanese kernel for surfaces with $p_g=0$.
Let \E : 0 --> S --> E --> Q --> 0 be a short exact sequence of hermitian vector bundles with metrics on S and Q induced from that on E. We compute the Bott-Chern form of \E corresponding to any characteristic class, assuming E is projectively flat. The result is used to obtain a new presentation of the Arakelov Chow ring of the arithmetic grassmannian.
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.
We study the singular Bott-Chern classes introduced by Bismut, Gillet and Soule. Singular Bott-Chern classes are the main ingredient to define direct images for closed immersions in arithmetic K-theory. In this paper we give an axiomatic definition of a theory of singular Bott-Chern classes, study their properties, and classify all possible theories of this kind. We identify the theory defined by Bismut, Gillet and Soule as the only one that satisfies the additional condition of being homogeneous. We include a proof of the arithmetic Grothendieck-Riemann-Roch theorem for closed immersions that…
The goal of the memoir is to develop a new cohomology theory which encompasses De Rham and Dolbeault cohomology as well as Deligne Beilinson cohomology, in the context of general complex analytic manifolds. The special case of the Iwasawa manifold is investigated as a typical example of what occurs in the non Kähler case. Elementary applications to the Kodaira-Spencer deformation theory and to the calculation of Chern classes are given.
We obtain a precise relation between the Chern-Schwartz-MacPherson class of a subvariety of projective space and the Euler characteristics of its general linear sections. In the case of a hypersurface, this leads to simple proofs of formulas of Dimca-Papadima and Huh for the degrees of the polar map of a homogeneous polynomial, extending these formula to any algebraically closed field of characteristic~0, and proving a conjecture of Dolgachev on 'homaloidal' polynomials in the same context. We generalize these formulas to subschemes of higher codimension in projective space. We also describe a…
We produce a family of new, non arithmetic lattices in PU(2,1). All previously known examples were commensurable with lattices constructed by Picard, Mostow and Deligne-Mostow, and fell into 9 commensurability classes. Our groups produce 5 new distinct commensurability classes. Most of the techniques are completely general, and provide efficient geometric and computational tools for constructing fundamental domains for discrete group acting on the complex hyperbolic plane.
In this paper, we apply ideas of Dijkgraaf and Witten on 2+1 dimensional topological quantum field theory to arithmetic curves, that is, the spectra of rings of integers in algebraic number fields. In the first three sections, we define classical Chern-Simons functionals on spaces of Galois representations. In the highly speculative section 5, we consider the far-fetched possibility of using Chern-Simons theory to construct L-functions.
We give a conceptual proof of the fact that the realisation of the degree zero part of the polylogarithm on abelian schemes in analytic Deligne cohomology can be described in terms of the Bismut-Köhler higher analytic torsion form of the Poincaré bundle. Furthermore, we provide a new axiomatic characterization of the arithmetic Chern character of the Poincaré bundle using only invariance properties under isogenies. For this we obtain a decomposition result for the arithmetic Chow group of independent interest.
In this paper, we will study the arithmetic geometry of rank-2 attractors, which are Calabi-Yau threefolds whose Hodge structures admit interesting splits. We will develop methods to analyze the algebraic de Rham cohomologies of rank-2 attractors, and we will illustrate how our methods work by focusing on an example in a recent paper by Candelas, de la Ossa, Elmi and van Straten. We will look at the interesting connections between rank-2 attractors in string theory and Deligne's conjecture on the special values of $L$-functions. We will also formulate several open questions concerning the pote…
For curves of genus bigger than one we prove that Buium's first arithmetic jet spaces (p-jet spaces) admit the structure of a torsor under some line bundle. This result lifts a known constructions in characteristic p where the first $p$-jet space modulo p is a sheaf under the Frobenius tangent sheaf (parametrizing Frobenius linear derivations). In particular we show there is a natural family of lifts of the Frobenius tangent bundle so that the first $p$-jet space (and hence higher order lifts of the Frobenius) form torsor a under this bundle. The Cech cohomology classes associated to this tors…
In this paper, we shall discuss possible theories of defining equivariant singular Bott-Chern classes and corresponding uniqueness property. By adding a natural axiomatic characterization to the usual ones of equivariant Bott-Chern secondary characteristic classes, we will see that the construction of Bismut's equivariant Bott-Chern singular currents provides a unique way to define a theory of equivariant singular Bott-Chern classes. This generalizes J. I. Burgos Gil and R. Liţcanu's discussion to the equivariant case. As a byproduct of this study, we shall prove a concentration formula which …
Let [X/G] be a smooth Deligne-Mumford quotient stack. In a previous paper the authors constructed a class of exotic products called inertial products on K(I[X/G]), the Grothendieck group of vector bundles on the inertia stack I[X/G]. In this paper we develop a theory of Chern classes and compatible power operations for inertial products. When G is diagonalizable these give rise to an augmented $λ$-ring structure on inertial K-theory. One well-known inertial product is the virtual product. Our results show that for toric Deligne-Mumford stacks there is a $λ$-ring structure on inertial K-theory.…
We study locally free sheaves of rank two on the projective line over the integers, especially indecomposable ones. Subsequently we apply various concepts of Arakelov geometry to these sheaves. We compute for example the arithmetic Chern classes and use the arithmetic Riemann-Roch theorem.
The concept of weights on the cohomology of algebraic varieties was initiated by fundamental ideas and work of A. Grothendieck and P. Deligne. It is deeply connected with the concept of motives and appeared first on the singular cohomology as the weights of (possibly mixed) Hodge structures and on the etale cohomology as the weights of eigenvalues of Frobenius. But weights also appear on algebraic fundamental groups and in p-adic Hodge theory, where they become only visible after applying the comparison functors of Fontaine. After rehearsing various versions of weights, we explain some more re…
In this paper, we introduce six axioms for relative Bott-Chern secondary characteristic classes and prove the uniqueness and existence theorem for them. Such a work provides us a natural way to understand and hence to prove the arithmetic Grothendieck-Riemann-Roch theorem.
Torsion of extended Chern-Simons classes for canonical extensions of flat bundles
Institute for Mathematical Sciences (HBNI)(数学科学研究所(HBNI));Max-Planck Institute for Mathematics(马克斯·普朗克数学研究所);CNRS, Laboratoire J. A. Dieudonné, UMR 6621 Université Cöte d’Azur(法国国家科学研究中心,J.A.迪永实验室,UMR 6621蔚蓝海岸大学)
The $L^2$-cohomology of a locally symmetric variety is known to have the topological interpretation as the intersection homology of its Baily-Borel Satake compactification. In this article, we observe that even without the Hermitian hypothesis, the $L^p$-cohomology of an arithmetic quotient, for $p$ finite and sufficiently large, is isomorphic to the ordinary cohomology of its reductive Borel-Serre compactification. We use this to generalize a theorem of Mumford concerning homogeneous vector bundles, their invariant Chern forms and the canonical extensions of the bundles; here, though, we are …
We show that the constructions done in part I generalize their classical counterparts: firstly, the classical Beilinson regulator is induced by the abstract Chern class map from $BGL$ to the Deligne cohomology spectrum. Secondly, Arakelov motivic cohomology is a generalization of arithmetic $K$-theory and arithmetic Chow groups. Finally, we give a conceptual explanation of the height pairing: it is given by the natural pairing of motivic homology and Arakelov motivic cohomology.
For singular metrics, there is no Quillen metric formalism on cohomology determinant. In this paper, we develop an admissible theory, with which the arithmetic Deligne-Riemann-Roch isometry can be established for singular metrics. As an application, we first study Weil-Petersson metrics and Takhtajan-Zograf metrics on moduli spaces of punctured Riemann surfaces, and then give a more geometric interpretation of our determinant metrics in terms of Selberg zeta functions. We end this paper by proposing an arithmetic factorization for Weil-Petersson metrics, cuspidal metrics and Selberg zeta funct…
We give a construction of the second Chern number of a vector bundle over a smooth projective surface by means of adelic transition matrices for the vector bundle. The construction does not use an algebraic $K$-theory and depends on the canonical $\mathbb{Z}$-torsor of a locally linearly compact $k$-vector space. Analogs of certain auxiliary results for the case of an arithmetic surface are also discussed.
In this short note we give an explicit presentation of the algebra A_n generated by the curvature 2-forms of the standard Hermitiam line bundles over SL_n/B as the quotient of the polynomial ring. The difference between A_n and H^*(SL_n/B) reflects the fact that SL_n/B is not a symmetric space. Possible applications of A_n lie in the field of arithmetic intersection theory on flag varieties.
In this paper we aim at the description of foliations having tangent sheaf $T\mathcal F$ with $c_1(T\mathcal F)=c_2(T\mathcal F)=0$ on non-uniruled projective manifolds. We prove that the universal covering of the ambient manifold splits as a product, and that the Zariski closure of a general leaf of $\mathcal F$ is an Abelian variety. It turns out that the analytic type of the Zariski closures of leaves may vary from leaf to leaf. We discuss how this variation is related to arithmetic properties of the tangent sheaf of the foliation.
In this part of the series, we shall investigate Deligne-Mumford semistable reductions from the point of view of numerical invariants. As an application, we obtain two numerical criterions for a base change to be stabilizing, and for a fibration to be isotrivial. We also obtain a canonical class inequality for any fibration. Some other applications are presented. Most of the results of this paper have arithmetical analogues. This paper will appear in Math. Z.