zbMATH — the first resource for mathematics

Examples
Geometry Search for the term Geometry in any field. Queries are case-independent.
Funct* Wildcard queries are specified by * (e.g. functions, functorial, etc.). Otherwise the search is exact.
"Topological group" Phrases (multi-words) should be set in "straight quotation marks".
au: Bourbaki & ti: Algebra Search for author and title. The and-operator & is default and can be omitted.
Chebyshev | Tschebyscheff The or-operator | allows to search for Chebyshev or Tschebyscheff.
"Quasi* map*" py: 1989 The resulting documents have publication year 1989.
so: Eur* J* Mat* Soc* cc: 14 Search for publications in a particular source with a Mathematics Subject Classification code (cc) in 14.
"Partial diff* eq*" ! elliptic The not-operator ! eliminates all results containing the word elliptic.
dt: b & au: Hilbert The document type is set to books; alternatively: j for journal articles, a for book articles.
py: 2000-2015 cc: (94A | 11T) Number ranges are accepted. Terms can be grouped within (parentheses).
la: chinese Find documents in a given language. ISO 639-1 language codes can also be used.

Operators
a & b logic and
a | b logic or
!ab logic not
abc* right wildcard
"ab c" phrase
(ab c) parentheses
Fields
any anywhere an internal document identifier
au author, editor ai internal author identifier
ti title la language
so source ab review, abstract
py publication year rv reviewer
cc MSC code ut uncontrolled term
dt document type (j: journal article; b: book; a: book article)
Relative torsion. (English) Zbl 0994.58018

Relative torsion is the generalization of the ratio of the Reidemeister torsion T Reid and analytic torsion T an to the flat bundle over a compact manifold M associated to an arbitrary representation ρ:π 1 (M)Gl 𝒜 (𝒲).

In this paper, explicit form of the relative torsion as the integrals of differential forms, is given, assuming 𝒲 is a finite type 𝒜-Hilbert module where 𝒜 is a finite von Neumann algebra, (Theorem 1.1). If 𝒜=, authors’ formula coincides to the main result of J.-M. Busmut and W. Zhang, An extension of a theorem by Cheeger and Müller, Astérisque 205, 235 p. (1992; Zbl 0781.58039). In a previous paper, authors proved coincidence of T Reid and T an if ρ is a unitary representation of determinant class [D. Burghelea, L. Friedlander, T. Kappeler, and P. McDonald, Geom. Funct. Anal. 6, No. 5, 751-859 (1996; Zbl 0874.57025)]. This result follows from Theorem 1.1. In this paper ρ needs not neither unitary nor determinant class. So Theorem 1.1 is a generalization of authors’ previous result and main result of Bismut-Zhang.

