-
Empirical scaling laws for self-focused laser pulses in nitrogen plasmas
Authors:
Lorenzo Martelli,
Igor Andriyash,
Jonathan Wheeler,
Henri Kraft,
Xuan Quyen Dinh,
Cédric Thaury
Abstract:
We investigate the interaction between a superintense laser pulse and a nitrogen plasma with densities exceeding $10^{19}\,$cm$^{-3}$, using particle-in-cell simulations. Such configurations have recently demonstrated the capability to produce highly charged electron beams (i.e., $>10\,$nC) with $1\,$J-class lasers, a significant step toward high-average-current laser-plasma accelerators. Our stud…
▽ More
We investigate the interaction between a superintense laser pulse and a nitrogen plasma with densities exceeding $10^{19}\,$cm$^{-3}$, using particle-in-cell simulations. Such configurations have recently demonstrated the capability to produce highly charged electron beams (i.e., $>10\,$nC) with $1\,$J-class lasers, a significant step toward high-average-current laser-plasma accelerators. Our study focuses on analyzing the impact of laser self-focusing on laser dynamics, leading to scaling laws that characterize beam diffraction, wakefield amplitude and plasma structures, providing important insights of this interaction regime.
△ Less
Submitted 5 June, 2025;
originally announced June 2025.
-
Electrically-induced resonance shifts of whispering gallery resonators made of barium magnesium fluoride
Authors:
Alexander Mrokon,
Heike Kraft,
Dongsung Shin,
Hiroki Tanaka,
Simon J. Herr,
Karsten Buse,
Ingo Breunig
Abstract:
Barium magnesium fluoride (BMF) is a ferroelectric crystal with a transparency range far beyond the one of other optical materials. In particular, its low loss in the deep ultraviolet makes this material an unique candidate for frequency conversion in this spectral range. Due to its relatively weak second-order nonlinearity, a resonant configuration such as an optical whispering gallery would be b…
▽ More
Barium magnesium fluoride (BMF) is a ferroelectric crystal with a transparency range far beyond the one of other optical materials. In particular, its low loss in the deep ultraviolet makes this material an unique candidate for frequency conversion in this spectral range. Due to its relatively weak second-order nonlinearity, a resonant configuration such as an optical whispering gallery would be beneficial. We show that femtosecond-laser based material processing enables the reliable fabrication of BMF whispering gallery resonators with quality factors beyond $10^7$. Their resonance frequencies can be shifted linearly by applying electric fields between the $+c$ and $-c$ faces of the crystal. The slope of the shift is $-0.8$~MHz/(V/mm). It seems that the origin of this shift is piezoelectricity, while the electro-optic effect is negligible. Our results pave the way for millimeter-sized frequency converters in the deep ultraviolet. Furthermore, they indicate that a careful determination of fundamental material properties is still necessary.
△ Less
Submitted 4 June, 2025;
originally announced June 2025.
-
Highly-efficient electron ponderomotive acceleration in underdense plasmas
Authors:
Lorenzo Martelli,
Olena Kononenko,
Igor Andriyash,
Jonathan Wheeler,
Julien Gautier,
Jean-Philippe Goddet,
Amar Tafzi,
Ronan Lahaye,
Camilla Giaccaglia,
Alessandro Flacco,
Vidmantas Tomkus,
Migle Mackevičiūtė,
Juozas Dudutis,
Valdemar Stankevic,
Paulius Gečys,
Gediminas Račiukaitis,
Henri Kraft,
Xuan Quyen Dinh,
Cédric Thaury
Abstract:
Laser-plasma accelerators represent a promising technology for future compact accelerating systems, enabling the acceleration of tens of pC to above $1\,$GeV over just a few centimeters. Nonetheless, these devices currently lack the stability, beam quality and average current of conventional systems. While many efforts have focused on improving acceleration stability and quality, little progress h…
▽ More
Laser-plasma accelerators represent a promising technology for future compact accelerating systems, enabling the acceleration of tens of pC to above $1\,$GeV over just a few centimeters. Nonetheless, these devices currently lack the stability, beam quality and average current of conventional systems. While many efforts have focused on improving acceleration stability and quality, little progress has been made in increasing the beam's average current, which is essential for future laser-plasma-based applications. In this paper, we investigate a laser-plasma acceleration regime aimed at increasing the beam average current with energies up to few-MeVs, efficiently enhancing the beam charge. We present experimental results on configurations that allow reaching charges of $5-30\,$nC and a maximum conversion efficiency of around $14\,$%. Through comprehensive Particle-In-Cell simulations, we interpret the experimental results and present a detailed study on electron dynamics. From our analysis, we show that most electrons are not trapped in a plasma wave; rather, they experience ponderomotive acceleration. Thus, we prove the laser pulse as the main driver of the particles' energy gain process.
△ Less
Submitted 1 August, 2024;
originally announced August 2024.
-
Automorphism groups of affine varieties and their Lie algebras
Authors:
Hanspeter Kraft,
Mikhail Zaidenberg
Abstract:
This is a brief overview of a few selected chapters on automorphism groups of affine varieties. It includes some open questions.
This is a brief overview of a few selected chapters on automorphism groups of affine varieties. It includes some open questions.
△ Less
Submitted 11 September, 2024; v1 submitted 19 March, 2024;
originally announced March 2024.
-
Algebraically generated groups and their lie algebras
Authors:
Hanspeter Kraft,
Mikhail Zaidenberg
Abstract:
The automorphism group Aut(X) of an affine variety X is an ind-group. Its Lie algebra is canonically embedded into the Lie algebra VF(X) of vector fields on X. We study the relations between subgroups of Aut(X) and Lie subalgebras of VF(X).
We show that a subgroup G of Aut(X) generated by a family of connected algebraic subgroups G_i of Aut(X) is algebraic if and only if the Lie algebras Lie G_i…
▽ More
The automorphism group Aut(X) of an affine variety X is an ind-group. Its Lie algebra is canonically embedded into the Lie algebra VF(X) of vector fields on X. We study the relations between subgroups of Aut(X) and Lie subalgebras of VF(X).
We show that a subgroup G of Aut(X) generated by a family of connected algebraic subgroups G_i of Aut(X) is algebraic if and only if the Lie algebras Lie G_i generate a finite dimensional Lie subalgebra of VF(X).
Extending a result by Cohen-Draisma we prove that a locally finite Lie algebra L of VF(X) generated by locally nilpotent vector fields is algebraic, i.e. L = Lie G for an algebraic subgroup G of Aut(X).
Along the same lines we prove that if a subgroup G of Aut(X) generated by finitely many connected algebraic groups is solvable, then it is a solvable algebraic group.
We also show that the derived length a unipotent algebraic subgroup U of Aut(X) is bounded above by dim X. This result is based on the following triangulation theorem:
Every unipotent algebraic subgroup of Aut(A^n) with a dense orbit in A^n is conjugate to a subgroup of the de Jonquières subgroup.
Furthermore, we give an example of a free subgroup F of Aut(A^2) generated by two algebraic elements such that the Zariski closure of F is a free product of two nested commutative closed unipotent ind-subgroups.
To any affine ind-group G one can associate a canonical ideal L_G \subset Lie G. It is linearly generated by the tangent spaces T_e X for all algebraic subsets X \subset G which are smooth in e. It has the important property that for a surjective homomorphism φ: G \to H the induced homomorphism dφ_e : L_G \to L_H is surjective as well. Moreover, if H \subset G is a subnormal closed ind-subgroup of finite codimension, then L_H has finite codimension in L_G.
△ Less
Submitted 14 December, 2023; v1 submitted 21 March, 2022;
originally announced March 2022.
-
Small G-varieties
Authors:
Hanspeter Kraft,
Andriy Regeta,
Susanna Zimmermann
Abstract:
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…
▽ More
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.
△ Less
Submitted 11 September, 2020;
originally announced September 2020.
-
Perpetuants: A Lost Treasure
Authors:
Hanspeter Kraft,
Claudio Procesi
Abstract:
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.
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.
△ Less
Submitted 4 January, 2020; v1 submitted 2 October, 2018;
originally announced October 2018.
-
On the geometry of the automorphism groups of affine varieties
Authors:
Jean-Philippe Furter,
Hanspeter Kraft
Abstract:
This article is a survey on ind-varieties and ind-groups introduced by Shafarevich in 1965, with a special emphasis on automorphism groups of affine varieties and actions of ind-groups on ind-varieties. We give precise definitions and complete proofs, including several known results. The survey contains many examples and also some questions which came up during our work on the subject.
Among the…
▽ More
This article is a survey on ind-varieties and ind-groups introduced by Shafarevich in 1965, with a special emphasis on automorphism groups of affine varieties and actions of ind-groups on ind-varieties. We give precise definitions and complete proofs, including several known results. The survey contains many examples and also some questions which came up during our work on the subject.
Among the new results we show that for an affine variety X the automorphism group Aut(X) is always locally closed in the ind-semigroup End(X) of all endomorphisms, and we give an example of a strict closed subgroup of a connected ind-group which has the same Lie algebra, based on the work of Shestakov-Umirbaev on the existence of non-tame automorphisms of affine 3-space.
△ Less
Submitted 11 September, 2018;
originally announced September 2018.
-
Regularization of Rational Group Actions
Authors:
Hanspeter Kraft
Abstract:
We give a modern proof of the Regularization Theorem of André Weil which says that for every rational action of an algebraic group $G$ on a variety $X$ there exist a variety $Y$ with a regular action of $G$ and a $G$-equivariant birational map $X \to Y$. Moreover, we show that a rational action of $G$ on an affine variety $X$ with the property that each $g$ from a dense subgroup of $G$ induces a r…
▽ More
We give a modern proof of the Regularization Theorem of André Weil which says that for every rational action of an algebraic group $G$ on a variety $X$ there exist a variety $Y$ with a regular action of $G$ and a $G$-equivariant birational map $X \to Y$. Moreover, we show that a rational action of $G$ on an affine variety $X$ with the property that each $g$ from a dense subgroup of $G$ induces a regular automorphism of $X$, is a regular action.
△ Less
Submitted 27 August, 2018;
originally announced August 2018.
-
Is the affine space determined by its automorphism group?
Authors:
Hanspeter Kraft,
Andriy Regeta,
Immanuel van Santen né Stampfli
Abstract:
In this note we study the problem of characterizing the complex affine space $\mathbb{A}^n$ via its automorphism group. We prove the following. Let $X$ be an irreducible quasi-projective $n$-dimensional variety such that $\mathrm{Aut}(X)$ and $\mathrm{Aut}(\mathbb{A}^n)$ are isomorphic as abstract groups. If $X$ is either quasi-affine and toric or $X$ is smooth with Euler characteristic…
▽ More
In this note we study the problem of characterizing the complex affine space $\mathbb{A}^n$ via its automorphism group. We prove the following. Let $X$ be an irreducible quasi-projective $n$-dimensional variety such that $\mathrm{Aut}(X)$ and $\mathrm{Aut}(\mathbb{A}^n)$ are isomorphic as abstract groups. If $X$ is either quasi-affine and toric or $X$ is smooth with Euler characteristic $χ(X) \neq 0$ and finite Picard group $\mathrm{Pic}(X)$, then $X$ is isomorphic to $\mathbb{A}^n$.
The main ingredient is the following result. Let $X$ be a smooth irreducible quasi-projective variety of dimension $n$ with finite $\mathrm{Pic}(X)$. If $X$ admits a faithful $(\mathbb{Z} / p \mathbb{Z})^n$-action for a prime $p$ and $χ(X)$ is not divisible by $p$, then the identity component of the centralizer $\mathrm{Cent}_{\mathrm{Aut}(X)}( (\mathbb{Z} / p \mathbb{Z})^n)$ is a torus.
△ Less
Submitted 23 March, 2018; v1 submitted 21 July, 2017;
originally announced July 2017.
-
Covariants, Invariant Subsets, and First Integrals
Authors:
Frank Grosshans,
Hanspeter Kraft
Abstract:
Let $k$ be an algebraically closed field of characteristic 0, and let $V$ be a finite-dimensional vector space. Let $End(V)$ be the semigroup of all polynomial endomorphisms of $V$. Let $E$ be a subset of $End(V)$ which is a linear subspace and also a semi-subgroup. Both $End(V)$ and $E$ are ind-varieties which act on $V$ in the obvious way. In this paper, we study important aspects of such action…
▽ More
Let $k$ be an algebraically closed field of characteristic 0, and let $V$ be a finite-dimensional vector space. Let $End(V)$ be the semigroup of all polynomial endomorphisms of $V$. Let $E$ be a subset of $End(V)$ which is a linear subspace and also a semi-subgroup. Both $End(V)$ and $E$ are ind-varieties which act on $V$ in the obvious way. In this paper, we study important aspects of such actions. We assign to $E$ a linear subspace $D_{E}$ of the vector fields on $V$. A subvariety $X$ of $V$ is said to $D_{E}$ -invariant if $h(x)$ is in the tangent space of $x$ for all $h$ in $D_{E}$ and $x$ in $X$. We show that $X$ is $D_{E}$ -invariant if and only if it is the union of $E$-orbits. For such $X$, we define first integrals and construct a quotient space for the $E$-action. An important case occurs when $G$ is an algebraic subgroup of $GL(V$) and $E$ consists of the $G$-equivariant polynomial endomorphisms. In this case, the associated $D_{E}$ is the space the $G$-invariant vector fields. A significant question here is whether there are non-constant $G$-invariant first integrals on $X$. As examples, we study the adjoint representation, orbit closures of highest weight vectors, and representations of the additive group. We also look at finite-dimensional irreducible representations of SL2 and its nullcone.
△ Less
Submitted 24 September, 2020; v1 submitted 6 March, 2017;
originally announced March 2017.
-
Automorphism Groups of Affine Varieties and a Characterization of Affine n-Space
Authors:
Hanspeter Kraft
Abstract:
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 semisim…
▽ More
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)$.
△ Less
Submitted 26 January, 2015;
originally announced January 2015.
-
Automorphisms of the Lie algebra of vector fields on affine n-space
Authors:
Hanspeter Kraft,
Andriy Regeta
Abstract:
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 co…
▽ More
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$.
△ Less
Submitted 20 February, 2014;
originally announced February 2014.
-
Invariants and Separating Morphisms for Algebraic Group Actions
Authors:
Emilie Dufresne,
Hanspeter Kraft
Abstract:
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$ ha…
▽ More
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.
△ Less
Submitted 18 February, 2014;
originally announced February 2014.
-
Varieties Characterized by their Endomorphisms
Authors:
Rafael Andrist,
Hanspeter Kraft
Abstract:
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.
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.
△ Less
Submitted 30 August, 2013;
originally announced September 2013.
-
Families of Group Actions, Generic Isotriviality, and Linearization
Authors:
Hanspeter Kraft,
Peter Russell
Abstract:
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 f…
▽ More
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$.
△ Less
Submitted 14 April, 2012;
originally announced April 2012.
-
Representations With a Reduced Null Cone
Authors:
Hanspeter Kraft,
Gerald W. Schwarz
Abstract:
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…
▽ More
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.
△ Less
Submitted 15 December, 2011;
originally announced December 2011.
-
On Automorphisms of the Affine Cremona Group
Authors:
Hanspeter Kraft,
Immanuel Stampfli
Abstract:
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 tam…
▽ More
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$.
△ Less
Submitted 23 November, 2016; v1 submitted 18 May, 2011;
originally announced May 2011.
-
Degree bounds for separating invariants
Authors:
Martin Kohls,
Hanspeter Kraft
Abstract:
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 f…
▽ More
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.
△ Less
Submitted 13 July, 2010; v1 submitted 28 January, 2010;
originally announced January 2010.
-
Compression of Finite Group Actions and Covariant Dimension, II
Authors:
Hanspeter Kraft,
Roland Lötscher,
Gerald W. Schwarz
Abstract:
Let $G$ be a finite group and $φ: V\to W$ an equivariant morphism of finite dimensional $G$-modules. We say that $φ$ is faithful if $G$ acts faithfully on $φ(V)$. The covariant dimension of $G$ is the minimum of the dimension of $\bar{φ(V)}$ taken over all faithful $φ$. In \cite{KS07} we investigated covariant dimension and were able to determine it in many cases. Our techniques largely depended…
▽ More
Let $G$ be a finite group and $φ: V\to W$ an equivariant morphism of finite dimensional $G$-modules. We say that $φ$ is faithful if $G$ acts faithfully on $φ(V)$. The covariant dimension of $G$ is the minimum of the dimension of $\bar{φ(V)}$ taken over all faithful $φ$. In \cite{KS07} we investigated covariant dimension and were able to determine it in many cases. Our techniques largely depended upon finding homogeneous faithful covariants. After publication of \cite{KS07}, the junior author of this article pointed out several gaps in our proofs. Fortunately, this inspired us to find better techniques, involving multihomogeneous covariants, which have enabled us to extend and complete the results, simplify the proofs and fill the gaps of \cite{KS07}.
△ Less
Submitted 13 July, 2008;
originally announced July 2008.
-
Compression of Finite Group Actions and Covariant Dimension
Authors:
Hanspeter Kraft,
Gerald W. Schwarz
Abstract:
Let $G$ be a finite group and $φ\colon V\to W$ an equivariant morphism of finite dimensional $G$-modules. We say that $φ$ is faithful if $G$ acts faithfully on $φ(V)$. The covariant dimension of $G$ is the minimum of the dimension of $\bar{φ(V)}$ taken over all faithful $φ$. In this paper we investigate covariant dimension and are able to determine it for abelian groups and to obtain estimates f…
▽ More
Let $G$ be a finite group and $φ\colon V\to W$ an equivariant morphism of finite dimensional $G$-modules. We say that $φ$ is faithful if $G$ acts faithfully on $φ(V)$. The covariant dimension of $G$ is the minimum of the dimension of $\bar{φ(V)}$ taken over all faithful $φ$. In this paper we investigate covariant dimension and are able to determine it for abelian groups and to obtain estimates for the symmetric and alternating groups. We also classify groups of covariant dimension less than or equal to 2. A byproduct of our investigations is the existence of a purely transcendental field of definition of degree $n-3$ for a generic field extension of degree $n\geq 5$.
△ Less
Submitted 9 September, 2006;
originally announced September 2006.
-
A result of Hermite and equations of degree 5 and 6
Authors:
Hanspeter Kraft
Abstract:
A classical result from 1861 due to Hermite says that every separable equation of degree 5 can be transformed into an equation of the form x^5 + b x^3 + c x + d = 0. Later this was generalized to equations of degree 6 by Joubert. We show that both results can be understood as an explicit analysis of certain covariants of the symmetric groups S_5 and S_6. In case of degree 5, the classical invari…
▽ More
A classical result from 1861 due to Hermite says that every separable equation of degree 5 can be transformed into an equation of the form x^5 + b x^3 + c x + d = 0. Later this was generalized to equations of degree 6 by Joubert. We show that both results can be understood as an explicit analysis of certain covariants of the symmetric groups S_5 and S_6. In case of degree 5, the classical invariant theory of binary forms of degree 5 comes into play whereas in degree 6 the existence of an outer automorphism of S_6 plays an essential role.
△ Less
Submitted 9 September, 2006; v1 submitted 19 March, 2004;
originally announced March 2004.
