Related papers: Cellular structure for the Herzog--Takayama Resolu…
We compute the depth and regularity of ideals associated with arbitrary fillings of positive integers to a Young diagram, called the tableau ideals.
We prove that truncations of nonstandard graded polynomial rings are (nonstandard) Koszul modules in the sense of Herzog and Iyengar. This provides an analogue of the fact that such truncations have linear resolutions in the standard graded…
This paper constructs an explicit homogeneous cellular basis for the cyclotomic Khovanov--Lauda--Rouquier algebras of type $A$.
We find formulas for the graded core of certain m-primary ideals in a graded ring. In particular, if S is the section ring of an ample line bundle on a Cohen-Macaulay complex projective variety, we show that under suitable hypothesis, the…
Inspired by a question of Lov\'asz, we introduce a hierarchy of nested semidefinite relaxations of the convex hull of real solutions to an arbitrary polynomial ideal, called theta bodies of the ideal. For the stable set problem in a graph,…
Given $\Sigma\subset\mathbb K[x_1,\ldots,x_k]$, any finite collection of linear forms, some possibly proportional, and any $1\leq a\leq |\Sigma|$, it has been conjectured that $I_a(\Sigma)$, the ideal generated by all $a$-fold products of…
We show that quantum cellular automata naturally form the degree-zero part of a coarse homology theory. The recent result of Ji and Yang that the space of QCA forms an Omega-spectrum in the sense of algebraic topology is a direct…
This paper studies Ulrich ideals in hypersurface rings. A characterization of Ulrich ideals is given. Using the characterization, we construct a minimal free resolution of an Ulrich ideal concretely. We also explore Ulrich ideals in a…
The polytope structure of the associahedron is decomposed into two categories, types and classes. The classification of types is related to integer partitions, whereas the classes present a new combinatorial problem. We solve this and…
We describe an algorithm for computing Macaulay dual spaces for multi-graded ideals. For homogeneous ideals, the natural grading is inherited by the Macaulay dual space which has been leveraged to develop algorithms to compute the Macaulay…
Recently, we obtained in [7] a new characterization for an orthogonal system to be a simple-minded system in the stable module category of any representation-finite self-injective algebra. In this paper, we apply this result to give an…
We give a parametrization of the ideal classes of rings associated to integral binary forms by classes of tensors in $\mathbb Z^2\tensor \mathbb Z^n\tensor \mathbb Z^n$. This generalizes Bhargava's work on Higher Composition Laws, which…
Tropical ideals, introduced in arXiv:1609.03838, define subschemes of tropical toric varieties. We prove that the top-dimensional parts of their varieties are balanced polyhedral complexes of the same dimension as the ideal. This means that…
We develop a theory of bicrystalline ideals, synthesizing Gr\"obner basis techniques and Kashiwara's crystal theory. This provides a unified algebraic, combinatorial, and computational approach that applies to ideals of interest, old and…
This work concerns the linearity defect of a module $M$ over a noetherian local ring $R$, introduced by Herzog and Iyengar in 2005, and denoted by $\text{ld}_R M$. Roughly speaking, $\text{ld}_R M$ is the homological degree beyond which the…
We study two partial orders on $[x_1,...,x_n]$, the free abelian monoid on ${x_1,...,x_n}$. These partial orders, which we call the ``strongly stable'' and the ``stable'' partial order, are defined by the property that their filters are…
In this paper we consider monomial localizations of monomial ideals and conjecture that a monomial ideal is polymatroidal if and only if all its monomial localizations have a linear resolution. The conjecture is proved for squarefree…
The textures associated with a point defect centered in a circular domain of a thin film with XY-like ordering have been analyzed. The family of equilibrium textures, both stable and metastable, can be classified by a new radial topological…
For every ballean $X$ we introduce two cardinal characteristics $cov^\flat(X)$ and $cov^\sharp(X)$ describing the capacity of balls in $X$. We observe that these cardinal characteristics are invariant under coarse equivalence and prove that…
This paper initiates a discrete Hodge theory for cellular sheaves taking values in a category of lattices and Galois connections. The key development is the Tarski Laplacian, an endomorphism on the cochain complex whose fixed points yield a…