Searcharxiv⌕ Search

arXiv subjects

Csaba Schneider

Publications and source records attributed to Csaba Schneider.

At least 19 recordsLinked to original sources
arXiv2026

Invariants of Nilpotent Lie Algebras via Geometry and Algebra with a Focus on Computation

We consider the problem of computing rational invariants of nilpotent Lie algebras. We compare two methods that are commonly used for this task: the method of integral curves and the Dixmier map. Given a derivation of a rational function field with polynomial coefficients, we formulate a condition under which the kernel can be recovered from a family of rational integral curves, and we show that triangular derivations satisfy this hypothesis. This yields an explicit description of the kernel as a purely transcendental extension and produces algebraically independent generators. We also show that, in the triangular case, the resulting generators agree with those obtained from the Dixmier map via a local slice. A careful analysis of the generating set obtained from this method leads to an algorithm for computing generators of the rational invariant field of a nilpotent Lie algebra. An implementation of the methods is available in the SageMath system.

math.RA↗
arXiv2023

The center and invariants of standard filiform Lie algebras

This paper describes the centers of the universal enveloping algebras and the invariant rings of the standard filiform Lie algebras over fields of characteristic zero and also over large enough prime characteristic. We determine explicit generators for the quotient fields and also a compact form for the generators for the invariants rings. We prove several combinatorial results concerning the Hilbert series of these algebras.

math.RA↗
arXiv2023

Generalized torsion elements in groups

A group element is called a generalized torsion if a finite product of its conjugates is equal to the identity. We prove that in a nilpotent or FC-group, the generalized torsion elements are all torsion elements. Moreover, we compute the generalized order of an element in a finite group $G$ using its character table.

math.GR↗
arXiv2022

Effective computations of the Atiyah-Bott formula

We present an implementation of the Atiyah-Bott residue formula for $\overline{M}_{0,m}(\mathbb{P}^{n},d)$. We use this implementation to compute a large number of Gromov-Witten invariants of genus $0$, including intersection numbers of rational curves on general complete intersections. We also compute some numbers of rational contact curves satisfying suitable Schubert conditions. Our computations confirm known predictions made by Mirror Symmetry. The code we developed for these problems is publicly available and can also be used for other types of computations.

math.AG↗
arXiv2021

The center of the universal enveloping algebras of small-dimensional nilpotent Lie algebras in prime characteristic

We describe the centers of the universal enveloping algebras of nilpotent Lie algebras of dimension at most six over fields of prime characteristic. If the characteristic is not smaller than the nilpontency class, then the center is the integral closure of the algebra generated over the $p$-center by the same generators that also occur in characteristic zero. Except for three examples (two of which are standard filiform), this algebra is already integrally closed and hence it coincides with the center. In the case of these three exceptional algebras, the center has further generators. Then we show that the center of the universal enveloping algebra of the algebras investigated in this paper is isomorphic to the Poisson center (the algebra of invariants under the adjoint representation). This shows that Braun's conjecture is valid for this class of Lie algebras.

math.RA↗
arXiv2021

The geometry of diagonal groups

Diagonal groups are one of the classes of finite primitive permutation groups occurring in the conclusion of the O'Nan-Scott theorem. Several of the other classes have been described as the automorphism groups of geometric or combinatorial structures such as affine spaces or Cartesian decompositions, but such structures for diagonal groups have not been studied. The main purpose of this paper is to describe and characterise such structures, which we call diagonal semilattices. Unlike the diagonal groups in the O'Nan-Scott theorem, which are defined over finite characteristically simple groups, our construction works over any group, finite or infinite. A diagonal semilattice depends on a dimension m and a group T. For m=2, it is a Latin square, the Cayley table of T, though in fact any Latin square satisfies our axioms. However, for m>=3, the group T emerges naturally and uniquely from the axioms. (The situation somewhat resembles projective geometry, where projective planes exist in profusion but higher-dimensional structures are coordinatised by an algebraic object, a division ring.) A diagonal semilattice is contained in the partition lattice on a set, and we provide an introduction to the calculus of partitions. Many of the concepts and constructions come from experimental design in statistics. We also determine when a diagonal group can be primitive, or quasiprimitive (these conditions are equivalent for diagonal groups). Associated with the diagonal semilattice is a graph, the diagonal graph, which has the same automorphism group except in four small cases with m<=3. The class of diagonal graphs includes some well-known families, Latin-square graphs and folded cubes. We obtain partial results on the chromatic number of a diagonal graph, and mention an application to synchronization.

math.GR↗
arXiv2020

Groups with a solvable subgroup of prime-power index

In this paper we describe some properties of groups $G$ that contain a solvable subgroup of finite prime-power index (Theorem 1 and Corollaries 2--3). We prove that if $G$ is a non-solvable group that contains a solvable subgroup of index $p^{\alpha}$ (for some prime $p$), then the quotient $G/\mbox{rad}(G)$ of $G$ over the solvable radical is asymptotically small in comparison to $p^{\alpha}!$ (Theorem 4).

math.GR↗
arXiv2020

Six-dimensional nilpotent Lie algebras

We give a full classification of 6-dimensional nilpotent Lie algebras over an arbitrary field, including fields that are not algebraically closed and fields of characteristic~2. To achieve the classification we use the action of the automorphism group on the second cohomology space, as isomorphism types of nilpotent Lie algebras correspond to orbits of subspaces under this action. In some cases, these orbits are determined using geometric invariants, such as the Gram determinant or the Arf invariant. As a byproduct, we completely determine, for a 4-dimensional vector space $V$, the orbits of $\GL(V)$ on the set of 2-dimensional subspaces of $V\wedge V$.

