A note on $\mathbb{G}_a$-actions in positive characteristic
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2023
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918170220036096 |
|---|---|
| author | Krishna, P M S Sai |
| author_facet | Krishna, P M S Sai |
| contents | Miyanishi proved that the ring of invariants of any $\mathbb{G}_a$ action on $\mathbb{A}^3$ is $\mathbb{A}^2$, when the field $k$ has zero characteristic. However, it is not known if this result holds when $k$ has positive characteristic. We provide a sufficient condition under which this result holds in positive characteristic. We also prove the following results related to the rigidity of the ring of invariants of an exponential map of a polynomial ring.
(1) Let $B=R^{[n]}$, where $R$ is a $k$-domain and $δ\in \mathrm{EXP}_R(B)$ is a triangular exponential map. Then $B^δ$ is non-rigid. In particular, for any field $k$ of zero characteristic the kernel of any triangular $R$-derivation of $R^{[n]}$ is non-rigid.
(2) Let $k$ be a field of zero characteristic and $R$ be a $k$-domain. Then the kernel of any linear locally nilpotent $R$-derivation of $R^{[n]}$ is non-rigid.
When $k$ is an algebraically closed of zero characteristic, the commuting derivations conjecture for $k^{[3]}$ has been proved by Maubach and El Kahoui proved that the weak Abhyankar Sathaye conjecture is equivalent to the commuting derivations conjecture. By introducing the notion of commuting exponential maps and formulating the commuting exponential maps conjecture, we show that the weak Abhyankar-Sathaye conjecture is equivalent to the commuting exponential maps conjecture for any field of arbitrary characteristic. In particular, we prove the commuting derivations conjecture$(CD(3))$ for any field of zero characteristic. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2312_12555 |
| institution | arXiv |
| publishDate | 2023 |
| record_format | arxiv |
| spellingShingle | A note on $\mathbb{G}_a$-actions in positive characteristic Krishna, P M S Sai Commutative Algebra Algebraic Geometry Miyanishi proved that the ring of invariants of any $\mathbb{G}_a$ action on $\mathbb{A}^3$ is $\mathbb{A}^2$, when the field $k$ has zero characteristic. However, it is not known if this result holds when $k$ has positive characteristic. We provide a sufficient condition under which this result holds in positive characteristic. We also prove the following results related to the rigidity of the ring of invariants of an exponential map of a polynomial ring. (1) Let $B=R^{[n]}$, where $R$ is a $k$-domain and $δ\in \mathrm{EXP}_R(B)$ is a triangular exponential map. Then $B^δ$ is non-rigid. In particular, for any field $k$ of zero characteristic the kernel of any triangular $R$-derivation of $R^{[n]}$ is non-rigid. (2) Let $k$ be a field of zero characteristic and $R$ be a $k$-domain. Then the kernel of any linear locally nilpotent $R$-derivation of $R^{[n]}$ is non-rigid. When $k$ is an algebraically closed of zero characteristic, the commuting derivations conjecture for $k^{[3]}$ has been proved by Maubach and El Kahoui proved that the weak Abhyankar Sathaye conjecture is equivalent to the commuting derivations conjecture. By introducing the notion of commuting exponential maps and formulating the commuting exponential maps conjecture, we show that the weak Abhyankar-Sathaye conjecture is equivalent to the commuting exponential maps conjecture for any field of arbitrary characteristic. In particular, we prove the commuting derivations conjecture$(CD(3))$ for any field of zero characteristic. |
| title | A note on $\mathbb{G}_a$-actions in positive characteristic |
| topic | Commutative Algebra Algebraic Geometry |
| url | https://arxiv.org/abs/2312.12555 |