Determinantal varieties over truncated polynomial rings
type: Item
instance of: scholarly article
title: Determinantal varieties over truncated polynomial rings
zbMATH Open document ID: 1085.14043
author: B. A. Sethuraman
author: T. Košir
published in: Journal of Pure and Applied Algebra
publication date: 2005-02-23T00:00:00Z
full work available at URL: https://arxiv.org/abs/math/0212051
review text: Consider the polynomial ring \(F[t]\) in a variable \(t\) over a field \(F\), and for some positive integer \(k\) the ring \(R= F[t]/(t^k)\). \(X(t)\) is defined as the ``generic'' \(m\times n\)-matrix over \(R\) which means that the \((i, j)\)-entry of \(X(t)\) is a truncated polynomial \(x^{(0)}_{ij}+ x^{(1)}_{ij} t+\cdots+ x^{(k- 1)}_{ij} t^{k-1}\) where the \(x^l_{ij}\), \(1\leq i\leq m\), \(1\leq j\leq n\), \(0\leq l< k\) are distinct indeterminates. (So \(X(t)\) is an \(m\times n\)-matrix over the ring \(F[x^l_{ij}\mid 1\leq i\leq m\), \(1\leq j\leq n\), \(0\leq l< k][t]/(t^k)\).) For a fixed \(r\) consider the \(r\)-minors of \(X(t)\) and the ideal \(I_{r,k}\) in \(F[x^l_{ij}]\) generated by the coefficients of all these \(r\)-minors. In case \(F\) is algebraically closed, \(Z_{r,k}\) denotes the variety in \(F^{mnk}\) defined by \(I_{r,k}\). For \(k= 1\) one obtains the classical determinantal ideals and varieties (see e.g. \textit{W. Bruns} and \textit{U. Vetter} [``Determinantal rings'', Lect. Notes Math. 1327 (1988; Zbl 0673.13006)]). Let \(m\leq n\). The authors show that \(Z_{r,k}\) is irreducible if and only if \(r= m\). If \(r< m\), then \(Z_{r,k}\) has \(\leq\lfloor k/2\rfloor+ 1\) components with equality for \(r= 2\). In some special cases they determine the components explicitly.
reviewed by: Udo Vetter
Mathematics Subject Classification ID: 14M12
Mathematics Subject Classification ID: 13C40
zbMATH DE Number: 2137307
MaRDI profile type: Publication
OpenAlex ID: W1981342132
arXiv ID: math/0212051
cites work: Determinantal rings
cites work: Q4023642
cites work: Q5602064
cites work: Q4317713
cites work: The Geometry of Schemes
cites work: Commuting pairs in the centralizers of 2-regular matrices
cites work: A sagbi basis for the quantum Grassmannian
DOI: 10.1016/J.JPAA.2004.06.001
Recommended article: A Gröbner basis for the \(2\times 2\) determinantal ideal mod \(t^2\)
Recommended article: Initial algebras of determinantal rings, Cohen-Macaulay and Ulrich ideals
Recommended article: KRS and determinantal ideals
Recommended article: Determinantal rings
Recommended article: Q4344396
Recommended article: On Ideals of Minors of Matrices with Indeterminate Entries
Recommended article: Ideals generated by principal minors
Recommended article: On Hilbert polynomial of certain determinantal ideals
Recommended article: Determinantal ideals and the Capelli identities
Recommended article: A Converse for the Cayley-Hamilton Theorem
description: scientific article