English

Linearity Defects of Face Rings

Commutative Algebra 2007-05-23 v3

Abstract

Let S=K[x1,...,xn]S = K[x_1, ..., x_n ] be a polynomial ring over a field KK, and E=K<y1,...,yn>E = K < y_1, ..., y_n > an exterior algebra. The "linearity defect" ldE(N)ld_E(N) of a finitely generated graded EE-module NN measures how far NN departs from "componentwise linear". It is known that ldE(N)<ld_E(N) < \infty for all NN. But the value can be arbitrary large, while the similar invariant ldS(M)ld_S(M) for an SS-module MM is alway at most nn. We show that if IΔI_\Delta (resp. JΔJ_\Delta) is the squarefree monomial ideal of SS (resp. EE) corresponding to a simplicial complex Δ\Delta on 1,>...,n{1, >..., n}, then ldE(E/JΔ)=ldS(S/IΔ)ld_E(E/J_\Delta) = ld_S(S/I_\Delta). Moreover, except some extremal cases, ldld is a topological invariant of the Alexander dual Δ\Delta^\vee of Δ\Delta. We also show that, when n>3n > 3, ldE(E/JΔ)=n2ld_E(E/J_\Delta) = n-2 (this is the largest possible value) if and only if Δ\Delta is an nn-gon.

Keywords

Cite

@article{arxiv.math/0607780,
  title  = {Linearity Defects of Face Rings},
  author = {Ryota Okazaki and Kohji Yanagawa},
  journal= {arXiv preprint arXiv:math/0607780},
  year   = {2007}
}

Comments

19pages. Section 5 is largely revised; particularly, the proof of Theorem 5.1 is simplified. To appear in J. Algebra