On the gluing problem for the spectral invariants of Dirac operators

In this paper, we solve the gluing problem for the ζ-determinant of a Dirac Laplacian. To do so, we develop a new approach to solve such problems which relies heavily on the theory of elliptic boundary problems, the analysis of the resolvent of the Dirac operator, and the introduction of an auxiliary model problem. Moreover, as a byproduct of our approach we obtain a new gluing formula for the eta invariant au gratis.     

Geometric BVPs, Hardy spaces, and the Cauchy integral and transform on regions with corners

In this paper we give a new perspective on the Cauchy integral and transform and Hardy spaces for Dirac-type operators on manifolds with corners of codimension two. Instead of considering Banach or Hilbert spaces, we use polyhomogeneous functions on a geometrically “blown-up” version of the manifold called the total boundary blow-up introduced by Mazzeo and Melrose [R.R. Mazzeo, R.B. Melrose, Analytic surgery and the eta invariant, Geom. Funct. Anal. 5 (1) (1995) 14-75]. These polyhomogeneous functions are smooth everywhere on the original manifold except at the corners where they have a “Taylor series” (with possible log terms) in polar coordinates. The main application of our analysis is a complete Fredholm theory for boundary value problems of Dirac operators on manifolds with corners of codimension two.     

Dirichlet spectrum and heat content

Let M be a complete Riemannian manifold and D⊂M a smoothly bounded domain with compact closure. We use Brownian motion to study the relationship between the Dirichlet spectrum of D and the heat content asymptotics of D. Central to our investigation is a sequence of invariants associated to D defined using exit time moments. We prove that our invariants determine that part of the spectrum corresponding to eigenspaces which are not orthogonal to constant functions, that our invariants determine the heat content asymptotics associated to the manifold, and that when the manifold is a generic domain in Euclidean space, the invariants determine the Dirichlet spectrum.     

Asymptotic expansions of the zeta-determinants of Dirac Laplacians on a compact manifold with boundary

In this article we discuss the asymptotic expansions of the zeta-determinants of Dirac Laplacians on a compact manifold with boundary when the boundary part is stretched. In [12] the author studied the same question under the assumption of no existence of L² - and extended L² -solutions of Dirac operators when the boundary part is stretched to infinite length. Therefore, the results in this article generalize those in [12]. Using the main results we obtain the formula describing the ratio of two zeta-determinants of Dirac Laplacians with the APS boundary conditions associated with two unitary involutions σ₁ and σ₂ on ker B satisfying Gσ_i = -σ_i G. We also prove the adiabatic decomposition formulas for the zeta-determinants of Dirac Laplacians on a closed manifold when the Dirichlet or the APS boundary condition is imposed on partitioned manifolds, which generalize the results in [10] and [11].     

Gromov–Witten Invariants of Blow-ups Along Surfaces

In this paper, using the gluing formula of Gromov–Witten invariants for symplectic cutting developed by Li and Ruan, we established some relations between Gromov–Witten invariants of a semipositive symplectic manifold M and its blow-ups along a smooth surface.     

Maurer–Cartan forms and the structure of Lie pseudo-groups

This paper begins a series devoted to developing a general and practical theory of moving frames for infinite-dimensional Lie pseudo-groups. In this first, preparatory part, we present a new, direct approach to the construction of invariant Maurer–Cartan forms and the Cartan structure equations for a pseudo-group. Our approach is completely explicit and avoids reliance on the theory of exterior differential systems and prolongation. The second paper [60] will apply these constructions in order to develop the moving frame algorithm for the action of the pseudo-group on submanifolds. The third paper [61] will apply Gr?bner basis methods to prove a fundamental theorem on the freeness of pseudo-group actions on jet bundles, and a constructive version of the finiteness theorem of Tresse and Kumpera for generating systems of differential invariants and also their syzygies. Applications of the moving frame method include practical algorithms for constructing complete systems of differential invariants and invariant differential forms, classifying their syzygies and recurrence relations, analyzing invariant variational principles, and solving equivalence and symmetry problems arising in geometry and physics.     

Positive scalar curvature,higher rho invariants and localization algebras

