Source author record

Hanspeter Kraft

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AG math.AC math.GR math.RT

Catalog footprint

Research overview

10works

4topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Perpetuants: A Lost Treasure

We discuss the classical, and forgotten, notion of perpetuants. We give a proof of the Theorem of Stroh computing their dimensions, and exhibit a basis of perpetuants, thus closing an old line of investigation.

preprint2020arXiv

Small G-varieties

An affine varieties with an action of a semisimple group $G$ is called "small" if every non-trivial $G$ -orbit in $X$ is isomorphic to the orbit of a highest weight vector. Such a variety $X$ carries a canonical action of the multiplicative group $\mathbb{K}^*$ commuting with the $G$ -action. We show that $X$ is determined by the $\mathbb{K}^*$ -variety $X^U$ of fixed points under a maximal unipotent subgroups $U$ of $G$ . Moreover, if $X$ is smooth, then $X$ is a $G$ -vector bundle over the quotient $X// G$ . If $G$ is of type $A_n$ ( $n>1$ ), $C_n$ , $E_6$ , $E_7$ or $E_8$ , we show that all affine $G$ -varieties up to a certain dimension are small. As a consequence we have the following result. If $n>4$ , every smooth affine $SL_n$ -variety of dimension $<2n$ is an $\mathrm{SL}_n$ -vector bundle over the smooth quotient $X//\mathrm{SL}_n$ , with fiber isomorphic to the natural representation or its dual.

preprint2016arXiv

On Automorphisms of the Affine Cremona Group

We show that every automorphism of the group $\mathcal{G}_n:= \textrm{Aut}(\mathbb{A}^n)$ of polynomial automorphisms of complex affine $n$ -space $\mathbb{A}^n=\mathbb{C}^n$ is inner up to field automorphisms when restricted to the subgroup $T \mathcal{G}_n$ of tame automorphisms. This generalizes a result of \textsc{Julie Deserti} who proved this in dimension $n=2$ where all automorphisms are tame: $T \mathcal{G}_2 = \mathcal{G}_2$ .

preprint2015arXiv

Automorphism Groups of Affine Varieties and a Characterization of Affine n-Space

We show that the automorphism group of affine n-space $A^n$ determines $A^n$ up to isomorphism: If $X$ is a connected affine variety such that $Aut(X)$ is isomorphic to $Aut(A^n)$ as ind-groups, then $X$ is isomorphic to $A^n$ as a variety. We also show that every finite group and every torus appears as $Aut(X)$ for a suitable affine variety $X$ , but that $Aut(X)$ cannot be isomorphic to a semisimple group. In fact, if $Aut(X)$ is finite dimensional and $X$ not isomorphic to the affine line $A^1$ , then the connected component $Aut(X)^0$ is a torus. Concerning the structure of $Aut(A^n)$ we prove that any homomorphism $Aut(A^n) \to G$ of ind-groups either factors through the Jacobian determinant $jac\colon Aut(A^n) \to k^*$ , or it is a closed immersion. For $SAut(A^n):=\ker(jac)$ we show that every nontrivial homomorphism $SAut(A^n) \to G$ is a closed immersion. Finally, we prove that every non-trivial homomorphism $SAut(A^n) \to SAut(A^n)$ is an automorphism, and is given by conjugation with an element from $Aut(A^n)$ .

preprint2014arXiv

Automorphisms of the Lie algebra of vector fields on affine n-space

We show that every Lie algebra automorphisms of the vector fields $Vec(A^n)$ of affine n-space $A^n$ , of the vector fields $Vec^c(A^n)$ with constant divergence, and of the vector fields $Vec^0(A^n)$ with divergence zero is induced by an automorphism of $A^n$ . This generalizes results of the second author obtained in dimension 2. The case of $Vec(A^n)$ is due to Vladimir Bavula. As an immediate consequence, we get the following result which due to Viktor Kulikov. If every injective endomorphism of the simple Lie algebra $Vec(A^n)$ is an automorphism, then the Jacobian Conjecture holds in dimension $n$ .

preprint2014arXiv

Invariants and Separating Morphisms for Algebraic Group Actions

The first part of this paper is a refinement of Winkelmann's work on invariant rings and quotients of algebraic groups actions on affine varieties, where we take a more geometric point of view. We show that the (algebraic) quotient $X/\!/\!G$ given by the possibly not finitely generated ring of invariants is "almost" an algebraic variety, and that the quotient morphism $π\colon X \to X/\!/\! G$ has a number of nice properties. One of the main difficulties comes from the fact that the quotient morphism is not necessarily surjective. These general results are then refined for actions of the additive group $\mathbb{G}_a$ , where we can say much more. We get a rather explicit description of the so-called plinth variety and of the separating variety, which measures how much orbits are separated by invariants. The most complete results are obtained for representations. We also give a complete and detailed analysis of Roberts' famous example of a an action of $\mathbb{G}_a$ on 7-dimensional affine space with a non-finitely generated ring of invariants.

preprint2013arXiv

Varieties Characterized by their Endomorphisms

We show that two varieties X and Y with isomorphic endomorphism semigroups are isomorphic up to field automorphism if one of them is affine and contains a copy of the affine line. A holomorphic version of this result is due to the first author.

preprint2012arXiv

Families of Group Actions, Generic Isotriviality, and Linearization

We prove a "Generic Equivalence Theorem which says that two affine morphisms $p: S \to Y$ and $q: T \to Y$ of varieties with isomorphic (closed) fibers become isomorphic under a dominant etale base change $ϕ: U \to Y$ . A special case is the following result. Call a morphism $ϕ: X \to Y$ a "fibration with fiber $F$ " if $ϕ$ is flat and all fibers are (reduced and) isomorphic to $F$ . Then an affine fibration with fiber $F$ admits an etale dominant morphism $μ: U \to Y$ such that the pull-back is a trivial fiber bundle: $U\times_Y X \simeq U\times F$ . As an application we give short proofs of the following two (known) results: (a) Every affine $\A^1$-fibration over a normal variety is locally trivial in the Zariski-topology; (b) Every affine $\A^2$-fibration over a smooth curve is locally trivial in the Zariski-topology. We also study families of reductive group actions on $\A^2$ parametrized by curves and show that every faithful action of a non-finite reductive group on $Å^3$ is linearizable, i.e. $G$ -isomorphic to a representation of $G$ .

preprint2011arXiv

Representations With a Reduced Null Cone

Let G be a complex reductive group and V a G-module. Let π: V \to V//G be the quotient morphism and set N(V) = π^{-1}(π(0)). We consider the following question. Is the null cone N(V) reduced, i.e., is the ideal of N(V) generated by G-invariant polynomials? We have complete results when G is SL_2, SL_3 or a simple group of adjoint type, and also when G is semisimple of adjoint type and the G-module V is irreducible.

preprint2010arXiv

Degree bounds for separating invariants

If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f from S such that f(v) is different from f(v'). It is known that there always exist finite separating sets. Moreover, if the group G is finite, then the invariant functions of degree <= |G| form a separating set. We show that for a non-finite linear algebraic group G such an upper bound for the degrees of a separating set does not exist. If G is finite, we define b(G) to be the minimal number d such that for every G-module V there is a separating set of degree less or equal to d. We show that for a subgroup H of G we have b(H) <= b(G) <= [G:H] b(H) $, and that b(G) <= b(G/H) b(H)$ in case H is normal. Moreover, we calculate b(G) for some specific finite groups.

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.