Showing 1–8 of 8 results for author: Güntürkün, S

A study of a quadratic almost complete intersection ideal and its linked Gorenstein ideal

Authors: Rachel Diethorn, Sema Güntürkün, Alexis Hardesty, Pinar Mete, Liana Şega, Aleksandra Sobieska, Oana Veliche

Abstract: We examine the ideal $I=(x_1^2, \dots, x_n^2, (x_1+\dots+x_n)^2)$ in the polynomial ring $Q=k[x_1, \dots, x_n]$, where $k$ is a field of characteristic zero or greater than $n$. We also study the Gorenstein ideal $G$ linked to $I$ via the complete intersection ideal $(x_1^2, \dots, x_n^2)$. We compute the Betti numbers of $I$ and $G$ over $Q$ when $n$ is odd and extend known computations when $n$… ▽ More We examine the ideal $I=(x_1^2, \dots, x_n^2, (x_1+\dots+x_n)^2)$ in the polynomial ring $Q=k[x_1, \dots, x_n]$, where $k$ is a field of characteristic zero or greater than $n$. We also study the Gorenstein ideal $G$ linked to $I$ via the complete intersection ideal $(x_1^2, \dots, x_n^2)$. We compute the Betti numbers of $I$ and $G$ over $Q$ when $n$ is odd and extend known computations when $n$ is even. A consequence is that the socle of $Q/I$ is generated in a single degree (thus $Q/I$ is level) and its dimension is a Catalan number. We also describe the generators and the initial ideal with respect to reverse lexicographic order for the Gorenstein ideal $G$. △ Less

Submitted 4 April, 2025; originally announced April 2025.

MSC Class: 13D02; 13C13; 13P10

A Survey on The Eisenbud-Green-Harris Conjecture

Authors: Sema Gunturkun

Abstract: The Eisenbud-Green-Harris (EGH) conjecture offers a generalization of the famous Macaulay's theorem about the Hilbert functions of homogeneous ideals in a polynomial ring $K[x_1,\ldots, x_n]$. In this survey paper, we provide a good compilation of results on the EGH conjecture that have been obtained so far. We discuss these results in terms of their approaches. The Eisenbud-Green-Harris (EGH) conjecture offers a generalization of the famous Macaulay's theorem about the Hilbert functions of homogeneous ideals in a polynomial ring $K[x_1,\ldots, x_n]$. In this survey paper, we provide a good compilation of results on the EGH conjecture that have been obtained so far. We discuss these results in terms of their approaches. △ Less

Submitted 6 April, 2021; v1 submitted 25 March, 2021; originally announced March 2021.

Comments: Minor changes. This article is part of the special volume for Women in Commutative Algebra, Proceedings of the 2019 WICA Workshop

MSC Class: 13A02; 13D40; 13A15

The representation theory of the increasing monoid

Authors: Sema Güntürkün, Andrew Snowden

Abstract: We study the representation theory of the increasing monoid. Our results provide a fairly comprehensive picture of the representation category: for example, we describe the Grothendieck group (including the effective cone), classify injective objects, establish properties of injective and projective resolutions, construct a derived auto-duality, and so on. Our work is motivated by numerous connect… ▽ More We study the representation theory of the increasing monoid. Our results provide a fairly comprehensive picture of the representation category: for example, we describe the Grothendieck group (including the effective cone), classify injective objects, establish properties of injective and projective resolutions, construct a derived auto-duality, and so on. Our work is motivated by numerous connections of this theory to other areas, such as representation stability, commutative algebra, simplicial theory, and shuffle algebras. △ Less

Submitted 26 December, 2018; originally announced December 2018.

Comments: 105 pages

The Eisenbud-Green-Harris Conjecture for Defect Two Quadratic Ideals

Authors: Sema Gunturkun, Melvin Hochster

Abstract: The Eisenbud-Green-Harris (EGH) conjecture states that a homogeneous ideal in a polynomial ring $K[x_1,\,\ldots,\,x_n]$ over a field $K$ that contains a regular sequence $f_1,\,\ldots,\, f_n$ with degrees $a_i$, $i=1,\,\ldots,\,n$ has the same Hilbert function as a lex-plus-powers ideal containing the powers $x_i^{a_i}$, $i=1,\,\ldots,\,n$. In this paper, we discuss a case of the EGH conjecture fo… ▽ More The Eisenbud-Green-Harris (EGH) conjecture states that a homogeneous ideal in a polynomial ring $K[x_1,\,\ldots,\,x_n]$ over a field $K$ that contains a regular sequence $f_1,\,\ldots,\, f_n$ with degrees $a_i$, $i=1,\,\ldots,\,n$ has the same Hilbert function as a lex-plus-powers ideal containing the powers $x_i^{a_i}$, $i=1,\,\ldots,\,n$. In this paper, we discuss a case of the EGH conjecture for homogeneous ideals generated by $n+2$ quadrics containing a regular sequence $f_1,\, \ldots, \, f_n$ and give a complete proof for EGH when $n=5$ and $a_1=\cdots=a_5=2$. △ Less

