You are here: MIMS > EPrints
MIMS EPrints

## 2010.31: Witten-Hodge theory for manifolds with boundary

2010.31: Qusay Al-Zamil and James Montaldi (2010) Witten-Hodge theory for manifolds with boundary.

Full text available as:

 PDF - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader130 Kb

## Abstract

We consider a compact, oriented, smooth Riemannian manifold $M$ (with or without boundary) and we suppose $G$ is a torus acting by isometries on $M$. Given $X$ in the Lie algebra and corresponding vector field $X_M$ on $M$, one defines Witten's inhomogeneous operator $\d_{X_M} = \d+\iota_{X_M}: \Omega_G^\pm \to\Omega_G^\mp$ (even/odd invariant forms on $M$). Witten \cite{Witten} showed that the resulting cohomology classes have $X_M$-harmonic representatives (forms in the null space of $\Delta_{X_M} = (\d_{X_M}+\delta_{X_M})^2$), and the cohomology groups are isomorphic to the ordinary de Rham cohomology groups of the fixed point set. Our principal purpose is to extend these results to manifolds with boundary. In particular, we define relative (to the boundary) and absolute versions of the $X_M$-cohomology and show the classes have representative $X_M$-harmonic fields with appropriate boundary conditions. To do this we present the relevant version of the Hodge-Morrey-Friedrichs decomposition theorem for invariant forms in terms of the operator $\d_{X_M}$ and its adjoint $\delta_{X_M}$; the proof involves showing that certain boundary value problems are elliptic. We also elucidate the connection between the $X_M$-cohomology groups and the relative and absolute equivariant cohomology, following work of Atiyah and Bott \cite{AB}. This connection is then exploited to show that every harmonic field with appropriate boundary conditions on $F$ has a uniqe extension to an $X_M$-harmonic field on $M$, with corresponding boundary conditions.

Item Type: MIMS Preprint Hodge theory, manifolds with boundary, equivariant cohomology, Killing vector fields MSC 2000 > 35 Partial differential equationsMSC 2000 > 53 Differential geometryMSC 2000 > 55 Algebraic topologyMSC 2000 > 57 Manifolds and cell complexes 2010.31 Dr James Montaldi 11 April 2010