Komasse

In der Mathematik ist die Komasse ein Begriff aus der Differentialgeometrie.

Die Komasse einer Differentialform $\alpha$ ist der größte Wert, den die $k$-Form auf einem $k$-Vektor vom Volumen $1$ annehmen kann:

$comass(\alpha )=\underset{v\in {\mathrm{\Lambda }}^{k}TM,\Vert v\Vert =1}{\sup }|\alpha (v)|$.

Die Komasse einer Kohomologieklasse wird definiert als Infimum der Komasse über alle die Kohomologieklasse repräsentierenden Differentialformen.

Für eine Abbildung $\sigma :{\mathrm{\Delta }}^k\to M$ eines Standard-Simplex in eine Riemannsche Mannigfaltigkeit definiert man die Masse als $mass(\sigma )=\underset{{\mathrm{\Delta }}^n}{\int }{\sigma }^{*}dvo{l}_M$. Die Masse einer singulären Kette $c=\sum _{i=1}^r{a}_i{\sigma }_i$ definiert man dann als $mass(c)=\sum _{i=1}^r|a_i|mass({\sigma }_i)$, und die Masse einer singulären Homologieklasse $h$ als Infimum der Masse über alle $h$ repräsentierenden singulären Ketten.

Die von der Komasse definierte Norm auf der Kohomologie ist dann die duale Norm zur von der Masse definierten Norm auf der Homologie der Riemannschen Mannigfaltigkeit.

Für Abbildungen $f:M\to S^n$ liefert die $n$-te Wurzel der Komasse von $f^{*}\left[S^n\right]$ Abschätzungen für die Lipschitz-Konstante von Abbildungen in der Homotopieklasse von $f$.

Literatur

• M. Gromov: Volume and bounded cohomology, Publ. Math. IHÉS 56, 5-100 (1982)
• Z. Brady, L. Guth, F. Manin: A hardness of approximation result in metric geometry, Sel. Math., New Series 26, Paper Nr. 54 (2020)

Weblinks

• Comass (Wolfram MathWorld)