2025 CMS Winter Meeting
Toronto, Dec 5 - 8, 2025
Commutative Algebra
Org: Giulia Gaggero (McMaster University), Mahrud Sayrafi (Fields/McMaster University) and Adam Van Tuyl (McMaster University)
[PDF]
Org: Giulia Gaggero (McMaster University), Mahrud Sayrafi (Fields/McMaster University) and Adam Van Tuyl (McMaster University)
[PDF]
- KIERAN BHASKARA, McMaster University
- DENYS BULAVKA, Dalhousie University
- SUSAN COOPER, University of Manitoba
Decomposing Star Configuration Ideals [PDF]
- DENYS BULAVKA, Dalhousie University
-
Geometrically vertex decomposable ideals have a recursive structure that allows one to study the original ideal by investigating two related ideals, each of which is in one less variable. This underlying structure can be exploited to study important invariants of the ideal. Examples of ideals that are geometrically vertex decomposable include Schubert determinantal ideals and toric ideals of bipartite graphs. In this talk, we determine when the defining ideal of a star configuration in projective space is geometrically vertex decomposable. This is joint work with E. Guardo, E. Marangone, and A. Van Tuyl.
- SARA FARIDI, Dalhousie University
Extremal and D-Extremal ideals and their algebraic properties [PDF]
-
Extremal ideals are square-free monomial ideals which model or bound the algebraic properties of all square-free monomial ideals and their powers. A refinement of this concept is the notion of D-extremal ideals, which also takes into account the divisibility relations between the generators of the ideals. This talk will be an overview of of what extremal ideals and what kinds of questions can be answered by them.
- SELVI KARA, Bryn Mawr College
Algebraic Study of Polarized Neural Ideals [PDF]
-
Neural codes, collections of binary strings representing the firing patterns of neurons, can be studied algebraically through their associated neural ideals. These ideals encode receptive field relationships among neurons in a stimulus space. However, neural ideals are not necessarily monomial (not even homogeneous) and do not yield standard graded invariants. We study their polarization, yielding squarefree monomial ideals that preserve combinatorial structure. Focusing on these polar neural ideals, we compute and bound their graded Betti numbers, projective dimensions, and regularity. In particular, we prove an upper bound on projective dimension for polar neural ideals on n neurons and classify when this bound is attained. This is joint work with Ellie Lew.
- GRAHAM KEIPER, The University of Catania
Symbolic Powers of Toric Ideals [PDF]
-
This talk will discuss some recent joint work with Giuseppe Favacchio relating to symbolic powers of toric ideals. We will go over the necessary background on toric ideals as well as symbolic powers. We will then discuss two new results useful in the computation of symbolic powers of toric ideals. The first result will involve a novel method of computing the symbolic powers of toric ideals via tensors and the second result will show how the symbolic powers of toric ideals can be computed in terms of a particular saturation.
- IRESHA MADDUWE, Dalhousie University
- HASAN MAHMOOD, Dalhousie University
Simplicial Resolutions of Powers of Monomial Ideals [PDF]
- HASAN MAHMOOD, Dalhousie University
-
Given a monomial ideal \( I \) minimally generated by \( q \) monomials, we construct a simplicial complex \( \mathbb{M}_q^2 \) that supports a free resolution of the square \( I^2 \). We also define a natural subcomplex \( \mathbb{M}^2(I) \), depending on the specific generators of \( I \), that likewise supports a resolution of \( I^2 \). Our framework yields new bounds on the projective dimension of second powers of monomial ideals and provides sharper bounds for the Betti numbers of \( I^2 \) compared to those obtained from the Taylor resolution.
Furthermore, we introduce {permutation ideal} \( \mathcal{T}_q \), generated by \( q \) monomials, and prove that for any monomial ideal \( I \) with \( q \) generators, \( \beta(I^2) \;\leq\; \beta(\mathcal{T}_q^2). \) We also show that the simplicial complex \( \mathbb{M}_q^2 \) supports the {minimal} resolution of \( \mathcal{T}_q^2 \), and that \( \mathbb{M}_q^2 \) in fact coincides with the Scarf complex of \( \mathcal{T}_q^2 \). Finally, we present analogous constructions and results for third and higher powers of general monomial ideals. This is joint work with {Susan Cooper} and {Sara Faridi}, with additional related work in progress with {Sara Faridi} and {Chau Trung}.
- EMANUELA MARANGONE, University of Manitoba
Weighted Veronese Rings [PDF]
-
For a standard-graded polynomial ring R, the d-Veronese subring is generated as a k-algebra by degree d monomials, is Koszul, and its defining ideal is quadratic, binomial, and determinantal. In this talk, I will discuss what happens when we start instead with a non-standard graded polynomial ring.
In joint work with A. Seceleanu, L. Fiorindo, B. Chase, T. de Holleben, S. Singh, T. Nguyen, S. Bisui, we show that in the two-variable case, these weighted Veronese rings preserve many of these properties: they are Cohen–Macaulay, Koszul, and have a determinantal presentation. Moreover, their Hilbert function and Betti numbers depend only on the number and degrees of the generators. In contrast, in three or more variables, these properties no longer hold in general.
- GREGORY G. SMITH, Queen's University
Cellular free resolutions for normalizations of toric ideals [PDF]
-
The theory of cellular resolutions provides a concrete way to construct free resolutions of monomial ideals by relating them to cell complexes. While Bayer–Sturmfels formulate an analogue for binomial ideals, this theory is less fully developed. In this talk, we will expand the framework for cellular free resolutions and give explicit free resolutions for the normalization of a toric ideal. This is based on joint work with Christine Berkesch, Lauren Cranton Heller, and Jay Yang.
- JANET VASSILEV, University of New Mexico
Patterns in differential powers of ideals in affine semigroup rings [PDF]
-
Let $R$ be a two-dimensional normal affine semigroup ring, one of whose facets lies on the $x$-axis, the other lying within the first quadrant. We will discuss how the slope of the second facet determines patterns for the differential powers of ideals whose radical is the canonical ideal.
- DHARM VEER, Dalhousie University
- JAY YANG, Vanderbilt University
- SHAH RASHAN ZAMIR, Tulane University
On the algebraic properties of the Böröczky configuration [PDF]
- JAY YANG, Vanderbilt University
-
The Böröczky configuration of lines and (multiple) points exhibits extremal behavior in commutative algebra and combinatorics. Examples of this appear in the context of the containment problem for ordinary and symbolic powers of ideals and the proof of the Dirac-Motzkin conjecture by Green and Tao. This paper studies the algebraic properties of Böröczky configurations of arbitrary size. Our results compute the Waldschmit constant of the defining ideal of these configurations. Moreover, we use the weighted projective plane P(1,2,3) to give an upper bound for the degree of the minimal generators of their ideal. Finally, this construction is applied to an elliptic curve in the projective plane to give a new counterexample to the aforementioned containment problem.