Morava $J$-invariant

Nikita Geldhauser,Andrei Lavrenov,Victor Petrov,Pavel Sechin
2024-09-21
Abstract:We compute the co-multiplication of the algebraic Morava K-theory for split orthogonal groups. This allows us to compute the decomposition of the Morava motives of generic maximal orthogonal Grassmannians and to compute a Morava K-theory analogue of the $J$-invariant in terms of the ordinary (Chow) $J$-invariant.
K-Theory and Homology
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on the following aspects: 1. **Computing the comultiplication structure of the algebraic Morava K - theory of split orthogonal groups**: - The authors aim to compute the comultiplication structure of the algebraic Morava K - theory of split orthogonal groups. This step is crucial for understanding the algebraic and topological properties of these groups at different levels. 2. **Decomposing Morava motives**: - Through the above - mentioned computation, the authors can further decompose the Morava motives of general maximal orthogonal Grassmannians. Specifically, they hope to find a method to describe the indecomposable parts of these motives. 3. **Computing the J - invariants in Morava K - theory**: - The authors also hope to be able to compute the analogues corresponding to the classical (Chow) J - invariants in Morava K - theory. This goal is to better understand the behavior of these invariants in different theoretical frameworks and explore the relationships between them. ### Specific problems and solutions - **Computation of the comultiplication structure**: - By introducing some new technical means and combining existing results (such as Rao's work), the authors successfully described the comultiplication structure of the algebraic Morava K - theory of split orthogonal groups. The specific formula is as follows: \[ \tilde{\Delta}(e_{\langle 2k \rangle})=\sum_{i = 0}^{\nu_2(k)}v_n^{i + 1}e_{\langle k/2^i \rangle}\otimes e_{\langle k/2^i \rangle}\prod_{j = 0}^{i - 1}(e_{\langle k/2^j \rangle}\otimes1 + 1\otimes e_{\langle k/2^j \rangle}) \] where \(\langle t \rangle\) represents \(2^n-1 - t\), and \(\nu_2(k)\) is the 2 - adic valuation of \(k\). - **Motive decomposition**: - Through the computation of the above - mentioned comultiplication structure, the authors further deduced the complete decomposition of the Morava motives of general maximal orthogonal Grassmannians. For example, in the case of dimension \(m\), when \(m\leq2^{n + 1}-2\), the \(K(n)\)-motive is indecomposable; when \(m\geq2^{n + 1}-1\), the motive has \(2\lfloor\frac{m - 1}{2}\rfloor-2n + 2\) indecomposable direct summands with rank \(2^{2n-2}\). - **Analogy of J - invariants**: - The authors also explored the J - invariants in Morava K - theory and gave their relationship with the classical Chow J - invariants. This part of the research helps to understand more deeply the behavior of these invariants in different theoretical frameworks. ### Summary The main contribution of this paper lies in further promoting the understanding of Morava motives by computing the comultiplication structure of the algebraic Morava K - theory of split orthogonal groups, and providing new tools to study the indecomposable parts of these motives and their related J - invariants. These achievements not only deepen our understanding of algebraic geometry and homotopy theory, but also provide an important foundation for follow - up research.