[Paper Review] G-biliaison of ladder Pfaffian varieties

Emanuela De Negri, Elisa Gorla|ArXiv.org|Sep 19, 2008

Commutative Algebra and Its Applications9 references3 citations

TL;DR

This paper establishes that ladder Pfaffian varieties—defined by pfaffians of mixed size in a subladder of a skew-symmetric matrix of indeterminates—are G-biliaison equivalent to a linear variety, thereby proving they are glicci (in the G-liaison class of a complete intersection). The result extends prior work on minors and pfaffians, using localization and generalized divisor theory to show these varieties are arithmetically Cohen-Macaulay, projectively normal, and generically Gorenstein, with a constructive G-biliaison sequence of length $2(t_1 + \cdots + t_s - s)$ steps.

ABSTRACT

The ideals generated by pfaffians of mixed size contained in a subladder of a skew-symmetric matrix of indeterminates define arithmetically Cohen-Macaulay, projectively normal, reduced and irreducible projective varieties. We show that these varieties belong to the G-biliaison class of a complete intersection. In particular, they are glicci.

Motivation & Objective

• To determine the liaison-theoretic properties of ladder Pfaffian varieties defined by pfaffians of mixed size in a subladder of a skew-symmetric matrix.
• To extend previous results on pfaffian ideals of fixed size to the case of mixed-size pfaffians.
• To prove that such varieties belong to the G-biliaison class of a linear variety, thereby establishing they are glicci.
• To provide a constructive G-biliaison sequence from the ladder Pfaffian variety to a complete intersection of the same codimension.

Proposed method

• Use of localization arguments to extend properties like arithmetical Cohen-Macaulayness and projective normality from fixed-size to mixed-size pfaffian ideals.
• Application of generalized divisor theory on generically Gorenstein schemes to define and analyze G-biliaison relations.
• Construction of an isomorphism between ideal sheaves modulo the defining ideal, using pfaffian identities and determinant expansions.
• Proof that the ratio of specific pfaffians is well-defined modulo the ideal, enabling the G-bilinkage isomorphism.
• Iterative reduction of pfaffian ideals through successive G-biliaisons, starting from higher-order pfaffians down to quadratic forms.
• Use of the theory of G-biliaison on arithmetically Cohen-Macaulay, generically Gorenstein schemes to realize the G-biliaison as two Gorenstein links.

Experimental results

Research questions

• RQ1 Do ladder Pfaffian varieties defined by pfaffians of mixed size in a subladder of a skew-symmetric matrix belong to the G-biliaison class of a complete intersection?
• RQ2 Can the G-biliaison class of such varieties be explicitly constructed via a finite sequence of Gorenstein links?
• RQ3 What is the codimension of a ladder Pfaffian variety in terms of the ladder’s upper corners and size parameters?
• RQ4 How does the mixed-size pfaffian ideal relate to the structure of the underlying scheme in terms of arithmetical Cohen-Macaulayness and projective normality?
• RQ5 Under what conditions on the ladder and size vector is such a variety arithmetically Gorenstein?

Key findings

• Ladder Pfaffian varieties are arithmetically Cohen-Macaulay and projectively normal, as established via localization techniques extending results from fixed-size pfaffians.
• The codimension of a ladder Pfaffian variety is computed explicitly in terms of the ladder’s upper corners and the size vector $t = (t_1, \dots, t_s)$, with the formula $\text{codim} = \sum_{k=1}^s (t_k - 1)$.
• These varieties are G-biliaison equivalent to a linear variety, as shown by constructing an explicit isomorphism of ideal sheaves modulo the defining ideal.
• The G-biliaison sequence consists of $2(t_1 + \cdots + t_s - s)$ steps, proving that ladder Pfaffian varieties are glicci.
• The construction relies on the invariance of the ratio of specific pfaffians modulo the ideal, which allows the definition of a generalized divisor isomorphism.
• Only special cases—such as fixed-size pfaffians in the full matrix or certain ladder configurations—are arithmetically Gorenstein, and even then, only finitely many such cases exist.