Large Pedestal Ideal in Invariant Theory

• Large Pedestal Ideal is an invariant that captures where a Gₐ-action admits affine-linear orbit coordinates using c(t)-pairs in a positive-characteristic framework.
• It is constructed from elements h in the coordinate ring paired with nonzero additive polynomials to measure local triviality and orbit-coordinate structure.
• The ideal helps classify Gₐ-representations by distinguishing cases with or without quasi-principle pairs, thus influencing the geometry of the associated spectrum.

The large pedestal ideal is an invariant associated with a $\mathbb{G}_a$-variety $\operatorname{Spec}(A)$ in positive-characteristic invariant theory. In the formulation of "On the Invariant Theory of $\mathbb{G}_{a}$-Actions from a Geometric Perspective" (Maguire, 18 Sep 2025), it is the ideal $\mathfrak{P}_g(A)$ generated by those elements $h \in A$ that occur as second components of $c(t)$-pairs $(g,h)$, where $\beta^\sharp(g)=g+c(t)h$ for some non-zero additive polynomial $c(t)$. The construction measures where a $\mathbb{G}_a$-action admits affine-linear orbit coordinates on open sets $\operatorname{Spec}(A)$0, and it serves as one of the paper’s two central ideals, together with the pedestal ideal $\operatorname{Spec}(A)$1, for classifying $\operatorname{Spec}(A)$2-representations in characteristic $\operatorname{Spec}(A)$3 (Maguire, 18 Sep 2025).

1. $\operatorname{Spec}(A)$4-actions and the geometric setting

A $\operatorname{Spec}(A)$5-variety is a variety $\operatorname{Spec}(A)$6 equipped with an action

$\operatorname{Spec}(A)$7

equivalently a coaction on the coordinate ring

$\operatorname{Spec}(A)$8

A $\operatorname{Spec}(A)$9-representation is a homomorphism

$\mathbb{G}_{a}$0

on a finite-dimensional vector space $\mathbb{G}_{a}$1; on the symmetric algebra

$\mathbb{G}_{a}$2

this induces a $\mathbb{G}_{a}$3-action on the affine space $\mathbb{G}_{a}$4 (Maguire, 18 Sep 2025).

The invariant-theoretic object of interest is

$\mathbb{G}_{a}$5

together with the geometry of the quotient $\mathbb{G}_{a}$6. In characteristic zero, $\mathbb{G}_{a}$7-actions correspond to locally nilpotent derivations and Weitzenböck’s theorem gives finite generation for linear representations. In characteristic $\mathbb{G}_{a}$8, the paper treats the substantially subtler setting in which actions correspond to locally finite iterative higher derivations and additive polynomials in the Ore ring $\mathbb{G}_{a}$9 (Maguire, 18 Sep 2025).

Within this framework, the large pedestal ideal is introduced as a geometric device for detecting where the action admits orbit coordinates of affine-linear type. The term is not a generic synonym for a large H-mode pedestal in plasma physics or for a mechanically robust support in optomechanics; in the invariant-theoretic literature represented here, it is a specific ideal attached to a $\mathfrak{P}_g(A)$0-action (Maguire, 18 Sep 2025).

2. $\mathfrak{P}_g(A)$1-pairs and affine orbit coordinates

The construction of the large pedestal ideal begins with the notion of a $\mathfrak{P}_g(A)$2-pair, or equivalently a $\mathfrak{P}_g(A)$3-pair. Let $\mathfrak{P}_g(A)$4 be a $\mathfrak{P}_g(A)$5-variety and let $\mathfrak{P}_g(A)$6 be an additive polynomial in $\mathfrak{P}_g(A)$7. A $\mathfrak{P}_g(A)$8-pair is a pair $\mathfrak{P}_g(A)$9 with

$h \in A$0

such that

$h \in A$1

Equivalently, for every closed point $h \in A$2 and $h \in A$3,

$h \in A$4

If $h \in A$5, the pair is a principle pair. A quasi-principle $h \in A$6-pair is one for which the kernel group scheme $h \in A$7 acts trivially on $h \in A$8 (Maguire, 18 Sep 2025).

The geometric role of such pairs is immediate. Since $h \in A$9 is invariant, the principal open set

$c(t)$0

