A characterization of zero-dimensional annihilators of tableaus
type: Item
instance of: scholarly article
title: A characterization of zero-dimensional annihilators of tableaus
zbMATH Open document ID: 0908.13015
author: Mark Heiligman
author: David Fu
published in: Journal of Algebra
publication date: 1999-03-10T00:00:00Z
review text: In the theory of linear recursive sequences over a field \(K\) there is a natural action of the polynomial ring \(K[x]\) on sequences (the end-off left shift), and every ideal of \(K[x]\) is the annihilator with respect to this action of some sequence \(s\). This is a direct consequence of the fact that \(K[x]\) is a principal ideal domain. In dimension \(n\geq 2\) the analogue of a sequence is a tableau, and there is an analogous action of \(K[x_1,x_2,\dots,x_n]\) on tableaux. However, a given ideal of \(K[X]=K[x_1,x_2,\dots,x_n]\) is not necessarily the annihilator of some tableau. Our main result is to characterize an important subset of those ideals which are annihilators. In order for a tableau to be completely determined by an ideal \(I\) and a finite set of initial conditions, we must have that \(K[X]/I\) is a finite-dimensional \(K\)-vector space, i.e., the only primes containing \(I\) are maximal, i.e., \(I\) is a 0-dimensional ideal. In particular, if \(m\) is maximal and \(I\) is \(m\)-primary then \(I\) is 0-dimensional. Using methods of primary decomposition, we will be able to reduce to this case. Following a suggestion of B. Sturmfels, we show that a 0-dimensional ideal is the annihilator of some tableau if and only if it is Gorenstein.
Mathematics Subject Classification ID: 13F20
Mathematics Subject Classification ID: 13P10
zbMATH DE Number: 1051587
zbMATH Keywords: tableau
zbMATH Keywords: Gorenstein
MaRDI profile type: Publication
full work available at URL: jabr.1996.7013
OpenAlex ID: W2052063918
cites work: Q5563439
DOI: 10.1006/JABR.1996.7013
description: scientific article; zbMATH DE number 1051587