A new proof of gluing formula for analytic torsion forms

Junrong Yan

2023-06-05

Abstract:By extending the author's prior work to the family case, this paper presents a new proof of the gluing formula for the analytic torsion forms, considerably simplifying the proof given by Puchol-Zhang-Zhu.

Differential Geometry,Analysis of PDEs,Spectral Theory

What problem does this paper attempt to address?

A comparison of the absolute and relative real analytic torsion forms

Jialin Zhu

DOI: https://doi.org/10.1007/s10455-024-09965-w

2024-08-19

Annals of Global Analysis and Geometry

Abstract:In this paper we establish a comparison formula of the absolute and relative real analytic torsion forms over fibrations with boundaries. The key tool is a gluing formula of analytic torsion forms proved by Puchol and Zhang and the author. As a consequence of the comparison formula, we prove another version of the gluing formula of the analytic torsion forms conjectured by the author.

mathematics
Witten deformation for non-Morse functions and gluing formula for analytic torsions

Junrong Yan

2024-01-08

Abstract:This paper concentrates on analyzing Witten deformation for a family of non-Morse functions parametrized by $T\in \mathbb{R}_+$, resulting in a novel, purely analytic proof of the gluing formula for analytic torsions in complete generality. Intriguingly, the gluing formula in this article could be reformulated as the Bismut-Zhang theorem for non-Morse functions, and from the perspective of Vishik's theory of moving boundary problems, the deformation parameter $T$ parametrizes a family of boundary conditions. Our proof also makes use of an interesting connection between small eigenvalues of Witten Laplacians and Mayer-Vietoris sequences. Finally, these new techniques could be extended to analytic torsion forms and will play key roles in our future study of the higher Cheeger-Müller theorem for general flat bundles.

Differential Geometry,Analysis of PDEs,Spectral Theory
Torsion Points and the Latte'S Family

Laura DeMarco,Xiaoguang Wang,Hexi Ye

DOI: https://doi.org/10.1353/ajm.2016.0026

IF: 1.835

2016-01-01

American Journal of Mathematics

Abstract:We give a dynamical proof of a result of Masser and Zannier [MZ2, MZ3] about torsion points on the Legendre family of elliptic curves. Our methods also treat points of small height. A key ingredient is the arithmetic equidistribution theorem on $\mathbb{P}^1$ of Baker-Rumely, Chambert-Loir, and Favre-Rivera-Letelier. Torsion points on the elliptic curve coincide with preperiodic points for the degree-4 Lattes family of rational functions. Our main new results concern properties of the bifurcation measures for this Lattes family associated to marked points.
An Extended Cheeger–Müller Theorem for Covering Spaces

WP Zhang

DOI: https://doi.org/10.1016/j.top.2005.04.001

2005-01-01

Topology

Abstract:We generalize a theorem of Bismut–Zhang, which extends the Cheeger–Müller theorem on Ray–Singer torsion and Reidemeister torsion, to the case of infinite Galois covering spaces. Our result is stated in the framework of extended cohomology, and generalizes in this case a recent result of Braverman–Carey–Farber–Mathai. It does not use the determinant class condition and thus also (potentially) generalizes several results on L2-torsions due to Burghelea, Friedlander, Kappeler and McDonald. We combine the framework developed by Braverman–Carey–Farber–Mathai on the determinant of extended cohomology with the heat kernel method developed in the original paper of Bismut–Zhang to prove our result.
Torsion Vanishing for Some Shimura Varieties

Linus Hamann,Si Ying Lee

2023-12-03