math.RA↗
arXiv2020

The isomorphism problem for universal enveloping algebras of four-dimensional solvable Lie algebras

This paper is a contribution to the isomorphism problem for universal enveloping algebras of finite-dimensional Lie algebras. We focus on solvable Lie algebras of small dimensions over fields of arbitrary characteristic. We prove, over an arbitrary field, that the isomorphism type of a metabelian Lie algebra whose derived subalgebra has codimension one is determined by its universal enveloping algebra. As an application of the results in this paper, we solve the isomorphism problem for solvable Lie algebras of dimension four over fields of characteristic zero and also point out the problems that occur in prime characteristic.

math.RA↗
arXiv2019

Computing singularities of the spectra of representation rings of finite groups

Let $G$ be a finite group of order $n$, and $ξ$ an $n$-th primitive root of unity. Consider the affine scheme $C:=\mbox{Spc}({\mathbb Z}[ξ]\otimes_{\mathbb Z} R(G))$ where $R(G)$ is the representation ring of $G$. We study the fibers of the formal tangent sheaf of $C$ by computing their dimension and also finding (and measuring) the singularities of $C$. We present explicit computations for noncommutative groups of small order, and develop practical methods to compute these invariants for an arbitrary finite group.

math.AG↗
arXiv2019

Non-singular derivations of solvable Lie algebras in prime characteristic

We study solvable Lie algebras in prime characteristic $p$ that admit non-singular derivations. We show that Jacobson's Theorem remains true if the quotients of the derived series have dimension less than~$p$. We also study the structure of Lie algebras with non-singular derivations in which the derived subalgebra is abelian and has codimension~one. The paper presents some new examples of solvable, but not nilpotent, Lie algebras of derived length~3 with non-singular derivations.

math.RA↗
arXiv2019

Transitive characteristically simple subgroups of finite quasiprimitive permutation groups

The first main result of this paper is that a finite transitive nonabelian characteristically simple subgroup of a wreath product in product action must lie in the base group of the wreath product. This allows us to characterize nonabelian transitive characteristically simple subgroups $H$ of finite quasiprimitive permutation groups $G$. If the socle of $G$, denoted by $\mbox{soc}(G)$, is nonabelian, then $H$ lies in $\mbox{soc}(G)$. An explicit description is given for the possibilities of $H$ under the condition that $H$ does not contain a nontrivial normal subgroup of $\mbox{soc}(G)$.

math.GR↗
arXiv2018

Duality between $p$-groups with three characteristic subgroups and semisimple anti-commutative algebras

Let $p$ be an odd prime and let $G$ be a non-abelian finite $p$-group of exponent $p^2$ with three distinct characteristic subgroups, namely $1$, $G^p$, and $G$. The quotient group $G/G^p$ gives rise to an anti-commutative ${\mathbb F}_p$-algebra $L$ such that the action of ${\rm Aut}(L)$ is irreducible on $L$; we call such an algebra IAC. This paper establishes a duality $G\leftrightarrow L$ between such groups and such IAC algebras. We prove that IAC algebras are semisimple and we classify the simple IAC algebras of dimension at most 4 over certain fields. We also give other examples of simple IAC algebras, including a family related to the $m$-th symmetric power of the natural module of ${\rm SL}(2,{\mathbb F})$.

math.GR↗
arXiv2017

Group factorisations, uniform automorphisms, and permutation groups of simple diagonal type

We present a new proof, which is independent of the finite simple group classification and applies also to infinite groups, that quasiprimitive permutation groups of simple diagonal type cannot be embedded into wreath products in product action. The proof uses several deep results that concern factorisations of direct products involving subdirect subgroups. We find that such factorisations are controlled by the existence of uniform automorphisms.

math.GR↗
arXiv2015

Finite 2-distance transitive graphs

A non-complete graph $Γ$ is said to be $(G,2)$-distance transitive if $G$ is a subgroup of the automorphism group of $Γ$ that is transitive on the vertex set of $Γ$, and for any vertex $u$ of $Γ$, the stabilizer $G_u$ is transitive on the sets of vertices at distance 1 and 2 from $u$. This paper investigates the family of $(G,2)$-distance transitive graphs that are not $(G,2)$-arc transitive. Our main result is the classification of such graphs of valency not greater than 5.

math.GR↗
arXiv2015

Inclusions of innately transitive groups into wreath products in product action with applications to $2$-arc-transitive graphs

We study $(G,2)$-arc-transitive graphs for innately transitive permutation groups $G$ such that $G$ can be embedded into a wreath product $\symΓ\wr\sy\ell$ acting in product action on $Γ^\ell$. We find two such connected graphs: the first is Sylvester's double six graph with 36 vertices, while the second is a graph with $120^2$ vertices whose automorphism group is $\aut\sp 44$. We prove that under certain conditions no more such graphs exist.

math.GR↗
arXiv2014

Point-primitive generalised hexagons and octagons

In 2008, Schneider and Van Maldeghem proved that if a group acts flag-transitively, point-primitively, and line-primitively on a generalised hexagon or generalised octagon, then it is an almost simple group of Lie type. We show that point-primitivity is sufficient for the same conclusion, regardless of the action on lines or flags. This result narrows the search for generalised hexagons or octagons with point- or line-primitive collineation groups beyond the classical examples, namely the two generalised hexagons and one generalised octagon admitting the Lie type groups $\mathsf{G}_2(q)$, $\,^3\mathsf{D}_4(q)$, and $\,^2\mathsf{F}_4(q)$, respectively.

math.CO↗