On finite generation of fiber ring of invariant jet differentials

• Published in: arXiv.org 2024-07
• Main Author: Rahmati, Mohammad Reza
• Format: Article
• Language: English
• Subjects: Automorphisms; Invariants; Lie groups; Polynomials; Rings (mathematics); Subgroups
• ISSN: 2331-8422

The main result of this paper concerns the finite generation of the total ring of invariant \(k\)-jets as a generalization of a conjecture which was first mentioned in \cite{DMR} and later studied in \cite{D1, D2, Me, BK}. The conjecture in \cite{DMR} states that the fiber ring of the space of invariant jet differentials of a projective manifold is finitely generated on the regular locus, i.e. the normalized ring of invariant \(k\)-jets is finitely generated. We also prove this conjecture independently. Berczi-Kirwan has a partial attempt toward the question in \cite{BK} (2012), but the conjecture remains open. Our method is different and quite new to this question. The analytic automorphism group of regular \(k\)-jets of holomorphic curves on a projective variety \(X\) is a non-reductive subgroup of the general linear group \(GL_k \mathbb{C}\). In this case, the proof of the Chevalley theorem on the invariant polynomials in the fiber rings falls into difficulties. Different methods are required for the proof of the finite generation of the ring of invariants. We employ some techniques of algebraic Lie groups (not necessarily reductive) together with primary results obtained by Berczi and Kirwan (2012) to prove the finite generation of the ring of invariant jets. Besides, to above we present a systematic study of the structure theory of the non-reductive Lie group \(G_k\) and its Lie algebra. We consider two actions of \(G_k\), the first its adjoint action on its Lie algebra and the second the above action on the space of \(k\)-jets. We prove both of these two actions have generic stabilizers and obtain various results on the associate quotient maps. Finally, we present a result on the structure of the representation ring of \(G_k\).