Abstract:We generalize the torsion vanishing results of Caraiani-Scholze and Koshikawa. Our results apply to the cohomology of general Shimura varieties $(\mathbf{G},X)$ of PEL type $A$ or $C$, localized at a suitable maximal ideal $\mathfrak{m}$ in the spherical Hecke algebra at primes $p$ such that $\mathbf{G}_{\mathbb{Q}_{p}}$ is a group for which we know the Fargues-Scholze local Langlands correspondence is the semi-simplification of a suitably nice local Langlands correspondence. This is accomplished by combining Koshikawa's technique, the theory of geometric Eisenstein series over the Fargues-Fontaine curve, the work of Santos describing the structure of the fibers of the minimally and toroidally compactified Hodge-Tate period morphism for general PEL type Shimura varieties of type $A$ or $C$, and ideas developed by Zhang on comparing Hecke correspondences on the moduli stack of $G$-bundles with the cohomology of Shimura varieties. In the process, we also establish a description of the generic part of the cohomology that bears resemblance to the work of Xiao-Zhu. Moreover, we also construct a filtration on the compactly supported cohomology that differs from Manotovan's filtration in the case that the Shimura variety is non-compact, allowing us to circumvent some of the circumlocutions taken by Cariani-Scholze. Our method showcases a very general strategy for proving such torsion vanishing results, and should bear even more fruit once the inputs are generalized. Motivated by this, we formulate an even more general torsion vanishing conjecture.

Number Theory,Algebraic Geometry
Splitting of Gromov-Witten Invariants with Toric Gluing Strata

Yixian Wu

DOI: https://doi.org/10.1090/jag/826

2024-07-31

Abstract:We prove a splitting formula that reconstructs the logarithmic Gromov- Witten invariants of simple normal crossing varieties from the punctured Gromov- Witten invariants of their irreducible components, under the assumption of the gluing strata being toric varieties. The formula is based on the punctured Gromov-Witten theory developed in <a class="link-https" data-arxiv-id="2009.07720" href="https://arxiv.org/abs/2009.07720">arXiv:2009.07720</a>.

Algebraic Geometry
The zeta-determinants and anlaytic torsion of a metric mapping torus

Yoonweon Lee

2024-07-09

Abstract:We use the BFK-gluing formula for zeta-determinants to compute the zeta-determinant and analytic torsion of a metric mapping torus induced from an isometry. As applications, we compute the zeta-determinants of the Laplacians defined on a Klein bottle ${\mathbb K}$ and some compact co-Kähler manifold ${\mathbb T}_{\varphi}$. We also show that a metric mapping torus and a Riemannian product manifold with a round circle have the same heat trace asymptotic expansions. We finally compute the analytic torsion of a metric mapping torus for the Witten deformed Laplacian and recover the result of J. Marcsik in \cite{Ma}.

Differential Geometry
Torsion points and the Lattes family

Laura DeMarco,Xiaoguang Wang,Hexi Ye

DOI: https://doi.org/10.48550/arXiv.1311.1792

2014-10-28

Abstract:We give a dynamical proof of a result of Masser and Zannier [MZ2, MZ3] about torsion points on the Legendre family of elliptic curves. Our methods also treat points of small height. A key ingredient is the arithmetic equidistribution theorem on $\mathbb{P}^1$ of Baker-Rumely, Chambert-Loir, and Favre-Rivera-Letelier. Torsion points on the elliptic curve coincide with preperiodic points for the degree-4 Lattes family of rational functions. Our main new results concern properties of the bifurcation measures for this Lattes family associated to marked points.

Dynamical Systems,Number Theory
A Cheeger-Mueller theorem for symmetric bilinear torsions

Guangxiang Su,Weiping Zhang

DOI: https://doi.org/10.48550/arXiv.math/0610577

2006-10-19

Abstract:We generalize a theorem of Bismut-Zhang, which extends the Cheeger-Mueller theorem on Ray-Singer torsion and Reidemeister torsion, to the case where the flat vector bundle over a closed manifold carries a nondegenerate symmetric bilinear form. As a consequence, we prove the Burghelea-Haller conjecture which gives an analytic interpretation of the Turaev torsion. It thus also provides an analytic interpretation of (not merely the absolute value of) the Alexander polynomial in knot theory.

Differential Geometry,Spectral Theory
Analytic torsion versus Reidemeister torsion on hyperbolic 3-manifolds with cusps

Jonathan Pfaff

DOI: https://doi.org/10.48550/arXiv.1206.0228

2012-06-01

Abstract:For a non-compact hyperbolic 3-manifold with cusps we prove an explicit formula that relates the regularized analytic torsion associated to the even symmetric powers of the standard representation of SL_2(C) to the corresponding Reidemeister torsion. Our proof rests on an expression of the analytic torsion in terms of special values of Ruelle zeta functions as well as on recent work of Pere Menal-Ferrer and Joan Porti.

