A formula for the Betti numbers of compact locally symmetric Riemannian manifolds
type: Item
instance of: scholarly article
title: A formula for the Betti numbers of compact locally symmetric Riemannian manifolds
zbMATH Open document ID: 0164.22101
author: Yozô Matsushima
published in: Journal of Differential Geometry
publication date: 1967-01-01T00:00:00Z
review text: Let \(G\) be a connected semisimple Lie group with finite center and \(K\) a maximal compact subgroup of \(G\). The orthogonal complement of the Lie algebra of \(K\) in the Lie algebra of \(G\) with respect to the Killing form of \(G\) is denoted by \(m\) while \(m^{\mathbb C}\) is the complexification of \(m\). The adjoint action of \(K\) in \(m\) induces a representation \(\text{ad}^p\) of \(K\) in the vector space \(\wedge^p(m^{\mathbb C})\), which can be written as a sum of irreducible representations \(\text{ad}^p = \tau_1^p + \dots + \tau_{s_p}^p\). Consider now a discrete subgroup \(\Gamma\) of \(G\) with compact quotient space \(\Gamma\backslash G\). Assume \(\Gamma\) acts freely on the symmetric space \(X = G/K\). The vector space of harmonic \(p\)-forms on \(X\) invariant by \(\Gamma\) is termed \(h^p(X,\Gamma)\). Let \(T\) be an irreducible unitary representation of \(G\), and \(T_K\) the restriction of \(T\) on \(K\). Finally \(N(T)\) denotes the multiplicity of \(T\) in the unitary representation \(U\) of \(G\) in the Hilbert space \(L^2(\Gamma\backslash G)\), and \(M(T_K; \tau_i^p)\) the multiplicity of the irreducible representation \(\tau_i^p\) of \(K\) in \(T\). Then the main result is the formula \[ \dim h^p(X,\Gamma) = \sum_{T\in D_0} N(T) \sum_{i=1}^{s_p} M(T_K;\tau_i^p)\] where \(D_0\) denotes the set of all irreducible unitary representations of \(G\) with vanishing Casimir operator. This is a formula for the \(p\)-th Betti number of the locally symmetric Riemannian space \(\Gamma\backslash G/K\). It is equivalent to the theorem of Cartan-Hodge when \(G\) is compact and \(\Gamma\) reduces to the identity. As an example, the author considers the 3-dimensional hyperbolic space \(X\) with the action of the group \(G= \mathrm{SL}(2,\mathbb C)\).
Mathematics Subject Classification ID: 53Cxx
zbMATH DE Number: 3262926
zbMATH Keywords: differential geometry
Wikidata QID: Q115193394
MaRDI profile type: Publication
full work available at URL: https://doi.org/10.4310/jdg/1214427883
OpenAlex ID: W1572010112
DOI: 10.4310/JDG/1214427883
description: scientific article