Let X be an n×n matrix of indeterminates over an algebraically closed field K, and let K[X] be the corresponding polynomial ring. If X is symmetric, we denote by It(X) the ideal of K[X] generated by the t×t minors of X, for 1≤t≤n; if X is alternating, we denote by Pft(x) the ideal generated by the t×t Pfaffians of X, for all even t such that 2≤t≤n. In the paper a formula is given which expresses the arithmetical rank (ara) of It(X) and Pft(X) in terms of n and t. The arithmetical rank of an ideal is the minimal number of elements generating the ideal up to radical. We use the theory of algebras with straightening laws to reduce the problem to the computation of a certain étale cohomology module. Using a cohomological criterion we conclude that the arithmetical rank of Pft(X) coincides with its cohomological dimension. The same is true for It(X) when t is odd. For the symmetric matrices the case of characteristic 2 represents an exception: for even t the cohomological criteria fail and the arithmetical rank has to be computed directly, by combinatorial means.

Arithmetical ranks of ideals associated to symmetric and alternating matrices

BARILE, Margherita
1995-01-01

Abstract

Let X be an n×n matrix of indeterminates over an algebraically closed field K, and let K[X] be the corresponding polynomial ring. If X is symmetric, we denote by It(X) the ideal of K[X] generated by the t×t minors of X, for 1≤t≤n; if X is alternating, we denote by Pft(x) the ideal generated by the t×t Pfaffians of X, for all even t such that 2≤t≤n. In the paper a formula is given which expresses the arithmetical rank (ara) of It(X) and Pft(X) in terms of n and t. The arithmetical rank of an ideal is the minimal number of elements generating the ideal up to radical. We use the theory of algebras with straightening laws to reduce the problem to the computation of a certain étale cohomology module. Using a cohomological criterion we conclude that the arithmetical rank of Pft(X) coincides with its cohomological dimension. The same is true for It(X) when t is odd. For the symmetric matrices the case of characteristic 2 represents an exception: for even t the cohomological criteria fail and the arithmetical rank has to be computed directly, by combinatorial means.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11586/42936
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 14
  • ???jsp.display-item.citation.isi??? 13
social impact