Polarizations of powers of graded maximal ideals

DOI10.1016/J.JPAA.2021.106924MaRDI QIDQ2065614zbMATH OpenOpenAlexFDO

Authors Ayah Almousa, Gunnar Fløystad, Henning Lohne

Publication date 12 January 2022

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

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

Alexander dual Artinian monomial ideal maximal ideal power polarization polynomial ring simplicial ball

Combinatorial aspects of commutative algebra (05E40) Polynomial rings and ideals; rings of integer-valued polynomials (13F20) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: We give a complete combinatorial characterization of all possible polarizations of powers of the graded maximal ideal

(x_{1}, x_{2}, c d o t s, x_{m})^{n}

of a polynomial ring in

m

variables. We also give a combinatorial description of the Alexander duals of such polarizations. In the three variable case

m = 3

and also in the power two case

n = 2

the descriptions are easily visualized and we show that every polarization defines a (shellable) simplicial ball. We give conjectures relating to topological properties and to algebraic geometry, in particular that any polarization of an Artinian monomial ideal defines a simplicial ball.

Review text

The (standard) polarization process allows to construct from any monomial ideal \(I\subseteq K[\mathbf{x}_{N}]\) a squarefree monomial ideal \(J\) in a larger polynomial ring \(K[\mathbf{x}_{N\cup N'}]\), \(N\cap N'=\emptyset,\) such that \(K[\mathbf{x}_{N}]/I\) and \(K[\mathbf{x}_{N\cup N'}]/J\) have the same graded Betti numbers. Precisely, the standard \(K\)-algebra \(K[\mathbf{x}_N]/I\) can be obtained from \(K[\mathbf{x}_{N\cup N'}]/J\) by taking proper hyperplane sections given by linear forms of type \(x_{i'}-x_i\), for \(i'\in N'\) and \(i\in N\). Generalizing the standard construction, all the squarefree ideals \(J\) with such property are called \textit{ polarizations} of \(I\). It is therefore interesting to ask what conditions must be met for a squarefree monomial ideal to be a polarization of a given monomial ideal \(I.\) First, the authors find the answer to such question for the \(K[\mathbf{x}_N]/I\) artinian case, this is given in Corollary 2.6 in terms of \textit{separated model for \(I\)}. Then, many interesting conjectures and problems are discussed in Section 3. Moreover, the authors in Theorem 4.8, which is the main result of the paper, give a combinatorial characterization of the polarizations of the powers of the ideal \((x_1,\ldots,x_m)^n\) by looking at the spanning trees of suitable graphs. This result is then proved in Section 5. In Sections 6 and 9 the authors provide more details for the case of three variable \((m=3)\) and in Section 7 for the second power case \((n=2).\) It is also worth mentioning Theorem 8.1, which gives the generators of the Alexander duals of polarizations of maximal ideal powers.

Recommendations

Cites work

Cited in

(18)

This page was built for publication: Polarizations of powers of graded maximal ideals

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