Related papers: Cellular structure for the Herzog--Takayama Resolu…
In this paper we study Ulrich ideals of and Ulrich modules over Cohen--Macaulay local rings from various points of view. We determine the structure of minimal free resolutions of Ulrich modules and their associated graded modules, and…
Classical objects in computational geometry are defined by explicit relations. Several years ago the pioneering works of T. Asano, J. Matousek and T. Tokuyama introduced "implicit computational geometry", in which the geometric objects are…
We consider fine G-gradings on M_n(C) (i.e. gradings of the matrix algebra over the complex numbers where each component is 1 dimensional). Groups which provide such a grading are known to be solvable. We consider the T-ideal of G-graded…
The Orlik-Solomon algebra ${\cal A}(G)$ of a matroid $G$ is the free exterior algebra on the points, modulo the ideal generated by the circuit boundaries. On one hand, this algebra is a homotopy invariant of the complement of any complex…
A "tropical ideal" is an ideal in the idempotent semiring of tropical polynomials that is also, degree by degree, a tropical linear space. We introduce a construction based on transversal matroids that canonically extends any principal…
Let $R$ be an integral domain and $A$ a symmetric cellular algebra over $R$ with a cellular basis $\{C_{S,T}^\lam \mid \lam\in\Lambda, S,T\in M(\lam)\}$. We will construct an ideal $L(A)$ of the center of $A$ and prove that $L(A)$ contains…
The Keller-Segel model is a system of partial differential equations modelling chemotactic aggregation in cellular systems. This model has blowing up solutions for large enough initial conditions in dimensions d >= 2, but all the solutions…
We show that, in a highest weight category with duality, the endomorphism algebra of a tilting object is naturally a cellular algebra. Our proof generalizes a recent construction of Andersen, Stroppel, and Tubbenhauer. This result raises…
We introduce cubic coordinates, which are integer words encoding intervals in the Tamari lattices. Cubic coordinates are in bijection with interval-posets, themselves known to be in bijection with Tamari intervals. We show that in each…
We prove an index theorem for the quotient module of a monomial ideal. We obtain this result by resolving the monomial ideal by a sequence of Bergman space like essentially normal Hilbert modules.
We prove that the Khovanov-Lauda-Rouquier algebras $R_\alpha$ of finite type are (graded) affine cellular in the sense of Koenig and Xi. In fact, we establish a stronger property, namely that the affine cell ideals in $R_\alpha$ are…
We construct two families of free resolutions that resolve the ideals of certain opposite Schubert varieties restricted to the big open cell. We conjecture that these examples have genericity properties translating to structure theorems for…
Let $\mathbb{K}$ be a field and $A$ a Noetherian $\mathbb{K}$-algebra. In a paper of 2020, M. Albert, C. Bertone, M. Roggero and W. M. Seiler proved that, given a quasi-stable module $U \subset R^m$ with $R=\mathbb{K}[x_0,\dots,x_n]$, any…
We introduce and study a special class of ideals, called tropical ideals, in the semiring of tropical polynomials, with the goal of developing a useful and solid algebraic foundation for tropical geometry. The class of tropical ideals…
One studies certain degenerations of the generic square matrix over a field $k$ along with its main related structures, such as the determinant of the matrix, the ideal generated by its partial derivatives, the polar map defined by these…
We introduce polytopal cell complexes associated with partial acyclic orientations of a simple graph, which generalize acyclic orientations. Using the theory of cellular resolutions, two of these polytopal cell complexes are observed to…
Let $R= S/I$ where $S=k[T_1, \ldots, T_n]$ and $I$ is a homogeneous ideal in $S$. The acyclic closure $R \langle Y \rangle $ of $k$ over $R$ is a DG algebra resolution obtained by means of Tate's process of adjoining variables to kill…
A phased matroid is a matroid with additional structure which plays the same role for complex vector arrangements that oriented matroids play for real vector arrangements. The realization space of an oriented (resp., phased) matroid is the…
Perfect ideals $I$ of grade $3$ in a local ring $(R,\mathfrak{m},\Bbbk)$ can be classified based on multiplicative structures on $\text{Tor}^R_{\bullet}(R/I,\Bbbk)$. The classification is incomplete in the sense that it remains open which…
Let A be a commutative noetherian ring, and \a an ideal in it. In this paper we continue the study, begun in [PSY1], of the derived \a-adic completion and the derived \a-torsion functors. Here are our results: (1) a structural…