Fiber cones, analytic spreads of the canonical and anticanonical ideals and limit Frobenius complexity of Hibi rings

DOI10.2969/JMSJ/81418141MaRDI QIDQ2004929zbMATH OpenOpenAlexFDO

Authors Mitsuhiro Miyazaki

Publication date 7 October 2020

Published in Journal of the Mathematical Society of Japan (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1804.01046, https://projecteuclid.org/euclid.jmsj/1580202107

zbMATH Keywords

analytic spreadEhrhart ringfiber coneFrobenius complexityHibi ring

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Associated graded rings of ideals (Rees ring, form ring), analytic spread and related topics (13A30) Characteristic (p) methods (Frobenius endomorphism) and reduction to characteristic (p); tight closure (13A35) Rings with straightening laws, Hodge algebras (13F50)

Abstract: Let ${calR}_{mathbbK}[H]$ be the Hibi ring over a field $mathbbK$ on a finite distributive lattice $H$, $P$ the set of join-irreducible elements of $H$ and $omega$ the canonical ideal of ${calR}_{mathbbK}[H]$. We show the powers $omeg{a}^{(n)}$ of $omega$ in the group of divisors $mathrmDiv({calR}_{mathbbK}[H])$ is identical with the ordinal powers of $omega$, describe the $mathbbK$-vector space basis of $omeg{a}^{(n)}$ for $ninmathbbZ$. Further, we show that the fiber cones $$ and $$ of $omega$ and $omeg{a}^{(-1)}$ are sum of the Ehrhart rings, defined by sequences of elements of $P$ with a certain condition, which are polytopal complex version of Stanley-Reisner rings. Moreover, we show that the analytic spread of $omega$ and $omeg{a}^{(-1)}$ are maximum of the dimensions of these Ehrhart rings. Using these facts, we show that the question of Page about Frobenius complexity is affirmative: $$, where $p$ is the characteristic of the field $mathbbK$.

Recommendations

• The Frobenius complexity of Hibi rings
• On the ratio of the multiplicity and the embedding dimension of Hibi rings
• On the Frobenius complexity of Stanley-Reisner rings
• Diagonal \(F\)-thresholds and \(F\)-pure thresholds of Hibi rings
• Generalized \(F\)-signatures of Hibi rings

Cites work

• A Sufficient Condition for a Hibi Ring to Be Level and Levelness of Schubert Cycles
• Hilbert functions of graded algebras
• scientific article; zbMATH DE number 4067064 (Why is no real title available?)
• scientific article; zbMATH DE number 3687501 (Why is no real title available?)
• scientific article; zbMATH DE number 3586175 (Why is no real title available?)
• On the commutation of the test ideal with localization and completion
• On the Frobenius complexity of determinantal rings
• On the generators of the canonical module of a Hibi ring: a criterion of level property and the degrees of generators
• On the structure of Noetherian symbolic Rees algebras
• Rings of Frobenius operators
• Rings of Invariants of Tori, Cohen-Macaulay Rings Generated by Monomials, and Polytopes
• The Frobenius complexity of a local ring of prime characteristic
• The Frobenius complexity of Hibi rings
• Tight closure does not commute with localization
• Torus embeddings and dualizing complexes

Cited in

(6)

• Hilbert series of fiber cones of ideals with almost minimal mixed multiplicity
• The Frobenius complexity of Hibi rings
• On the Frobenius complexity of Stanley-Reisner rings
• Non-Gorenstein loci of Ehrhart rings of chain and order polytopes
• The F-pure threshold of a Schubert cycle
• On the finiteness of the twisted complexity for a graded ring in prime characteristic

This page was built for publication: Fiber cones, analytic spreads of the canonical and anticanonical ideals and limit Frobenius complexity of Hibi rings

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