Submitted 18 December, 2018; originally announced December 2018.

Comments: 16 pages

MSC Class: 13D40; 13A02; 13A15

Polarization of Neural Rings

Authors: Sema Gunturkun, Jack Jeffries, Jeffrey Sun

Abstract: The "neural code" is the way the brain characterizes, stores, and processes information. Unraveling the neural code is a key goal of mathematical neuroscience. Topology, coding theory, and, recently, commutative algebra are some the mathematical areas that are involved in analyzing these codes. Neural rings and ideals are algebraic objects that create a bridge between mathematical neuroscience and… ▽ More The "neural code" is the way the brain characterizes, stores, and processes information. Unraveling the neural code is a key goal of mathematical neuroscience. Topology, coding theory, and, recently, commutative algebra are some the mathematical areas that are involved in analyzing these codes. Neural rings and ideals are algebraic objects that create a bridge between mathematical neuroscience and commutative algebra. A neural ideal is an ideal in a polynomial ring that encodes the combinatorial firing data of a neural code. Using some algebraic techniques one hopes to understand more about the structure of a neural code via neural rings and ideals. In this paper, we introduce an operation, called "polarization," that allows us to relate neural ideals with squarefree monomial ideals, which are very well studied and known for their nice behavior in commutative algebra. △ Less

Submitted 26 June, 2017; originally announced June 2017.

Equivariant Hilbert Series of Monomial Orbits

Authors: Sema Gunturkun, Uwe Nagel

Abstract: The equivariant Hilbert series of an ideal generated by an orbit of a monomial under the action of the monoid $\mbox{Inc}(\mathbb{N})$ of strictly increasing functions is determined. This is used to find the dimension and degree of such an ideal. The result also suggests that the description of the denominator of an equivariant Hilbert series of an arbitrary $\mbox{Inc}(\mathbb{N})$-invariant idea… ▽ More The equivariant Hilbert series of an ideal generated by an orbit of a monomial under the action of the monoid $\mbox{Inc}(\mathbb{N})$ of strictly increasing functions is determined. This is used to find the dimension and degree of such an ideal. The result also suggests that the description of the denominator of an equivariant Hilbert series of an arbitrary $\mbox{Inc}(\mathbb{N})$-invariant ideal as given by Nagel and Römer is rather efficient. △ Less

Submitted 22 August, 2016; originally announced August 2016.

Comments: 12 pages

MSC Class: 13F20; 13A02; 13D40; 13A50

Boij-Söderberg Decompositions of Lex-segment Ideals

Authors: Sema Gunturkun

Abstract: Boij-Söderberg theory describes the scalar multiples of Betti diagrams of graded modules over a polynomial ring as a linear combination of pure diagrams with positive coefficients. There are a few results that describe Boij-Söderberg decompositions explicitly. In this paper, we focus on the Betti diagrams of lex-segment ideals and describe the Boij-Söderberg decomposition of a lex-segment ideal in… ▽ More Boij-Söderberg theory describes the scalar multiples of Betti diagrams of graded modules over a polynomial ring as a linear combination of pure diagrams with positive coefficients. There are a few results that describe Boij-Söderberg decompositions explicitly. In this paper, we focus on the Betti diagrams of lex-segment ideals and describe the Boij-Söderberg decomposition of a lex-segment ideal in terms of Boij-Söderberg decompositions of some other related lex-segment ideals. △ Less

Submitted 20 August, 2015; v1 submitted 31 March, 2014; originally announced April 2014.

Comments: The proof of Theorem 1.2 is improved

MSC Class: 13D02; 13C99; 13A99

Constructing Homogeneous Gorenstein Ideals

Authors: Sema Gunturkun, Uwe Nagel

Abstract: In 1983 Kustin and Miller introduced a construction of Gorenstein ideals in local Gorenstein rings, starting from smaller such ideals. We review and modify their construction in the case of graded rings and discuss it within the framework of Gorenstein liaison theory. We determine invariants of the constructed ideal. Concerning the problem of when a given Gorenstein ideal can be obtained by the co… ▽ More In 1983 Kustin and Miller introduced a construction of Gorenstein ideals in local Gorenstein rings, starting from smaller such ideals. We review and modify their construction in the case of graded rings and discuss it within the framework of Gorenstein liaison theory. We determine invariants of the constructed ideal. Concerning the problem of when a given Gorenstein ideal can be obtained by the construction, we derive a necessary condition and exhibit a Gorenstein ideal that can not be obtained using the construction. △ Less

Submitted 1 November, 2013; originally announced November 2013.