Searcharxiv⌕ Search
Home/Archive/arXiv

arXiv · math/0612344

The central simple modules of Artinian Gorenstein algebras

T. Harima·J. Watanabe
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let A be a standard graded Artinian algebra over a field of characteristic zero and let z be a linear form in A. We define the central simple modules for each such pair (A, z). Assume that A is Gorenstein. Then we prove that A has the strong Lefschetz property if and only if there exists a linear form z in A such that all central simple modules of the pair (A,z) have the strong Lefschetz property. In the course of proof we need to extend the definition of the strong Lefschetz property to finite graded modules over graded Artinian algebra, which previously was defined only for standard graded Artinian algebras.

Explore related subjects

math.AC

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

T. Harima, J. Watanabe. 2006-12-13. The central simple modules of Artinian Gorenstein algebras. https://arxiv.org/abs/math/0612344

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

$F$-injectivity does not imply $F$-fullness in normal domains

We construct examples of Noetherian three-dimensional local geometrically normal domains of prime characteristic which are $F$-injective but not $F$-full. Along the way, we find examples of two-dimensional local geometrically normal domains which are $F$-injective but not $F$-anti-nilpotent. A crucial theme of our constructions is the behavior of $F$-injectivity along a purely inseparable finite base change.

math.AC↗
arXiv2026

A new proof of characteristic-free Knörrer periodicity

Let $R = S/(f)$ be a complete local hypersurface ring and let $A = S[\![u,v]\!]/(f+uv)$. Pfister and Popescu showed that the stable categories of maximal Cohen-Macaulay modules over $R$ and over $A$ are equivalent, with no assumption on the characteristic. We give a short proof. If $(Φ,Ψ)$ is a matrix factorization of $h$ and $\partial$ is a derivation, then $(\partialΨ,\partialΦ)$ is a null-homotopy for multiplication by $\partial h$. Since $u$ and $v$ are partial derivatives of $f+uv$, they act as zero on the stable category of $A$, so the Koszul complex on $u$ and $v$ splits in the singularity category, and this gives density. For the double branched cover $S[\![z]\!]/(f+z^2)$ the same argument yields $2z$: it recovers Knörrer's lemma up to free summands on the double branched cover when $2$ is a unit, and we show by an example that this lemma, and periodicity for the iterated double branched cover $S[\![z,w]\!]/(f+z^2+w^2)$, fail in characteristic two. We also compute the second syzygy over $A$ of a maximal Cohen-Macaulay $R$-module by an explicit resolution, and show that the change of basis used there cannot be given by a universal matrix formula.

math.AC↗
arXiv2026

Intersection multiplicity of a sparse curve and a trinomial curve

Let f $\in$ C[x, y] be a trinomial and let g $\in$ C[x, y] be a sparse polynomial with N monomials (N $\ge$ 1). We address the problem of bounding the local intersection multiplicity of the bivariate polynomial system f = g = 0 at an isolated root q $\in$ (C * )^ 2 only in terms of N . Our main result establishes that the local multiplicity of the system at any isolated solution q $\in$ (C * ) ^2 is at most (N -1)(N +2)/ 2 , independently of the degrees of f and g. Furthermore, we know that this bound is sharp for N = 3.

math.AC↗