Problems for problem session

Vladimir L. Popov
DOI: https://doi.org/10.48550/arXiv.math/0504517
2005-04-25
Abstract:Below are the problems that I formulated at Open Problems Session of {\it Workshop on Group Actions on Rational Varieties}, McGill University and University of Montreal, Canada, March 2002. To appear in: "Affine Algebraic Geometry" conference Proceedings volume in Contemporary Mathematics series of the Amer. Math. Soc. Ed. by Jaime Gutierrez, Vladimir Shpilrain, and Jie-Tai Yu.
Algebraic Geometry
What problem does this paper attempt to address?
The problems that this paper attempts to solve mainly focus on several open problems in affine algebraic geometry, especially some problems related to the Affine Cremona Group and its subgroups. Specifically, the paper explores the following aspects: 1. **Determination of roots and root vectors**: - The author defines a non - zero locally nilpotent derivation \(D\) as a root vector of \(\text{Aut}^*_k k[n]\) relative to the diagonal torus \(T\), if there exists a non - trivial character \(\chi\in\text{Hom}(T,\mathbb{G}_m)\) such that for all \(\sigma\in T\): \[ \sigma\circ D\circ\sigma^{-1}=\chi(\sigma)D \] - **Problem 1.1**: Find all roots and root vectors of \(\text{Aut}^*_k k[n]\) relative to \(T\). 2. **Description of centralizers and normalizers**: - **Problem 1.2**: Describe the centralizer and normalizer of \(T\) in \(\text{Aut}^*_k k[n]\). 3. **Problems of generators**: - The \(\partial\)-generated subgroup and the finite \(\partial\)-generated subgroup of \(\text{Aut}^*_k k[n]\) are defined. - **Problem 2.1**: Is \(\text{Aut}^*_k k[n]\) \(\partial\)-generated? If so, is it finitely \(\partial\)-generated? 4. **Closed subgroups of two locally nilpotent derivations**: - **Problem 3.1**: When is the smallest closed subgroup containing the one - dimensional subgroups generated by \(\{e^{tP}|t\in k\}\) and \(\{e^{tQ}|t\in k\}\) finite - dimensional? 5. **Rationality of certain homogeneous spaces**: - Let \(G\) be a connected semisimple algebraic group, and \(\sigma\in\text{Aut}_k G\) be a finite - order element. Consider the subgroup \(G^\sigma = \{g\in G|\sigma(g) = g\}\). - **Conjecture 4.1**: The algebraic variety \(G/G^\sigma\) is rational. These problems aim to deeply study some basic structures and properties in affine algebraic geometry, especially the complex structures and transformation behaviors related to the Affine Cremona Group and its subgroups. By solving these problems, we can better understand the essential characteristics of these mathematical objects and provide a basis for further research.