On the homology of groups of jets (Q1321034): Difference between revisions

Let \(k\), \(n\) be positive integers. It is known that if \(J_ k^ + (n)\) is the Lie group of \(k\)-jets at 0 of orientation preserving local diffeomorphisms of \(\mathbb{R}^ n\) fixing the origin, with multiplication induced by composition of functions, then the singular homology of \(J^ +_ k (n)\) is isomorphic to the singular homology of \(\text{GL}^ + (n)\), of the group of \(n\times n\) matrices with real entries and positive determinant. In this paper the author shows that the corresponding result is true for the group homology of \(J^ +_ k(n)\) and \(\text{GL}^ + (n)\) as abstract (discrete) groups. Precisely: For \(n\geq 1\) and \(\mathbb{F}\) a field of characteristic 0 denote by \(\mathbb{F} [X_ 1,\dots, X_ n ]^ n\) the set of polynomials in \(n\) indeterminates with coefficients in \(F^ n\). If \(k\geq 1\), it is said that two polynomials in \(\mathbb{F}[ X_ 1, \dots, X_ n]^ n\) have the same \(k\)-jet at \(0\in F^ n\) if their coefficients of monomials of degree less than or equal to \(k\) coincide. Denote the equivalence class of \(f(X) \in \mathbb{F}[ X_ 1, \dots, X_ n ]^ n\) by \([f (X) ]_ k= \widetilde {f} (X)= \widetilde {f}\) and this is called the \(k\)-jet of \(f(X)\) at the origin. Let \(J_ k (n, \mathbb{F})\) denote the set of \(k\)-jets at 0 of polynomials with no constant coefficient and having an invertible matrix of first- order partial derivatives at 0. Then \(J_ k (n, \mathbb{F})\) is a group with multiplication induced by composition of polynomials. For \(k \geq l\), denote by \(\rho_{kl}: J_ k (n,\mathbb{F})\to J_ l (n, \mathbb{F})\) the group epimorphism defined by \(\rho_{kl} [f(X)]_ k= [f(X) ]_ l\). When \(l=1\), the group \(J_ 1 (n, \mathbb{F})\) is simply \(\text{GL} (n, \mathbb{F})\) and \(\rho_{kl}\) is denoted by \(\rho: J_ k (n, \mathbb{F})\to \text{GL} (n, \mathbb{F})\). Given a subgroup \(G \subseteq \text{GL} (n, \mathbb{F})\), then \(J_ k^ G (n, \mathbb{F})\) is defined by \(J_ k^ G (n, \mathbb{F})= \rho^{- 1} (G)\) and the same notation is used for the restriction of \(\rho_{kl}\) and \(\rho\) to \(J_ k^ G (n, \mathbb{F})\). Then the author proves the following result: Theorem 2.1. Let \(n,k \geq 1\) be integers. If \(G\subseteq \text{GL} (n, \mathbb{F})\) contains a scalar matrix \(\lambda I\), with \(\lambda \in \mathbb{Q} \subseteq \mathbb{F}\), \(| \lambda | \neq 1\), then the group epimorphism \(\rho\) induces an isomorphism \(\rho_ *: H_ * (J_ k^ G (n, \mathbb{F})) \overset \simeq {\rightarrow} H_ * (G)\) on the group homology with trivial integer coefficients. Some corollaries are also proved. Then the author shows that the continuous (and smooth) cohomology groups of \(J^ +_ k (n)\) and \(\text{GL}^ + (n)\) are also isomorphic as are the Lie algebra cohomology groups of their Lie algebras. Precisely, the author proves the following two theorems: Theorem 2.4. The map \(\rho^*: H^*_{\text{Lie}} (\text{gl} (n))\to H^*_{\text{Lie}} ({\mathfrak J}_ k (n))\) induced by \(\rho\) on Lie algebra cohomology with trivial \(\mathbb{R}\) coefficients is an isomorphism. (Here \({\mathfrak J}_ k (n)\) denotes the set of \(k\)-jets of smooth maps from a neighborhood of \(0\in \mathbb{R}^ n\) fixing the origin, with the Lie product of \(\widetilde {f}\) and \(\widetilde {g}\in {\mathfrak J}_ k (n)\) given by the \(k\)-jet at the origin of \(x\mapsto f'(x) g(x)- g'(x) f(x)\).) Theorem 2.5. The map \(\rho^*: H^*_{\text{con}} (\text{GL}^ + (n))\to H^*_{\text{con}} (J^ +_ k (n))\) induced by \(\rho\) on continuous cohomology with trivial \(\mathbb{R}\) coefficient is an isomorphism.