On the spectral geometry of manifolds with conic singularities.
|
|
- Marjory Black
- 6 years ago
- Views:
Transcription
1 On the spectral geometry of manifolds with conic singularities. arxiv: v [math.sp] 5 Oct 07 Asilya Suleymanova October 07 Abstract In the previous article we derived a detailed asymptotic expansion of the heat trace for the Laplace-Beltrami operator on functions on manifolds with conic singularities. In this article we investigate how the terms in the expansion reflect the geometry of the manifold. Since the general expansion contains a logarithmic term, its vanishing is a necessary condition for smoothness of the manifold. In the twodimensional case this implies that the constant term of the expansion contains a non-local term that determines the length of the circular) cross section and vanishes precisely if this length equals π, that is, in the smooth case. We proceed to the study of higher dimensions. In the four-dimensional case, the logarithmic term in the expansion vanishes precisely when the cross section is a spherical space form, and we expect that the vanishing of a further singular term will imply again smoothness, but this is not yet clear beyond the case of cyclic space forms. In higher dimensions the situation is naturally more difficult. We illustrate this in the case of cross sections with constant curvature. Then the logarithmic term becomes a polynomial in the curvature with roots that are different from, which necessitates more vanishing of other terms, not isolated so far. Contents Introduction Geometrical information from the heat trace expansion 7. Compact surfaces with conic singularities Four-dimensional manifolds with conic singularities Example N = SA
2 .. Example N = T Criterion for the logarithmic term to vanish Explicit expressions of the singular terms 8 3. Spaces with constant sectional curvature The logarithmic and the constant term for N = S n The logarithmic and the constant terms for N = RP n The logarithmic term for N = T n Introduction For compact Riemannian manifolds M, g), the problem of finding geometric information from the eigenvalues of the Laplace-Beltrami operator and the Hodge Laplacian has been extensively studied, see e.g. [G] and the references given there. On closed M,g) there is an asymptotic expansion tre t t +0 4πt) m a j t j,.) where a j R. In principle, every term in.) can be written as an integral over the manifold of a local quantity. Namely, ˆ a j = u j dvol M,.) M where u j is a polynomial in the curvature tensor and its covariant derivatives. In particular, u 0 = and u = Scal, where Scal is the scalar curvature of 6 M,g). The bigger j, the more complicated the calculation of u j. Sometimes we write u j p) to indicate that it is a local quantity, i.e. it depends on a point p M. There are many examples of manifolds that are isospectral, i.e. have the same spectrum of, but are not isometric, see the survey [GPS]. However, it remains very interesting to study to what extent the geometry of M,g) can be determined from spec. In this article we study spectral geometry of a non-complete smooth Riemannian manifold M, g) that possesses a conic singularity. By this we mean that there is an open subset U such that M \U is a smooth compact manifold with boundary N. Furthermore, U is isometric to 0,ε) N with ε > 0, where the cross-section N,g N ) is a closed smooth manifold, and the metric on 0,ε) N is j=0 g conic = dr +r g N, r 0,ε)..3)
3 U M \U N N 0 ǫ r Figure : Manifold with a conic singularity. For a particular choice of g N, the conic metric g conic provides an isometry with the punctured ball. Namely, let N,g N ) be a unit sphere with the round metric, then U is isometric to a punctured ball with the metric g conic. If we include the conic point to the neighbourhood Ū := [0,ε) N, we see that there is no singularity, but rather we have polar coordinates in the neighbourhood Ū. Informally speaking a conic singularity is not necessarily a singularity, it will then be referred to as the apparent singularity. We illustrate this in the two-dimensional case on Figure. The metric on U is g conic = dr + r sin αdθ, where the parameter 0 < α π/ denotes the angle between the generating line and the axis of the cone and 0 < θ π is the coordinate on S. α 0 < α < π α = π Figure : Actual singularity vs apparent singularity. Theorem.. Let be the Laplace-Beltrami operator on smooth functions with compact support on M,g). If m 4, then is essentially self-adjoint 3
4 operator, otherwise we consider the Friedrichs extension of. Denote the self-adjoint extension of the Laplace-Beltrami operator by the same symbol. Then tre t t 0+ 4πt) m ã j t j +b+clogt,.4) j=0 a) where ã j = { ffl M u jdvol M for j m/, M u jdvol M for j > m/. Above ffl denotes the regularized integral, which is defined in [L, Section.], of local quantities u j in.). b) The constant term b in general cannot be written in terms of local quantities, and is given by b = Res 0ζ m N /)+ Γ ) 4 π Res ζ m N /) j B j Res ζ m N j /), 4 j m where ζ l N s) = λ spec N λ+l ) s is the spectral zeta function shifted byl. The constantsb j are the Bernoulli numbers, Res 0 fs 0 ) is the regular analytic continuation of a function fs) at s = s 0, and Res fs 0 ) is the residue of the function fs) at s = s 0. c) The logarithmic term is given by c = Res ζ n N /) { m = 4π) m k=0 ) k+ m ) k a N 4 k m k! k, for m even, 0, for m odd..5) d) If c = 0 then ã m/ = M u m/dvol M does not have a contribution from the singularity. Here N is the Laplace-Beltrami operator on the cross-section N,g N ) and a N j,j 0 denote the coefficients in the heat trace expansion.) on N,g N). 4
5 Above we need to regularize the integrals, because in general M ffl u jdvol M diverges. If for some j 0 the integral converges, i.e. u M jdvol M = u M jdvol M, then in this case ã j is equal to a j from.). Theorem. allows to connect the coefficients in.4) to the geometry of M,g). It is now natural to pose the following question: given the coefficients in.4), can we say if there are actual or only apparent singularities? The idea is to compare the expansion.4) to the expansion on a smooth compact manifold.). In case c 0 we have an actual singularity, whereas if c = 0 we need to compute b to detect a singularity. Consider now the case of even-dimensional manifolds. While the logarithmic term c is written in terms of the geometry of the cross-section near the singularity, the constant term b is expressed in residues and regular values of the spectral zeta function of the cross-section. Thus it is difficult to extract the geometric meaning of b in general; therefore, we study low dimensions one by one. The heat trace expansion for the Friedrichs extension of the Laplace- Beltrami operator on the algebraic curves was developed by Brüning and Lesch in [BL, Theorem.]. In general, many logarithmic terms c j t j logt with j 0 might appear in the expansion. We prove that in the heat trace expansion on a surface with conic singularities there is no logarithmic term and the geometric information about the singularities is encoded only in the constant term. In this case the spectral zeta function on the crosssection N,g N ) is the Riemann zeta function, so the computations can be done explicitly. Lemma.. Let M,g) be a surface with l conic singularities. Let be the Friedrichs extension of the Laplace-Beltrami operator. Then tre t t 0+ 4πt a j t j + j=0 l ) sinα i,.6) sinα i where α i is the angle between the generating line and the axis of the cone corresponding to the i-th conic singularity. Above a j does not have any contribution from the singularities for j 0. Denote by M,g) the complete surface with conic points included, i.e. the neighbourhoods of conic points are U = [0,ε) N. By the expansion in Lemma., we obtain the following. Theorem.3. Let M,g) be a complete simply-connected surface with conic singularities. If M,g) has at least one singularity, then it is not isospectral to any smooth closed surface. 5
6 In even dimensions m 4 the cross-section N,g N ) is a closed manifold of dimension three or more. The spectral zeta function of N is known explicitly only in very few cases which makes the situation in dimensions m 4 much more complicated. We present the spectral geometry of a four-dimensional M,g). Theorem.4. Let M,g) be a four-dimensional manifold with conic singularities. ) The logarithmic term in the heat trace expansion.4) is equal to zero if and only if the cross-section of every singularity is isometric to a spherical space form. ) Assume that the logarithmic term in the heat trace expansion.4) is equal to zero. Then ã j = a j for j 0. In this case only the constant term in the heat trace expansion has a contribution from the singularities. Denote by M,g) the manifold with conic singularities with conic points included. Corollary.5. Let M,g) be a complete four-dimensional manifold with conic singularities. If M,g) has at least one singularity with a cross-section N,g N ) not isometric to a spherical space form, then it is not isospectral to any smooth compact four-dimensional manifold. At some point there was a hope that a theorem similar to Theorem.4 holds true for any even-dimensional manifold with conic singularities, so we determine a criterion for the logarithmic term in the heat trace expansion to vanish. Lemma.6. Let M, g) be a even-dimensional manifold with a conic singularity. The logarithmic term in the heat trace expansion on M,g) is equal to zero if and only if the following equality holds for the heat trace coefficients of the n-dimensional cross-section manifold N,g N ) a N n+ = n+ k= ) k+n )k 4 k k! a N n+ k..7) Remark. In the n = case this equality is always true. In the n = 3 case this equality implies that the sectional curvature of the cross-section manifold N,g N ) is constant κ = by Theorem.4). Let us analyse what geometric restrictions we obtain from this equality in higher dimensional cases. 6
7 Theorem.7. Assume that the cross-section manifold N,g N ) has constant sectional curvature κ. Then the logarithmic term in the heat trace expansion on M,g) can be written as the polynomial in κ of degree n+ c = 4 voln) πvols n ) n+ k=0 ) k+n )k 4 k k! n l= n )Kl n )l k+ Γl+ l k +)!n )! κ n+ k, where numbers K n l are given by 3.) and depend only on n and l. The next results show that Theorem.4 cannot be extended to higher dimensions. Corollary.8. Let N,g N ) be a five-dimensional manifold with constant sectional curvature κ. The logarithmic term in the heat trace expansion on M,g) is zero if and only if κ = or κ =. Corollary.9. Let N,g N ) be a seven-dimensional manifold with constant sectional curvature κ. The logarithmic term in the heat trace expansion on M,g) is zero if and only if κ = or κ = 5 ± From the above results we conclude that the higher the dimension of the manifold M, g), the less geometric information we can obtain from the heat trace expansion on M,g). If M,g) is a complete simply-connected surface with conic singularities, from the heat trace expansion on M, g) we can determine whether M,g) has an actual singularity or an apparent singularity. If M,g) is a four-dimensional manifold with conic singularities, we can determine whether a cross-section of the singularity is isometric to a spherical space form. IfM, g) is a higher dimensional manifold, the situation becomes less determined. This article is organized as follows. In Section, we prove Lemma., Theorem.3, Theorem.4 and Lemma.6. In Section 5, we prove Theorem.7, Corollary.8 and Corollary.9. We conclude with the computations of the logarithmic term and the constant term for some particular n-dimensional cross-sections. Geometrical information from the heat trace expansion In this section we analyse the coefficients in the expansion in Theorem. from a geometrical point of view. First, we consider the two-dimensional case 7
8 and show in which setting we can distinguish a surface with conic singularities from a compact smooth surface using the heat trace expansion. Next, we consider the four-dimensional case and develop a criterion of the cross-section N,g N ) near a singularity to be isometric to a spherical space form. Then we study out some illustrative four-dimensional examples. We complete the section with a geometrical criterion for the logarithmic term in the heat trace expansion in Theorem. to be equal to zero that holds for any even-dimensional M, g). Recall that for any odd-dimensional M,g) the logarithmic term is identically zero.. Compact surfaces with conic singularities The constant term in the heat trace expansion on surfaces with conic singularities was computed in [BS, pp.43 44]. Here we prove that the logarithmic term in the expansion is zero and ã j, in Theorem., does not need regularization for any j 0. Consider a surface M, g) with l conic singularities. By this we mean M,g), which possesses an open set l U i such that M\ l U i is a compact surface with boundaryn N l. Furthermore,U i is isometric to0,ε) N i withε > 0, wheren i,g Ni ) is a closed one-dimensional manifold for i l. The metric in the neighbourhood U i is g Ui = dr +r g Ni, where g Ni := sin α i dθ. Here 0 < θ π is the local coordinate on S and 0 < α i π/ is the angle between the generating line and the axis of the cone U i. Lemma.. The heat trace expansion on a surface M,g) with l conic singularities has the following form tre t t 0+ 4πt a j t j + j=0 l ) sinα i,.) sinα i where a j does not have any contribution from the singularities for j 0. Proof. By Theorem., the heat trace expansion on M is tre t t 0+ 4πt ã j t j +b+clogt,.) where ã j are integrals over M,g), which might need regularization. j=0 8
9 First, we show that c = 0. Observe that every singularity contributes to the logarithmic term. The scalar curvature of a circle is zero, hence by Theorem. c), c = l c i = 4π) l a N i = 6 6π l ˆ N i Scaldvol Ni = 0. Next, we compute the constant term in the heat trace expansion.). Since Spec Ni = {sinα i k k Z}, the spectral zeta function on N i is ζn 0 i s) = ) s k = sinαi s ζs), sinα i k Z\{0} where ζs) is the Riemann zeta function. By the regular analytic continuation of the Riemann zeta function, we obtain Res 0 ζn 0 i /) = sinα i =. 6sinα i The residues are and Res ζ 0 N i j /) = Resζj ) = 0, for j Res ζ 0 N i /) = sinα i Resζ) = sinα i. Thus, the constant term in the heat trace expansion is Hence b = l b i = b = l ) sinα i 4 B sinα i. l ) sinα i. sinα i Next, we compute coefficients ã j in.). By Theorem. a), ˆ ã j = u j p)dvol M = ψu j p)dvol M + ϕ i r)u j p i )dvol M, M M i l where ψ,ϕ r),...ϕ l r) is a partition of unity on M,g) such that ψ has support away from the singular points and ϕ i has support in U i,g Ui ). The curvature tensor on the cone over a circle is equal to zero, hence we have u j p) 0 for p U i for i l and j > 0, also u 0 p) for p M. 9 M
10 Therefore, the singularities do not contribute to the positive power terms in the expansion and { volm) for i = 0, ã j = u M jp)dvol M, for j > 0. Above neither ã j needs regularization, i.e. ã j is equal to a j in.). We conclude that the geometric information about the singularities is encoded only in the constant term. Finally, tre t t 0+ 4πt a j t j + j=0 l ) sinα i..3) sinα i Definition. Two Riemannian manifolds M,g ) and M,g ) are called isospectral if the eigenvalues of their Laplace-Beltrami operators coincide. Denote by M,g) the complete surface with conic singularities such that the conic points belong to M,g), i.e. the neighbourhood of a conic point, U i, is isometric to [0,ε) N i for i l. Theorem.. Let M,g) be a complete simply-connected surface with conic singularities. If M,g) has at least one singularity, then it is not isospectral to any smooth closed surface. Proof. By Lemma., tre t t 0+ 4π ˆ + M Scalp)dvol M l ) sinα i + sinα i 4πt where Scalp) is the scalar curvature at p M. By [BL, pp.5-53], ˆ M j 0,j Scalp)dvol M = π genus M)). Since M,g) is simply-connected, genus M) = 0 and tre t t l ) sinα i + sinα i 4πt j 0,j a j t j, a j t j. 0
11 Observe that sinα i 0, sinα i and the equality holds if and only if α i = π, i.e. the corresponding neighbourhood U i of the singularity is a disk. Therefore, if M,g) has at least one singularity, we obtain the equality for the constant coefficient in the heat trace expansion 3 + l ) sinα i > sinα i 3. Let M,g ) be a smooth closed surface and M be the Laplace-Beltrami operator on it. Then by.), the heat trace expansion on M,g ) has the following form tre t M t 0+ 3 genusm ))+ 4πt j 0,j a j tj. The constant coefficient in the heat trace expansion satisfies the following equality 3 genusm )) 3. We conclude that since the constant term in the heat trace expansion on M,g) with at least one conic singularity is grater than 3, M,g) and M,g ) cannot be isospectral.. Four-dimensional manifolds with conic singularities In this section we consider the spectral geometry of four-dimensional manifolds with conic singularities. As before, we use symbols with tildes to denote tensors on M, g), and without tildes to denote tensors on the cross-section N,g N ). Theorem.3. Let M,g) be a four-dimensional manifold with conic singularities. ) The logarithmic term in the heat trace expansion on M,g) is equal to zero if and only if the cross-section of every singularity is isometric to a spherical space form. ) Assume that the logarithmic term in the heat trace expansion on M,g) is equal to zero. Then no regularization is needed for ã j, for any j 0. In this case only the constant term in the heat trace expansion has a contribution from the singularities.
12 Proof. We consider one conic singularity and show that its contribution to the logarithmic term is non-positive. Moreover the contribution is equal to zero if and only if the cross-section is isometric to a spherical space form. Consequently, if M, g) has more conic singularities, the logarithmic term is equal to zero if and only if each cross-section is isometric to a spherical space form. Similarly, we show that the second claim of the theorem holds for a manifold with one conic singularity, i.e. we do not need to regularise integrals in ã j, hence it holds for more singularities. We denote the heat trace coefficients in.) on N,g N ) by a N j, j 0. By Theorem. c), where c = 44π) k=0 By [G, p.0 Theorem 3.3.] ) k+ k! an k = 44π) an +an an 0 ). u p) = Scalp)+5Scalp) Ricp) + Rp) ),.4) 360 Rp) := R ijkl p)r ijkl p)g ii p)g jj p)g kk p)g ll p), Ricp) := Ric ij p)ric ij p)g ii p)g jj p). Above, R ijkl p) is the Riemann curvature tensor, Ric ij p) is the Ricci tensor, Scalp) is the scalar curvature. We use.4), to obtain c = ˆ 70 4π) N Scalx)+5Scalx) 6) Ricx) N + Rx) )dvol N..5) Since N,g N ) is closed, for any smooth function τ C N) we have ˆ N ˆ N τ dvol N = ˆ = N N ˆ d dτ)dvol N = d dτ,) x dvol N Nˆ dτ,d) x dvol N = dτ,0) x dvol N = 0, where, ) x denotes the inner product on the tangent space T x M. Hence.5) becomes N
13 c = ˆ 70 4π) 5Scalx) 6) Ricx) + Rx) )dvol N..6) N For dim N = 3, the Ricci curvature tensor determines the Riemann curvature tensor, and we have the identity at every point x N Rx) = 4 Ricx) Scal x)..7) We compute.6) using.7), c = ˆ ) 5Scalx) 6) 70 4π) Scal x)+6 Ricx) dvol N N = ˆ 70 4π) 5Scalx) 6) Scal x)+4scalx) 36 N ) +6 Ricx) 4Scalx)+ dvol N = ˆ ) 3Scalx) 6) 70 4π) +6 Ric ij x) g ij dvol N 0. N This expression is equal to zero if and only if Scalx) 6 and Ric ij x) = g ij x); equivalently if and only if the sectional curvature of N,g N ) is equal to one. Therefore N,g N ) is isometric to a spherical space form. We have proved the first part of the theorem. ) If the logarithmic term is equal to zero, then by the first claim of the theorem, the neighbourhood of the singularity U,g U ) has the following metric g U = dr +r g S 3, where g S 3 is the round metric on the unit sphere. Thus U,g U ) is isometric to the punctured ball. The ball is a flat space, i.e. the curvature tensor vanishes for every p U, hence u j p) = 0 for j > 0 and u 0 p). Therefore, { volm), for j = 0, ã j = u j p)dvol M = M u M jp)dvol M, for j > 0. Therefore no regularization is needed for ã j, for any j 0, and the only term that has a contribution of the singularity is the constant term b. Assume that N,g N ) is isometric to a spherical space form and compute the constant term b in the heat trace expansion on M,g). Since c = 0, we have Res ζn /) = 0. By Theorem. b), b = ζ N /) 4 B Res ζ N/) 8 B 4Res N3/)..8) 3
14 In the proof of Theorem. we obtained, Res ζ N3/ l) = 4π) 3 Γ 3 l) l ) i i=0 i! a N l i. Using Γ/) = π, Γ3/) = π and Scalx) 6, we compute Res ζn /) = 4π) Γ 3 )an an 0 ) = ˆ ) Scalx)dvol 4π) N voln) = 0, 6 N and Res ζ N3/) = 4π) 3 Γ 3 )an 0 ) = 4π voln). Then.8) becomes b = ζ N /)+ 960π voln). In the four-dimensional case, the logarithmic term in the expansion vanishes precisely when the cross-section is a spherical space form, and we expect that the vanishing of a the constant term will imply that the cross-section is the sphere S 3,g round ), but this is not yet clear beyond the case of lens spaces. The constant term b was computed for lens spaces S 3 /Z k,g round ), see [DB, pp.8 8], also [BKD, 8.4)] b = k +)k )..9) 70k We observe that b = 0 if and only if k =. However there are other types of spherical space forms for which the expression of the constant term is not clear yet... Example N = S 3 A Consider a four-dimensional manifold M, g) with one conic singularity and the following metric near the singularity, g conic = dr +r g N. 4
15 Above N,g N ) is the three-dimensional sphere N = SA 3 with radius A > 0. We compute the logarithmic term in the heat trace expansion on M and show that it is equal to zero if and only if A =. The metric on the sphere is given by g N = A dϕ +sin ϕ dϕ +sin ϕ sin ϕ dϕ 3), where 0 ϕ i < π for i =,,3, and the volume vols 3 A ) = π A 3. We compute the norm of the Ricci curvature tensor on S 3 A Ricx) = A g ijx) and the scalar curvature = 4 A 4g ijx)g ij x)g ii x)g jj x) = A 4, By.6), the logarithmic term is c = ˆ 70 4π) SA 3 Scalx) = 6 A. [5Scalx) 6) +6 Ricx) Scalx) ] dvol S 3 A = 70 4π) 5 36A ) A 4 vvols 3 A ) = A ) 3A. We see that the logarithmic term in the heat trace expansion is zero if and only if A =. This example illustrates that for N = SA 3 the logarithmic term in the heat trace expansion vanishes if and only if A =. Moreover, by Lemma 3.8 for N = S 3 the constant term b vanishes as well and the heat trace expansion on M looks exactly like the heat trace expansion on a smooth compact manifold... Example N = T 3 Consider a four-dimensional manifold M, g) with one conic singularity and the following metric near the singularity g conic = dr +r g N, where N,g N ) is the three-dimensional flat torus T 3 = S S S. We show that the logarithmic term in the heat trace expansion on M is non-zero and try to compute the constant term b. By.6), 5
16 c = ˆ 70 4π) 5 36)dvol T 3 = T 3π 3 volt3 ) 0. Now we try to compute the constant term b = Res 0ζ N /)+ Γ ) 4 π Res ζ N /) 4 m/ j= j B j Res ζn j /). By [BGM, Prop. B.I.], the eigenvalues of the Laplace operator on the flat torus are {4π n, where n = n,n,n 3 ) Z 3 }, therefore ζ N s) = λ k Spec N λ k +) s = n,n,n 3 Z On the right hand side we have the Epstein function E k s;a,...,a k,c) := By [K, A.8] we get n,...,n k Z 4π n +n +n 3 )+ ) s..0) a n + +a k n k +c) s. ζns) =E 3 s;4π,4π,4π,) = π3/ Γs 3/) + π) 3 s Γs) π s s/ 3/4 + n π) 3/ s Γs) +n 3) +n n Z 3 \{0} ) K 3/ s n +n +n 3. The poles are located at s = 3/ j for j N 0, these poles are coming from Γs 3/). To compute the constant term b, besides the residues of ζn s), we need to compute the finite part Res 0ζN /). The above computation shows that these are given by the infinite sums involving Riemann zeta function, therefore here we cannot find clear and nice expression for 6
17 Res 0 ζn /), consequently we cannot find a nice expression for the constant term in the heat trace expansion in this case. This example illustrates that if the logarithmic term in the heat trace expansion on M,g) is non-zero, then it is harder to find a nice expression for the constant term b..3 Criterion for the logarithmic term to vanish In this section we develop a geometric condition that is imposed on the crosssection manifold N,g N ) by the vanishing of the logarithmic term in the heat trace expansion on M,g). Let N,g N ) be a closed manifold of dimension n. As before, we denote the coefficients in the heat trace expansion.) on N,g N ) by a N j,j 0. Lemma.4. Let M,g) be an even-dimensional manifold with a conic singularity. The logarithmic term in the heat trace expansion on M,g) is equal to zero if and only if the following equality holds for the heat trace coefficients of the cross-section manifold N,g N ) a N n+ = n+ k= ) k+n )k 4 k k! a N n+ k..) Proof. By Theorem. c), we have c = 4π) m a N m + m k= ) k+m )k 4 k k! a N m k ). Use m = n+, to obtain c = 4π) n+ a N n+ + n+ k= ) k+n )k 4 k k! a N n+ k ). If n is odd, c = 0 is equivalent to a N n+ = n+ k= ) k+n )i 4 k k! a N n+ k. 7
18 3 Explicit expressions of the singular terms In this section we obtain explicit expressions for the logarithmic term and the constant term b in the heat trace expansion on M,g) in Theorem. for some particular n-dimensional cross-sections N,g N ). 3. Spaces with constant sectional curvature Let l N. Denote by K l i the coefficients in the following polynomial l v q ) = q=0 l Kiv l i. 3.) Let N,g N ) be a closed manifold and let a N j,j 0 be the coefficients in the heat trace expansion.) on N,g N ). Theorem 3. [P, Theorem.3.] ). The coefficients in the heat trace expansion on the odd-dimensional unit sphere S n,g round ) are a Sn j = 4π) n n l= where numbers K n l are given by 3.). In particular, and a S7 a S5 n )j n++l Γl+ n )Kl j +l n )!n )!, j = j 6 j)π 3, 3j! j = 3j 6 6j 86j +5)π 4. 5j! Let M,g) be a manifold with a conic singularity and let N,g N ) be a cross-section near the singularity. Theorem 3.. Let N,g N ) be an n-dimensional, n-odd, manifold with constant sectional curvature κ. Then the logarithmic term in the heat trace expansion on M,g) can be written as the following polynomial in κ of degree n+ c = 4 voln) πvols n ) n+ k=0 ) k+n )k 4 k k! where numbers K n l are given by 3.). 8 n l= n )Kl n )l k+ Γl+ l k +)!n )! κ n+ k,
19 Proof. Since N,g) has constant sectional curvature κ, the Riemannian curvature tensor is R ijkl = κg ik g jl g il g jk ), the Ricci tensor is the scalar curvature is Ric ij = κn )g ij, Scal = κnn ), where g ij is the round metric on the unit sphere S n. Consider the heat trace expansion.) on N,g N ). Since the curvature is constant, every a N j in the heat trace expansion is expressed as an integral over N,g N ) of a constant. By [BGM, Lemma E.IV.5], a N j = κ j a Sn j voln) vols n ), 3.) where a Sn j is the coefficient in the heat trace expansion on S n,g round ) and voln) is the volume of N,g N ). By Theorem. c), the logarithmic term in the heat trace expansion is c = Use 3.), to obtain 4π) n+ n+ k=0 ) k+n )k 4 k k! a N n+ k. c = By Theorem 3., hence 4π) n+ n+ k=0 a Sn j = 4π) n ) k+n )k 4 k k! n l= a Sn n+ k = 4π)n voln) vols n ) asn n )j n++l Γl+ n l= kκn+ n+ n )Kl j +l n )!n )!, n )l k+ Γl+ l k +)!n )! n )Kl k. 3.3). 3.4) It remains to put 3.4) into 3.3) to obtain the desired expression for the logarithmic term c = 4 voln) πvols n ) n+ k=0 ) k+n )k 4 k k! n l= n )Kl n )l k+ Γl+ l k +)!n )! κ n+ k. 9
20 The coefficients in the polynomial in Theorem 3. might seem complicated. In order to better understand which geometrical information we obtain from Theorem 3., we consider some low-dimensional cases. Corollary 3.3. Let N,g N ) be a three-dimensional manifold with constant sectional curvature κ. The logarithmic term in the heat trace expansion on M,g) is zero if and only if κ =. Proof. By [CW, Section 9], the coefficients in the heat trace expansion on S 3 are a S3 j = π j!. We compute the first three coefficients By 3.3), Using 3.5), we obtain a S3 0 = π, a S3 = π, a S3 = π. 3.5) c = 4π) voln) vols 3 ) ) k=0 = 4π) voln) vols 3 ) k+ k kκ k 4 k k! as3 a S3 κ a S3 κ+ as3 0 c = 4π) voln) vols 3 ) π κ κ+). Finally, the logarithmic term c = 0 if and only if κ =. Corollary 3.4. Let N,g N ) be a five-dimensional manifold with constant sectional curvature κ. The logarithmic term in the heat trace expansion on M,g) is zero if and only if one of the following is true κ = or κ =. Proof. We compute the logarithmic term in the heat trace expansion. By Theorem 3., we compute a S5 0 = π 3, a S5 = 0π3 3, as5 = 6π3 3, as5 3 = 6π ) By 3.3), c = 4π) 3 voln) vols 5 ) k=0 = 4π) 3 voln) vols 5 ) ). 3 k+ 4k ) 4 k k! as3 3 k κ3 k a S3 3 κ3 4a S3 κ +8a S3 κ 3 3 as3 0 0 ).
21 Using 3.6), we obtain c = voln) 6π 3 κ 3 4κ +5κ ). 4π) 3 vols 5 ) 3 Since κ 3 4κ +5κ = κ ) κ ), the logarithmic term c = 0 if and only if one of the following is true κ = or κ =. Finally, we apply Theorem 3. in the seven-dimensional case. Corollary 3.5. Let N,g N ) be a seven-dimensional manifold with constant sectional curvature κ. The logarithmic term in the heat trace expansion on M,g) is zero if and only if one of the following is true κ = or κ = 5 ± Proof. We compute the logarithmic term in the heat trace expansion. By Theorem 3., we compute By 3.3), a S7 0 = 5 π 4 3 5, as7 = 35 3 a S7 3 = 67 π 4 5, as7 c = 4π) 4 voln) vols 7 ) 4 = 4π) 4 voln) vols 7 ) π 4 5, as7 = = 3 37 π ) k+3k k! as7 4 k κ4 k k=0 a S7 4 κ4 9A S7 3 κ as7 κ 35 as7 π 4 5, ) 37 κ+ 8 as7 0. We use the precise expressions for the heat trace expansion coefficients on S 7, to obtain c = voln) π κ κ κ 4π) 4 vols 7 ) ) κ = 4π) 4 voln) vols 7 ) π κ 4 668κ 3 +44κ 60κ+405 ). 8 Since 09κ 4 668κ 3 +44κ 60κ+405 = κ ) 09κ 450κ+405), the logarithmic term c is zero if and only if one of the following is true κ = or κ = 5 ±
22 Summing up, in this section we consider an n + -dimensional manifold M,g) with a conic singularity such that the cross-section N,g N ) near the singularity has constant sectional curvature, and assume that the logarithmic term in the heat trace expansion on M,g) vanishes. While in the fourdimensional case the only possible cross-section N,g N ) is a spherical space form, in the six-dimensional case besides a spherical space form we may have a cross-section with sectional curvature κ =. Furthermore, in the eightdimensional case besides spherical space forms we may have cross-sections with even more peculiar sectional curvatures κ = 5 ± The logarithmic and the constant term for N = S n In this section we show that the logarithmic term c and the constant term b in the heat trace expansion on M,g) for N = S n with the round metric, both are equal to zero. Proposition 3.6 [BGM, Prop.C.I., Cor.C.I.3, p.60] ). The spheres n,g round ) has eigenvalues λ k = kn+k ), k 0, with multiplicities n+k )n+k 3)...n+)n µ k = n+k ). k! First, we prove a more general result. We consider spherical space forms. Lemma 3.7. Let M,g) be a manifold with conic singularities and let the cross-section manifold near every singularity be isometric to some spherical space form. Then the logarithmic term in the heat trace expansion on M, g) is equal to zero. Proof. We consider one cross-sectionn,g N ), which is isometric to a spherical space form, and prove that its contribution to the logarithmic term in the heat trace expansion on M, g) is zero. If every cross-section is isometric to a spherical space form, we conclude that the sum of all contributions is zero as desired. Assume that M, g) is odd-dimensional, by Theorem. c) we obtain c = 0. Assume now that M, g) is even-dimensional. By 3.), the coefficients a N j in the heat trace expansion on N,g N ) are proportional to the coefficients in the heat trace expansion on S n a N j = a Sn j voln) vols n ). 3.7)
23 We use Theorem. c) and 3.7), to obtain c = 4π) n+ voln) vols n ) ) k+n )k 4 k k! n+ k=0 a Sn n+ k. 3.8) Therefore the logarithmic term c for N,g round ) differs from the logarithmic term c S n for S n,g round ) by the factor voln). Assume that we prove that vols n ) c S n = 0, then it follows that the logarithmic term c is zero for any spherical space form. Now we prove that the logarithmic term c S n in the heat trace expansion on M,g) for N = S n is zero. Observe, n+k )n+k 3)...n+)n k! = n+k )n+k 3)...k +). n )! 3.9) By Proposition 3.6 and 3.9), we obtain ζ n S s) n = k 0 = k 0 n+k )n+k 3)...k +) n+k ) k + n n )! ) s+. n+k )n+k 3)...k +) n )! k + n ) s Let n = u+ and k +u = l, then ζ n S s) = u+k )u+k )...k +) k +u) s+ n u)! k 0 = l+u )l+u )...l u+) l s+ u)! l u = u q= l q ) l s+ = u l s+ l q ). u)! u)! l u l q= The last equality is true, because u u l= q= l q ) = 0. 3
24 Let K u i be defined by 3.). Then Finally ζ n S s) = n u)! = u)! ζ n S s) = n u)! u l s l l K u i li u Ki u l s+i. where ζs) is the Riemann zeta function. We compute u Ki u ζs i), 3.0) Res ζ n S /) = n u)! u Ki u Res ζ i) = 0, because the Riemann zeta function has no poles at points i for i =,...,u. We conclude that in the case of spherical space form N,g round ), the logarithmic term in the heat trace expansion on M,g) is zero c = voln) vols n ) Res ζ n Sn /) = 0. Lemma 3.8. Let M,g) be a manifold with conic singularities and let the cross-section manifold near every singularity be isometric to the odd-dimensional unit sphere S n,g round ). Then the constant term b in the heat trace expansion on M,g) is equal to zero. Proof. We consider one cross-section N,g round ) and prove that its contribution to the constant term b in the heat trace expansion on M,g) is zero. If every cross-section is isometric to S n,g round ), we conclude that the sum of all contributions is zero as desired. By 3.0), ζ n S s) = n n )! n 4 K n i ζs i),
25 using Theorem. b), we obtain b = Res 0 n )! n+ j= n j B j n )! K n i ζ i) n K n i Res ζj i). Since Res ζj i) is non-zero only for j i =, we get the relation j = i+. Using we get ζ d) = ) db d+ d+, d N, b = n )! n K n i B i+ i+ i+) B i+ n )! K n i = 0, n as desired. 3.3 The logarithmic and the constant terms for N = RP n In this section we consider a manifold M,g) with a conic singularity with the cross-section N = RP n with the round metric. We show that in this case the logarithmic term in the heat trace expansion on M,g) is equal to zero. We compute the constant term b and show that it is not equal to zero. Proposition 3.9 [BGM, Prop.C.II., p.66] ). Let RP n,g round ) be the projective space. The Laplace-Beltrami operator has the following eigenvalues λ k = kn+k ), k 0, with multiplicities k+n )! n+4k ). k)!n )! Theorem 3.0. Let M,g) be a manifold with a conic singularity with the cross-section N = RP n, where n = 4v+, v N. Then the logarithmic term 5
26 in the heat trace expansion is zero and the constant term b is not equal to zero n b = i+ ) 4i+)n )! B i+k n i 0. Above B j are Bernoulli numbers and K n j R are given by 3.). Proof. Since the projective space is a spherical space form, the first claim of the theorem follows from Lemma 3.7. By Proposition 3.9, the multiplicity of the k-th eigenvalue of RP n is Therefore k +n )! µ k = n+4k ) k)!n )! k +n )k +n 3)...k +) = 4k +n ). n )! ζ n RP s) = n k 0 k+n )k +n 3)...k+) 4k +n ) n )! k + n ) s. Let n = 4v + and k +v = l. Then ζ n RP s) = n k 0 k +4v )k+4v )...k +) k +v) s+ 4v)! = l+v )l+v )...l v +) 4v)! l v = l) v ) )... l) ) l s+ l s+ 4v)! l v = v q= l) q ) s+3 l s+. 4v)! l v l) s+ The expression v v l= q= l) q ) = 0, because in every summand one of the terms l) q in the product is equal to zero. Therefore, we can add this to ζ n RP s) and it remains unchanged. We obtain n 6
27 ζ n RP ns) = l = l = l = v q=0 v v v s+i+ l) q ) s+ l s 4v)! K v i l) i s+ 4v)! l s s+i+ Ki v l s+i 4v)! 4v)! K v i ζs i). Above ζs) is the Riemann zeta function, which has only one simple pole at s =. In particular, ζs) has no pole at i for i =,...,v. Consequently, ζ n RP s) is analytic at s = /. By n we obtain ζ d) = ) db d+ d+, d N, and simplify ζ n RP /) = n = v v i+ 4v)! Kv i ζ i ) i+ 4v)! Kv i ) i+ B i+ i+, ζ n RP /) = n v i+ i+)4v)! B i+k v i. 3.) To find the constant term b, it remains to compute the following sum of the residues v+ j= v+ = j B j Res ζ n RP j /) n v j B j j= j+i+ Ki v Res ζj i ). 4v)! 7
28 The summand in the above expression is not equal to zero only forj i =, equivalently j = i+. We obtain v+ j= v j B j Res ζ n RP nj /) = Using 3.) and 3.), we compute i+)4v)! B i+k v i. 3.) b = ζ n RP /) v+ j B n j Res ζ n RP j /) 4 n = = = v v n i+ j= i+)4v)! B i+ki v 4 i ) 4 v i+)4v)! B i+ki v i+ ) 4i+)n )! B i+k n i+)4v)! B i+ki v i. Note that by construction the numbers K n i are alternating as i grows, the Bernoulli numbers B i+ are also alternating. We conclude that all products B i+ E n i have the same sign and b The logarithmic term for N = T n In this section we consider an even-dimensional manifold M, g) with a conic singularity with the crosssection N = T n = S S with the flat metric. We compute the logarithmic term in the heat trace expansion onm and show that it is not equal to zero. Proposition 3. [BGM, Prop.B.I., p.48]). Let T n,g flat ) be an n- dimensional torus with the flat metric. The Laplace-Beltrami operator has the following eigenvalues on T n λ = n 4π ki, k = k,...,k n ) Z n, the multiplicity of each eigenvalue is equal to one. 8
29 Theorem 3.. Let M,g) be a manifold with a conic singularity with the cross-section N = T n, where n 3 is odd. Then the logarithmic term in the heat trace expansion on M,g) is c = )n+ n ) n+ n+3 π n+/ n+ )! 0. Proof. The shifted zeta function for the flat torus is ζ n T s) = 4π k n +...4π kn + k Z n ) ) s n, which is the Epstein zeta function. Since n is odd, by [K, pp ], ζ n T n n s) is a meromorphic function with the simple poles at the points s =,...,,, l+,l N with the residues Res ζ n T s) = )n/+s π s/ n n 4π ) n Γs)Γ n s+). Compute the residue at s = / ) n s Res ζ n T /) = )n/ / π ) /4 n n+ )n π /4 ) n n+ n 4π ) n Γ )Γn + = +) π) n π)γ n+3 ) )n+ n ) n+ n+ ) n ) n+ = n+ π) n π / n+ = )! n+ π n+/ n+ )!. The expression above is non-zero for n 3. By.5), the logarithmic term in the heat trace expansion is )n+ n ) n+ c = n+3 π n+/ n+)!. References [BGM] M. Berger, P. Gauduchon, E. Mazet, Le spectre d une variété riemannienne, Lect. Notes Math. 94, Springer-Verlag, Berlin-Heidelberg- New York 97). 9
30 [BL] J. Brüning, M. Lesch, On the spectral geometry of algebraic curves, J.reine angew. Math., ), [BS] J. Brüning, R. Seeley, Regular singular asymptotics, Adv. in Math ), [BS] J. Brüning, R. Seeley, The resolvent expansion for second order regular singular operators, J.Funct. Anal ), [BKD] M. Bordag, K. Kirsten, S. Dowker, Heat kernels and functional determinants on the generalized cone, Commun. Math. Phys ), [CW] R. Cahn, J. Wolf, Zeta functions and their asymptotic expansions for compact symmetric spaces of rank one, Comment. Math. Helv ), no.,. [Ch] J.Cheeger, On the spectral geometry of spaces with cone-like singularities, Proc. Nat. Acad. Sci. USA ), [Ch] J. Cheeger, Spectral geometry of singular Riemannian spaces, J. Differential Geom ), no. 4, [DB] J. Dowker, R. Banach, Quantum field theory on Clifford-Klein spacetimes. The effective Lagrangian and vacuum stress-energy tensor, J. Phys. A: Math. Gen. 978), [G] P. Gilkey, Asymptotic formulae in spectral geometry, Stud. Adv. Math., CRC Press, Boca Raton, FL 004). [GPS] C. Gordon, P. Perry, D. Schüth, Isospectral and isoscattering manifolds: a survey of techniques and examples, Contemp. Math ), [K] K. Kirsten, Spectral functions in mathematics and physics, Chapman and Hall/CRC Press, Boca Raton, FL 00). [L] M. Lesch, Operators of Fuchs type, conical singularities, and asymptotic methods, Teubner-Texte zur Mathematik, 36, Tuebner-Verlag, Leipzig 997). [P] I. Polterovich, Combinatorics of the heat trace on spheres, Can. J. Math., 54 00),
Heat trace expansion on manifolds with conic singularities.
Heat trace expansion on manifolds with conic singularities. arxiv:171.1874v [math.sp] 15 Oct 17 Asilya Suleymanova October 17 Abstract We derive a detailed asymptotic expansion of the heat trace for the
More informationUsing heat invariants to hear the geometry of orbifolds. Emily Dryden CAMGSD
Using heat invariants to hear the geometry of orbifolds Emily Dryden CAMGSD 7 March 2006 1 The Plan 1. Historical motivation 2. Orbifolds 3. Heat kernel and heat invariants 4. Applications 2 Historical
More informationThe spectral zeta function
The spectral zeta function Bernd Ammann June 4, 215 Abstract In this talk we introduce spectral zeta functions. The spectral zeta function of the Laplace-Beltrami operator was already introduced by Minakshisundaram
More informationInvariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem
PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents
More informationLECTURE 8: THE SECTIONAL AND RICCI CURVATURES
LECTURE 8: THE SECTIONAL AND RICCI CURVATURES 1. The Sectional Curvature We start with some simple linear algebra. As usual we denote by ( V ) the set of 4-tensors that is anti-symmetric with respect to
More informationHEAT KERNEL EXPANSIONS IN THE CASE OF CONIC SINGULARITIES
HEAT KERNEL EXPANSIONS IN THE CASE OF CONIC SINGULARITIES ROBERT SEELEY January 29, 2003 Abstract For positive elliptic differential operators, the asymptotic expansion of the heat trace tr(e t ) and its
More informationSection 2. Basic formulas and identities in Riemannian geometry
Section 2. Basic formulas and identities in Riemannian geometry Weimin Sheng and 1. Bianchi identities The first and second Bianchi identities are R ijkl + R iklj + R iljk = 0 R ijkl,m + R ijlm,k + R ijmk,l
More informationHeat Kernel Asymptotics on Manifolds
Heat Kernel Asymptotics on Manifolds Ivan Avramidi New Mexico Tech Motivation Evolution Eqs (Heat transfer, Diffusion) Quantum Theory and Statistical Physics (Partition Function, Correlation Functions)
More informationRigidity and Non-rigidity Results on the Sphere
Rigidity and Non-rigidity Results on the Sphere Fengbo Hang Xiaodong Wang Department of Mathematics Michigan State University Oct., 00 1 Introduction It is a simple consequence of the maximum principle
More informationParallel and Killing Spinors on Spin c Manifolds. 1 Introduction. Andrei Moroianu 1
Parallel and Killing Spinors on Spin c Manifolds Andrei Moroianu Institut für reine Mathematik, Ziegelstr. 3a, 0099 Berlin, Germany E-mail: moroianu@mathematik.hu-berlin.de Abstract: We describe all simply
More informationBFK-gluing formula for zeta-determinants of Laplacians and a warped product metric
BFK-gluing formula for zeta-determinants of Laplacians and a warped product metric Yoonweon Lee (Inha University, Korea) Geometric and Singular Analysis Potsdam University February 20-24, 2017 (Joint work
More informationMATH DIFFERENTIAL GEOMETRY. Contents
MATH 3968 - DIFFERENTIAL GEOMETRY ANDREW TULLOCH Contents 1. Curves in R N 2 2. General Analysis 2 3. Surfaces in R 3 3 3.1. The Gauss Bonnet Theorem 8 4. Abstract Manifolds 9 1 MATH 3968 - DIFFERENTIAL
More informationOn the BCOV Conjecture
Department of Mathematics University of California, Irvine December 14, 2007 Mirror Symmetry The objects to study By Mirror Symmetry, for any CY threefold, there should be another CY threefold X, called
More informationA NOTE ON FISCHER-MARSDEN S CONJECTURE
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 125, Number 3, March 1997, Pages 901 905 S 0002-9939(97)03635-6 A NOTE ON FISCHER-MARSDEN S CONJECTURE YING SHEN (Communicated by Peter Li) Abstract.
More informationSPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY
SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY M. F. ATIYAH, V. K. PATODI AND I. M. SINGER 1 Main Theorems If A is a positive self-adjoint elliptic (linear) differential operator on a compact manifold then
More informationCOMPLETE GRADIENT SHRINKING RICCI SOLITONS WITH PINCHED CURVATURE
COMPLETE GRADIENT SHRINKING RICCI SOLITONS WITH PINCHED CURVATURE GIOVANNI CATINO Abstract. We prove that any n dimensional complete gradient shrinking Ricci soliton with pinched Weyl curvature is a finite
More informationKadath: a spectral solver and its application to black hole spacetimes
Kadath: a spectral solver and its application to black hole spacetimes Philippe Grandclément Laboratoire de l Univers et de ses Théories (LUTH) CNRS / Observatoire de Paris F-92195 Meudon, France philippe.grandclement@obspm.fr
More informationDifferential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18
Differential Geometry MTG 6257 Spring 2018 Problem Set 4 Due-date: Wednesday, 4/25/18 Required problems (to be handed in): 2bc, 3, 5c, 5d(i). In doing any of these problems, you may assume the results
More informationarxiv: v1 [math.dg] 1 Jul 2014
Constrained matrix Li-Yau-Hamilton estimates on Kähler manifolds arxiv:1407.0099v1 [math.dg] 1 Jul 014 Xin-An Ren Sha Yao Li-Ju Shen Guang-Ying Zhang Department of Mathematics, China University of Mining
More informationNOTE ON ASYMPTOTICALLY CONICAL EXPANDING RICCI SOLITONS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 NOTE ON ASYMPTOTICALLY CONICAL EXPANDING RICCI SOLITONS JOHN LOTT AND PATRICK WILSON (Communicated
More informationarxiv: v4 [math.dg] 18 Jun 2015
SMOOTHING 3-DIMENSIONAL POLYHEDRAL SPACES NINA LEBEDEVA, VLADIMIR MATVEEV, ANTON PETRUNIN, AND VSEVOLOD SHEVCHISHIN arxiv:1411.0307v4 [math.dg] 18 Jun 2015 Abstract. We show that 3-dimensional polyhedral
More informationHUBER S THEOREM FOR HYPERBOLIC ORBISURFACES
HUBER S THEOREM FOR HYPERBOLIC ORBISURFACES EMILY B. DRYDEN AND ALEXANDER STROHMAIER Abstract. We show that for compact orientable hyperbolic orbisurfaces, the Laplace spectrum determines the length spectrum
More informationIntroduction to Spectral Geometry
Chapter 1 Introduction to Spectral Geometry From P.-S. Laplace to E. Beltrami The Laplace operator was first introduced by P.-S. Laplace (1749 1827) for describing celestial mechanics (the notation is
More informationVolume comparison theorems without Jacobi fields
Volume comparison theorems without Jacobi fields Dominique Bakry Laboratoire de Statistique et Probabilités Université Paul Sabatier 118 route de Narbonne 31062 Toulouse, FRANCE Zhongmin Qian Mathematical
More informationUniversität Regensburg Mathematik
Universität Regensburg Mathematik Harmonic spinors and local deformations of the metric Bernd Ammann, Mattias Dahl, and Emmanuel Humbert Preprint Nr. 03/2010 HARMONIC SPINORS AND LOCAL DEFORMATIONS OF
More informationUNIVERSITY OF DUBLIN
UNIVERSITY OF DUBLIN TRINITY COLLEGE JS & SS Mathematics SS Theoretical Physics SS TSM Mathematics Faculty of Engineering, Mathematics and Science school of mathematics Trinity Term 2015 Module MA3429
More informationTheorem 2. Let n 0 3 be a given integer. is rigid in the sense of Guillemin, so are all the spaces ḠR n,n, with n n 0.
This monograph is motivated by a fundamental rigidity problem in Riemannian geometry: determine whether the metric of a given Riemannian symmetric space of compact type can be characterized by means of
More informationEigenvalues and eigenfunctions of the Laplacian. Andrew Hassell
Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean
More informationTwo simple ideas from calculus applied to Riemannian geometry
Calibrated Geometries and Special Holonomy p. 1/29 Two simple ideas from calculus applied to Riemannian geometry Spiro Karigiannis karigiannis@math.uwaterloo.ca Department of Pure Mathematics, University
More informationOn homogeneous Randers spaces with Douglas or naturally reductive metrics
On homogeneous Randers spaces with Douglas or naturally reductive metrics Mansour Aghasi and Mehri Nasehi Abstract. In [4] Božek has introduced a class of solvable Lie groups with arbitrary odd dimension.
More informationA brief introduction to Semi-Riemannian geometry and general relativity. Hans Ringström
A brief introduction to Semi-Riemannian geometry and general relativity Hans Ringström May 5, 2015 2 Contents 1 Scalar product spaces 1 1.1 Scalar products...................................... 1 1.2 Orthonormal
More informationWave equation on manifolds and finite speed of propagation
Wave equation on manifolds and finite speed of propagation Ethan Y. Jaffe Let M be a Riemannian manifold (without boundary), and let be the (negative of) the Laplace-Beltrami operator. In this note, we
More informationRiemannian Curvature Functionals: Lecture III
Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli
More informationWARPED PRODUCTS PETER PETERSEN
WARPED PRODUCTS PETER PETERSEN. Definitions We shall define as few concepts as possible. A tangent vector always has the local coordinate expansion v dx i (v) and a function the differential df f dxi We
More informationDIFFERENTIAL GEOMETRY. LECTURE 12-13,
DIFFERENTIAL GEOMETRY. LECTURE 12-13, 3.07.08 5. Riemannian metrics. Examples. Connections 5.1. Length of a curve. Let γ : [a, b] R n be a parametried curve. Its length can be calculated as the limit of
More informationArchivum Mathematicum
Archivum Mathematicum Zdeněk Dušek; Oldřich Kowalski How many are affine connections with torsion Archivum Mathematicum, Vol. 50 (2014), No. 5, 257 264 Persistent URL: http://dml.cz/dmlcz/144068 Terms
More informationThe Cheeger-Müller theorem and generalizations
Presentation Universidade Federal de São Carlos - UFSCar February 21, 2013 This work was partially supported by Grant FAPESP 2008/57607-6. FSU Topology Week Presentation 1 Reidemeister Torsion 2 3 4 Generalizations
More informationInfinitesimal Einstein Deformations. Kähler Manifolds
on Nearly Kähler Manifolds (joint work with P.-A. Nagy and U. Semmelmann) Gemeinsame Jahrestagung DMV GDM Berlin, March 30, 2007 Nearly Kähler manifolds Definition and first properties Examples of NK manifolds
More informationCS 468 (Spring 2013) Discrete Differential Geometry
CS 468 (Spring 2013) Discrete Differential Geometry Lecture 13 13 May 2013 Tensors and Exterior Calculus Lecturer: Adrian Butscher Scribe: Cassidy Saenz 1 Vectors, Dual Vectors and Tensors 1.1 Inner Product
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationBERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS
BERGMAN KERNEL ON COMPACT KÄHLER MANIFOLDS SHOO SETO Abstract. These are the notes to an expository talk I plan to give at MGSC on Kähler Geometry aimed for beginning graduate students in hopes to motivate
More informationRiemannian Curvature Functionals: Lecture I
Riemannian Curvature Functionals: Lecture I Jeff Viaclovsky Park City athematics Institute July 16, 2013 Overview of lectures The goal of these lectures is to gain an understanding of critical points of
More informationTHE VORTEX EQUATION ON AFFINE MANIFOLDS. 1. Introduction
THE VORTEX EQUATION ON AFFINE MANIFOLDS INDRANIL BISWAS, JOHN LOFTIN, AND MATTHIAS STEMMLER Abstract. Let M be a compact connected special affine manifold equipped with an affine Gauduchon metric. We show
More informationEssential Spectra of complete manifolds
Essential Spectra of complete manifolds Zhiqin Lu Analysis, Complex Geometry, and Mathematical Physics: A Conference in Honor of Duong H. Phong May 7, 2013 Zhiqin Lu, Dept. Math, UCI Essential Spectra
More informationCritical metrics on connected sums of Einstein four-manifolds
Critical metrics on connected sums of Einstein four-manifolds University of Wisconsin, Madison March 22, 2013 Kyoto Einstein manifolds Einstein-Hilbert functional in dimension 4: R(g) = V ol(g) 1/2 R g
More informationMathematical Relativity, Spring 2017/18 Instituto Superior Técnico
Mathematical Relativity, Spring 2017/18 Instituto Superior Técnico 1. Starting from R αβµν Z ν = 2 [α β] Z µ, deduce the components of the Riemann curvature tensor in terms of the Christoffel symbols.
More informationUniformly bounded sets of orthonormal polynomials on the sphere
Uniformly bounded sets of orthonormal polynomials on the sphere J. Marzo & J. Ortega-Cerdà Universitat de Barcelona October 13, 2014 Some previous results W. Rudin (80), Inner function Conjecture : There
More informationCoordinate Finite Type Rotational Surfaces in Euclidean Spaces
Filomat 28:10 (2014), 2131 2140 DOI 10.2298/FIL1410131B Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Coordinate Finite Type
More informationCALCULUS ON MANIFOLDS. 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M =
CALCULUS ON MANIFOLDS 1. Riemannian manifolds Recall that for any smooth manifold M, dim M = n, the union T M = a M T am, called the tangent bundle, is itself a smooth manifold, dim T M = 2n. Example 1.
More informationCurvature-homogeneous spaces of type (1,3)
Curvature-homogeneous spaces of type (1,3) Oldřich Kowalski (Charles University, Prague), joint work with Alena Vanžurová (Palacky University, Olomouc) Zlatibor, September 3-8, 2012 Curvature homogeneity
More informationRigidity of outermost MOTS: the initial data version
Gen Relativ Gravit (2018) 50:32 https://doi.org/10.1007/s10714-018-2353-9 RESEARCH ARTICLE Rigidity of outermost MOTS: the initial data version Gregory J. Galloway 1 Received: 9 December 2017 / Accepted:
More informationClifford Algebras and Spin Groups
Clifford Algebras and Spin Groups Math G4344, Spring 2012 We ll now turn from the general theory to examine a specific class class of groups: the orthogonal groups. Recall that O(n, R) is the group of
More informationSolving PDEs Numerically on Manifolds with Arbitrary Spatial Topologies
Solving PDEs Numerically on Manifolds with Arbitrary Spatial Topologies Lee Lindblom Theoretical Astrophysics, Caltech Center for Astrophysics and Space Sciences, UC San Diego. Collaborators: Béla Szilágyi,
More informationNewman-Penrose formalism in higher dimensions
Newman-Penrose formalism in higher dimensions V. Pravda various parts in collaboration with: A. Coley, R. Milson, M. Ortaggio and A. Pravdová Introduction - algebraic classification in four dimensions
More informationA Characterization of Einstein Manifolds
Int. J. Contemp. Math. Sciences, Vol. 7, 212, no. 32, 1591-1595 A Characterization of Einstein Manifolds Simão Stelmastchuk Universidade Estadual do Paraná União da Vitória, Paraná, Brasil, CEP: 846- simnaos@gmail.com
More informationSPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS
SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS G. RAMESH Contents Introduction 1 1. Bounded Operators 1 1.3. Examples 3 2. Compact Operators 5 2.1. Properties 6 3. The Spectral Theorem 9 3.3. Self-adjoint
More informationHyperbolic Geometric Flow
Hyperbolic Geometric Flow Kefeng Liu Zhejiang University UCLA Page 1 of 41 Outline Introduction Hyperbolic geometric flow Local existence and nonlinear stability Wave character of metrics and curvatures
More informationZeta Functions and Regularized Determinants for Elliptic Operators. Elmar Schrohe Institut für Analysis
Zeta Functions and Regularized Determinants for Elliptic Operators Elmar Schrohe Institut für Analysis PDE: The Sound of Drums How Things Started If you heard, in a dark room, two drums playing, a large
More informationarxiv:math/ v1 [math.dg] 19 Nov 2004
arxiv:math/04426v [math.dg] 9 Nov 2004 REMARKS ON GRADIENT RICCI SOLITONS LI MA Abstract. In this paper, we study the gradient Ricci soliton equation on a complete Riemannian manifold. We show that under
More informationHow curvature shapes space
How curvature shapes space Richard Schoen University of California, Irvine - Hopf Lecture, ETH, Zürich - October 30, 2017 The lecture will have three parts: Part 1: Heinz Hopf and Riemannian geometry Part
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More informationERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX
ERRATUM TO AFFINE MANIFOLDS, SYZ GEOMETRY AND THE Y VERTEX JOHN LOFTIN, SHING-TUNG YAU, AND ERIC ZASLOW 1. Main result The purpose of this erratum is to correct an error in the proof of the main result
More informationarxiv: v1 [math-ph] 12 Dec 2007
arxiv:0712.2030v1 [math-ph] 12 Dec 2007 Green function for a two-dimensional discrete Laplace-Beltrami operator Volodymyr Sushch Koszalin University of Technology Sniadeckich 2, 75-453 Koszalin, Poland
More informationSpectral Zeta Functions and Gauss-Bonnet Theorems in Noncommutative Geometry
Spectral Zeta Functions and Gauss-Bonnet Theorems in Noncommutative Geometry Masoud Khalkhali (joint work with Farzad Fathizadeh) Masoud Khalkhali (joint work with Farzad Fathizadeh) Spectral Zeta () Functions
More informationRough metrics, the Kato square root problem, and the continuity of a flow tangent to the Ricci flow
Rough metrics, the Kato square root problem, and the continuity of a flow tangent to the Ricci flow Lashi Bandara Mathematical Sciences Chalmers University of Technology and University of Gothenburg 22
More informationRIEMANNIAN GEOMETRY COMPACT METRIC SPACES. Jean BELLISSARD 1. Collaboration:
RIEMANNIAN GEOMETRY of COMPACT METRIC SPACES Jean BELLISSARD 1 Georgia Institute of Technology, Atlanta School of Mathematics & School of Physics Collaboration: I. PALMER (Georgia Tech, Atlanta) 1 e-mail:
More informationTHE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS
THE FUNDAMENTAL GROUP OF MANIFOLDS OF POSITIVE ISOTROPIC CURVATURE AND SURFACE GROUPS AILANA FRASER AND JON WOLFSON Abstract. In this paper we study the topology of compact manifolds of positive isotropic
More informationOn Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem
On Shalom Tao s Non-Quantitative Proof of Gromov s Polynomial Growth Theorem Carlos A. De la Cruz Mengual Geometric Group Theory Seminar, HS 2013, ETH Zürich 13.11.2013 1 Towards the statement of Gromov
More informationHigher dimensional Kerr-Schild spacetimes 1
Higher dimensional Kerr-Schild spacetimes 1 Marcello Ortaggio Institute of Mathematics Academy of Sciences of the Czech Republic Bremen August 2008 1 Joint work with V. Pravda and A. Pravdová, arxiv:0808.2165
More informationSurfaces in spheres: biharmonic and CMC
Surfaces in spheres: biharmonic and CMC E. Loubeau (joint with C. Oniciuc) Université de Bretagne Occidentale, France May 2014 Biharmonic maps Definition Bienergy functional at φ : (M, g) (N, h) E 2 (φ)
More informationBiconservative surfaces in Riemannian manifolds
Biconservative surfaces in Riemannian manifolds Simona Nistor Alexandru Ioan Cuza University of Iaşi Harmonic Maps Workshop Brest, May 15-18, 2017 1 / 55 Content 1 The motivation of the research topic
More informationTHE THERMODYNAMIC FORMALISM APPROACH TO SELBERG'S ZETA FUNCTION FOR PSL(2, Z)
BULLETIN (New Series) OF THE AMERICAN MATHEMATICAL SOCIETY Volume 25, Number 1, July 1991 THE THERMODYNAMIC FORMALISM APPROACH TO SELBERG'S ZETA FUNCTION FOR PSL(2, Z) DIETER H. MAYER I. INTRODUCTION Besides
More informationη = (e 1 (e 2 φ)) # = e 3
Research Statement My research interests lie in differential geometry and geometric analysis. My work has concentrated according to two themes. The first is the study of submanifolds of spaces with riemannian
More informationTheta and Selberg Zeta Function
Theta and Selberg Zeta Function Ulrich Bunke June, 15 Abstract Contents 1 The Theta function 1 Hyperbolic space 5 3 The Selberg Trace Formula 8 4 The Selberg Zeta Function 1 5 A Panorama of results on
More informationChapter 16. Manifolds and Geodesics Manifold Theory. Reading: Osserman [7] Pg , 55, 63-65, Do Carmo [2] Pg ,
Chapter 16 Manifolds and Geodesics Reading: Osserman [7] Pg. 43-52, 55, 63-65, Do Carmo [2] Pg. 238-247, 325-335. 16.1 Manifold Theory Let us recall the definition of differentiable manifolds Definition
More informationMath 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative
Math 259: Introduction to Analytic Number Theory Functions of finite order: product formula and logarithmic derivative This chapter is another review of standard material in complex analysis. See for instance
More informationON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES
ON THE FOLIATION OF SPACE-TIME BY CONSTANT MEAN CURVATURE HYPERSURFACES CLAUS GERHARDT Abstract. We prove that the mean curvature τ of the slices given by a constant mean curvature foliation can be used
More informationarxiv:math/ v1 [math.dg] 23 Dec 2001
arxiv:math/0112260v1 [math.dg] 23 Dec 2001 VOLUME PRESERVING EMBEDDINGS OF OPEN SUBSETS OF Ê n INTO MANIFOLDS FELIX SCHLENK Abstract. We consider a connected smooth n-dimensional manifold M endowed with
More informationLAPLACIANS COMPACT METRIC SPACES. Sponsoring. Jean BELLISSARD a. Collaboration:
LAPLACIANS on Sponsoring COMPACT METRIC SPACES Jean BELLISSARD a Georgia Institute of Technology, Atlanta School of Mathematics & School of Physics Collaboration: I. PALMER (Georgia Tech, Atlanta) a e-mail:
More informationTHE FUNDAMENTAL GROUP OF NON-NEGATIVELY CURVED MANIFOLDS David Wraith The aim of this article is to oer a brief survey of an interesting, yet accessib
THE FUNDAMENTAL GROUP OF NON-NEGATIVELY CURVED MANIFOLDS David Wraith The aim of this article is to oer a brief survey of an interesting, yet accessible line of research in Dierential Geometry. A fundamental
More informationVariations on Quantum Ergodic Theorems. Michael Taylor
Notes available on my website, under Downloadable Lecture Notes 8. Seminar talks and AMS talks See also 4. Spectral theory 7. Quantum mechanics connections Basic quantization: a function on phase space
More informationGEOMETRICAL TOOLS FOR PDES ON A SURFACE WITH ROTATING SHALLOW WATER EQUATIONS ON A SPHERE
GEOETRICAL TOOLS FOR PDES ON A SURFACE WITH ROTATING SHALLOW WATER EQUATIONS ON A SPHERE BIN CHENG Abstract. This is an excerpt from my paper with A. ahalov [1]. PDE theories with Riemannian geometry are
More informationDIFFERENTIAL GEOMETRY HW 12
DIFFERENTIAL GEOMETRY HW 1 CLAY SHONKWILER 3 Find the Lie algebra so(n) of the special orthogonal group SO(n), and the explicit formula for the Lie bracket there. Proof. Since SO(n) is a subgroup of GL(n),
More informationPICARD S THEOREM STEFAN FRIEDL
PICARD S THEOREM STEFAN FRIEDL Abstract. We give a summary for the proof of Picard s Theorem. The proof is for the most part an excerpt of [F]. 1. Introduction Definition. Let U C be an open subset. A
More informationConnected sum constructions in geometry and nonlinear analysis. Frank Pacard
Connected sum constructions in geometry and nonlinear analysis Frank Pacard January 19, 2008 2 Contents 1 Laplace-Beltrami operator 5 1.1 Definition................................ 5 1.2 Spectrum of the
More informationNull Cones to Infinity, Curvature Flux, and Bondi Mass
Null Cones to Infinity, Curvature Flux, and Bondi Mass Arick Shao (joint work with Spyros Alexakis) University of Toronto May 22, 2013 Arick Shao (University of Toronto) Null Cones to Infinity May 22,
More informationPoisson Equation on Closed Manifolds
Poisson Equation on Closed anifolds Andrew acdougall December 15, 2011 1 Introduction The purpose of this project is to investigate the poisson equation φ = ρ on closed manifolds (compact manifolds without
More informationM. Ledoux Université de Toulouse, France
ON MANIFOLDS WITH NON-NEGATIVE RICCI CURVATURE AND SOBOLEV INEQUALITIES M. Ledoux Université de Toulouse, France Abstract. Let M be a complete n-dimensional Riemanian manifold with non-negative Ricci curvature
More informationRIGIDITY OF MINIMAL ISOMETRIC IMMERSIONS OF SPHERES INTO SPHERES. Christine M. Escher Oregon State University. September 10, 1997
RIGIDITY OF MINIMAL ISOMETRIC IMMERSIONS OF SPHERES INTO SPHERES Christine M. Escher Oregon State University September, 1997 Abstract. We show two specific uniqueness properties of a fixed minimal isometric
More informationTHE GEOMETRY AND THE LAPLACE OPERATOR ON THE EXTERIOR 2-FORMS ON A COMPACT RIEMANNIAN MANIFOLD
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 73, Number 1, January 1979 THE GEOMETRY AND THE LAPLACE OPERATOR ON THE EXTERIOR 2-FORMS ON A COMPACT RIEMANNIAN MANIFOLD GR. TSAGAS AND C. KOCKINOS
More informationConstant Mean Curvature Tori in R 3 and S 3
Constant Mean Curvature Tori in R 3 and S 3 Emma Carberry and Martin Schmidt University of Sydney and University of Mannheim April 14, 2014 Compact constant mean curvature surfaces (soap bubbles) are critical
More informationA compactness theorem for Yamabe metrics
A compactness theorem for Yamabe metrics Heather acbeth November 6, 2012 A well-known corollary of Aubin s work on the Yamabe problem [Aub76a] is the fact that, in a conformal class other than the conformal
More informationCan You Hear the Shape of a Manifold? Andrejs Treibergs. Tuesday, September 9, 2008
GSAC Colloquium Can You Hear the Shape of a Manifold? Andrejs Treibergs University of Utah Tuesday, September 9, 2008 2. References The URL for these Beamer Slides: Can You Hear the Shape of a Manifold?
More informationStratification of 3 3 Matrices
Stratification of 3 3 Matrices Meesue Yoo & Clay Shonkwiler March 2, 2006 1 Warmup with 2 2 Matrices { Best matrices of rank 2} = O(2) S 3 ( 2) { Best matrices of rank 1} S 3 (1) 1.1 Viewing O(2) S 3 (
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationConformal transformation between some Finsler Einstein spaces
2 2013 3 ( ) Journal of East China Normal University (Natural Science) No. 2 Mar. 2013 Article ID: 1000-5641(2013)02-0160-07 Conformal transformation between some Finsler Einstein spaces ZHANG Xiao-ling
More informationOne Loop Tests of Higher Spin AdS/CFT
One Loop Tests of Higher Spin AdS/CFT Simone Giombi UNC-Chapel Hill, Jan. 30 2014 Based on 1308.2337 with I. Klebanov and 1401.0825 with I. Klebanov and B. Safdi Massless higher spins Consistent interactions
More informationDeforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary
Deforming conformal metrics with negative Bakry-Émery Ricci Tensor on manifolds with boundary Weimin Sheng (Joint with Li-Xia Yuan) Zhejiang University IMS, NUS, 8-12 Dec 2014 1 / 50 Outline 1 Prescribing
More informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
More information