Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · 2610.13745

The $E_6$ normal forms: semisimple deformations, geometry, DT invariants, and the $E_{6,\infty}$ order

Shengyong Pan
View original source ↗Read source document ↗Export metadata ↓

Abstract

We study the completed Jacobi algebras of $x^3+xy^3+p(y)$ for $\operatorname{ord}_yp=n\ge4$. The explicit normal-form morsification, the filtered length and centre proofs, and the cyclic terminal identities give finite free semisimple deformations. For every parameter of finite order we construct a polynomial curve neighbourhood and a local projective small contraction; the resulting geometric GV and Donaldson--Thomas calculations identify the block multiplicities. The one-dimensional limit $E_{6,\infty}$ is studied separately as an order: we determine its normalization, conductor, radical-idealizer chain, and maximal overorders. The canonical chain yields a nine-dimensional finite quotient whose Ringel dual is isomorphic to its opposite. An expanded construction gives a choice-independent $22$-dimensional quotient and a $40$-dimensional Ringel dual; a corner quotient relates the two finite constructions. The length and centre formulas are proved by a filtered comparison with a homogeneous matrix order and by terminal identities at the exceptional endpoint.

Explore related subjects

math.RA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Shengyong Pan. 2026-10-09. The $E_6$ normal forms: semisimple deformations, geometry, DT invariants, and the $E_{6,\infty}$ order. https://arxiv.org/abs/2610.13745

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Jacobson radicals of Ore extensions

Let $R$ be a ring, $σ$ be an automorphism of $R$, and $D$ be a $σ$-derivation on $R$ with $Dσ=σD$. We will show that $J(R[x;σ,D])\subseteq A[x;σ,D]$ where $A$ is a collection of all leading coefficients of polynomials in $J(R[x;σ,D])$. In addition, we will prove that $J(R[x;σ,D])\cap R$ is nil if $σ$ is locally torsion and one of the following conditions is given: (1) $R$ is a PI-ring and $D$ is $q$-skew, (2) $R$ is an algebra over a field of characteristic $p>0$ and $D$ is a locally nilpotent derivation such that $σD=Dσ$. This answers partially an open question by Greenfeld, Smoktunowicz and Ziembowski.

math.RA↗
arXiv2026

Projective Differential Moment Invariants from the Viewpoint of Classical Invariant Theory

Polynomial first-order projective differential moment invariants are investigated. The main result establishes an exact correspondence between such moment invariants and symmetric polynomial multipoint relative projective differential invariants of weight $-1$. This correspondence describes each homogeneous component with respect to moment degree and allows previously obtained results on relative projective invariants to be used for systematic construction. It is also proved that passing from the formal algebra of moments to their integral definitions introduces no additional algebraic relations among the constructed invariants. For low moment degrees, the absence of nontrivial invariants of degrees $1$ and $2$ is established, and a complete description of degree $3$ invariants is obtained. The ten cubic differential moments are naturally identified with the coefficients of a ternary cubic, connecting the construction with classical invariant theory. In particular, the Aronhold invariants $S$ and $T$ yield projective differential moment invariants of degrees $4$ and $6$. One of the known moment invariants of Wang et al. is shown to be proportional to $S$. The algebra of polynomial moment invariants is proved not to be finitely generated. The field of rational moment invariants coincides with the field of fractions of the polynomial invariant algebra. For the explicit constructions, compact multipoint representations define the corresponding moment polynomials without requiring their full expansions. These representations provide a basis for algorithmic construction and software computation of the invariants.

math.RA↗