Source author record

Melvin Hochster

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

ResearcherUnclaimed source record

math.AC math.CV

Catalog footprint

Research overview

7works

2topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Extensions of primes, flatness, and intersection flatness

We study when $R \to S$ has the property that prime ideals of $R$ extend to prime ideals or the unit ideal of $S$ , and the situation where this property continues to hold after adjoining the same indeterminates to both rings. We prove that if $R$ is reduced, every maximal ideal of $R$ contains only finitely many minimal primes of $R$ , and prime ideals of $R[X_1,\dots,X_n]$ extend to prime ideals of $S[X_1,\dots,X_n]$ for all $n$ , then $S$ is flat over $R$ . We give a counterexample to flatness over a reduced quasilocal ring $R$ with infinitely many minimal primes by constructing a non-flat $R$ -module $M$ such that $M = PM$ for every minimal prime $P$ of $R$ . We study the notion of intersection flatness and use it to prove that in certain graded cases it suffices to examine just one closed fiber to prove the stable prime extension property.

preprint2020arXiv

Faithfulness of Top Local Cohomology Modules in Domains

We study the conditions under which the highest nonvanishing local cohomology module of a domain $R$ with support in an ideal $I$ is faithful over $R$ , i.e., which guarantee that $H^c_I(R)$ is faithful, where $c$ is the cohomological dimension of $I$ . In particular, we prove that this is true for the case of positive prime characteristic when $c$ is the number of generators of $I$ .

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.

preprint2015arXiv

Continuous closure, axes closure, and natural closure

Let $R$ be a reduced affine $\mathbb C$ -algebra, with corresponding affine algebraic set $X$ . Let $\mathcal C(X)$ be the ring of continuous (Euclidean topology) $\mathbb C$ -valued functions on $X$ . Brenner defined the \emph{continuous closure} $I^{\rm cont}$ of an ideal $I$ as $I\mathcal C(X) \cap R$ . He also introduced an algebraic notion of \emph{axes closure} $I^{\rm ax}$ that always contains $I^{\rm cont}$ , and asked whether they coincide. We extend the notion of axes closure to general Noetherian rings, defining $f \in I^{\rm ax}$ if its image is in $IS$ for every homomorphism $R \to S$ , where $S$ is a one-dimensional complete seminormal local ring. We also introduce the \emph{natural closure} $I^\natural$ of $I$ . One of many characterizations is $I^\natural = I + \{f \in R: \exists n >0 \text{ with } f^n \in I^{n+1}\}$ . We show that $I^\natural \subseteq I^{\rm ax}$ , and that when continuous closure is defined, $I^\natural \subseteq I^{\rm cont }\subseteq I^{\rm ax}$ . Under mild hypotheses on the ring, we show that $I^\natural= I^{\rm ax}$ when $I$ is primary to a maximal ideal, and that if $I$ has no embedded primes, then $I = I^\natural$ if and only if $I = I^{\rm ax}$ , so that $I^{\rm cont}$ agrees as well. We deduce that in the polynomial ring $\mathbb C[x_1, \ldots, x_n]$ , if $f = 0$ at all points where all of the ${\partial f \over \partial x_i}$ are 0, then $f \in ( {\partial f \over \partial x_1}, \, \ldots, \, {\partial f \over \partial x_n})R$ . We characterize $I^{\rm cont}$ for monomial ideals in polynomial rings over $\mathbb C$ , but we show that the inequalities $I^\natural \subset I^{\rm cont}$ and $I^{\rm cont} \subset I^{\rm ax}$ can be strict for monomial ideals even in dimension 3. Thus, $I^{\rm cont}$ and $I^{\rm ax}$ need not agree, although we prove they are equal in $\mathbb C[x_1, x_2]$ .

preprint2011arXiv

Homological invariants of modules over contracting endomorphisms

It is proved that when R is a local ring of positive characteristic, $ϕ$ is its Frobenius endomorphism, and some non-zero finite R-module has finite flat dimension or finite injective dimension for the R-module structure induced through $ϕ$ , then R is regular. This broad generalization of Kunz's characterization of regularity in positive characteristic is deduced from a theorem concerning a local ring R with residue field of k of arbitrary characteristic: If $ϕ$ is a contracting endomorphism of R, then the Betti numbers and the Bass numbers over $ϕ$ of any non-zero finitely generated R-module grow at the same rate, on an exponential scale, as the Betti numbers of k over R.

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.

Melvin Hochster

Research overview

Is this your work?

7 publications

Extensions of primes, flatness, and intersection flatness

Faithfulness of Top Local Cohomology Modules in Domains

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

Universal Lex Ideal Approximations of Extended Hilbert Functions and Hamilton Numbers

Continuous closure, axes closure, and natural closure

Homological invariants of modules over contracting endomorphisms

Ideals Generated by Quadratic Polynomials

See the researcher in context

Building this map preview

Melvin Hochster

Research overview

Is this your work?

7 publications

Extensions of primes, flatness, and intersection flatness

Faithfulness of Top Local Cohomology Modules in Domains

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

Universal Lex Ideal Approximations of Extended Hilbert Functions and Hamilton Numbers

Continuous closure, axes closure, and natural closure

Homological invariants of modules over contracting endomorphisms

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$