Spectral Theory,Differential Geometry,Geometric Topology
Cappell-Miller analytic torsion for manifolds with boundary

Rung-Tzung Huang

DOI: https://doi.org/10.48550/arXiv.0912.4314

2009-12-22

Abstract:Inspired by the work of Boris Vertman on refined analytic torsion for manifolds with boundary, in this paper we extend the construction of the Cappell-Miller analytic torsion to manifolds with boundary. We also compare it with the refined analytic torsion on manifolds with boundary. As a byproduct of the gluing formula for refined analytic torsion and the comparison theorem for the Cappell-Miller analytic torsion and the refined analytic torsion, we establish the gluing formula for the Cappell-Miller analytic torsion in the case that the Hermitian metric is flat.

Differential Geometry
On full asymptotics of analytic torsions for compact locally symmetric orbifolds

Bingxiao Liu

DOI: https://doi.org/10.2140/apde.2024.17.1261

2024-05-08

Abstract:We consider a certain sequence of flat vector bundles on a compact locally symmetric orbifold, and we evaluate explicitly the associated asymptotic Ray-Singer real analytic torsion. The basic idea is to computing the heat trace via Selberg's trace formula, so that a key point in this paper is to evaluate the orbital integrals associated with nontrivial elliptic elements. For that purpose, we deduce a geometric localization formula, so that we can rewrite an elliptic orbital integral as a sum of certain identity orbital integrals associated with the centralizer of that elliptic element. The explicit geometric formula of Bismut for semisimple orbital integrals plays an essential role in these computations.

Differential Geometry
Analytic torsion and Reidemeister torsion of hyperbolic manifolds with cusps

Werner Mueller,Frédéric Rochon

DOI: https://doi.org/10.48550/arXiv.1903.06199

2019-03-15

Abstract:On an odd-dimensional oriented hyperbolic manifold of finite volume with strongly acyclic coefficient systems, we derive a formula relating analytic torsion with the Reidemeister torsion of the Borel-Serre compactification of the manifold. In a companion paper, this formula is used to derive exponential growth of torsion in cohomology of arithmetic groups.

Differential Geometry,Geometric Topology,Spectral Theory
$L^2$-torsion of fibrations

Chengzhang Sun

2024-11-07

Abstract:The paper studies the $L^2$-torsion of fibrations, focusing on cases that relax acyclicity and the determinant class condition. We prove the sum formula and the product formula for $L^2$-torsion in the extended abelian category. The desired formula for $L^2$-torsion of a simple fibration is obtained under the assumption that the fibers have zero Euler characteristic.

Geometric Topology,Differential Geometry
Adiabatic limit, Bismut-Freed connection, and the real analytic torsion form

Xianzhe Dai,Weiping Zhang

DOI: https://doi.org/10.1515/crelle.2010.074

2010-01-01

Journal für die reine und angewandte Mathematik (Crelles Journal)

Abstract:For a complex flat vector bundle over a fibered manifold, we consider the 1-parameter family of certain deformed sub-signature operators introduced by Ma-Zhang in [Math. Ann. 340: 569–624, 340]. We compute the adiabatic limit of the Bismut-Freed connection associated to this family and show that the Bismut-Lott analytic torsion form shows up naturally under this procedure.

mathematics
A Torres formula for twisted Reidemeister torsion

Peter Seokhee Seong

2024-11-27

Abstract:The Torres formula, which relates the Alexander polynomial of a link to the Alexander polyomial of its sublinks, admits a generalization to the twisted setting due to Morifuji. This paper uses twisted Reidemeister torsion to obtain a second proof of Morifuji's result that is closer in appearance to Torres' original formula.

Geometric Topology
Ross-Witt Nyström correspondence and Ohsawa-Takegoshi extension

Yan He,Johannes Testorf,Xu Wang

2024-08-12

Abstract:We obtain a general Ohsawa-Takegoshi extension theorem by using the Ross-Witt Nyström correspondence for deformation to the normal cones. In particular, our result gives a sharp lower bound of the Bergman kernel in terms of Witt Nyström's canonical growth condition for ample line bundles.

Complex Variables,Algebraic Geometry,Differential Geometry
On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one