is $c(t)$1-stable. If $c(t)$2 is a $c(t)$3-pair, then the rational function $c(t)$4 defines a $c(t)$5-equivariant map

$c(t)$6

where $c(t)$7 denotes $c(t)$8 with twisted action $c(t)$9. Proposition 2.16 states that the existence of such a dominant equivariant morphism is equivalent to the existence of a $(g,h)$0-pair $(g,h)$1 with $(g,h)$2 (Maguire, 18 Sep 2025).

When $(g,h)$3, the resulting map detects genuine trivial $(g,h)$4-bundle structure. Proposition 2.18 states that, for $(g,h)$5, the following are equivalent: $(g,h)$6 is a trivial $(g,h)$7-bundle over $(g,h)$8; there exists a dominant, generically smooth, $(g,h)$9-equivariant morphism $\beta^\sharp(g)=g+c(t)h$0 with connected fibres; and there exists a principle pair $\beta^\sharp(g)=g+c(t)h$1. More generally, Proposition 2.22 shows that a quasi-principle $\beta^\sharp(g)=g+c(t)h$2-pair yields a trivial bundle for the effective quotient group $\beta^\sharp(g)=g+c(t)h$3 (Maguire, 18 Sep 2025).

A structural characterization accompanies this geometry. Corollary 2.9 states that there exists a $\beta^\sharp(g)=g+c(t)h$4-pair $\beta^\sharp(g)=g+c(t)h$5 for some additive $\beta^\sharp(g)=g+c(t)h$6 if and only if the variance $\beta^\sharp(g)=g+c(t)h$7 equals $\beta^\sharp(g)=g+c(t)h$8. The large pedestal ideal therefore packages precisely those second components $\beta^\sharp(g)=g+c(t)h$9 arising from variance-$c(t)$0 elements under the $c(t)$1-action (Maguire, 18 Sep 2025).

3. Definition of the large pedestal ideal

The large pedestal ideal is defined in Definition 3.1. For a $c(t)$2-variety $c(t)$3, it is the ideal generated by all $c(t)$4 for which there exist a non-zero additive polynomial $c(t)$5 and an element $c(t)$6 such that $c(t)$7 is a $c(t)$8-pair. Formally,

$c(t)$9

This ideal is attached to the action on $\mathbb{G}_a$0, not to an individual choice of $\mathbb{G}_a$1 (Maguire, 18 Sep 2025).

Conceptually, $\mathbb{G}_a$2 records those invariant denominators $\mathbb{G}_a$3 for which some function $\mathbb{G}_a$4 yields an affine transformation law along $\mathbb{G}_a$5-orbits. On $\mathbb{G}_a$6, the quotient $\mathbb{G}_a$7 then behaves as an orbit coordinate valued in a twisted $\mathbb{G}_a$8. In this sense, the ideal measures how much of the variety admits such additive orbit-coordinate structures (Maguire, 18 Sep 2025).

The paper also emphasizes that the large pedestal ideal sits above the pedestal ideal. Every quasi-principle pair is in particular a $\mathbb{G}_a$9-pair, so

$\operatorname{Spec}(A)$00

The distinction is that $\operatorname{Spec}(A)$01 allows arbitrary non-zero additive polynomials $\operatorname{Spec}(A)$02, while $\operatorname{Spec}(A)$03 restricts to pairs for which the kernel group scheme acts trivially, so that one obtains genuine local triviality after quotienting by the kernel (Maguire, 18 Sep 2025).

The vanishing or non-vanishing of $\operatorname{Spec}(A)$04 is representation-theoretically meaningful. When $\operatorname{Spec}(A)$05, Theorem 5.5 gives criteria for $\operatorname{Spec}(A)$06 in terms of the socle series of $\operatorname{Spec}(A)$07: a non-trivial representation has $\operatorname{Spec}(A)$08 if and only if $\operatorname{Spec}(A)$09, the socle series length is $\operatorname{Spec}(A)$10, and every $\operatorname{Spec}(A)$11 satisfies $\operatorname{Spec}(A)$12. The theorem further states that this phenomenon can occur only in characteristic $\operatorname{Spec}(A)$13 (Maguire, 18 Sep 2025).

4. Pedestal ideal, quasi-principle actions, and local triviality

