Analytic torsion and automorphic forms

We report on the construction of secondary invariants in connection with the Atiyah-Singer index theorem for families, and the Theorem of Riemann-Roch-Grothendieck. The local families index theorem plays an important role in the construction. In complex geometry, the corresponding objects are the analytic torsion forms and the analytic torsion currents. These objects exhibit natural functorial properties with respect to composition of maps. Gillet and Soulé have used these objects to prove a Riemann-Roch theorem in Arakelov geometry. Also we state a Riemann-Roch theorem for flat vector bundles, and report on the construction of corresponding higher analytic torsion forms.

The purpose of this paper is to give an explicit local formula for the difference of two natural versions of equivariant analytic torsion in de Rham theory. This difference is the sum of the integral of a Chern-Simons current and of a new invariant, the V -invariant of an odd dimensional manifold equipped with an action of a compact Lie group. The V -invariant localizes on the critical manifolds of invariant Morse-Bott functions. The results in this paper are shown to be compatible with results of Bunke, and also our with previous results on analytic torsion forms.

This is the abstruct of the revised paper. We study the equivariant analytic torsion for K3 surfaces with an anti-symplectic involution with the invariant lattice M (such a surface is called a 2-elementary K3 surface of type M in this paper), and show that it (together with the analytic torsion of the fixed curves) can be identified with the automorphic form on the moduli space characterizing the discriminant locus. Three lattices A_1, II_{1,1}(2), II_{1,9}(2) are of particular interest, because they consist of the building blocks of 2-elementary lattices. An explicit formula is given for them. In particular, if M is twice the Enriques lattice, the automorphic form coincides with Borcherds's Phi-function which confirms an observation by Jorgenson-Todorov and Harvey-Moore. Some other examples are shown to be related to Borcherds's product and generalized Kac-Moody algebras.

In this paper we extend first the Bismut-Lott's analytic torsion form for flat vector bundles to the boundary case, then we establish its gluing formula on a smooth fibration under the assumption that a fiberwise Morse function exists. We assume that the metrics have product structures near the cutting hypersurface.

Toeplitz operators and the full asymptotic torsion forms

We present a new proof, as well as a C/Q extension (and also certain C/Z extension), of the Riemann–Roch–Grothendieck theorem of Bismut–Lott for flat vector bundles. The main techniques used are the computations of the adiabatic limits of η-invariants associated to the so-called sub-signature operators. We further show that the Bismut–Lott analytic torsion form can be derived naturally from transgressions of η-forms appearing in the adiabatic limit computations.

We prove the smoothness of the L^2-analytic torsion form on some fiber bundles with non-compact fibers of positive Novikov-Shubin invariant. We do so by generalizing the arguments of Azzali-Goette-Schick to an appropriate Sobolev space, and proving that the Novikov-Shubin invariant remains positive in the Sobolev settings, using an argument of Alvarez Lopez-Kordyukov.

We show an equality between the analytic torsion and the absolute value at zero of the Ruelle dynamical zeta function on a closed odd dimensional locally symmetric space twisted by an acyclic flat vector bundle obtained by the restriction of a representation of the underlying Lie group. This generalises author’s previous result for unitarily flat vector bundles, and the results of Bröcker, Müller, and Wotzke on closed hyperbolic manifolds.

An explicit formula for analytic torsion forms for fibrations by projective curves is given. In particular one obtains a formula for direct images in Arakelov geometry in the corresponding setting. The main tool is a new description of Bismut’s equivariant Bott–Chern current in the case of isolated fixed points.

This paper starts by introducing a bi-periodic summation formula for automorphic forms on a group G(E), with periods by a subgroup G(F), where E/F is a quadratic extension of number fields. The split case, where E = F ⊕ F, is that of the standard trace formula. Then it introduces a notion of stable bi-conjugacy, and stabilizes the geometric side of the bi-period summation formula. Thus weighted sums in the stable bi-conjugacy class are expressed in terms of stable bi-orbital integrals. These stable integrals are on the same endoscopic groups H which occur in the case of standard conjugacy.The spectral side of the bi-period summation formula involves periods, namely integrals over the group of F-adele points of G, of cusp forms on the group of E-adele points on the group G. Our stabilization suggests that such cusp forms—with non vanishing periods—and the resulting bi-period distributions associated to “periodic” automorphic forms, are related to analogous bi-period distributions associated to “periodic” automorphic forms on the endoscopic symmetric spaces H(E)/H(F). This offers a sharpening of the theory of liftings, where periods play a key role.The stabilization depends on the “fundamental lemma”, which conjectures that the unit elements of the Hecke algebras on G and H have matching orbital integrals. Even in stating this conjecture, one needs to introduce a “transfer factor”. A generalization of the standard transfer factor to the bi-periodic case is introduced. The generalization depends on a new definition of the factors even in the standard case.Finally, the fundamental lemma is verified for SL(2).

We give a simple axiomatic description of the degree 0 part of the polylogarithm on abelian schemes and show that its realisation in analytic Deligne cohomology can be described in terms of the Bismut–Kohler higher analytic torsion form of the Poincare bundle.

Regulators and cycle maps in higher-dimensional differential algebraic K-theory

This article is devoted to a study of flat orbifold vector bundles. We construct a bijection between the isomorphic classes of proper flat orbifold vector bundles and the equivalence classes of representations of the orbifold fundamental groups of base orbifolds. We establish a Bismut-Zhang like anomaly formula for the Ray-Singer metric on the determine line of the cohomology of a compact orbifold with coefficients in an orbifold flat vector bundle. We show that the analytic torsion of an acyclic unitary flat orbifold vector bundle is equal to the value at zero of a dynamical zeta function when the underlying orbifold is a compact locally symmetric space of the reductive type, which extends one of the results obtained by the first author for compact locally symmetric manifolds.

Abstract: The hypermultiplet moduli space in Type IIA string theory compactified on a rigid Calabi-Yau threefold X , corresponding to the “universal hypermultiplet”, is described at tree-level by the symmetric space SU(2,1)/(SU(2)×U(1)). To determine the quantum corrections to this metric, we posit that a discrete subgroup of the continuous tree-level isometry group SU(2,1), namely the Picard modular group SU(2,1;Z[i]), must remain un- broken in the exact metric – including all perturbative and non-perturbative quantum cor- rections. This assumption is expected to be valid when X admits complex multiplication by Z[i]. Based on this hypothesis, we construct an SU(2,1;Z[i])-invariant, non-holomorphic Eisenstein series, and tentatively propose that this Eisenstein series provides the exact contact potential on the twistor space over the universal hypermultiplet moduli space. We analyze its non-Abelian Fourier expansion, and show that the Abelian and non-Abelian Fourier coefficients take the required form for instanton corrections due to Euclidean D2- branes wrapping special Lagrangian submanifolds, and to Euclidean NS5-branes wrapping the entire Calabi-Yau threefold, respectively. While this tentative proposal fails to repro- duce the correct one-loop correction, the consistency of the Fourier expansion with physics expectations provides strong support for the usefulness of the Picard modular group in constraining the quantum moduli space.

Automorphic Forms with Anisotropic Periods on a Unitary Group