We present a general existence proof for a wide class of non-linear elliptic equations which can be applied to problems with barrier conditions without specifying any assumptions guaranteeing the uniqueness or local uniqueness of particular solutions. As an application we prove the existence of closed hypersurfaces with curvature prescribed in the tangent bundle of an ambient Riemannian manifold $N$ without supposing any sign condition on the sectional curvatures $K_N$. A curvature flow wouldn't work in this situation, neither the method of successive approximation.

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

We consider inverse curvature flows in $\Hh$ with star-shaped initial hypersurfaces and prove that the flows exist for all time, and that the leaves converge to infinity, become strongly convex exponentially fast and also more and more totally umbilic. After an appropriate rescaling the leaves converge in $C^\infty$ to a sphere.

We study the algebraic dimension a(X) of a compact hyperk ¨ahler manifold of dimension 2n. We show that a(X) is at most n unless X is projective. If a compact K¨ahler manifold with algebraic dimension 0 and Kodaira dimension 0 has a minimal model, then only the values 0, n and 2n are possible. In case of middle dimension, the algebraic reduction is holomorphic Lagrangian. If n = 2, then - without any assumptions - the algebraic dimension only takes the values 0, 2 and 4. The paper also gives structure results for ”generalised hyperk¨ahler” manifolds and studies nef lines bundles.

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.