Table of Contents
Fetching ...

Essential minimal volume of Einstein 4-manifolds

Antoine Song

Abstract

The minimal volume of a closed manifold $M$ is the infimum of the volume of $(M,g)$ over all metrics $g$ with sectional curvature between $-1$ and $1$. We introduce a variant called the essential minimal volume, $\mathrm{ess-Minvol}(M)$, which is the limit, as $δ>0$ goes to $0$, of the infimum of the volume of the $δ$-thick part of $(M,g)$ over all metrics $g$ with sectional curvature between $-1$ and $1$. We show that, for some universal constant $C>0$, any closed Einstein 4-manifold $M$ with Euler characteristic $e(M)$ satisfies $$C^{-1}e(M) \leq \mathrm{ess-Minvol}(M) \leq Ce(M).$$ As a corollary, these inequalities are true for the essential minimal volume of closed complex surfaces of nonnegative Kodaira dimension. We conjecture that those linear bounds in fact hold for the minimal volume.

Essential minimal volume of Einstein 4-manifolds

Abstract

The minimal volume of a closed manifold is the infimum of the volume of over all metrics with sectional curvature between and . We introduce a variant called the essential minimal volume, , which is the limit, as goes to , of the infimum of the volume of the -thick part of over all metrics with sectional curvature between and . We show that, for some universal constant , any closed Einstein 4-manifold with Euler characteristic satisfies As a corollary, these inequalities are true for the essential minimal volume of closed complex surfaces of nonnegative Kodaira dimension. We conjecture that those linear bounds in fact hold for the minimal volume.

Paper Structure

This paper contains 19 sections, 16 theorems, 157 equations.

Key Result

Theorem 1

There is a constant $C>0$ such that the following holds. Let $M$ be any closed $4$-manifold admitting an Einstein metric, or any closed complex surface with nonnegative Kodaira dimension. Then where $\mathop{\mathrm{\textbf{e}}}\nolimits(M)$ is the Euler characteristic of $M$.

Theorems & Definitions (31)

  • Theorem 1
  • Definition 1.1
  • Lemma 2
  • proof
  • Lemma 3
  • proof
  • Lemma 4
  • proof
  • Proposition 5
  • proof
  • ...and 21 more