The pedestal ideal $\operatorname{Spec}(A)$14 is a refinement of the large pedestal ideal. Definition 3.1 defines it as the ideal generated by $\operatorname{Spec}(A)$15 together with all $\operatorname{Spec}(A)$16 for which there exists a quasi-principle $\operatorname{Spec}(A)$17-pair $\operatorname{Spec}(A)$18, that is,

$\operatorname{Spec}(A)$19

By construction,

$\operatorname{Spec}(A)$20

The inclusion can be strict, and that strictness is one of the paper’s main positive-characteristic phenomena (Maguire, 18 Sep 2025).

The geometric significance of $\operatorname{Spec}(A)$21 is sharper than that of $\operatorname{Spec}(A)$22. The pedestal scheme is

$\operatorname{Spec}(A)$23

and its complement

$\operatorname{Spec}(A)$24

is the locus of affine stable points. If $\operatorname{Spec}(A)$25, then on open sets $\operatorname{Spec}(A)$26 arising from quasi-principle pairs, the action is, after dividing out $\operatorname{Spec}(A)$27, a trivial bundle over the quotient. In the paper’s terminology, a $\operatorname{Spec}(A)$28-variety with non-zero pedestal ideal on some affine neighbourhood is called quasi-principle (Maguire, 18 Sep 2025).

This difference between $\operatorname{Spec}(A)$29 and $\operatorname{Spec}(A)$30 is the reason the large pedestal ideal is necessary. $\operatorname{Spec}(A)$31 detects where the action becomes principle up to a finite kernel, whereas $\operatorname{Spec}(A)$32 also detects weaker additive-coordinate phenomena that do not yield local triviality because stabilizers or kernel actions obstruct the quotient picture (Maguire, 18 Sep 2025).

5. Classification of representations by pedestal behavior

For a linear representation $\operatorname{Spec}(A)$33 with

$\operatorname{Spec}(A)$34

the paper organizes representations into three cases according to the vanishing pattern of $\operatorname{Spec}(A)$35 and $\operatorname{Spec}(A)$36 (Maguire, 18 Sep 2025).

Case	Condition	Interpretation
(a)	$\operatorname{Spec}(A)$37	No nontrivial $\operatorname{Spec}(A)$38-pairs
(b)	$\operatorname{Spec}(A)$39 but $\operatorname{Spec}(A)$40	$\operatorname{Spec}(A)$41-pairs exist, but no quasi-principle pairs
(c)	$\operatorname{Spec}(A)$42	Quasi-principle behavior occurs

In case (a), Theorem 4.5 states that if

$\operatorname{Spec}(A)$43

then

$\operatorname{Spec}(A)$44

That is, the only invariants are polynomials in invariant linear forms. Example 4.4 gives a three-dimensional representation

$\operatorname{Spec}(A)$45

with independent additive polynomials $\operatorname{Spec}(A)$46, for which the large pedestal ideal of $\operatorname{Spec}(A)$47 is zero and

$\operatorname{Spec}(A)$48

The paper remarks that such representations are “uninteresting” from the viewpoint of classical invariant theory, because no higher-degree invariant structure appears (Maguire, 18 Sep 2025).

In case (c), quasi-principle pairs exist. The introduction states that, after suitable modification and possibly replacing $\operatorname{Spec}(A)$49 by a quotient, there exists an open affine subvariety $\operatorname{Spec}(A)$50 such that

$\operatorname{Spec}(A)$51

as $\operatorname{Spec}(A)$52-varieties. This is the situation closest to characteristic-zero slice theory and to the classical plinth ideal picture (Maguire, 18 Sep 2025).

Case (b) is the distinctive positive-characteristic regime. Here $\operatorname{Spec}(A)$53 but $\operatorname{Spec}(A)$54: additive orbit coordinates exist, but never in a quasi-principle form. Theorem 6.1 characterizes this case by the existence of an upper triangular basis and an additive polynomial $\operatorname{Spec}(A)$55 satisfying specific conditions on the coefficients $\operatorname{Spec}(A)$56 in the coaction, including the requirement that among invariant coordinates the span of certain non-zero additive polynomials $\operatorname{Spec}(A)$57 has dimension at least $\operatorname{Spec}(A)$58, together with the existence of a $\operatorname{Spec}(A)$59-pair $\operatorname{Spec}(A)$60. The theorem identifies this regime as a genuinely positive-characteristic phenomenon. The paper’s five-dimensional example of type (E:89) lies here: $\operatorname{Spec}(A)$61, $\operatorname{Spec}(A)$62, no open subvariety is a trivial bundle over its quotient, but local invariant calculations can still be reduced to finite group invariant theory after passing to suitable covers (Maguire, 18 Sep 2025).

