Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedPipeline-generatedprecheck passjudge pass (gpt-6-luna)
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Gauge invariance of hypermultiplet mass and adjoint couplings

Physical scope

Pure algebra over the even chiral coefficient ring; no physical model, quantum measure or empirical premise is used.

Statement

Let R be the ring of even smooth chiral superfields on the specified flat superspace, with coefficients in the finite-dimensional supercommutative complex algebra of the superspace definition. Thus Dˉα˙f=0 for f∈R; its even elements commute. Fix an integer n≥1, identify a specified based complex vector space E with Cn and its dual with row vectors, and take Q∈Rn, Q~∈(Rn)∗ and M∈Mn(R). Suppose an invertible even chiral matrix U∈GLn(R) acts by the explicitly supplied substitutions

Q′=UQ,Q~′=Q~U−1,M′=UMU−1.

Then the chiral polynomials Q~Q and Q~MQ are invariant. In particular 2 Q~MQ+mQ~Q is invariant for every constant m∈C. Assigning the formal degrees [Q]=[Q~]=[M]=[m]=1 makes this sum homogeneous of degree three. These are algebraic claims about the supplied action; they require no physical model or asserted supersymmetry realization. For the application M=ρR∗(Φ), the same conclusion holds whenever that represented adjoint field has the stated conjugation law.

Facts & Assumptions

Given: The based finite-dimensional space, even chiral fields, invertible matrix and three substitution laws in the Lemma.

[F1]

Four-dimensional N=1 chiral superfield on flat superspace: smooth even chiral superfields satisfy Dˉα˙f=0 on their common classical coefficient-function domain.

[F2]

Four-dimensional N=1 superspace Grassmann algebra and Berezin integration: homogeneous coefficients satisfy the supercommutative sign rule and the odd derivatives satisfy the graded Leibniz rule; in particular even coefficients commute.

Proof

1.1givenF1F2algebra

By [F1] and [F2], sums and products of even chiral fields are even and chiral, so they form a commutative ring. From UU−1=I, differentiating by Dˉα˙ gives UDˉα˙(U−1)=0 since U is even and chiral; multiplying by U−1 shows its inverse is also chiral. Thus every displayed substitution is defined in the stated ring.

2.1givenstep 1.1algebra

Associativity and the dual inverse law give Q~′Q′=Q~U−1UQ=Q~Q. The same calculation with the middle endomorphism gives Q~′M′Q′=Q~U−1(UMU−1)UQ=Q~MQ. Both contractions are even chiral scalar fields by step 1.1.

3.1givenstep 2.1algebra∎

The constant linear combination is invariant by step 2.1. Its cubic term has formal degree 1+1+1=3 and its mass term degree 1+1+1=3. Substituting any represented adjoint field obeying the given conjugation law changes none of this algebra.

Depends on

Dependency tree · 2 levels

Sources