The relative torsion is defined for the data (M,𝒯,g,τ), M a closed connected manifold, 𝒯={,,μ}, where and μ are the canonical flat connection and a Hermitian structure of , respectively, g is a Riemannian metric of M and τ=(h,g ' ) is a generalized triangulation of M, where h is a Morse function and g ' is a metric of M. By using μ and g, Hodge Laplacian Δ on the space of differential forms with coefficients in is defined. On the other hand, by using τ, combinatorial coboundary operator δ and its Laplacian Δ comb are defined. Since authors work on general ρ, detΔ, etc. may not be defined. To overcome this difficulty, Sobolev metric on the space of differential forms with coefficients in is introduced by using fractional powers of Δ+Id. The operator d(g s ) is defined by

d(g s ) k =-δ k-1 g k;s 0d k ,

where g s =Int s (Δ+Id) -s/2 is the modified integration map. The Laplacian Δ(g s ) of g s is similarly defined as Hodge Laplacian. It is shown, Δ(g s ) admits a nonvanishing regularized determinant. The relative torsion is defined as

log=1 2 K (-1) k+1 klogdetΔ ( g s ) k ·

It is shown that this definition does not depend on s. Under the setting of this paper, T an and T Reid may not be defined. But if is of determinant class, then they are defined and log=logT an -logT Reid holds [A. L. Carey, V. Mathai and A. Mishchenko, Nielsen theory and Reidemeister Torsion, Banach Cent. Publ. 49, 43-67 (1999; Zbl 0941.19005)]. Definition and properties of determinant class are exposed in Appendix B together with examples of nondeterminant class morphisms.

Let Cr(h) be the set of critical points of h, X=-grad g ' h. Then it is shown there exist a closed 1-form θ=θ(ρ,μ), an orientation bundle valued (n-1)-form Ψ=Ψ(TM,g) on TMM and a smooth function V=V(ρ,μ 1 ,μ 2 ) such that

log=(-1) n+1 MCr(h) θ(ρ,μ 0 )X * Ψ ( T M , g )++ M V(ρ,μ,μ 0 )e(M,g)- xCr(h) (-1) ind(x) V(ρ,μ,μ 0 )(x),

where e is the Euler form and μ 0 is parallel in the neighborhood of Cr(h). If M is of odd dimension, then this formula simplifies

log= MCr(h) θ(ρ,μ 0 )X * Ψ ( T M , g )- xCr(h) (-1) ind(x) V(ρ,μ,μ 0 )(x)

(Theorem 1.1). To show Theorem 1.1, Witten deformation d(t)=e -th de th is used. The deformation of relative torsion by this deformation is denoted by (t). Then it is shown

log(t)=log+tdim𝒲 M he(M,g)

(Theorem 3.1). This formula and computation of asymptotic form of (t), t, applying Witten-Helfer-Sjöstrand theory [M. Helffer and J. Sjöstrand, Commun. Partial Differ. Eq. 10, 245-340 (1985; Zbl 0597.35024)] show the existence of a local density α on MCr(h) when μ is parallel with respect to in the neighborhood of Cr(h) such that log= MCr(h) α (Proposition 1.1. It is also shown =1 if μ is parallel). Proof of Proposition 1.1 under the assumption g=g ' is given in Section 4. Proof of Proposition 1.1 without the assumption g=g ' needs to compute variations of (M,ρ,μ,g,τ) with respect to μ and g (Hermitian and metric anomalies). They are computed by using a smooth function V and Euler form (Hermitian anomaly) and Chern-Simons form (metric anomaly) (Section 5). Theorem 1.1 is proved in Section 6 by these results and computation of anomaly with respect to the triangulation, given in Section 5. In [D. Burghelea, Lett. Math. Phys. 47, 149-158 (1999; Zbl 0946.58026)] it was shown, log(M,ρ,μ,τ,g) gave a function F(M,E)(ρ) on Rep(π 1 (M),Gl 𝒜 (𝒲)), where E is an Euler structure in the sense of Turaev [V. Turaev, Math. USSR, Izv. 34, No. 3, 627-662 (1990); translation from Izv. Akad. Nauk SSSR, Ser. Mat. 53, No. 3, 607-643 (1989; Zbl 0707.57003)]. If N is an even dimensional simply connected manifold, for a suitable Euler structure E 0 of S 1 ×N,

F(S 1 ×N,E 0 )(ρ)=-χ(N) 2logdetρ (1) * ρ (1) 1/2 ,

is shown as an application of Theorem 1.1 (Proposition 6.1). This shows nontriviality of F and authors say it might be a useful source of topological and geometric invariants of M.

Other parts of the paper are as follows; Section 1 gives summary of the results and definitions of analytic torsion, Reidemeister torsion and relative torsion, and related terminologies. To define torsions, determinants of Laplacian etc. are needed. Since these determinants can not be defined directly, in general, regularization procedures are necessary. Introducing the notion sF (strong Fredholm) type operator, these are done in Section 2. Proof of additive property of relative torsion (Lemma 2.6, a slightly stronger version of a Lemma due to Carey-Mathai-Mishchenko) is given in Appendix A (here Lemma 2.6 is misquoted as Lemma 2.14). By using sF type operator, ζ-regular operator and complex are defined. Then showing (de Rham and simplicial) complexes used in this paper become ζ-regular complexes under the regularization by (Id+Δ) -s/2 for s is sufficiently large, relative torsion is defined in Section 3. Section 3 also study Witten deformation of the relative torsion which is crucial to the proof of Proposition 1.1.


MSC:
58J52Determinants and determinant bundles, analytic torsion
57Q10Simple homotopy type, Whitehead torsion, Reidemeister-Franz torsion, etc.