In this paper, we use localization algebras to study higher rho invariants of closed spin manifolds with positive scalar curvature metrics. The higher rho invariant is a secondary invariant and is closely related to positive scalar curvature problems. The main result of the paper connects the higher index of the Dirac operator on a spin manifold with boundary to the higher rho invariant of the Dirac operator on the boundary, where the boundary is endowed with a positive scalar curvature metric. Our result extends a theorem of Piazza and Schick [27, Theorem 1.17].     

On the non-Riemannian quantity H of a Finsler metric

One of fundamental problems in Finsler geometry is to establish some delicate equations between Riemannian invariants and non-Riemannian invariants. Inspired by results due to Akbar-Zadeh etc., this note establishes a new fundamental equation between non-Riemannian quantity H and Riemannian quantities on a Finsler manifold. As its application, we show that all R-quadratic Finsler metrics have vanishing non-Riemannian invariant H generalizing result previously only known in the case of Randers metric.     

Invariants of Isospectral Deformations and Spectral Rigidity

We introduce a notion of weak isospectrality for continuous deformations. Consider the Laplace–Beltrami operator on a compact Riemannian manifold with Robin boundary conditions. Given a Kronecker invariant torus Λ of the billiard ball map with a Diophantine vector of rotation we prove that certain integrals on Λ involving the function in the Robin boundary conditions remain constant under weak isospectral deformations. To this end we construct continuous families of quasimodes associated with Λ. We obtain also isospectral invariants of the Laplacian with a real-valued potential on a compact manifold for continuous deformations of the potential. These invariants are obtained from the first Birkhoff invariant of the microlocal monodromy operator associated to Λ. As an application we prove spectral rigidity of the Robin boundary conditions in the case of Liouville billiard tables of dimension two in the presence of a (?/2?)² group of symmetries.     

Cusp geometry and the cobordism invariance of the index

The cobordism invariance of the index on closed manifolds is reproved using the calculus Ψ_c of cusp pseudodifferential operators on a manifold with boundary. More generally, on a compact manifold with corners, the existence of a symmetric cusp differential operator of order 1 and of Dirac type near the boundary implies that the sum of the indices of the induced operators on the hyperfaces is null.     

Genus-decreasing relation of Gromov-Witten invariants for surfaces under blow-up

Using the degeneration formula, we study the change of Gromov-Witten invariants under blow-up for symplectic 4-manifolds and obtain a genus-decreasing relation of Gromov-Witten invariant of symplectic four manifold under blow-up.     

The gluing formula of the refined analytic torsion for an acyclic Hermitian connection

In the previous study by Huang and Lee (arXiv:1004.1753) we introduced the well-posed boundary conditions ${{\mathcal P}_{-, {\mathcal L}_{0}}}$ and ${{\mathcal P}_{+, {\mathcal L}_{1}}}$ for the odd signature operator to define the refined analytic torsion on a compact manifold with boundary. In this paper we discuss the gluing formula of the refined analytic torsion for an acyclic Hermitian connection with respect to the boundary conditions ${{\mathcal P}_{-, {\mathcal L}_{0}}}$ and ${{\mathcal P}_{+, {\mathcal L}_{1}}}$ . In this case the refined analytic torsion consists of the Ray-Singer analytic torsion, the eta invariant and the values of the zeta functions at zero. We first compare the Ray-Singer analytic torsion and eta invariant subject to the boundary condition ${{\mathcal P}_{-, {\mathcal L}_{0}}}$ or ${{\mathcal P}_{+, {\mathcal L}_{1}}}$ with the Ray-Singer analytic torsion subject to the relative (or absolute) boundary condition and eta invariant subject to the APS boundary condition on a compact manifold with boundary. Using these results together with the well known gluing formula of the Ray-Singer analytic torsion subject to the relative and absolute boundary conditions and eta invariant subject to the APS boundary condition, we obtain the main result.     

Orbifold genera, product formulas and power operations

