On the Topological Structure of the (Non-) Finitely-generated Locus of Frobenius Algebras emerging from Stanley-Reisner Rings

DOI10.1080/00927872.2022.2099885zbMATH Open1510.13009arXiv2105.04782MaRDI QIDQ6367331FDOQ6367331

Danny de Jesús Gómez-Ramírez, Sergio D. Molina, Juan Diego Vélez, Juan P. Hernandez-Rodas, Edisson Gallego

Publication date: 11 May 2021

Abstract: In this paper we study initial topological properties of the (non-)finitely-generated locus of Frobenius Algebra coming from Stanley-Reisner rings defined through face ideals. More specifically, we will give a partial answer to a conjecture made by M. Katzman about the openness of the finitely generated locus of such Frobenius algebras. This conjecture can be formulated in a precise manner: Let us define �egin{equation*} U={Pin ext{Spec}(R)~:~mathcal{F}(E_{R_{p}})~ ext{is a finitely generated}~R_{p} ext{-algebra}} end{equation*} where $mathcalF$ denotes the Frobenius functor and $E_{R_p}$ the injective hull of the residual field of the local ring $(R_p,p{R}_p)$. Is the locus $U$ an open set in the Zariski Topology? In the case where $R$ is a ring of the form $R=K[[x_1,dots,x_n]]/I,$ where $IsubsetR$ is a face ideal, i.e., square-free monomial ideal, we show that the corresponding $U$ has non-empty interior. Even more, we prove that in general $U$ contains two different types of opens sets and that in specific situation its complement contains intersections of opens and closes sets in the Zariski topology. Furthermore, we explicitly verify in some non-trivial examples that $U$ is an non-trivial open set.

Mathematics Subject Classification ID

Theory of modules and ideals in commutative rings (13C99) Complete rings, completion (13J10) General and miscellaneous (16B99)

This page was built for publication: On the Topological Structure of the (Non-) Finitely-generated Locus of Frobenius Algebras emerging from Stanley-Reisner Rings

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