Frobenius and Cartier algebras of Stanley-Reisner rings (II)

TL;DR

This paper investigates the structure of Frobenius algebras associated with Stanley-Reisner rings, revealing a correspondence between algebra generators and simplicial complex faces, and providing an alternative proof of their generation properties.

Contribution

It establishes a new correspondence between Frobenius algebra generators and pairs of faces in the simplicial complex, offering a novel proof of their generation behavior.

Findings

Frobenius algebras are either principally generated or infinitely generated.

A one-to-one correspondence between potential generators and pairs of faces is established.

An alternative proof for the generation properties of these Frobenius algebras is provided.

Abstract

It is known that the Frobenius algebra of the injective hull of the residue field of a complete Stanley--Reisner ring (i.e. a formal power series ring modulo a squarefree monomial ideal) can be only principally generated or infinitely generated as algebra over its degree zero piece, and that this fact can be read off in the corresponding simplicial complex; in the infinite case, we exhibit a 1--1 correspondence between potential new generators appearing on each graded piece and certain pairs of faces of such a simplicial complex, and we use it to provide an alternative proof of the fact that these Frobenius algebras can only be either principally generated or infinitely generated.