BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Melvin Hochster

Melvin Hochster contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.AC

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
6works
0followers
1topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

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

Published work

6 published item(s)

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.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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$.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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.

0 citations0 reviewsNo code linkedOpen access
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}$.

0 citations0 reviewsNo code linkedOpen access