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: weiping@nankai.edu.cn