THE MATHEMATICAL WORK OF V. K. PATODI - arXiv · 2018-08-25 · Patodi gave an invited talk at the...
Transcript of THE MATHEMATICAL WORK OF V. K. PATODI - arXiv · 2018-08-25 · Patodi gave an invited talk at the...
arX
iv:1
502.
0363
7v1
[m
ath.
DG
] 1
2 Fe
b 20
15
THE MATHEMATICAL WORK OF V. K. PATODI
WEIPING ZHANG
Abstract. We give a brief survey on aspects of the local index theory as
developed from the mathematical works of V. K. Patodi. It is dedicated to the
70th anniversary of Patodi.
0. Introduction
Vijay Kumar Patodi was born on March 12, 1945 in Guna, India. He passed
away on December 21, 1976, at the age of 31.
It is remarkable that even in such a short period of life, Patodi made quite a
number of fundamental contributions to mathematics. These contributions have
had deep and wide spread influences in geometry, topology, number theory, as
well as in mathematical physics.
Patodi gave an invited talk at the International Congress of Mathematicians in
1974. His Collected Papers [P0], edited by Atiyah and Narasimhan, was published
by World Scientific in 1996.
Patodi’s work centers around the Atiyah-Singer index theory, a major subject
in global analysis. He published 13 mathematical papers, all included in his
Collected Papers [P0]. Many of these papers have become classical literatures in
mathematics. They cover almost all aspects of the index theory, from the classical
period where the topological methods play a major role, to the modern era where
more geometrical methods, including those developed by Patodi himself, become
more and more important.
In this article, we will give a survey of Patodi’s works on local index theorems,
on η invariant, and on analytic torsion, as well as their implications. Due to the
limitation of the knowledge of the author, we only concentrate on subjects we
are most familiar.
Acknowledgements. The author is partially supported by the National Natural
Science Foundation of China. He is grateful to Xianzhe Dai and Xiaonan Ma for
very helpful suggestions.1
2 WEIPING ZHANG
1. Local index theorem
The celebrated index theorem proved by Atiyah and Singer [10] has been re-
garded as one of the most significant mathematical results of the last century. It
connects many areas of mathematics. Roughly speaking, it states that the ana-
lytically defined index of an elliptic differential operator on a closed manifold can
be computed by purely topologically defined quantities. Many famous results in
geometry, topology and algebraic geometry are special examples of the Atiyah-
Singer index theorem. We mention typically the Gauss-Bonnet-Chern theorem
[43], the Hirzebruch signature theorem [65], the Riemann-Roch-Hirzebruch theo-
rem for algebraic varieties [65] and the index theorem for Dirac operators on spin
manifolds [10]. In order to have a thorough understanding of Patodi’s first paper
[P1], we take the Gauss-Bonnet-Chern theorem as a typical example.
LetM be a closed oriented manifold of dimension 2n. Let gTM be a Riemannian
metric on the tangent vector bundle TM of M . Let ∇TM be the Levi-Civita
connection on TM associated to gTM . Let RTM = (∇TM)2 be the curvature
of ∇TM . This curvature locally can be viewed as a skew-adjoint matrix with
elements consisting of 2-forms. For example, if e1, · · · , e2n is a (local) oriented
orthonormal basis of TM and ei, 1 ≤ i ≤ 2n, is the dual basis of T ∗M , the
cotangent vector bundle of M , then each element RTMij , with 1 ≤ i, j ≤ 2n, can
be written as RTMij = 1
2
∑2ns, t=1 R
TMijst e
s ∧ et.
We define Pf(RTM), the Pfaffian of RTM , by
Pf(RTM
)=
1
2nn!
2n∑
i1, ··· , i2n=1
ǫi1···i2nRTMi1i2
∧ · · · ∧ RTMi2n−1i2n
,(1.1)
where ǫi1···i2n is the permutation number of i1, · · · , i2n with respect to 1, · · · , 2n.Let χ(M) be the Euler characteristic number of M .
The Gauss-Bonnet-Chern theorem [43] states that the following identity holds,
χ(M) =
(−1
2π
)n ∫
M
Pf(RTM
).(1.2)
In particular, when n = 1, one gets the Gauss-Bonnet formula∫MKdvM =
2πχ(M), where K is the Gauss curvature of gTM and dvM is the volume form
associated to gTM .
We first show how (1.2) can be viewed as an index theorem in the sense of
Atiyah and Singer.
Let Λ∗(T ∗M) = ⊕2ni=0Λ
i(T ∗M) be the exterior algebra bundle of T ∗M . Let
Ωi(M) = Γ(Λi(T ∗M)) be the space of smooth i-forms on M . Let (Ω∗(M), d) be
THE MATHEMATICAL WORK OF V. K. PATODI 3
the de Rham complex
(Ω∗(M), d) : 0 → Ω0(M)d→ Ω1(M)
d→ · · · d→ Ω2n(M) → 0.(1.3)
The metric gTM induces natural metrics on each Λi(T ∗M) and thus on Λ∗(T ∗M)
through orthogonal direct sum. They induce a natural inner product 〈·, ·〉 on
Ω∗(M).
Let d∗ be the formal adjoint of d with respect to the inner product on Ω∗(M).
That is, for any α, β ∈ Ω∗(M), one has 〈dα, β〉 = 〈α, d∗β〉. The operator
D = d+ d∗ : Ω∗(M) −→ Ω∗(M)(1.4)
is called the de Rham-Hodge operator associated to gTM . It is a formally self-
adjoint elliptic differential operator. Let
D+ = d+ d∗ : Ωeven(M) =
n⊕
i=0
Ω2i(M) −→ Ωodd(M) =
n−1⊕
i=0
Ω2i+1(M),(1.5)
D− = d+ d∗ : Ωodd(M) −→ Ωeven(M)
be the natural restrictions of D. Then D± are elliptic differential operators and
D− is the formal adjoint of D+. Moreover, by the Hodge decomposition theorem,
one finds that the index of D+ equals to χ(M):
χ(M) = ind (D+) := dim (kerD+)− dim (kerD−) .(1.6)
By (1.6), one can reformulate the Gauss-Bonnet-Chern formula (1.2) as an
index formula
ind (D+) =
(−1
2π
)n ∫
M
Pf(RTM
).(1.7)
This is a typical form of the Atiyah-Singer index theorem. For a different
elliptic differential operatorD+, the right hand side will have different topological
meaning.
We now explain a simple and beautiful idea due to Mckean and Singer [74].
Let E, F be two Hermitian vector bundles over M . Let D+ : Γ(E) → Γ(F ) be
a first order elliptic differential operator. Let D− : Γ(F ) → Γ(E) be the formal
adjoint of D+. Then both D−D+ : Γ(E) → Γ(E) and D+D− : Γ(F ) → Γ(F ) are
nonnegative formally self-adjoint elliptic operators. In particular, for any t > 0,
the heat operators exp(−tD−D+) and exp(−tD+D−) are well-defined.
4 WEIPING ZHANG
The following simple formula due to Mckean-Singer is the starting point of the
whole local index theory:
(1.8) ind (D+) = Tr [exp (−tD−D+)]− Tr [exp (−tD+D−)]
=∑
λ∈Spec(D−D+)
exp(−tλ)−∑
µ∈Spec(D+D−)
exp(−tµ),
where “Spec(·)” denotes the set of spectrum (or eigenvalues) of the corresponding
elliptic operator.
The proof of (1.8) is very simple: if λ ∈ Spec(D−D+) and λ 6= 0, then by
D−D+s = λs with s 6= 0, one gets D+D−(D+s) = λ(D+s) with D+s 6= 0.
Thus λ ∈ Spec(D+D−). Similarly, any nonzero µ ∈ Spec(D+D−) belongs also to
Spec(D−D+). On the other hand, one verifies that ker(D∓D±) = ker(D±). In
summary, one finds
(1.9) ∑
λ∈Spec(D−D+)
exp(−tλ)−∑
µ∈Spec(D+D−)
exp(−tµ) = dim(kerD+)− dim(kerD−)
= ind (D+) ,
from which (1.8) follows.
Formula (1.8) suggests new interpretations of the index. In fact, as both
exp(−tD−D+) : Γ(E) → Γ(E) and exp(−tD+D−) : Γ(F ) → Γ(F ) are easily
seen to be compact operators, they admit smooth kernels (called heat kernels)
Pt(·, ·), Qt(·, ·) respectively such that for any x, y ∈ M , Pt(x, y) ∈ Hom(Ey, Ex),
Qt(x, y) ∈ Hom(Fy, Fx), and that for any u ∈ Γ(E), v ∈ Γ(F ), one has
(exp (−tD−D+) u) (x) =
∫
M
Pt(x, y)u(y)dvM(y),(1.10)
(exp (−tD+D−) v) (x) =
∫
M
Qt(x, y)v(y)dvM(y).
From (1.8) and (1.10), one gets
ind (D+) =
∫
M
(tr [Pt(x, x)]− tr [Qt(x, x)]) dvM(x).(1.11)
The nice point of (1.11) is that since the left hand side does not depend on
t > 0, one can deform t in the right hand side to try to get more information
about the left hand side. Indeed, the asymptotic behavior as t → 0 of Pt(·, ·) andQt(·, ·) has been studied in classical literature (cf. [77]). In particular, there exist
THE MATHEMATICAL WORK OF V. K. PATODI 5
smooth functions a0, · · · , an (resp. b0, · · · , bn) on M such that when t → 0+,
one has for any x ∈ M ,
tr [Pt(x, x)] =1
(4πt)n(a0(x) + a1(x) t+ · · ·+ an(x) t
n +O(tn+1
)),(1.12)
tr [Qt(x, x)] =1
(4πt)n(b0(x) + b1(x) t+ · · ·+ bn(x) t
n +O(tn+1
)).
Combining (1.11) with (1.12), one gets
ind (D+) =n∑
i=0
ti
(4πt)n
∫
M
(ai(x)− bi(x)) dvM(x) +O(t).(1.13)
Since t > 0 can vary, while the left hand side of (1.13) does not depend on t,
from (1.13) one deduces that if 0 ≤ i ≤ n− 1, then∫
M
(ai(x)− bi(x)) dvM(x) = 0,(1.14)
while if i = n, one has
1
(4π)n
∫
M
(an(x)− bn(x)) dvM(x) = ind (D+) .(1.15)
Combining with (1.7), one gets, in the case of D+ = d+ d∗, that
1
(4π)n
∫
M
(an(x)− bn(x)) dvM(x) =
(−1
2π
)n ∫
M
Pf(RTM
).(1.16)
Now at least for the de Rham-Hodge operator D± = d+ d∗, by [77] one knows
that theoretically, the functions ai’s and bi’s can be expressed by local (pointwise)
geometric quantities associated directly to the Riemannian metric gTM . It leads
Mckean and Singer to pose in [74] the conjecture that for the classical geometric
operators such as the de Rham-Hodge operator, one can refine (1.14) and (1.15)
so that for any 0 ≤ i ≤ n− 1, one has1
ai − bi = 0(1.17)
over M , while for i = n, 1(4π)n
(an(x)− bn(x)) dvM(x), which we call the in-
dex density, would provide the geometric/topological information desired by the
Atiyah-Singer index theorem. In particular, for the de Rham-Hodge operator
D+ = d+ d∗ : Ωeven(M) → Ωodd(M), one may expect
1
(4π)n(an(x)− bn(x)) dvM(x) =
(−1
2π
)n
Pf(RTM
).(1.18)
Mckean and Singer were able to prove (1.18) for the case of n = 1, while in
this case (1.17) is a trivial consequence of the Hermann Weyl result. They went
1That a0 = b0 = 1 is a classical result of Hermann Weyl.
6 WEIPING ZHANG
on to raise (1.17) and (1.18) for the de Rham-Hodge operator as a conjecture of
“fantastic cancellation”.
We should point out that while theoretically the functions ai’s and bi’s can be
constructed from gTM , the process is very complicated and involves taking higher
order derivatives of gTM . This is why Mckean and Singer called their conjecture,
if it would hold, fantastic.
We can now describe the contribution obtained by Patodi in his very first paper
[P1]. If one should describe it in one sentence, then one simply says that in [P1],
Patodi proved that (1.17) and (1.18) hold for the de Rham-Hodge operator. That
is, the “fantastic cancellation” expected by Mckean and Singer does hold!
It is easy to see that by integrating (1.17) and (1.18) over M , we get (1.2).
Thus, (1.17) and (1.18) together refine (1.2) significantly. It is a local pointwise
formula. For this reason we call it a local index theorem, and in this case we can
say that Patodi established the local Gauss-Bonnet-Chern theorem.
The proof of Patodi in [P1] for (1.17) and (1.18) is a true tour de force. From
the work of Minakshisundaram and Pleijel [77], when t > 0 is very small, one
can approximate Pt(x, y) and Qt(x, y) by the so called paramatrices which are
determined by a series of inductive equations involving the Laplacians D−D+
and D+D−, as well as other local geometric data. It takes remarkable insight
and highly nontrivial computations to show that they can all be put into an
ordered manner so that the final contribution indeed gives (1.17) and (1.18).
While the paper [P1] already gives a breakthrough contribution by showing
that the local index theorem does hold for the de Rham-Hodge operator, in his
second paper [P2], Patodi moved on to show that the local index theorem also
holds for the Dolbeault operator on Kahler manifolds, whose global version im-
plies the Riemann-Roch-Hirzebruch theorem for algebraic manifolds [65]. He also
mentioned in the end of [P2] that he was able to prove the local index theorem for
the signature operator whose global version is the Hirzebruch signature theorem
[65].
The computations in [P2] are more complicated than those given in [P1], and
it is truly remarkable that Patodi was able to accomplish all these while staying
in India.
Mathematically, among the four theorems mentioned above, now only the local
index theorem for Dirac operator was missing, and it is the subject of the joint
paper [P4] with Atiyah and Bott.
Before describing the content of [P4], we mention that almost during the same
time as Patodi established local index theorems for the de Rham-Hodge and
Dolbeault operators by direct tour de force methods, Gilkey, on the other hand,
THE MATHEMATICAL WORK OF V. K. PATODI 7
developed an indirect way to prove local index theorems in [60], [61], by using
Weyl’s invariant theory.
In [P4], together with Atiyah and Bott, Patodi examined the local index theo-
rem systematically by combining his direct approach with Gilkey’s method. The
authors of [P4] showed that the local index theorem holds for the so called twisted
signature operator, which allows to twisting a vector bundle to the signature op-
erator, as well as the Dirac and twisted Dirac operators. Moreover, from the
twisted signature theorem, by combining with the Bott periodicity theorem, they
arrived at a new proof of the (global) Atiyah-Singer index theorem for general
elliptic differential operators.
There are two points one should mention about [P4]. The first is that the
method and result in [P4] enable one to generalize the index theorem for geometric
operators such as the signature operator and the Dirac operator to the case
of manifolds with boundary. This is the content of [P6] and [P7] and will be
described in the next section. The other one is that while the local Gauss-Bonnet-
Chern and the local Riemann-Roch-Hirzebruch theorems can be proved directly
in [P1] and [P2], the proof of the local index theorem for Dirac operators in [P4]
is not direct. The direct proof of the local index theorem for Dirac operators, by
using the method of Patodi, was later given by Yu [93].
In [P5] and in the joint paper with Donnelly [P11], Patodi generalized his
method to the equivariant situation and proved the Lefschetz fixed point formula
of Atiyah-Bott-Segal-Singer ([6], [9], [11]) by the heat equation method. The
paper [P5] is an announcement for the holomorphic case, while the paper [P11]
covers the case of the equivariant signature theorem with respect to an isometry
on a Riemannian manifold.
We would like to mention that locally, all the geometric operators mentioned
above: the de Rham-Hodge operator, the signature operator and the Dolbeault
operator on Kahler manifolds can be expressed as a twisted Dirac operator.
So now by local index theorem one usually means the local index theorem for
(twisted) Dirac operators.
In early 1980’s, several physics inspired formal proofs of the index theorem for
Dirac operators appeared. Among them, Atiyah described in [3] an idea due to
the physicist Witten, who suggested that by formally applying the Duistermaat-
Heckman localization formula [54] in equivariant cohomology to the loop space
of a closed spin manifold, one can obtain the index theorem for Dirac operators
tautologically, though non-rigorously. The ideas of Witten and other physicists
(cf. [1] and [57]) stimulated a number of new proofs of the local index theorem
for Dirac operators, notably the probabilitistic proof due to Bismut [16], the two
proofs of Getzler ([58], [59]) inspired by supersymmetry and the group-theoretic
8 WEIPING ZHANG
proof given by Berline-Vergne [15]. It turns out that the index density is closely
related to the heat kernel of the harmonic oscillator.
The proofs of Bismut [16] and Berline-Vergne [15] also cover the equivariant
case. Another heat kernel proof of the equivariant index theorem for Dirac op-
erators, which is closely related to the method developed by Patodi (which is
extended to spin manifolds in [93]), is given in [68].
It is amazing that Patodi’s direct computation now has connections with so
many areas: from physics to probability, and to group representations.
In ICM-1986, Bismut gave an invited talk entitled “Index theorem and the heat
equation” [18]. Besides providing an overview of the history of the heat equation
approach to the index theorem, which was started from the pioneering works of
Mckean-Singer and Patodi, the talk also describes the most recent advances due
to the speaker himself: a vast generalization on the heat equation proofs of the
index theorem for a family of Dirac operators [17], by making use of Quillen’s
concept of superconnection [83]. It marks the beginning of a new era of the local
index theory.
We refer the interested reader to the book of Berline-Getzler-Vergne [14] for a
systematic treatment of the local index theorems for geometric operators, as well
as the Bismut local families index theorem for Dirac operators [17].
2. η-invariant and the index theorem on manifolds with boundary
It is always important in analysis to study differential equations with boundary
conditions. Thus even at the early stage of the development of the index theory,
the problem of index theorems for elliptic operators on manifolds with boundary
was studied, cf. [5]. However, among the four geometric operators we have
mentioned before: the de Rham-Hodge operator, the signature operator, the
Dolbeault operator on Kahler manifolds and the Dirac operator on spin manifolds,
only the de Rham-Hodge operator admits the elliptic boundary condition in the
classical context studied in [5]. These boundary conditions are “local” in the
sense that if P is such a boundary condition which acts on smooth sections on
the boundary, then for any smooth section u on the boundary, if u vanishes on
an open subset of the boundary, one requires that Pu also vanishes on this open
subset. It is known that the result in [5] does not apply to signature and/or Dirac
operators.
The problem of the index theorem for signature and Dirac operators on man-
ifolds with boundary was solved in a series of joint papers [P7] due to Atiyah,
Patodi and Singer, with an earlier announcement presented in [P6]. In this sec-
tion, we will discuss this solution and its ramifications.
THE MATHEMATICAL WORK OF V. K. PATODI 9
This section consists of two subsections. In Subsection 2.1, we present the
index theorem. In Subsection 2.2, we will discuss in more details the η-invariant
which occurs as the contribution from the boundary in the index theorem.
2.1. The Atiyah-Patodi-Singer index theorem. It is discovered in [P7] that
for a Dirac operator on a spin manifold with boundary to be elliptic, one needs
to impose a global boundary condition, instead of the usual local ones.
To be more precise, let M be an oriented spin manifold with smooth boundary
∂M . We assume M is of even dimension 2n, then ∂M is of dimension 2n − 1,
and carries an induced orientation and also an induced spin structure. Let gTM
be a Riemannian metric on TM . We assume that gTM is of product structure
near the boundary ∂M . That is, there exists a neighborhood ∂M × [0, a) ⊂ M
of ∂M , with a > 0 sufficiently small, such that
gTM∣∣∂M×[0,a)
= π∗(gTM
∣∣∂M
)⊕ dt2,(2.1)
where t ∈ [0, a) is the parameter and π : ∂M × [0, a) → ∂M = ∂M ×0 denotes
the canonical projection.
Let S(TM) = S+(TM)⊕ S−(TM) be the Hermitian vector bundle of spinors
associated to (TM, gTM). Let (E, gE) be a Hermitian vector bundle over M
carrying a Hermitian connection ∇E. We assume that gE and ∇E are of product
structure on ∂M × [0, a). That is,
gE∣∣∂M×[0,a)
= π∗(gE
∣∣∂M
), ∇E
∣∣∂M×[0,a)
= π∗(∇E
∣∣∂M
).(2.2)
Let DE : Γ(S(TM) ⊗ E) → Γ(S(TM) ⊗ E) denote the twisted (by E) Dirac
operator defined by the above geometric data. Let DE± : Γ(S±(TM) ⊗ E) →
Γ(S∓(TM)⊗ E) denote the obvious restrictions of DE.
In view of (2.1) and (2.2), one finds that on ∂M × [0, a), one has
DE = c
(∂
∂t
)(∂
∂t+ π∗DE
∂M
),(2.3)
where c(·) is the notation for the Clifford action andDE∂M : Γ((S(TM)⊗E)|∂M ) →
Γ((S(TM)⊗E)|∂M) is the induced Dirac operator on ∂M . LetDE∂M,± : Γ((S±(TM)⊗
E)|∂M) → Γ((S±(TM) ⊗ E)|∂M) denote the obvious restrictions. Then both
DE∂M,± are elliptic and formally self-adjoint. We also call them the induced Dirac
operators on the boundary ∂M .
Let L2((S±(TM)⊗E)|∂M) be the L2-completions of Γ((S±(TM)⊗E)|∂M ). Let
L2≥0((S±(TM)⊗E)|∂M ) ⊂ L2((S±(TM)⊗E)|∂M ) and L2
>0((S±(TM)⊗E)|∂M ) ⊂
10 WEIPING ZHANG
L2((S±(TM)⊗ E)|∂M) be defined by
L2≥0((S±(TM)⊗ E)|∂M) =
⊕
λ∈Spec(DE∂M,±), λ≥0
Eλ,(2.4)
L2>0((S±(TM)⊗ E)|∂M) =
⊕
λ∈Spec(DE∂M,±), λ>0
Eλ,
where Eλ denotes the eigenspace of λ. Let PE±,≥0, P
E±,>0 denote the orthogonal pro-
jections from L2((S±(TM)⊗E)|∂M) to L2≥0((S±(TM)⊗E)|∂M ), L2
>0((S±(TM)⊗E)|∂M) respectively.
The first result in [P7] shows that the boundary problems (DE±, P
E±,≥0) and
(DE±, P
E±,>0) are elliptic. Moreover, (DE
−, PE−,>0) is the adjoint of (DE
+ , PE+,≥0).
Thus one can define the index of (DE+, P
E+,≥0) by
ind(DE
+ , PE+,≥0
)= dim
(ker
(DE
+, PE+,≥0
))− dim
(ker
(DE
−, PE−,>0
)),(2.5)
where both
ker(DE
+, PE+,≥0
)=
u ∈ Γ (S+(TM)⊗E) : DE
+u = 0, PE+,≥0 (u|∂M) = 0
(2.6)
and
ker(DE
−, PE−,>0
)=
u ∈ Γ (S−(TM)⊗E) : DE
−u = 0, PE−,>0 (u|∂M) = 0
(2.7)
are of finite dimension.
One of the immediate observations is that here PE±,≥0 and PE
±,>0 no longer
verifies the requirements of the local boundary condition. Thus they are global
boundary conditions. The price one pays here is that these boundary conditions
no longer contribute topologically invariant indices. In particular, ind(DE+ , P
E+,≥0)
defined in (2.5) now depends on the induced geometric data on ∂M .
The first main result in [P7] provides an explicit formula for ind(DE+ , P
E+,≥0),
generalizing the Atiyah-Singer index theorem for ind(DE+) in the case where M
is closed. The amazing thing here is that besides the usual geometric term which
can be seen from the local index computation, there appears in this index formula
a new term contributed from the boundary ∂M . Thus before stating the index
formula, let us first describe this extra term: the η-invariant associated to the
induced Dirac operator DE∂M,+ on ∂M .
Recall that DE∂M,+ : Γ((S+(TM)⊗ E)|∂M) → Γ((S+(TM) ⊗ E)|∂M) is elliptic
and formally self-adjoint. By standard elliptic theory, one sees that for any
THE MATHEMATICAL WORK OF V. K. PATODI 11
complex number s with Re(s) >> 0, the following η-function of DE∂M,+ is well-
defined,
η(DE
∂M,+, s)=
∑
λ∈Spec(DE∂M,+), λ6=0
sgn(λ)
|λ|s ,(2.8)
where sgn(λ) = 1 if λ > 0, while sgn(λ) = −1 if λ < 0. It is a spectral function
depending only on the restriction of the geometric data (gTM , gE,∇E) on the
boundary.
It is shown in [P7] that η(DE∂M,+, s) can be extended to a meromorphic function
of s over C, which is holomorphic at s = 0. Naturally, one calls η(DE∂M,+, 0) the
η-invariant of DE∂M,+ and denotes it by η(DE
∂M,+). If one also counts the zero
eigenvalue of DE∂M,+, one defines as in [P7]
η(DE
∂M,+
)=
dim(kerDE
∂M,+
)+ η
(DE
∂M,+
)
2(2.9)
and calls it the reduced η-invariant of DE∂M,+.
One can now state the index theorem for (DE+ , P
E+,≥0) as follows. It is stated
in [P7, I (4.3)].
Theorem 2.1. The following identity holds,
ind(DE
+, PE+,≥0
)=
∫
M
A(TM,∇TM
)ch
(E,∇E
)− η
(DE
∂M,+
),(2.10)
where A(TM,∇TM) and ch(E,∇E) are the Hirzebruch A-characteristic form as-
sociated to ∇TM and the Chern character form associated to ∇E defined respec-
tively by
A(TM,∇TM
)= det1/2
(RTM/4π
sinh (RTM/4π)
)(2.11)
and
ch(E,∇E
)= tr
[exp
(√−1
2π
(∇E
)2)]
.(2.12)
Remark 2.2. If M is closed, then ∂M = ∅ and (2.10) becomes ind(DE+) =
〈A(TM)ch(E), [M ]〉, which is the original Atiyah-Singer index theorem for DE+
([10]).
Remark 2.3. If the metrics gTM , gE and∇E are not of product structure near the
boundary ∂M , then one can first deform them to ones of the product structure
(without changing their restrictions on the boundary) and apply Theorem 2.1
to get a geometric formula involving the new geometric data, and then obtain
a formula involving only the original geometric data by using the Chern-Weil
12 WEIPING ZHANG
theory. For a systematic treatment of the index theorem for geometric operators
without the “product structure” near boundary assumption, see [62].
Remark 2.4. In its most general form, the main result of [P7, I], stated in
[P7, I, Theorem (3.10)], holds for any first order elliptic differential operator on
manifolds with boundary. However, only for the geometric operators one gets the
explicit local expression for the interior contribution. On the other hand, as we
have mentioned, all geometric operators of interests can locally be expressed as
a kind of (twisted) Dirac operators. This is why in the above we state explicitly
the index theorem for Dirac operators.
One of the motivations of [P7] is to solve a conjecture of Hirzebruch [66] con-
cerning the computation of the signature of Hilbert modular varieties having cusp
singularities. We mention here that by making use of the version of Theorem 2.1
for signature operators, this Hirzebruch conjecture was later solved by Atiyah,
Donnelly and Singer (all have collaborated with Patodi) in [7]. An indepen-
dent proof was given by Muller [79]. These two works establish a solid place for
Theorem 2.1 in number theory. We refer to [4] for an overview on this aspect.
Now let us examine Theorem 2.1 from purely index theoretic point of view.
One observes first that by (2.10), η(DE∂M,+) depends on (gTM , gE,∇E)|∂M .
Thus it is not a topological invariant. Moreover, it does not admit a local ex-
pression, i.e., it can not be expressed as an integration of local geometric terms.
This later fact is in fact pointed out in [P7], by indicating that the η-invariant is
not multiplicative under finite coverings.
The second observation from (2.10) is that when mod Z, η(DE∂M,+) depends
smoothly on (gTM , gE,∇E)|∂M . Moreover, by combining with the Chern-Weil
theory, one may calculate explicitly the variation of this η-invariant with respect
to smooth deformations of (gTM , gE,∇E)|∂M .
The third observation is that if (gTM , gE,∇E)|∂M changes, then dim(kerDE∂M,+)
might jump, thus by (2.10), ind(DE+, P
E+,≥0) depends in general on (gTM , gE,∇E)|∂M .
Indeed this can also be seen directly from (2.5)-(2.7), as when dim(kerDE∂M,+)
jumps, PE+,≥0 also jumps and certainly we get a different elliptic boundary value
problem which may give a possibly different index.
The problem of characterizing the variation of the index in Theorem 2.1 with
respect to different elliptic boundary conditions was solved in [P7, III] by intro-
ducing the concept of spectral flow.
Theorem 2.1, as well as the associated concepts of η-invariant and spectral
flow, have later on played very important roles in many aspects of geometry,
topology, number theory (as mentioned above) and mathematical physics. We
will describe some of these ramifications in the next subsection. Here we just
THE MATHEMATICAL WORK OF V. K. PATODI 13
quote what Atiyah wrote in his Forward to [P0] concerning [P7]: “It was a
great collaboration, exploiting the different talents of the participants, and I
am glad it came to a successful conclusion.” On another place, Atiyah wrote in
the “Commentary on Papers on Index Theory” in his Collected Works [2] about
[P7] that “In many ways the papers on spectral asymmetry were perhaps the
most satisfying ones I was involved with.”
We conclude this subsection by mentioning that for Theorem 2.1 itself, there
are now several books and different proofs devoting to it. For the books, we
mention two: one is due to Booß-Bavnbek and Wojciechowski [36] which gives
a fairly complete treatment following the lines of [P7]; the other one is due to
Melrose [75] which gives a different treatment on the analytic aspects of the
problem. For other proofs of Theorem 2.1, we refer to [27, I] and [49].
2.2. η-invariants and its applications. We first point out that the η-invariant,
or rather the reduced η-invariant defined in (2.9), for (twisted) Dirac operators
can in fact be defined for any formally self-adjoint elliptic differential operator
on a closed manifold. For odd dimensional manifold case, this has been studied
systematically in [P7, III, Sections 2-4]. For brevity, we will concentrate on Dirac
operators.
For any closed odd dimensional oriented Riemannian spin manifold X and a
Hermitian vector bundle E over X carrying a Hermitian connection ∇E , one can
define the (twisted by E) Dirac operator DE : Γ(S(TX)⊗E) → Γ(S(TX)⊗E) to
be the induced Dirac operator Dπ∗E∂M,+|X , in the sense of the previous subsection,
with M = X × [0, 1] and π : M → X = X × 0 being the canonical projection.
The (reduced) η-invariant of DE is thus well-defined, without assuming that X
is the boundary of another spin manifold.
The basic properties of η(DE) have indeed been studied in [P7]. We mention in
particular that in [P7, I, (4.2)], it is proved by using heat kernel method that the
η-function η(DE, s) is holomorphic for Re(s) > −12,2 while in [P7, II, Section 4],
the intrinsic relation between the η-invariant and the Chern-Simons invariant [44]
was exploited. Moreover, by applying Theorem 2.1 to M = X × [0, 1], one can
prove an anomaly formula for η(DE) with respect to the variations of gTX, gE
and ∇E.
One of the most interesting outcome from the above mentioned anomaly for-
mula occurs when one assumes that the unitary connection ∇E is flat, that is, the
curvature RE = (∇E)2 vanishes. In this situation, one finds that the following
2This result is later improved in [30, I] to Re(s) > −2.
14 WEIPING ZHANG
geometric quantity,
ρE = η(DE
)− rk(E) η
(DC
)mod Z(2.13)
does not depend on gTM . Thus we get a topological invariant for unitary rep-
resentations of the fundamental group of X . The remarkable Index theorem for
flat bundles proved in [P7, III, (5.3)] gives a topological interpretation of this an-
alytically constructed invariant. This reminds us the relation between two other
invariants for flat vector bundles: the Reidemeister torsion and the Ray-Singer
analytic torsion, which will be discussed in the next section.
We now turn to a beautiful observation due to Witten [91]. Based on the
reasonings in physics, Witten needed to compute the (reduced) η-invariant for
Dirac operators on manifolds fibering over a circle. What Witten claimed in [91]
is that when taking the adiabatic limit, the η-invariant for a fibered manifold
over a circle is closely related to the holonomy of the Quillen determinant line
bundle [84] over the circle, constructed through the fiberwise Dirac operators.
This conjecture of Witten was proved independently by Bismut-Freed [30] and
Cheeger [42]. Both proofs were reported at the ICM-1986 in Berkeley ([18], [41]).
For an approach in the spirit of both [30] and [42], see [46].
With the encouragement of the solution to the Witten conjecture, it is natural
to study the η-invariant on general fibered manifolds, and this was first accom-
plished in the celebrated joint work of Bismut and Cheeger [26].
To be more precise, let Z → Xπ→ B be a smooth fibration of closed oriented
spin manifolds, with compatible orientations and spin structures. We assume
dimX is odd. Let T VX (usually denoted by TZ) be the vertical tangent bundle
of the fibration and THX ⊂ TX be a fixed horizontal subbundle of TX . Then
we have the splitting TX = THX ⊕ TZ.
Let gTZ be a Euclidean metric on TZ. Let gTB be a Riemannian metric on TB.
It determines a Euclidean metric π∗gTB on THX . Let gTX be the Riemannian
metric on TX given by the orthogonal direct sum gTX = π∗gTB ⊕ gTZ.
For any ε > 0, let gTXε be the rescaled metric on TX defined by
gTMε =
π∗gTB
ε⊕ gTZ .(2.14)
Let E be a Hermitian vector bundle over X carrying a Hermitian connection
∇E . Then for any b ∈ B, on the fiber Zb = π−1(b), the restrictions of gTZ , gE
and ∇E on Zb determine a Dirac operator DEZb
on Zb.
Let DEε be the Dirac operator on X associated to gTX
ε , gE and ∇E . The
following result computes the adiabatic limit of η(DEε ) when ε tends to zero.
THE MATHEMATICAL WORK OF V. K. PATODI 15
Theorem 2.5. (Bismut-Cheeger [26]) If for any b ∈ B, DEZb
is invertible, then
there is ε0 > 0 such that for any 0 < ε < ε0, DEε is invertible. Moreover, the
following identity holds:
limε→0
η(DE
ε
)=
∫
B
A(TB,∇TB
)η,(2.15)
where ∇TB is the Levi-Civita connection of gTB and η ∈ Ω∗(B) is the η-form
canonically constructed in [26].
In the special case where B is a circle, there is no specific assumptions on
the fiberwise Dirac operators in the proofs [30], [42] of the Witten holonomy
conjecture. For general fibrations, a refinement of Theorem 2.5 was obtained
by Dai [45] under the assumption that ker(DEb ), b ∈ B, form a vector bundle
(denoted by ker(DEZ )) over B. If this assumption holds, then ker(DE
Z ) admits a
naturally induced Hermitian metric as well as a Hermitian connection. Thus, one
can construct the associated (twisted by ker(DEZ )) Dirac operator Dker(DE
Z ) on B.
The main result in [45] shows that the η-form of Bismut-Cheeger appeared in
(2.15) is still well-defined under this condition. Moreover, the following identity
holds (compare with [71]):
limε→0
η(DE
ε
)≡ η
(Dker(DE
Z ))+
∫
B
A(TB,∇TB
)η mod Z.(2.16)
In particular, if dimB is even, then one has
limε→0
η(DE
ε
)≡
dim(kerDker(DE
Z ))
2+
∫
B
A(TB,∇TB
)η mod Z.(2.17)
In [29], by applying Theorem 2.5 to flat torus bundles, a new proof of the
Hirzebruch conjecture, which was first proved by Atiyah-Donnelly-Singer [7] and
Muller [79], is given. The η-form for circle bundles was computed in [47] and [94].
It was applied in [94] to obtain a higher dimensional Rokhlin type congruence
which at the same time extends the divisibility result of Atiyah-Hirzebruch [8],
which states that the A-genus of an 8k + 4 dimensional closed spin manifold is
an even integer, to the case of spinc-manifolds.
When B is a point, then η is simply (half of) the η-invariant ofDE . Thus, the η-
form of Bismut-Cheeger generalizes the η-invariant of Atiyah-Patodi-Singer to the
case of families. The natural question of whether there is a families generalization
of the Atiyah-Patodi-Singer index theorem 2.1 was answered positively in [27, II],
[28] and [76]. On the other hand, the concept of spectral flow was generalized to
the families index theory in [48].
16 WEIPING ZHANG
The ideas and methods in [26], [27], [28], [76] and [48] have been further gen-
eralized to the framework of noncommutative index theory. We refer to [69], [70]
for an overview.
The η-invariant and the η-form have also played important roles in the actively
studied differential K-theory. Besides (2.15)-(2.17), the Riemann-Roch property
of the η-invariant under embedding, which is established in [35], is also used in
the proof of the index theorem in differential K-theory [56]. On the other hand,
as a simple application of the main result in [35], a geometric formula for the
mod Z component of the (reduced) η-invariant for Dirac operators is given in
[96]. This later formula, which can be proved independently, is in turn used in
[55] to give a more geometrical proof of the embedding formula in [35].
We now describe another line of applications of the η-invariant. It concerns the
heat kernel proof of the index theorem for Toeplitz operators on odd dimensional
manifolds.
Recall that X is an odd dimensional closed oriented spin Riemannian manifold,
E a Hermitian vector bundle over X carrying a Hermitian connection, and DE :
Γ(S(TX) ⊗ E) → Γ(S(TX) ⊗ E) is the Dirac operator which is elliptic and
formally self-adjoint.
Now let N > 0 be an integer and CNX be a trivial vector bundle over X
carrying the canonical trivial Hermitian metric and connection. Then DE extends
naturally to a Dirac operator acting on Γ(S(TX)⊗E⊗CNX), which we still denote
DE.
Let g ∈ Γ(Aut(CNX)) be a fiberwise automorphism of CN
X . It extends to a
fiberwise automorphism IdS(TX)⊗E ⊗ g, which we still denote by g. Then g acts
as a bounded linear operator on the L2-completion L2(S(TX) ⊗ E ⊗ CNX) of
Γ(S(TX)⊗E⊗CNX). Let P
E≥0 : L
2(S(TX)⊗E⊗CNX) → L2
≥0(S(TX)⊗E⊗CNX)
be the orthogonal projection defined as in between (2.4) and (2.5).
We define the Toeplitz operator TEg by
TEg = PE
≥0gPE≥0 : L
2≥0
(S(TX)⊗E ⊗CN
X
)−→ L2
≥0
(S(TX)⊗ E ⊗CN
X
).(2.18)
It was observed in [13] that TEg is a zeroth order elliptic pseudodifferential
operator, so that one can apply the Atiyah-Singer index theorem [11] to compute
its index. More precisely, one gets
ind(TEg
)= −
⟨A(TX)ch(E)ch(g), [X ]
⟩,(2.19)
where ch(g) is the odd Chern character of g, when viewing g as an element in
K1(X) (cf. [95, Chap. 1]).
Following [36], we outline below a proof of (2.19) using heat kernels and the
η-invariant. The first observation is that by the homotopy invariance of the
THE MATHEMATICAL WORK OF V. K. PATODI 17
index, one may deform g to assume that it is fiberwise unitary. Now as g is
fiberwise unitary, we see that the operator g−1DEg : Γ(S(TX) ⊗ E ⊗ CNX) →
Γ(S(TX)⊗E⊗CNX) is formally self-adjoint. Moreover, DE
t = (1−t)DE+tg−1DEg,
t ∈ [0, 1], form a smooth family of formally self-adjoint elliptic operators acting
on the same space Γ(S(TX)⊗E ⊗CNX).
One first observes that the index of TEg can be identified with the spectral flow
for the above family DEt : 0 ≤ t ≤ 1. That is, one has
ind(TEg
)= −sf
DE
t : 0 ≤ t ≤ 1.(2.20)
On the other hand, by the variation formula for the η-invariant as in [P7, III],
one has
η(DE
t=1
)− η
(DE
t=0
)= sf
DE
t : 0 ≤ t ≤ 1+
∫ 1
0
dη(DE
t
)
dtdt.(2.21)
Now it is clear that η(DEt=1) = η(g−1DEg) = η(DE) = η
(DE
t=0
), from (2.20) and
(2.21) one gets
ind(TEg
)=
∫ 1
0
dη(DE
t
)
dtdt,(2.22)
with the right hand side being able to be evaluated by local index computations
(i.e., the heat kernel method), which leads to (2.19).
Inspired by Theorem 2.1, it is natural to ask whether (2.19) can be generalized
to the case of manifolds with boundary. This problem was first studied in [53],
where an index formula is obtained, under the assumption that the restriction of
g on the boundary is an identity. No boundary contribution appears in the index
formula under this assumption.
On the technical side, [53], which is inspired by an earlier note of Singer [89],
initiated the study of η-invariants on manifolds with boundary, which have been
studied actively since then. Here we only mention the papers [39], [67] and [81]
from the vast literature on this subject.
A solution to the problem of generalizing (2.19) to the case of manifolds with
boundary, without any condition on g, is later given in [50], where the results in
[67] and [81] play important roles. The result proved in [50] may be thought of
as an odd dimensional analogue of Theorem 2.1. In particular, there appears a
boundary contribution in the index formula established in [50], which is indeed
an η-type invariant.
Certainly there are many other implications of Theorem 2.1 and the η-invariant
which are not touched in this very brief account. We refer to the survey papers
[82] and [64] for some of the topics we did not discuss above.
18 WEIPING ZHANG
3. Reidemeister torsion and Ray-Singer analytic torsion
As we have pointed out in Introduction, Patodi’s work touches almost all as-
pects of the index theory. Besides the works we have described in the previous
two sections, in his ICM talk [P8], his interests moved on to two other important
problems: the first is to give an explicit combinatorial formula for the Pontrya-
gin classes; the second is to give an analytic interpretation of the Reidemeister
torsion [87].
The former problem is still open up to now, while Patodi made his own contri-
butions in [P9]. Here we only mention that the famous Chern-Simons invariant
[44] was in fact originated from an attempt to give a purely combinatorial ex-
pression for the first Pontryagin class of 4-manifolds.
In this section, we will concentrate on the other problem touched in [P8], which
concerns the Reidemeister torsion.
The Reidemeister torsion is a classical invariant in topology associated to or-
thogonal representations of the fundamental group of a CW complex.
Inspired by the Atiyah-Singer index theory, Ray and Singer [85] studied an
analogue of the Reidemeister torsion for the de Rham complex on a smooth
manifold. They called this analogue the analytic torsion and discovered that it
has a lot of properties similar to those of the Reidemeister torsion. They further
made the conjecture that their analytic torsion (now widely called the Ray-Singer
torsion) equals to the Reidemeister torsion.
For simplicity, we start directly with a smooth closed manifold M which we
assume to be oriented. Let ρ : π1(M) → O(N) be an orthogonal representation
of the fundamental group of M . Then ρ determines an orthogonal flat vector
bundle Eρ = M ×ρ RN over M , where M is the universal covering of M .
Take any triangulation cα of M , where each cα is a simplex. Over each
simplex cα, Eρ can be trivialized tautologically. Thus the boundary operator
∂ : cα → ∂cα extends naturally to a twisted boundary operator ∂ρ : cα⊗(Eρ|cα) →(∂cα)⊗ (Eρ|∂cα).
For any simplex cα, let eα1, · · · , eαN be the trivialized global orthonormal basis
of Eρ|cα, let [cα ⊗ eαi], 1 ≤ i ≤ N , denote the real line generated by cα ⊗ eαi.
For any integer 0 ≤ q ≤ dimM , let Cq denote the vector space obtained by the
direct sum Cq = ⊕Ni=1 ⊕dim cα=q [cα ⊗ eαi]. With these data one can construct a
combinatorial complex (C∗, ∂ρ) with coefficient Eρ,
(C∗, ∂ρ) : 0 −→ CdimM∂ρ−→ CdimM−1
∂ρ−→ · · · ∂ρ−→ C0 −→ 0,(3.1)
THE MATHEMATICAL WORK OF V. K. PATODI 19
i.e., one has ∂2ρ = 0. For simplicity, we also assume that the homology of the
complex (C∗, ∂ρ) vanishes: H∗(C∗, ∂ρ) = 0. Then for any 0 ≤ q ≤ dimM ,
ker(∂ρ|Cq) ≃ Im(∂ρ|Cq+1).3
For any 0 ≤ q ≤ dimM , let bqj’s be a basis of Im(∂ρ|Cq+1), let b′(q−1)j ∈ Cq be
such that ∂ρb′(q−1)j = b(q−1)j . Then the (bqj , b
′(q−1)j)’s form a basis of Cq. Recall
that the cα ⊗ eαi’s with dim cα = q, 1 ≤ i ≤ N , form another basis cq of Cq.
Let [bqj , b′(q−1)j : cq] > 0 be the absolute value of the determinant with respect
to these two basis. Then one sees that this determinant depends only on the
b(q−1)j ’s, not on the lifts b′(q−1)j ’s. Thus we may denote it by [bqj , b(q−1)j : cq].
One can now define the Reidemeister torsion τ(C∗, ∂ρ) of the complex (C∗, ∂ρ)
by the following formula,
log τ (C∗, ∂ρ) =dimM∑
q=0
(−1)q log[bqj , b(q−1)j : cq
].(3.2)
It is indeed a well-defined quantity as one can show that the right hand side of
(3.2) does not depend on the choices of the bqj ’s. One can show further that
τ(C∗, ∂ρ) is invariant under subdivisions of the triangulation. Thus, it does not
depend on the triangulations in its definition and is a well-defined combinatorial
invariant. We denote it by τρ and call it the Reidemeister torsion associated to
ρ.
Ray and Singer observed that the Reidemeister torsion defined in (3.2) admits
an expression through combinatorial Laplacians. To be more precise, let C∗ carry
a Hermitian metric such that the cα⊗eαi’s with 0 ≤ dim cα ≤ dimM , 1 ≤ i ≤ N ,
form an orthonormal basis. Let ∂∗ρ : C∗ → C∗ be the adjoint of ∂ρ with respect
to this Hermitian metric, then for any 0 ≤ q ≤ dimM , ∂∗ρ : Cq → Cq+1.
Let C∗
ρ : C∗ → C∗ be the Laplacian defined by C∗
ρ = ∂∗ρ∂ρ + ∂ρ∂
∗ρ . For any
0 ≤ q ≤ dimM , let C∗
q,ρ : Cq → Cq be the restriction of C∗
ρ on Cq. Since we
have assumed that H∗(C∗, ∂ρ) = 0, we know that each C∗
q,ρ is invertible. The
following identity is proved in [85, Proposition 1.7],
log τρ =1
2
dimM∑
q=0
(−1)q+1q log(det
(
C∗
q,ρ
)).(3.3)
Inspired by (3.3), Ray and Singer defined in [85] an analogue for the de Rham
complex with coefficient Eρ, i.e., the following complex where for any 0 ≤ q ≤
3We set C−1 = CdimM+1 = 0.
20 WEIPING ZHANG
dimM , Ωq(M,Eρ) = Γ(Λq(T ∗M)⊗ Eρ),
(Ω∗(M, ρ), dρ) : 0 → Ω0(M,Eρ)dρ→ Ω1(M,Eρ)
dρ→ · · · dρ→ ΩdimM(M,Eρ) → 0,
(3.4)
where dρ : Ω∗(M,Eρ) → Ω∗(M,Eρ) is the (twisted) exterior differential operator
with coefficient Eρ.
Let gTM be a Riemannian metric on TM .
By using gTM and the orthogonal flat structure on Eρ, one can produce a canon-
ically induced inner product on Ω∗(M,Eρ). Let d∗ρ : Ω
∗(M,Eρ) → Ω∗(M,Eρ) be
the formal adjoint of dρ with respect to this inner product. Let ρ = d∗ρdρ+ dρd∗ρ
be the associated Laplacian. For any 0 ≤ q ≤ dimM , let q,ρ : Ωq(M,Eρ) →Ωq(M,Eρ) be the restriction of ρ on Ωq(M,Eρ).
If one wants to define an analogue of (3.3), one needs to at first define a kind
of “determinant” for the Laplacians q,ρ’s. The obvious difficulty is that the
q,ρ’s act on infinite dimensional spaces, so one can not define a “determinant”
directly for them. The beautiful observation in [85] is that one can use a ζ-
function regularization to define a kind of regularized determinant which in the
finite dimensional case coincides with the usual determinant.
Since we have assumed H∗(C∗, ∂ρ) = 0, by using the Hodge theorem one
knows that for each 0 ≤ q ≤ dimM , q,ρ is invertible. Following [85], by standard
elliptic theory, for any s ∈ C with Re(s) >> 0, the ζ-function in the following
formula is well-defined:
ζq,ρ(s) =∑
λ∈Spec(q,ρ)
1
λs.(3.5)
It is easy to show that ζq,ρ(s) can be extended to a meromorphic function on C
which is holomorphic at s = 0.
Following [85, Definition 1.6], we now define the Ray-Singer analytic torsion
Tρ by the following formula,
log Tρ =1
2
dimM∑
q=0
(−1)qqdζq,ρ(s)
ds
∣∣∣∣s=0
.(3.6)
By using (3.3), one sees easily that τρ admits a similar formula in terms of the com-
binatorial Laplacians. To be more precise, if we set ζ(C∗
q,ρ, s) =∑
λ∈Spect(C∗q,ρ)
1λs
for 0 ≤ q ≤ dimM , then we can rewrite (3.3) as
log τρ =1
2
dimM∑
q=0
(−1)qqdζ
(
C∗
q,ρ, s)
ds
∣∣∣∣∣s=0
.(3.7)
THE MATHEMATICAL WORK OF V. K. PATODI 21
It is proved in [85] that when dimM is even, Tρ = 1, while when dimM is odd,
Tρ does not depend on gTM , i.e., it is a smooth invariant! Ray and Singer also
proved in [85] that many properties of τρ are also satisfied by Tρ. They raised
the conjecture that these two invariants actually equal, i.e., the following identity
holds,4
Tρ = τρ.(3.8)
It is this conjecture which Patodi dealt with in his ICM talk [P8], and also
in his joint paper with Dodziuk [P10]. In fact, as we have mentioned, τρ does
not depend on subdivisions of the triangulation in its definition. So one of the
ways one could expect to prove (3.8), in view of (3.6) and (3.7), is that if one
keeps doing the subdivision, then the ζ-function associated to the combinatorial
Laplacians might converge in some sense to the ζ-function of the Laplacians of
the de Rham-Hodge operator. Moreover, if this would hold, it might lead to a
proof of (3.8).
The study of the approximation of the combinatorial Laplacian under subdi-
visions were studied by Dodziuk in his thesis [52]. The method in [52] was then
further developed in the joint paper [P10], of which some of the main results
were announced in [P8], with the purpose of proving the Ray-Singer conjecture.
While [P10] does not give a proof of (3.8), the methods and results obtained are
inspiring. We just mention one approximation result as follows.
In [P10, Theorem 4.10], it is stated that for any compact subset U in the half
plane Re(s) > dimM2
, there is a sequence of triangulations cα,k, such that for any
0 ≤ q ≤ dimM , the corresponding sequence of ζ-functions ζ(C∗,kq,ρ , s) converges
to ζq,ρ(s) uniformly on U .
While the above result does not lead to (3.8) which involves informations of the
ζ-functions around s = 0, it is obviously an important step towards a better un-
derstanding of (3.8). In fact, a program was proposed in [P10] towards a possible
proof of (3.8) by stating two further conjectures concerning the approximations
of combinatorial Laplacians.
The Ray-Singer conjecture (3.8) was finally proved independently in the cel-
ebrated papers of Cheeger [40] and Muller [78], by different methods. While
Cheeger’s method is based mainly on surgery, what Muller did is indeed to fur-
ther develop the combinatorial approximation methods in [P10], by completing
the program proposed in [P10]. Thus, we could say that in some sense Patodi
also played a pioneering role in the study of the Ray-Singer conjecture, now the
Cheeger-Muller theorem.
4The original conjecture also covers the case where H∗(C∗, ∂ρ) 6= 0.
22 WEIPING ZHANG
As it is stated, the Cheeger-Muller theorem holds for orthogonal representa-
tions of the fundamental group of smooth manifolds. The natural question of
whether (3.8) can be extended to other representations of the fundamental group
was solved by Muller [80] for unimodular representations and by Bismut-Zhang
[34] for arbitrary representations.
The method used in [80] extends those of Cheeger’s in [40]. The method
developed in [34] is purely analytic and makes use of the Witten deformation
[90] for the de Rham complex by a Morse function. Moreover, the local index
theoretic technique, as developed from [P1], plays essential roles in [34].
Ray-Singer also defined analytic torsion for manifolds with boundary in [85].
This concept has played important roles in the proofs of Cheeger and Muller
on the Ray-Singer conjecture (3.8). The boundary conditions appear here are
of local type, in comparing with the global boundary conditions discussed in
Section 2. The Ray-Singer torsion for manifolds with boundary has been studied
extensively. Here we only mention two papers of Bruning-Ma ([37] and [38]),
which deal with the most general case of arbitrary flat vector bundles as well
as arbitrary metrics near the boundary. In particular, a local Gauss-Bonnet-
Chern theorem, generalizing the work of Patodi [P1] to the case of manifolds
with boundary, is established in [37], where no condition on metrics near the
boundary is assumed.
Inspired by the construction of the Bismut-Cheeger η-form, which we have
described in the last section, Bismut-Lott [33] constructed for smooth fibrations
(real) analytic torsion forms of which the degree zero term is the fiberwise Ray-
Singer torsion. A vast generalization of the Cheeger-Muller and Bismut-Zhang
theorems, to the Bismut-Lott torsion form for fibrations, was proved by Bismut-
Goette in [31]. For further developments concerning the torsion forms, we refer
to the survey paper [63].
Recall that in (2.13), we have described the Atiyah-Patodi-Singer ρ-invariant
for flat vector bundles through η-invariants. It is natural to ask whether this
invariant is related to the Ray-Singer analytic torsion, which is also a topological
invariant for flat vector bundles. In the Introduction to [P7, I], it is mentioned
that a unification of the η-invariant and the Ray-Singer torsion was not known.
While this is still the case up to now, the fact that they both appear prominently
in the Chern-Simons gauge theory (cf. [92] and [12]), which reflects other deep
implications of the η-invariant and the analytic torsion, may shed a light on this
mystery (cf. [72] where a holomorphic function on the representation space of
fundamental group, with absolute value being equal to the associated Ray-Singer
THE MATHEMATICAL WORK OF V. K. PATODI 23
analytic torsion, is constructed by using generalized versions of the above η-
invariant and analytic torsion). On the other hand, relations between the η-form
and the Bismut-Lott torsion form have been exploited in [73] and [51].
In another direction, Ray and Singer also defined analytic torsion for the Dol-
beault complex on complex manifolds in [86], which we now call the Ray-Singer
holomorphic torsion. While this holomorphic torsion is no longer a topological in-
variant, it has played important roles in complex geometry, arithmetic geometry
and mathematical physics. We refer to Bismut’s ICM-1998 Plenary Lecture [19]
for a survey on some of the developments concerning the holomorphic torsion.
As for the most significant recent advance of the (local) index theory, we men-
tion the groundbreaking theory of hypoelliptic Laplacians developed by Bismut
and his collaborators in [20], [21], [32], [23] and [25], of which two surveys are
given in [22] and [24]. The motivation of this theory comes in part from an at-
tempt to generalize the methods and results developed in [34] to the loop space of
the underlying smooth manifold.5 In this whole new development, we find that
the local index techniques, the Atiyah-Patodi-Singer η-invariant and the Ray-
Singer analytic torsion all find their new places. We believe that if Patodi would
still be alive, he would be happy to see that the local index theory he helped to
create has become one of the central areas in global analysis.
References
[P0] V. K. Patodi, Collected Papers. Eds. M. F. Atiyah and M. S. Narasimhan. World Scientific,
1996.
[P1] V. K. Patodi, Curvature and eigenforms of the Laplace operator. J. Diff. Geom. 5 (1971),
233-249.
[P2] V. K. Patodi, An analytic proof of Riemann-Roch-Hirzebruch theorem for Kaehler mani-
folds. J. Diff. Geom. 5 (1971), 251-283.
[P3] V. K. Patodi, Curvature and the fundamental solution of the heat operator. J. Indian
Math. Soc. 34 (1970), 251-283.
[P4] V. K. Patodi (with M. F. Atiyah and R. Bott) On the heat equations and the index
theorem. Invent. Math. 19 (1973), 279-330. Errata. loc. cit. 28 (1975), 277-280.
[P5] V. K. Patodi, Holomorphic Lefschetz fixed point formula. Bull. Amer. Math. Soc. 79
(1973), 825-828.
[P6] V. K. Patodi (with M. F. Atiyah and I. M. Singer), Spectral asymmetry and Riemannian
geometry. Bull. London Math. Soc. 5 (1973), 229-234.
[P7] V. K. Patodi (with M. F. Atiyah and I. M. Singer), Spectral asymmetry and Riemannian
geometry, I, II, III. Math. Proc. Cambridge Phil. Soc. 77 (1975), 43-69, 405-432; 77 (1976),
71-99.
[P8] V. K. Patodi, Riemannian structures and triangulations of manifolds. Proc. ICM1974,
Vancouver.
5See also [88] for a proof via hypoelliptic Laplacian of the main result in [34].
24 WEIPING ZHANG
[P9] V. K. Patodi, A combinatorial formula for Pontrjagin classes. Istituto Nazionale di Alta
Matematica. Symposia Matematica 20 (1976), 497-505.
[P10] V. K. Patodi (with J. Dodziuk), Riemannian structures and triangulations of manifolds.
J. Indian Math. Soc. 40 (1976), 1-52.
[P11] V. K. Patodi (with H. Donnelly), Spectrum and the fixed point set of isometries II.
Topology 16 (1977), 1-11.
*****************************
[1] L. Alvarez-Gaume, Supersymmetry and the Atiyah-Singer index theorem. Commun. Math.
Phys. 90 (1983), 161-173.
[2] M. F. Atiyah, Collected Works. Clarendon Press, Oxford (1988).
[3] M. F. Atiyah, Circular symmetry and stationary phase approximation. Asterisque 131
(1985), 43-59.
[4] M. F. Atiyah, The logarithm of the Dedekind η-function. Math. Ann. 278 (1987), 333-380.
[5] M. F. Atiyah and R. Bott, The index theorem for manifolds with boundary. Differential
Analysis (papers presented at the Bombay Colloquium 1964), Oxford University Press,
175-186.
[6] M. F. Atiyah and R. Bott, A Lefschetz fixed point foormula for elliptic complexes I, II.
Ann. of Math. 86 (1967), 374-407; 88 (1968), 451-491.
[7] M. F. Atiyah, H. Donnelly and I. M. Singer, Eta invariants, signature defects of cusps, and
values of L-functions. Ann. of Math. 118 (1983), 131-177.
[8] M. F. Atiyah and F. Hirzebruch, Riemann-Roch theorems for differentiable manifolds.
Bull. Amer. Math. Soc. 65 (1959), 276281.
[9] M. F. Atiyah and G. B. Segal, The index of elliptic operators II. Ann. of Math. 87 (1968),
531-545.
[10] M. F. Atiyah and I. M. Singer, The index of elliptic operators on compact manifolds. Bull.
Amer. Math. Soc. 69 (1963), 422-433.
[11] M. F. Atiyah and I. M. Singer, The index of elliptic operators I, III, IV. Ann. of Math. 87
(1968), 484-530, 546-604; 93 (1971), 119-138.
[12] D. Bar-Natan and E. Witten, Perturbative expansion of Chern-Simons theory with non-
compact gauge group. Commun. Math. Phys. 141 (1991), 423-440.
[13] P. Baum and R. G. Douglas, K-homology and index theory. in Proc. Symp. Pure Appl.
Math. vol. 38, Amer. Math. Soc., Providence, RI, 1982, pp. 117-173.
[14] N. Berline, E. Getzler, and M. Vergne, Heat Kernels and Dirac Operators, Grundl. Math.
Wiss. Band 298, Springer-Verlag, Berlin, 1992.
[15] N. Berline, and M. Vergne, A computation of the equivariant index of the Dirac operator.
Bull. Soc. Math. France 113 (1985), 305-345.
[16] J.-M. Bismut, The Atiyah-Singer index theorem: a probabilitistic approach I, II. J. Funct.
Anal. 57 (1984), 56-99, 329-348.
[17] J.-M. Bismut, The index theorem for families of Dirac operators: two heat equation proofs.
Invent. Math. 83 (1986), 91-151.
[18] J.-M. Bismut, Index theorem and the heat equation. Proc. ICM-1986, Berkeley.
[19] J.-M. Bismut, Local index theory and higher analytic torsion. Proc. ICM1998. in Doc.
Math. Extra Vol. I (1998), 143-162.
THE MATHEMATICAL WORK OF V. K. PATODI 25
[20] J.-M. Bismut, The hypoelliptic Laplacian on the cotangent bundle. J. Amer. Math. Soc.
18 (2005), 379-476.
[21] J.-M. Bismut, The hypoelliptic Dirac operator. in Geometry and Dynamics of Groups and
Spaces. Vol. 265 of Progress in Math. pp. 113-246. Birkhauser, Basel, 2008.
[22] J.-M. Bismut, Loop spaces and the hypoelliptic Laplacian. Comm. Pure Appl. Math. 61
(2008), 559-593.
[23] J.-M. Bismut, Hypoelliptic Laplacian and Orbital Integrals. Vol. 177 of Annals of Mathe-
matics Studies. Princeton University Press, Princeton, NJ, 2011.
[24] J.-M. Bismut, Index theory and the hypoelliptic Laplacian. in Metric and Differential
Geometry. Vol. 297 of Progress in Mathemathis. pp. 181-232. Birkhuser/Springer, Basel,
2012.
[25] J.-M. Bismut, Hypoelliptic Laplacian and Bott-Chern Cohomology. A Theorem of
Riemann-Roch-Grothendieck in Complex Geometry. Vol. 305 of Progress in Mathematics.
Birkhuser/Springer, Cham, 2013. xvi+203 pp.
[26] J.-M. Bismut and J. Cheeger, η-invariants and their adiabatic limits. J. Amer. Math. Soc.
2 (1989), 33-70.
[27] J.-M. Bismut and J. Cheeger, Families index for manifolds with boundary: I, II. J. Funct.
Anal. 89 (1990), 313-363; 90 (1990), 306-354.
[28] J.-M. Bismut and J. Cheeger, Remarks on the index theorem for families of Dirac operators
on manifolds with boundary. in Differential Geometry pp. 59-83. A symposium in honor
of Manfredo do Carmo. ed. B. Lawson and K. Tenenblat, Longman Scientific & Technical,
1991.
[29] J.-M. Bismut and J. Cheeger, Trangressed Euler classes of SL(2n,Z) vector bundles, adi-
abatic limits of eta invariants and special values of L-functions. Ann. Sci. Ecole Norm.
Sup. 25 (1992), 335-391.
[30] J.-M. Bismut and D. S. Freed, The analysis of elliptic families I, II. Commun. Math. Phys.
106 (1986), 159-176; 107 (1986), 103-163.
[31] J.-M. Bismut and S. Goette, Families Torsion and Morse Functions. Asterisque, tom. 275,
Soc. Math. France, 2001.
[32] J.-M. Bismut and G. Lebeau, The Hypoelliptic Laplacian and Ray-Singer Metrics. Vol. 167
of Annals of Mathematics Studies. Princeton University Press, Princeton, NJ, 2008.
[33] J.-M. Bismut and J. Lott, Flat vector bundles, direct images and higher real analytic
torsion. J. Amer. Math. Soc. 8 (1995), 291-363.
[34] J.-M. Bismut and W. Zhang, An Extension of a Theorem by Cheeger and Muller.
Asterisque, tom. 205, Soc. Math. France, 1992.
[35] J.-M. Bismut and W. Zhang, Real embeddings and eta invariant. Math. Ann. 295 (1993),
661-684.
[36] B. Booß-Bavnbek and K. Wojciechowski, Elliptic Boundary Problems for Dirac Operators,
Mathematics: Theory & Applications, Birkhauser Boston Inc., Boston, MA, 1993.
[37] J. Bruning and X. Ma, An anomaly formula for Ray-Singer metrics on manifolds with
boundary. Geom. Funct. Anal. 16 (2006), 767-837.
[38] J. Bruning and X. Ma, On the gluing formula for the analytic torsion. Math. Z. 273 (2013),
1085-1117. Erratum. loc. cit. 278 (2014), 615-616.
[39] U. Bunke, A glueing formula for the η invariant. J. Diff. Geom. 41 (1995), 397-448.
[40] J. Cheeger, Analytic torsion and the heat equation. Ann. of Math. 109 (1979), 259-312.
26 WEIPING ZHANG
[41] J. Cheeger, On the formulas of Atiyah-Patodi-Singer and Witten. Proc. ICM-1986, Berke-
ley.
[42] J. Cheeger, η-invariants, the adiabatic approximation and conical singularities. J. Diff.
Geom. 26 (1987), 175-221.
[43] S. S. Chern, A simple intrinsic proof of the Gauss-Bonnet formula for closed Riemannian
manifolds. Ann. of Math. 45 (1945), 741-752.
[44] S. S. Chern and J. Simons, Characteristic forms and geometric invariants. Ann. of Math.
99 (1974), 48-69.
[45] X. Dai, Adiabatic limits, the non-multiplicativity of signature and Leray spectral sequence.
J. Amer. Math. Soc. 4 (1991), 265-321.
[46] X. Dai and D. S. Freed, Eta invariants and determinant lines. J. Math. Phys. 35 (1994),
5155-5194. Erratum. loc. cit. 42 (2001), 2343-2344
[47] X. Dai and W. Zhang, Circle bundles and the Kreck-Stolz invariant. Trans. Amer. Math.
Soc. 347 (1995), 3587-3593.
[48] X. Dai and W. Zhang, Higher spectral flow. J. Funct. Anal. 157 (1998), 432469.
[49] X. Dai and W. Zhang, Real embeddings and the Atiyah-Patodi-Singer index theorem for
Dirac operators. Asian J. Math. 4 (2000), 775-794.
[50] X. Dai and W. Zhang, An index theorem for Toeplitz operators on odd-dimensional man-
ifolds with boundary. J. Funct. Anal. 238 (2006), 1-26.
[51] X. Dai and W. Zhang, Adiabatic limit, Bismut-Freed connection, and the real analytic
torsion form. J. reine angew. Math. 647 (2010), 87-113.
[52] J. Dodziuk, Finite-difference approach to the Hodge theory of harmonic forms. Amer. J.
Math. 98 (1976), 79-104.
[53] R. G. Douglas and K. P. Wojciechowski, Adiabatic limits of the η invariants: odd-
dimensional Atiyah-Patodi-Singer problem. Commun. Math. Phys. 142 (1991) 139-168.
[54] J. J. Duistermaat and G. Heckman, On the variation in the chohomology of the symplectic
form of the reduced phase space. Invent. Math. 69 (1982), 259-268. Addendum. 72 (1983),
153-158.
[55] H. Feng, G. Xu and W. Zhang, Real embeddings, η-invariant and Chern-Simons current.
Pure and Applied Math. Quarterly 5 (2009), 1113-1137.
[56] D. S. Freed and J. Lott, An index theorem in differential K-theory. Geometry & Topology
14 (2010), 903-966
[57] D. Friedan and H. Windey, Supersymmetric derivation of the Atiyah-Singer index and the
chiral anomaly. Nuclear Phys. B 235 (1984), 395-416.
[58] E. Getzler, Pseudoddiferential operators on super manifolds and the index theorem. Com-
mun. Math. Phys. 92 (1983), 163-178.
[59] E. Getzler, A short proof of the local Atiyah-Singer index theorem. Topology 25 (1986),
111-117.
[60] P. B. Gilkey, Curvature and the eigenvalues of the Laplacian for elliptic complexes. Adv.
in Math. 10 (1973), 344-382.
[61] P. B. Gilkey, Curvature and the eigenvalues of the Dolbeault complex for Kaehler mani-
folds. Adv. in Math. 11 (1973), 311-325.
[62] P. B. Gilkey, On the index of geometrical operators for Riemannian manifolds with bound-
ary. Adv. in Math. 102 (1993), 129-183.
THE MATHEMATICAL WORK OF V. K. PATODI 27
[63] S. Goette, Torsion invariants for families. in From Probability to Geometry (II): Volume in
Honor of the 60th Birthday of Jean-Michel Bismut. Eds. X. Dai, R. Leandre, X. Ma and
W. Zhang. Asterisque, Tom. 328, Soc. Math. France, 2009. pp. 161-206.
[64] S. Goette, Computations and applications of η invariants. in Global Differential Geometry.
Eds. C. Bar, J. Lohkamp and M. Schwarz, Springer Proceedings in Mathematics. Springer-
Verlag 2012. pp. 401-433.
[65] F. Hirzebruch, Topological Methods in Algebraic Geometry. 3rd Ed. Grundl. Math. Wiss.
Band 131. Springer, 1966.
[66] F. Hirzebruch, Hilbert modular surfaces. L’Enseignement Math. 19 (1973), 183-281.
[67] P. Kirk and M. Lesch, The η-invariant, Maslov index, and spectral flow for Dirac type
operators on manifolds with boundary. Forum Math. 16 (2004) 553-629.
[68] J. D. Lafferty, Y. Yu and W. Zhang, A direct geometric proof of the Lefschetz fixed point
formulas. Trans. Amer. Math. Soc. 329 (1992), 571-583.
[69] E. Leichtnam and P. Piazza, Dirac index classes and the noncommutative spectral flow. J.
Funct. Anal. 200 (2003), 348-400.
[70] E. Leichtnam and P. Piazza, Elliptic operators and higher signatures. Ann. Inst. Fourier
54 (2004), 1197-1277.
[71] J. Lott, R/Z-index theory. Commun. Anal. Geom. 2 (1994), 279-311.
[72] X. Ma and W. Zhang, Eta-invariant and flat vector bundles II. in Inspired by S. S. Chern.
Ed. P. A. Griffiths. Nankai Tracts in Mathematics Vol. 11. World Scientific, 2006, pp.
335-350.
[73] X. Ma and W. Zhang, Eta-invariants, torsion forms and flat vector bundles. Math. Ann.
340 (2008), 569-624.
[74] H. Mckean and I. M. Singer, Curvature and eigenvalues of the Laplacian. J. Diff. Geom.
1 (1967), 43-69.
[75] R. B. Melrose, The Atiyah-Patodi-Singer Index Theorem. A. K. Peters, 1993.
[76] R. B. Melrose and P. Piazza, Families of Dirac operators, boundaries and the b-calculus.
J. Diff. Geom. 46 (1997), 99-180.
[77] S. Minakshisundaram and A. Pleijel, Some properties of the eigenfunctions of the Laplace
operator on Riemannian manifolds. Cadad. J. Math. 1 (1949), 242-256.
[78] W. Muller, Analytic torsion and R-torsion of Riemannian manifolds. Adv. in Math. 28
(1978), 233-305.
[79] W. Muller, Signature defects of cusps of Hilbert modular varieties and values of L-series
at s = 1. J. Diff. Geom. 20 (1984), 55-119.
[80] W. Muller, Analytic torsion and R-torsion for unimodular representations. J. Amer. Math.
Soc. 6 (1993), 721-753.
[81] W. Muller, Eta invariants and manifolds with boundary. J. Diff. Geom. 40 (1994), 311-377.
[82] W. Muller, The eta invariant. Seminaire Bourbaki, no. 787. 1993-1994.
[83] D. Quillen, Superconnections and the Chern character. Topology 24 (1985), 89-95.
[84] D. Quillen, Determinants of Cauchy-Riemann operators over a Riemann surface. Funct.
Anal. Appl. 19 (1985), 31-34.
[85] D. B. Ray and I. M. Singer, R-torsion and the Laplacian on Riemannian manifolds. Adv.
in Math. 7 (1971), 145-210.
[86] D. B. Ray and I. M. Singer, Analytic torsion for complex manifolds. Ann. of Math. 98
(1973), 154-177.
28 WEIPING ZHANG
[87] K. Reidemeister, Homotopieringe und Linsenraum. Hamburger Abhandl. 11 (1935), 102-
109.
[88] S. Shen, The hypoelliptic Laplacian, analytic torsion and Cheeger-Muller theorem. C. R.
Math. Acad. Sci. Paris 352 (2014), 153-156.
[89] I. M. Singer, The η-invariant and the index. in Mathematical Aspects of String Theory. pp.
239-258. Adv. Ser. Math. Phys., Vol. 1, World Sci. Publishing, Singapore, 1987.
[90] E. Witten, Supersymmetry and Morse theory. J. Diff. Geom. 17 (1982), 661-692.
[91] E. Witten, Global gravitational anomalies. Commun. Math. Phys. 100 (1985), 197-229.
[92] E. Witten, Quantum field theory and the Jones polynomial. Commun. Math. Phys. 121
(1989), 351-399.
[93] Y. L. Yu, Local index theorem for Dirac operator. Acta Math. Sinica (N. S.) 3 (1987),
152-169.
[94] W. Zhang, Circle bundles, adiabatic limits of η-invariants and Rokhlin congruences. Ann.
Inst. Fourier 44 (1994), 249-270.
[95] W. Zhang, Lectures on Chern-Weil Theory and Witten Deformations. Nankai Tracts in
Math., vol. 4, World Sci. Publishing, Singapore, 2001.
[96] W. Zhang, η-invariant and Chern-Simons current. Chin. Ann. Math. 26B (2005), 45-56.
Chern Institute of Mathematics & LPMC
Nankai University
Tianjin 300071
P. R. China
Email: [email protected]