Initial complex associated to a jet scheme of a determinantal variety

DOI10.1016/J.JPAA.2010.06.025MaRDI QIDQ626720zbMATH OpenOpenAlexFDO

Authors Boyan Jonov

Publication date 18 February 2011

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1006.3883

zbMATH Keywords

determinantal varietiesfirst-order jet schemesGröbner basesStanley-Reisner rings

Mathematics Subject Classification ID

Linkage, complete intersections and determinantal ideals (13C40) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Determinantal varieties (14M12)

Abstract: We show in this paper that the principal component of the first order jet scheme over the classical determinantal variety of m x n matrices of rank at most 1 is arithmetically Cohen-Macaulay, by showing that an associated Stanley-Reisner simplicial complex is shellable.

Review text

Consider a classical determinantal variety \(X\) of \(m\times n\) (\(m\leq n\)) matrices of rank at most~1. It is known [\textit{T. Košir} and \textit{B. A. Sethuraman}, J. Pure Appl. Algebra 195, No. 1, 75--95 (2005; Zbl 1085.14043), J. Algebra 292, No. 1, 138--153 (2005; Zbl 1105.13009)] that, for \(m\geq 3\), the first-order jet scheme over \(X\) has two components \(Y\) and \(Y'\), where \(Y'\) is simply the affine space \(\mathbb A^{mn}_F\) and \(Y\) is the closure of the set of tangents at the nonsingular points of \(X\). This paper under review shows that the coordinate ring of \(Y\) is Cohen-Macaulay (Theorem~1.2). The author proves this in the following way. The Gröbner basis of the defining ideal \(J\) of \(Y\) for the graded lexicographical order has been already known [see loc. cit.] and we know that the ideal \(LT(J)\) of its leading terms is a squarefree monomial ideal, i.e., a Stanley-Reisner ideal. Then the author describes the structure of all facets of the simplicial complex \(\Delta_{LT(J)}\), corresponding to \(LT(J)\) (Thereom~2.5). In particular, it is shown that \(\Delta_{LT(J)}\) is shellable (Theorem~3.2). This implies that quotient ring by \(LT(J)\) and thus by \(J\) is Cohen-Macaulay.

Recommendations

• Jet schemes of determinantal varieties
• The dimension of jet schemes of singular varieties
• Hilbert series of certain jet schemes of determinantal varieties
• Jet schemes and invariant theory
• The Jet Scheme of a Monomial Scheme
• Jet schemes and singularities of W^r_d(C) loci
• Singularities in arbitrary characteristic via jet schemes
• The Multiplicity of Jet Schemes of a Simple Normal Crossing Divisor
• scientific article; zbMATH DE number 7141552
• Jet schemes of complex plane branches and equisingularity

Cites work

• A Gröbner basis for the 2 2 determinantal ideal mod t^2
• Determinantal varieties over truncated polynomial rings
• scientific article; zbMATH DE number 482758 (Why is no real title available?)
• scientific article; zbMATH DE number 2019938 (Why is no real title available?)
• scientific article; zbMATH DE number 2190625 (Why is no real title available?)
• The major counting of nonintersecting lattice paths and generating functions for tableaux

Cited in

(5)

• On jet schemes of Pfaffian ideals
• Arcs on determinantal varieties
• Jet schemes of the commuting matrix pairs scheme
• Jet schemes of determinantal varieties
• On jet schemes of determinantal varieties

This page was built for publication: Initial complex associated to a jet scheme of a determinantal variety

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q626720)