# Differential Geometry (math.DG)

• On an asymptotically flat manifold $M^n$ with nonnegative scalar curvature, with outer minimizing boundary $\Sigma$, we prove a Penrose-like inequality in dimensions $n < 8$, under suitable assumptions on the mean curvature and the scalar curvature of $\Sigma$.
• Given a Kähler manifold $(Z,J,\omega)$ and a compact real submanifold $M\subset Z$, we study the properties of the gradient map associated with the action of a noncompact real reductive Lie group ${\rm G}$ on the space of probability measures on $M.$ In particular, we prove convexity results for such map when ${\rm G}$ is Abelian and we investigate how to extend them to the non-Abelian case.
• We provide a characterization of quotient spaces of three-dimensional complex tori by finite groups that act freely in codimension two via a vanishing condition on the first and second Chern class. For this we need to define the Chern classes of a complex space with canonical singularities, a notion which to the best of our knowledge has not been discussed in the literature before.
• Given a fiber bundle $Z \to M \to B$ and a flat vector bundle $E \to M$ with a compatible action of a discrete group $G$, and regarding $B / G$ as the non-commutative space corresponding to the crossed product algebra, we construct an analytic torsion form as a non-commutative deRham differential form. We show that our construction is well defined under the weaker assumption of positive Novikov-Shubin invariant. We prove that this torsion form appears in a transgression formula, from which a non-commutative Riamannian-Roch-Grothendieck index formula follows.
• We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and $b_3=0$ can not be geometrically formal. As it follows from their real homotopy classification, the seven-dimensional geometrically formal rationally elliptic manifolds have the real cohomology of symmetric spaces as well.
• In this study, we introduce a new approach to curve pairs by using integral curves. We consider the direction curve and donor curve to study curve couples such as involute-evolute curves, Mannheim partner curves and Bertrand partner curves. We obtain new methods to construct partner curves of a unit speed curve and give some applications related to helices, slant helices and plane curves.