Table of Contents
Fetching ...

On automorphisms of affine superspaces

Bin Shu

Abstract

In this note, we propose a super version of Jacobian conjecture on the automorphisms of affine superspaces over an algebraically closed field $\mathbb{F}$ of characteristic $0$, which predicts that for a homomorphism $\varphi$ of the polynomial superalgebra $\mathcal{R}:=\mathbb{F}[x_1,\ldots,x_m; ξ_1,\ldots,ξ_m]$ over $\mathbb{F}$, if $\varphi$ satisfies the super version of Jacobian condition (SJ for short), then $\varphi$ gives rise to an automorphism of the affine superspace $\mathbb{A}_{\mathbb{F}}^{m|n}$. We verify the conjecture if additionally, the set $\mathscr{M}$ of maximal $\mathbb{Z}_2$-homogeneous ideals of $\mathcal{R}$ is assumed to be preserved under $\varphi$. The statement is actually proved in any characteristic, i.e. a homomorphism $\varphi$ gives rise to an automorphism of $\mathbb{A}_{\mathbb{F}}^{m|n}$ if SJ is satisfied with $\varphi$ and the set $\mathscr{M}$ is preserved under $\varphi$ for an algebraically closed field $\mathbb{F}$ of any characteristic.

On automorphisms of affine superspaces

Abstract

In this note, we propose a super version of Jacobian conjecture on the automorphisms of affine superspaces over an algebraically closed field of characteristic , which predicts that for a homomorphism of the polynomial superalgebra over , if satisfies the super version of Jacobian condition (SJ for short), then gives rise to an automorphism of the affine superspace . We verify the conjecture if additionally, the set of maximal -homogeneous ideals of is assumed to be preserved under . The statement is actually proved in any characteristic, i.e. a homomorphism gives rise to an automorphism of if SJ is satisfied with and the set is preserved under for an algebraically closed field of any characteristic.

Paper Structure

This paper contains 12 sections, 7 theorems, 11 equations.

Key Result

Theorem 1.2

(CSY and CSY) Let $\mathbb{F}$ be an algebraically closed field of any characteristic. Suppose $\vartheta$ is a ring endomorphism of $P_m$. If $\textsf{det}(J(\vartheta))\in \mathbb{F}^\times$, and $\vartheta$ preserves the set $\mathscr{M}$ of maximal ideals of $P_m$, then $\vartheta$ is an automor

Theorems & Definitions (16)

  • Theorem 1.2
  • Definition 3.1
  • Lemma 4.1
  • Lemma 4.2
  • proof
  • Definition 4.3
  • Proposition 4.4
  • proof
  • Proposition 5.1
  • proof
  • ...and 6 more