Source author record

Tigran Ananyan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.AC

Catalog footprint

Research overview

3works

1topics

1close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Strength conditions, small subalgebras, and Stillman bounds in degree $\leq 4$

In [2], the authors prove Stillman's conjecture in all characteristics and all degrees by showing that, independent of the algebraically closed field $K$ or the number of variables, $n$ forms of degree at most $d$ in a polynomial ring $R$ over $K$ are contained in a polynomial subalgebra of $R$ generated by a regular sequence consisting of at most ${}^η\!B(n,d)$ forms of degree at most $d$ : we refer to these informally as "small" subalgebras. Moreover, these forms can be chosen so that the ideal generated by any subset defines a ring satisfying the Serre condition R $_η$ . A critical element in the proof is to show that there are functions ${}^η\!A(n,d)$ with the following property: in a graded $n$ -dimensional $K$ -vector subspace $V$ of $R$ spanned by forms of degree at most $d$ , if no nonzero form in $V$ is in an ideal generated by ${}^η\!A(n,d)$ forms of strictly lower degree (we call this a {\it strength} condition), then any homogeneous basis for $V$ is an R $_η$ sequence. The methods of \cite{AH2} are not constructive. In this paper, we use related but different ideas that emphasize the notion of a {\it key function} to obtain the functions ${}^η\!A(n,d)$ in degrees 2, 3, and 4 (in degree 4 we must restrict to characteristic not 2, 3). We give bounds in closed form for the key functions and the ${}^η\!A$ functions, and explicit recursions that determine the functions ${}^η\!B$ from the ${}^η\!A$ functions. In degree 2, we obtain an explicit value for ${}^η\!B(n,2)$ that gives the best known bound in Stillman's conjecture for quadrics when there is no restriction on $n$ . In particular, for an ideal $I$ generated by $n$ quadrics, the projective dimension $R/I$ is at most $2^{n+1}(n - 2) + 4$ .

preprint2020arXiv

Universal Lex Ideal Approximations of Extended Hilbert Functions and Hamilton Numbers

Let $R^h$ denote the polynomial ring in variables $x_1,\,\ldots,\, x_h$ over a specified field $K$ . We consider all of these rings simultaneously, and in each use lexicographic (lex) monomial order with $x_1 > \cdots > x_h$ . Given a fixed homogeneous ideal $I$ in $R^h$ , for each $d$ there is unique lex ideal generated in degree at most $d$ whose Hilbert function agrees with the Hilbert function of $I$ up to degree $d$ . When we consider $IR^N$ for $N \geq h$ , the set $\mathfrak{B}_d(I,N)$ of minimal generators for this lex ideal in degree at most $d$ may change, but $\mathfrak{B}_d(I,N)$ is constant for all $N \gg 0$ . We let $\mathfrak{B}_d(I)$ denote the set of generators one obtains for all $N \gg 0$ , and we let $b_d = b_d(I)$ be its cardinality. The sequences $b_1, \, \ldots, \, b_d, \, \ldots$ obtained in this way may grow very fast. Remarkably, even when $I = (x_1^2, x_2^2)$ , one obtains a very interesting sequence, 0, 2, 3, 4, 6, 12, 924, 409620, $\,\ldots$ . This sequence is the same as $H_{d-1} + 1$ for $d \geq 2$ , where $H_d$ is the $d\,$ th Hamilton number. The Hamilton numbers were studied by Hamilton and by Hammond and Sylvester because of their occurrence in a counting problem connected with the use of Tschirnhaus transformations in manipulating polynomial equations.

preprint2011arXiv

Ideals Generated by Quadratic Polynomials

Let $R$ be a polynomial ring in $N$ variables over an arbitrary field $K$ and let $I$ be an ideal of $R$ generated by $n$ polynomials of degree at most 2. We show that there is a bound on the projective dimension of $R/I$ that depends only on $n$ , and not on $N$ . The proof depends on showing that if $K$ is infinite and $n$ is a positive integer, there exists a positive integer C(n), independent of $N$ , such that any $n$ forms of degree at most 2 in $R$ are contained in a subring of $R$ generated over $K$ by at most $t \leq C(n)$ forms $G_1, \,..., \, G_t$ of degree 1 or 2 such that $G_1, \,..., \, G_t$ is a regular sequence in $R$ . C(n) is asymptotic to $2n^{2n}$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Tigran Ananyan

Research overview

Is this your work?

3 publications

Strength conditions, small subalgebras, and Stillman bounds in degree $\leq 4$

Universal Lex Ideal Approximations of Extended Hilbert Functions and Hamilton Numbers

Ideals Generated by Quadratic Polynomials

See the researcher in context

Building this map preview

Tigran Ananyan

Research overview

Is this your work?

3 publications

Strength conditions, small subalgebras, and Stillman bounds in degree ≤4\leq 4≤4

Universal Lex Ideal Approximations of Extended Hilbert Functions and Hamilton Numbers

Ideals Generated by Quadratic Polynomials

See the researcher in context

Building this map preview

Strength conditions, small subalgebras, and Stillman bounds in degree $\leq 4$