English
Related papers

Related papers: Ideals Generated by Quadratic Polynomials

200 papers

Let $I_1,\dots,I_n$ be ideals generated by linear forms in a polynomial ring over an infinite field and let $J = I_1 \cdots I_n$. We describe a minimal free resolution of $J$ and show that it is supported on a polymatroid obtained from the…

Commutative Algebra · Mathematics 2022-08-24 Aldo Conca , Manolis C. Tsakiris

We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…

alg-geom · Mathematics 2008-02-03 David Eisenbud , Bernd Sturmfels

We call an ideal in a polynomial ring robust if it can be minimally generated by a universal Gr\"obner basis. In this paper we show that robust toric ideals generated by quadrics are essentially determinantal. We then discuss two possible…

Commutative Algebra · Mathematics 2013-06-20 Adam Boocher , Elina Robeva

Let $R$ be a commutative Noetherian ring, $I$ an ideal, $M$ and $N$ finitely generated $R$-modules. Assume $V(I)\cap Supp(M)\cap Supp(N)$ consists of finitely many maximal ideals and let ${\l}(\e^i(N/I^nN,M))$ denote the length of…

Commutative Algebra · Mathematics 2007-05-23 Emanoil Theodorescu

Let K be a field and let S = K[x_1, ..., x_n] be a polynomial ring. Consider a homogenous ideal I in S. Let t_i denote reg(Tor_i (S/I, K)), the maximal degree of an ith syzygy of S/I. We prove bounds on the numbers t_i for i > n/2 purely in…

Commutative Algebra · Mathematics 2011-12-02 Jason McCullough

Let G be a finite graph on [n] = {1,2,3,...,n}, X a 2 times n matrix of indeterminates over a field K, and S = K[X] a polynomial ring over K. In this paper, we study about ideals I_G of S generated by 2-minors [i,j] of X which correspond to…

Commutative Algebra · Mathematics 2009-11-16 Masahiro Ohtani

Given a tree T on n vertices, there is an associated ideal I of a polynomial ring in n variables over a field, generated by all paths of a fixed length of T. We show that such an ideal always satisfies the Konig property and classify all…

Commutative Algebra · Mathematics 2012-11-21 Daniel Campos , Ryan Gunderson , Susan Morey , Chelsey Paulsen , Thomas Polstra

We determine, in a polynomial ring over a field, the arithmetical rank of certain ideals generated by a set of monomials and one binomial.

Commutative Algebra · Mathematics 2007-10-15 Margherita Barile

Using recent work by Erman-Sam-Snowden, we show that finitely generated ideals in the ring of bounded-degree formal power series in infinitely many variables have finitely generated Gr\"obner bases relative to the graded reverse…

Commutative Algebra · Mathematics 2021-04-06 Jan Draisma , Michal Lason , Anton Leykin

The space of n (ordered) points on the projective line, modulo automorphisms of the line, is one of the most important and classical examples of an invariant theory quotient, and is one of the first examples given in any course. Generators…

Algebraic Geometry · Mathematics 2007-05-23 Benjamin J. Howard , John Millson , Andrew Snowden , Ravi Vakil

We present a randomized polynomial-time algorithm to generate a random integer according to the distribution of norms of ideals at most N in any given number field, along with the factorization of the integer. Using this algorithm, we can…

Number Theory · Mathematics 2017-06-29 Zachary Charles

For a given ideal I in K[x_1,...,x_n,y_1,...,y_m] in a polynomial ring with n+m variables, we want to find all elements that can be written as f-g for some f in K[x_1,...,x_n] and some g in K[y_1,...,y_m], i.e., all elements of I that…

Symbolic Computation · Computer Science 2024-05-30 Manfred Buchacher , Manuel Kauers

Let $Q$ be a finite quiver without loops. Then there is an admissible ideal $I$ such that the algebra $kQ/I$ has global dimension at most two and is (strongly) quasi-hereditary. In addition some other (strongly) quasi-hereditary algebras…

Representation Theory · Mathematics 2010-10-20 Nicolas Poettering

For an ideal $I_{m,n}$ generated by all square-free monomials of degree $m$ in a polynomial ring $R$ with $n$ variables, we obtain a specific embedding of a canonical module of $R/I_{m,n}$ to $R/I_{m,n}$ itself. The construction of this…

Commutative Algebra · Mathematics 2017-04-12 Ela Celikbas , Jai Laxmi , Jerzy Weyman

We produce an infinite family of imaginary quadratic fields whose ideal class groups have $3$-rank at least $2$.

Number Theory · Mathematics 2018-03-13 Kalyan Chakraborty , Azizul Hoque

Let $K$ be a field and let $\mathbb N = \{1,2, \dots \}$. Let $R_n=K[x_{ij} \mid 1\le i\le n, j\in \mathbb N]$ be the ring of polynomials in $x_{ij}$ $(1 \le i \le n, j \in \mathbb N)$ over $K$. Let $S_n = Sym (\{1,2, \ldots, n \})$ and…

Rings and Algebras · Mathematics 2015-09-30 Eudes Antonio da Costa , Alexei Krasilnikov

Let $S = K[x_1, \ldots, x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\mathrm{deg}\ x_i = 1$ and $I \subset S$ a homogeneous ideal of $S$ with $\dim S/I = d$. The Hilbert series of $S/I$ is of the form…

Commutative Algebra · Mathematics 2018-07-16 Takayuki Hibi , Kazunori Matsuda

Let $I \subseteq R = \mathbb{K}[x_1,\ldots,x_n]$ be a toric ideal, i.e., a binomial prime ideal. We investigate when the ideal $I$ can be "split" into the sum of two smaller toric ideals. For a general toric ideal $I$, we give a sufficient…

Commutative Algebra · Mathematics 2021-02-09 Giuseppe Favacchio , Johannes Hofscheier , Graham Keiper , Adam Van Tuyl

Let $V$ be a valuation ring of a global field $K$. We show that for all positive integers $k$ and $1 < n_1 \leq \ldots \leq n_k$ there exists an integer-valued polynomial on $V$, that is, an element of $\text{Int}(V) = \{ f \in K[X] \mid…

Number Theory · Mathematics 2023-08-25 Victor Fadinger , Sophie Frisch , Daniel Windisch

Let R be a commutative ring. If P is a maximal ideal of R whose a power is finitely generated then we prove that P is finitely generated if R is either locally coherent or arithmetical or a polynomial ring over a ring of global dimension…

Rings and Algebras · Mathematics 2017-04-19 Francois Couchot