Related papers: Gotzmann ideals of the polynomial ring

Let $R=k[x_1,..., x_r]$ be the polynomial ring in $r$ variables over an infinite field $k$, and let $M$ be the maximal ideal of $R$. Here a \emph{level algebra} will be a graded Artinian quotient $A$ of $R$ having socle $Soc(A)=0:M$ in a…

We show that there exists a saturated graded ideal in a standard graded polynomial ring which has the largest total Betti numbers among all saturated graded ideals for a fixed Hilbert polynomial.

We prove a generalization of Gotzmann's persistence theorem in the case of modules with constant Hilbert polynomial. As a consequence, we show that the defining equations that give the embedding of a Quot scheme of points into a…

In this article we mainly consider the positively Z-graded polynomial ring R=F[X,Y] over an arbitrary field F and Hilbert series of finitely generated graded R-modules. The central result is an arithmetic criterion for such a series to be…

For an arbitrary field K, let I be an ideal in the ring K[[x,y]] expressible as a polynomial in either the pair of ideals (x, y^4) and (x,y) or the pair (x,y^3) and (x^2, y). Let G be the group of automorphisms of K[[x,y]] sending the ideal…

Let $R$ be a Cohen-Macaulay local ring with a canonical module $\omega_R$. Let $I$ be an $\m$-primary ideal of $R$ and $M$, a maximal Cohen-Macaulay $R$-module. We call the function $n\longmapsto \ell (\Hom_R(M,{\omega_R}/{I^{n+1}…

This is a full study of the dynamics of polynomial planar vector fields whose linear part is a multiple of the identity and whose nonlinear part is a homogeneous polynomial of arbitrary degree $n>1$. It extends previous work by other…

Let A[X]_U be a fraction ring of the polynomial ring A[X] in the variable X over a commutative ring A. We show that the Hilbert functor {Hilb}^n_{A[X]_U} is represented by an affine scheme $\text{Symm}^n_A(A[X]_U)$ give as the ring of…

In this paper we develop the theory of homogeneous functions between finite abelian groups. Here, a function $f:G\longrightarrow H$ between finite abelian groups is homogeneous of degree $d$ if $f(nx)=n^df(x)$ for all $x\in G$ and all $n$…

Let $A$ be a commutative noetherian ring, let $\mathfrak a$ be an ideal of $A$. In this paper, we extend Hartshorne's characterization of cofinite complexes to more general classes of rings. We also determine conditions under which…

Let $G$ be a simple graph on $d$ vertices. We define a monomial ideal $K$ in the Stanley-Reisner ring $A$ of the order complex of the Boolean algebra on $d$ atoms. The monomials in $K$ are in one-to-one correspondence with the proper…

Let $k\in \mathbb{N}\setminus\{0\}$. For a commutative ring $R$, the ring of dual numbers of $k$ variables over $R$ is the quotient ring $R[x_1,\ldots,x_k]/ I $, where $I$ is the ideal generated by the set $\{x_ix_j\mid i,j=1,\ldots,k\}$.…

Consider the representations of an algebraic group G. In general, polynomial invariant functions may fail to separate orbits. The invariant subring may not be finitely generated, or the number and complexity of the generators may grow…

Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring over a field and $A$ a standard graded $S$-algebra. In terms of the Gr\"obner basis of the defining ideal $J$ of $A$ we give a condition, called the x-condition, which implies that all graded…

We develop a diagrammatic categorification of the polynomial ring $Z[x]$. Our categorification satisfies a version of Bernstein-Gelfand-Gelfand reciprocity property with the indecomposable projective modules corresponding to $x^n$ and…

Let $\mathbf{x}_{k \times p}$ be a $k \times p$ matrix of variables and let $\mathbb{F}[\mathbf{x}_{k \times p}]$ be the polynomial ring in these variables. Given two weak compositions $\alpha,\beta \models_0 n$ of lengths $\ell(\alpha) =…

We classify all invariants of the functor $I^n$ (powers of the fundamental ideal of the Witt ring) with values in $A$, that it to say functions $I^n(K)\rightarrow A(K)$ compatible with field extensions, in the cases where $A(K)=W(K)$ is the…

Let $G$ be a finitely generated abelian group, and let $S = A[x_1, ..., x_n]$ be a $G$-graded polynomial ring over a commutative ring $A$. Let $I_1, ..., I_s$ be $G$-homogeneous ideals in $S$, and let $M$ be a finitely generated $G$-graded…

The nonsingular variety G_T parametrizes all graded ideals I of R=k[x,y] for which the Hilbert function H(R/I)=T. The variety G_T has a natural cellular decomposition: each cell V(E) corresponds to a monomial ideal E for which H(R/E)=T.…

We continue the study of counting complexity begun in [Buergisser, Cucker 04] and [Buergisser, Cucker, Lotz 05] by proving upper and lower bounds on the complexity of computing the Hilbert polynomial of a homogeneous ideal. We show that the…