Showing 1–9 of 9 results for author: Sobieska, A

Infinite free resolutions over numerical semigroup algebras via specialization

Authors: Tara Gomes, Christopher O'Neill, Aleksandra Sobieska, Eduardo Torres Dávila

Abstract: Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in a polyhedral cone $C_m$, known as the Kunz cone. The faces of $C_m$ form a stratification of numerical semigroups that has been shown to respect a number of algebraic properties of $S$, including the combinatorial structure of the minimal free resolution of the defining toric ideal $I_S$. In this wor… ▽ More Each numerical semigroup $S$ with smallest positive element $m$ corresponds to an integer point in a polyhedral cone $C_m$, known as the Kunz cone. The faces of $C_m$ form a stratification of numerical semigroups that has been shown to respect a number of algebraic properties of $S$, including the combinatorial structure of the minimal free resolution of the defining toric ideal $I_S$. In this work, we prove that the structure of the infinite free resolution of the ground field $\Bbbk$ over the semigroup algebra $\Bbbk[S]$ also respects this stratification, yielding a new combinatorial approach to classifying homological properties like Golodness and rationality of the poincare series in this setting. Additionally, we give a complete classification of such resolutions in the special case $m = 4$, and demonstrate that the associated graded algebras do not generally respect the same stratification. △ Less

Submitted 2 May, 2024; originally announced May 2024.

Minimal free resolutions of numerical semigroup algebras via Apéry specialization

Authors: Benjamin Braun, Tara Gomes, Ezra Miller, Christopher O'Neill, Aleksandra Sobieska

Abstract: Numerical semigroups with multiplicity $m$ are parameterized by integer points in a polyhedral cone $C_m$, according to Kunz. For the toric ideal of any such semigroup, the main result here constructs a free resolution whose overall structure is identical for all semigroups parametrized by the relative interior of a fixed face of $C_m$. The matrix entries of this resolution are monomials whose exp… ▽ More Numerical semigroups with multiplicity $m$ are parameterized by integer points in a polyhedral cone $C_m$, according to Kunz. For the toric ideal of any such semigroup, the main result here constructs a free resolution whose overall structure is identical for all semigroups parametrized by the relative interior of a fixed face of $C_m$. The matrix entries of this resolution are monomials whose exponents are parametrized by the coordinates of the corresponding point in $C_m$, and minimality of the resolution is achieved when the semigroup is maximal embedding dimension, which is the case parametrized by the interior of $C_m$ itself. △ Less

Submitted 21 June, 2024; v1 submitted 5 October, 2023; originally announced October 2023.

Comments: 20 pages

MSC Class: 20M14; 13D02; 52B05 (Primary); 05E40; 13F20; 13F65 (Secondary)

CellularResolutions M2 Package

Authors: Aleksandra Sobieska, Jay Yang

Abstract: Cellular resolutions are a technique for constructing resolutions of monomial ideals by giving a cell complex labeled by monomials, or more generally, by monomial modules. This \verb|Macaulay2| package allows us to work with cellular resolutions in a natural way. Cellular resolutions are a technique for constructing resolutions of monomial ideals by giving a cell complex labeled by monomials, or more generally, by monomial modules. This \verb|Macaulay2| package allows us to work with cellular resolutions in a natural way. △ Less

Submitted 16 July, 2023; originally announced July 2023.

A Taylor Resolution Over Complete Intersections

Authors: Aleksandra Sobieska

Abstract: The Taylor resolution is a fundamental object in the study of free resolutions over the polynomial ring, due to its explicit formula, cellular/combinatorial structure, and applicability to any and all monomial ideals. This paper generalizes the Taylor resolution to complete intersection rings via the Eisenbud--Shamash construction. The Taylor resolution is a fundamental object in the study of free resolutions over the polynomial ring, due to its explicit formula, cellular/combinatorial structure, and applicability to any and all monomial ideals. This paper generalizes the Taylor resolution to complete intersection rings via the Eisenbud--Shamash construction. △ Less

Submitted 13 December, 2022; originally announced December 2022.

Comments: 13 pages, 3 figures. Comments welcome!

MSC Class: 13D02

Subcomplexes of Certain Free Resolutions

Authors: Maya Banks, Aleksandra Sobieska

Abstract: What are the subcomplexes of a free resolution? This question is simple to state, but the naive approach leads to a computational quagmire that is infeasible even in small cases. In this paper, we invoke the Bernstein--Gelfand--Gelfand (BGG) correspondence to address this question for free resolutions given by two well-known complexes, the Koszul and the Eagon--Northcott. This novel approach provi… ▽ More What are the subcomplexes of a free resolution? This question is simple to state, but the naive approach leads to a computational quagmire that is infeasible even in small cases. In this paper, we invoke the Bernstein--Gelfand--Gelfand (BGG) correspondence to address this question for free resolutions given by two well-known complexes, the Koszul and the Eagon--Northcott. This novel approach provides a complete characterization of the ranks of free modules in a subcomplex in the Koszul case and imposes numerical restrictions in the Eagon--Northcott case. △ Less

