Search arXiv⌕ Search

arXiv · 2609.36443

Christophersen's problem for monomial algebras

Abstract

Christophersen's problem predicts that the connected component of the automorphism group of a finite-dimensional local algebra $A$ of dimension $\ell$ over an algebraically closed field of characteristic zero has dimension at least $\ell-1$, with equality if and only if $A$ is isomorphic to $\mathbf{k}[t]/(t^{\ell})$. We settle this problem in the class of monomial algebras. Using the combinatorial structure of the irredundant irreducible decomposition of a monomial ideal, we prove the predicted inequality and characterize the equality case. We further obtain stronger lower bounds depending on whether the defining monomial ideal is reducible or irreducible, and we determine all monomial algebras attaining each of these bounds.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Roberto Díaz, Alvaro Liendo. 2026-09-29. Christophersen's problem for monomial algebras. https://arxiv.org/abs/2609.36443

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

KEEP EXPLORING

Related papers

$t$-Young complexes and squarefree powers of $t$-path ideals

We introduce a new class of simplicial complexes, called \emph{$t$-Young complexes}, arising from Young diagrams and a positive integer~$t$. We show that every $t$-Young complex is either contractible or homotopy equivalent to a wedge of spheres, and a complete characterization of their vertex-decomposability is provided. Interestingly, $t$-Young complexes naturally appear as the Alexander dual complexes of squarefree powers of $t$-path ideals of path graphs. For this family, we use generating functions to obtain an explicit formula for homotopy type. As applications, we determine the projective dimension and the Krull dimension of these squarefree powers.

math.AC↗

Stanley-Reisner Theory in Mixed Characteristic

We discuss a class of mixed characteristic rings defined analogously to Stanley-Reisner rings by replacing one variable with a uniformizing parameter for a discrete valuation ring. We adapt Hochster's formula for Tor and Ext modules, Hochster's formula for local cohomology, and Terai's criterion for Serre conditions to this new setting; one of the tools needed is cellular sheaf cohomology, for which we give a brief treatment.

math.AC↗

Hilbert Series and Logarithmic Degrees of $A$-Hypergeometric Series

Fix a generic weight vector and a fake exponent of a homogeneous $A$-hypergeometric system. Using all corresponding standard pairs, including embedded ones, we construct an Artinian quotient of the Stanley--Reisner ring of the link of the negative support. Its Hilbert series gives the graded dimensions of the orthogonal complement of the local fake indicial ideal and, under the Okuyama--Saito Frobenius condition, those of the leading logarithmic coefficient space of actual series solutions. The construction requires no Cohen--Macaulay hypothesis. When a top-dimensional standard pair occurs and the link is Cohen--Macaulay, the Hilbert series specializes to the $h$-polynomial of the link.

math.AC↗