Papers by Koichiro Tani
3 paper(s) by this author
· All BibTeX
Algebras with straightening laws on join- or meet-semidistributive lattices
We study algebras with straightening laws on join- or meet-semidistributive lattices. We show that for a join-semidistributive (resp. meet-semidistributive) lattice, meet-distributivity (resp. join-distributivity) and Cohen--Macaulayness are equivalent, and that integrality implies these conditions. Thus, Hibi's conjecture that every integral lattice is Cohen--Macaulay holds for join- or meet-semidistributive lattices. For semidistributive lattices, distributivity, integrality and Cohen--Macaulayness are equivalent.
Standard multigraded Hibi rings and Cartwright-Sturmfels ideals
In this paper, we introduce standard multigradings on Hibi rings, which are algebras arising from posets. We show that any standard multigrading on a Hibi ring that makes its defining ideal (called the Hibi ideal) homogeneous is induced by a chain of the underlying poset. After that, we calculate the multigraded Hilbert series of Hibi rings by generalizing the theory of $P$-partition and we compute the multidegree polynomials of Hibi rings. Furthermore, we characterize Hibi ideals that are Cartwright-Sturmfels ideals.
Khovanskii bases of subalgebras arising from finite distributive lattices
The notion of Khovanskii bases was introduced by Kaveh and Manon. It is a generalization of the notion of SAGBI bases for a subalgebra of polynomials. The notion of SAGBI bases was introduced by Robbiano and Sweedler as an analogue of Gröbner bases in the context of subalgebras. A Hibi ideal is an ideal of a polynomial ring that arises from a distributive lattice. For the development of an analogy of the theory of Hibi ideals and Gröbner bases within the framework of subalgebras, in this paper, we investigate when the set of the polynomials associated with a distributive lattice forms a Khovanskii basis of the subalgebras it generates. We characterize such distributive lattices and their underlying posets. In particular, generalized snake posets and $\{(2+2),(1+1+1)\}$-free posets appear as the characterization.