Submitted 4 December, 2022; v1 submitted 30 December, 2021; originally announced December 2021.

Comments: 18 pages. Comments welcome!

MSC Class: 13D02; 13D40

Identifiability of Linear Compartmental Models: The Impact of Removing Leaks and Edges

Authors: Patrick Chan, Katherine Johnston, Anne Shiu, Aleksandra Sobieska, Clare Spinner

Abstract: A mathematical model is identifiable if its parameters can be recovered from data. Here, we focus on a particular class of model, linear compartmental models, which are used to represent the transfer of substances in a system. We analyze what happens to identifiability when operations are performed on a model, specifically, adding or deleting a leak or an edge. We first consider the conjecture of… ▽ More A mathematical model is identifiable if its parameters can be recovered from data. Here, we focus on a particular class of model, linear compartmental models, which are used to represent the transfer of substances in a system. We analyze what happens to identifiability when operations are performed on a model, specifically, adding or deleting a leak or an edge. We first consider the conjecture of Gross et al. that states that removing a leak from an identifiable model yields a model that is again identifiable. We prove a special case of this conjecture, and also show that the conjecture is equivalent to asserting that leak terms do not divide the so-called singular-locus equation. As for edge terms that do divide this equation, we conjecture that removing any one of these edges makes the model become unidentifiable,and then prove a case of this somewhat surprising conjecture. △ Less

Submitted 21 June, 2021; v1 submitted 8 February, 2021; originally announced February 2021.

Comments: 15 pages, 6 figures. Updated paper in light of conjecture now solved

MSC Class: 92C45; 37N25; 93B30

Toward Free Resolutions Over Scrolls

Authors: Laura Felicia Matusevich, Aleksandra Sobieska

Abstract: Let $R = k[x]/I$ where $I$ is the defining ideal of a rational normal $k$-scroll. We compute the Betti numbers of the ground field $\mathbb{k}$ as a module over $R$. For $k = 2$, we give the minimal free resolution of $\mathbb{k}$ over $R$. Let $R = k[x]/I$ where $I$ is the defining ideal of a rational normal $k$-scroll. We compute the Betti numbers of the ground field $\mathbb{k}$ as a module over $R$. For $k = 2$, we give the minimal free resolution of $\mathbb{k}$ over $R$. △ Less

Submitted 8 March, 2019; originally announced March 2019.

Comments: 14 pages, 2 figures

MSC Class: 13D02; 16S37; 16S36; 13F55

Counterexamples for Cohen-Macaulayness of Lattice Ideals

Authors: Laura Felicia Matusevich, Aleksandra Sobieska

Abstract: Let $\mathscr{L}\subset \mathbb{Z}^n$ be a lattice, $I$ its corresponding lattice ideal, and $J$ the toric ideal arising from the saturation of $\mathscr{L}$. We produce infinitely many examples, in every codimension, of pairs $I,J$ where one of these ideals is Cohen--Macaulay but the other is not. Let $\mathscr{L}\subset \mathbb{Z}^n$ be a lattice, $I$ its corresponding lattice ideal, and $J$ the toric ideal arising from the saturation of $\mathscr{L}$. We produce infinitely many examples, in every codimension, of pairs $I,J$ where one of these ideals is Cohen--Macaulay but the other is not. △ Less

Submitted 10 April, 2018; originally announced April 2018.

Comments: 9 pages, 2 figures

MSC Class: 52B20 (Primary); 13H10; 05E40; 13F99

On transformations of A-hypergeometric functions

Authors: Jens Forsgård, Laura Felicia Matusevich, Aleksandra Sobieska

Abstract: We propose a systematic study of transformations of $A$-hypergeometric functions. Our approach is to apply changes of variables corresponding to automorphisms of toric rings, to Euler-type integral representations of $A$-hypergeometric functions. We show that all linear $A$-hypergeometric transformations arise from symmetries of the corresponding polytope. As an application of the techniques devel… ▽ More We propose a systematic study of transformations of $A$-hypergeometric functions. Our approach is to apply changes of variables corresponding to automorphisms of toric rings, to Euler-type integral representations of $A$-hypergeometric functions. We show that all linear $A$-hypergeometric transformations arise from symmetries of the corresponding polytope. As an application of the techniques developed here, we show that the Appell function $F_4$ does not admit a certain kind of Euler-type integral representation. △ Less

Submitted 8 March, 2017; originally announced March 2017.

MSC Class: Primary: 33C70; 32A17; Secondary: 14M25