Alphabeta Math
LemmaStatement: Literature-sourcedProof: AI-adaptedPipeline-generatedjudge 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.

Multilinear components of symmetric-minor and Pfaffian ideals

Statement

Let k be a field, t≥1, and 0≤m<t. Write [t]={1,…,t} and let e1,…,et be the standard basis of Nt. In the polynomial ring on the generic symmetric t×t matrix Z=(zij), give zij=zji multidegree ei+ej. For I,J⊆[t] of size m+1, order each subset increasingly and write ZI,J for the corresponding minor. The multidegree (1,…,1) component of the ideal generated by all (m+1)-minors is spanned by det⁡(ZI,J)∏{a,b}∈πzab, where I and J are disjoint and π is a perfect matching (a partition into two-element blocks) of [t]∖(I∪J). For a generic alternating t×t matrix A=(aij) with aji=−aij and aii=0, give aij multidegree ei+ej. Fix 1≤s≤⌊t/2⌋. For S⊆[t], let AS be the principal submatrix with indices in increasing order. The multidegree (1,…,1) component of the ideal generated by principal Pfaffians of size 2s is spanned by Pf⁡(AS)∏{a,b}∈πaab, where S=(s1<⋯<s2s) and π is a perfect matching of [t]∖S. More precisely, for a perfect matching M={{i1,j1},…,{is,js}} of {1,…,2s} (that is, a partition into two-element blocks), order each pair so ia<ja and order the pairs by i1<⋯<is; set sgn⁡(M)=sgn⁡(i1,j1,…,is,js), the sign of that permutation of {1,…,2s}. Then Pf⁡(AS)=∑Msgn⁡(M)∏a=1sasia,sja. An empty spanning family denotes the zero subspace.

Facts & Assumptions

Given: The polynomial rings and multigradings in the Statement.

Proof

1.1givenalgebra

Each indicated minor is multihomogeneous, with degree ∑i∈Iei+∑j∈Jej. If I∩J≠∅, some label has degree at least 2ei, so multiplying by any polynomial with nonnegative multidegrees cannot produce degree (1,…,1). If I and J are disjoint, the complementary multidegree is one copy of ea for each unused label; its monomials are exactly products of off-diagonal variables over perfect matchings of those labels. Since the ideal component is a sum of homogeneous generator multiples, these are precisely its spanning elements.

2.1givenstep 1.1algebra∎

A Pfaffian generator on S already has multidegree ∑i∈Sei, because every term uses each label of S once. Its complementary multidegree is therefore one copy of ea for each label outside S, whose monomials are exactly the stated perfect-matching products. Homogeneity of the generated ideal gives both inclusions and proves the Pfaffian assertion.

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources