Getzler-Jones-Petrack introduced $A_\infty$ structures on the equivariant complex for manifold $M$ with smooth $\mathbb{S}^1$ action, motivated by geometry of loop spaces. Applying Witten's deformation by Morse functions followed by homological perturbation we obtained a new set of $A_\infty$ structures. We extend and prove Fukaya's conjecture relating this Witten's deformed equivariant de Rham complexes, to a new Morse theoretical $A_\infty$ complexes defined by counting gradient trees with jumping which are closely related to the $\mathbb{S}^1$ equivariant symplectic cohomology proposed by Siedel.

Recently Freed and Hopkins [11] proved that there is no parity anomaly in M-theory on pin+ manifolds in the low-energy field theory approximation, and they also developed an algebraic theory of cubic forms. Earlier Witten [33] proved the anomaly cancellation for spin manifolds by introducing the E8-bundle technique. Motivated by the cubic forms and the anomaly cancellation formulas of Witten-Freed-Hopkins, we give some new cubic forms on spin, spinc, spinω2 and orientable 12- manifolds respectively. We relate them to η-invariants when the manifolds are with boundary, and mod 2 indices on 10 dimensional characteristic submanifolds when the manifolds are spinc or spinω2 . Our method of producing these cubic forms is a combination of (generalized) Witten classes and the character of the basic representation of affine E8.

No abstract uploaded!

We prove curvature estimates for general curvature functions. As an application we show the existence of closed, strictly convex hypersurfaces with prescribed curvature $F$, where the defining cone of $F$ is $\C_+$. $F$ is only assumed to be monotone, symmetric, homogeneous of degree $1$, concave and of class $C^{m,\al}$, $m\ge4$.

We prove pinching estimates for dual flows provided the curvature function used in the inverse flow in de Sitter space is convex.