6. Geometric meaning, algorithms, and relation to classical invariant theory

Geometrically, the large pedestal ideal controls where one has $\operatorname{Spec}(A)$63-pairs and hence equivariant morphisms to twisted additive lines. For each $\operatorname{Spec}(A)$64, there exists some $\operatorname{Spec}(A)$65 and some additive polynomial $\operatorname{Spec}(A)$66 giving a dominant equivariant map

$\operatorname{Spec}(A)$67

This provides a local orbit-coordinate description even when no genuine trivial bundle exists. By contrast, for $\operatorname{Spec}(A)$68, quasi-principle pairs yield étale-slice-type descriptions and local triviality after quotienting by $\operatorname{Spec}(A)$69 (Maguire, 18 Sep 2025).

This distinction has algorithmic implications. In case (c), generalized slice methods of van den Essen type can be applied directly on suitable opens. In case (b), the action is not locally trivial, but the non-zero large pedestal ideal still provides enough structure to compute invariants on localizations such as $\operatorname{Spec}(A)$70 and $\operatorname{Spec}(A)$71 using separable roots of $\operatorname{Spec}(A)$72 and finite group invariants. A plausible implication is that $\operatorname{Spec}(A)$73 acts as a weaker but still effective substitute for a slice in settings where $\operatorname{Spec}(A)$74 vanishes (Maguire, 18 Sep 2025).

The paper explicitly compares these ideals with Freudenburg’s plinth ideal from characteristic zero. In characteristic zero, for a locally nilpotent derivation $\operatorname{Spec}(A)$75, the plinth ideal is

$\operatorname{Spec}(A)$76

The pedestal ideal $\operatorname{Spec}(A)$77 plays the role of a geometric plinth in positive characteristic; when $\operatorname{Spec}(A)$78 is finitely generated over a characteristic-zero field, the paper states that the plinth ideal equals $\operatorname{Spec}(A)$79. The large pedestal ideal extends beyond this by including all $\operatorname{Spec}(A)$80-pairs, thereby capturing phenomena invisible to the classical plinth ideal, especially in case (b) (Maguire, 18 Sep 2025).

The paper also places the theory near Hilbert’s 14th problem and the Weitzenböck picture. Case (a) yields trivially finitely generated invariants because

$\operatorname{Spec}(A)$81

Case (c) is amenable to generalized slice algorithms. Case (b) is where the most delicate positive-characteristic pathologies arise; the large pedestal ideal is precisely what records the residual geometric structure available there (Maguire, 18 Sep 2025).

7. Terminological scope and usage in other fields

In the strict algebraic sense, large pedestal ideal refers to $\operatorname{Spec}(A)$82 for a $\operatorname{Spec}(A)$83-variety or representation, as defined above (Maguire, 18 Sep 2025). The phrase “large pedestal” also appears in unrelated technical literatures, but there it functions descriptively rather than as the name of an ideal. In spherical tokamak pedestal modeling, for example, a “large” or near-ideal pedestal denotes high pedestal pressure and wide pedestal, with limits set by KBM/MHD, ETG, and neoclassical transport (Li et al., 20 Mar 2026). In GaAs optomechanical disk resonators, an “ideal large pedestal” denotes a relatively wide and fabrication-robust pedestal that behaves mechanically as if almost decoupled from the substrate through shielding and mode interference (Nguyen et al., 2014).

These usages are conceptually independent. The invariant-theoretic large pedestal ideal is an algebraic object generated by second components of $\operatorname{Spec}(A)$84-pairs; the plasma-physics and optomechanics expressions describe limiting pedestal structures in entirely different physical systems. This separation of meanings is useful because the algebraic notion is highly specialized and depends on additive group actions, the Ore ring of additive polynomials, and the geometry of affine quotients in characteristic $\operatorname{Spec}(A)$85 (Maguire, 18 Sep 2025).