Werner Mueller,Frédéric Rochon

2024-01-25

Abstract:Given a number field $F$ with ring of integers $\mathcal{O}_{F}$, one can associate to any torsion free subgroup of $\operatorname{SL}(2,\mathcal{O}_{F})$ of finite index a complete Riemannian manifold of finite volume with fibered cusp ends. For natural choices of flat vector bundles on such a manifold, we show that analytic torsion is identified with the Reidemeister torsion of the Borel-Serre compactification. This is used to obtain exponential growth of torsion in the cohomology for sequences of congruence subgroups.

Differential Geometry,Geometric Topology,Number Theory
Open Gromov-Witten Invariants of Toric Calabi-Yau 3-Folds

Bohan Fang,Chiu-Chu Melissa Liu

DOI: https://doi.org/10.1007/s00220-013-1771-5

IF: 2.361

2013-01-01

Communications in Mathematical Physics

Abstract:We present a proof of the mirror conjecture of Aganagic and Vafa (Mirror Symmetry, D-Branes and Counting Holomorphic Discs. http://arxiv.org/abs/hep-th/0012041v1, 2000) and Aganagic et al. (Z Naturforsch A 57(1–2):128, 2002) on disk enumeration in toric Calabi-Yau 3-folds for all smooth semi-projective toric Calabi-Yau 3-folds. We consider both inner and outer branes, at arbitrary framing. In particular, we recover previous results on the conjecture for (i) an inner brane at zero framing in ${K_{\mathbb{P}^2}}$ (Graber-Zaslow, Contemp Math 310:107–121, 2002), (ii) an outer brane at arbitrary framing in the resolved conifold ${\mathcal{O}_{\mathbb{P}^1}(-1)\oplus \mathcal{O}_{\mathbb{P}^1}(-1)}$ (Zhou, Open string invariants and mirror curve of the resolved conifold. http://arxiv.org/abs/1001.0447v1 [math.AG], 2010), and (iii) an outer brane at zero framing in ${K_{\mathbb{P}^2}}$ (Brini, Open topological strings and integrable hierarchies: Remodeling the A-model. http://arxiv.org/abs/1102.0281 [hep-th], 2011).
Rational torsion points on abelian surfaces with quaternionic multiplication

Jef Laga,Ciaran Schembri,Ari Shnidman,John Voight

DOI: https://doi.org/10.1017/fms.2024.105

2024-11-10

Forum of Mathematics Sigma

Abstract:Let A be an abelian surface over whose geometric endomorphism ring is a maximal order in a non-split quaternion algebra. Inspired by Mazur's theorem for elliptic curves, we show that the torsion subgroup of is -torsion and has order at most . Under the additional assumption that A is of -type, we give a complete classification of the possible torsion subgroups of .

mathematics, applied

A new proof of gluing formula for analytic torsion forms

A comparison of the absolute and relative real analytic torsion forms

Witten deformation for non-Morse functions and gluing formula for analytic torsions

Torsion Points and the Latte'S Family

An Extended Cheeger–Müller Theorem for Covering Spaces

Torsion Vanishing for Some Shimura Varieties

Splitting of Gromov-Witten Invariants with Toric Gluing Strata

The zeta-determinants and anlaytic torsion of a metric mapping torus

Torsion points and the Lattes family

A Cheeger-Mueller theorem for symmetric bilinear torsions

Analytic torsion versus Reidemeister torsion on hyperbolic 3-manifolds with cusps

Cappell-Miller analytic torsion for manifolds with boundary

On full asymptotics of analytic torsions for compact locally symmetric orbifolds

Analytic torsion and Reidemeister torsion of hyperbolic manifolds with cusps

$L^2$-torsion of fibrations

Adiabatic limit, Bismut-Freed connection, and the real analytic torsion form

A Torres formula for twisted Reidemeister torsion

Ross-Witt Nyström correspondence and Ohsawa-Takegoshi extension

On the growth of torsion in the cohomology of some arithmetic groups of $\mathbb{Q}$-rank one

Open Gromov-Witten Invariants of Toric Calabi-Yau 3-Folds

Rational torsion points on abelian surfaces with quaternionic multiplication