We generalize the definition of orbifold elliptic genus and introduce orbifold genera of chromatic level h, using h-tuples rather than pairs of commuting elements. We show that our genera are in fact orbifold invariants, and we prove integrality results for them. If the genus arises from an H_∞-map into the Morava-Lubin-Tate theory E_h, then we give a formula expressing the orbifold genus of the symmetric powers of a stably almost complex manifold M in terms of the genus of M itself. Our formula is the p-typical analogue of the Dijkgraaf-Moore-Verlinde-Verlinde formula for the orbifold elliptic genus [R. Dijkgraaf et al., Elliptic genera of symmetric products and second quantized strings Comm. Math. Phys. 185(1) (1997) 197-209]. It depends only on h and not on the genus.     

APS boundary conditions, eta invariants and adiabatic limits

We prove an adiabatic limit formula for the eta invariant of a manifold with boundary. The eta invariant is defined using the Atiyah-Patodi-Singer boundary condition and the underlying manifold is fibered over a manifold with boundary. Our result extends the work of Bismut-Cheeger to manifolds with boundary.

     

Energy minimizing harmonic maps with an obstacle at the free boundary

We consider partial regularity for energy minimizing maps satisfying a partially free boundary condition. This condition takes the form of the requirement that a relatively open subset of the boundary of the domain manifold be mapped into a closed submanifold with non-empty boundary, contained in the target manifold. We obtain an optimal estimate on the Hausdorff dimension of the singular set of such a map. Our result can be interpreted as regularity result for a vector-valued Signorini, or thin-obstacle, problem.     

Generalized Dirichlet to Neumann operator on invariant differential forms and equivariant cohomology

In recent work, Belishev and Sharafutdinov show that the generalized Dirichlet to Neumann (DN) operator Λ on a compact Riemannian manifold M with boundary ∂M determines de Rham cohomology groups of M. In this paper, we suppose G is a torus acting by isometries on M. Given X in the Lie algebra of G and the corresponding vector field XM on M, Witten defines an inhomogeneous coboundary operator dXM=d+ιXM on invariant forms on M. The main purpose is to adapt Belishev-Sharafutdinov?s boundary data to invariant forms in terms of the operator dXM in order to investigate to what extent the equivariant topology of a manifold is determined by the corresponding variant of the DN map. We define an operator ΛXM on invariant forms on the boundary which we call the XM-DN map and using this we recover the XM-cohomology groups from the generalized boundary data (∂M,ΛXM). This shows that for a Zariski-open subset of the Lie algebra, ΛXM determines the free part of the relative and absolute equivariant cohomology groups of M. In addition, we partially determine the ring structure of XM-cohomology groups from ΛXM. These results explain to what extent the equivariant topology of the manifold in question is determined by ΛXM.     

Log geometry and exploded manifolds

Log Gromov-Witten invariants have recently been defined separately by Gross and Siebert and Abramovich and Chen. This paper provides a dictionary between log geometry and holomorphic exploded manifolds in order to compare Gromov-Witten invariants defined using exploded manifolds or log schemes. The gluing formula for Gromov-Witten invariants of exploded manifolds suggests an approach to proving analogous gluing formulas for log Gromov-Witten invariants.     

Generalized symplectic Cayley transforms and a higher order formula for the Conley–Zehnder index of symplectic paths

Using a generalized notion of symplectic Cayley transform in the symplectic group, we introduce a sequence of integer valued invariants (higher order signatures) associated with a degeneracy instant of a smooth path of symplectomorphisms. In the real analytic case, we give a formula for the Conley–Zehnder index in terms of the higher order signatures.     

K-theoretic invariants for Floer homology

This paper defines two K-theoretic invariants, Wh ₁ and Wh ₂, for individual and one-parameter families of Floer chain complexes. The chain complexes are generated by intersection points of two Lagrangian submanifolds of a symplectic manifold, and the boundary maps are determined by holomorphic curves connecting pairs of intersection points. The paper proves that Wh ₁ and Wh ₂ do not depend on the choice of almost complex structures and are invariant under Hamiltonian deformations. The proof of this invariance uses properties of holomorphic curves, parametric gluing theorems, and a stabilization process. Submitted: April 2001, Revised: December 2001, Final version: February 2002.