Homological conjectures in commutative algebra

Homological conjectures in commutative algebra

In mathematics, the homological conjectures have been a focus of research activity in commutative algebra since the early 1960s. They concern a number of interrelated (sometimes surprisingly so) conjectures relating various homological properties of a commutative ring to its internal ring structure, particularly its Krull dimension and depth.

The following list given by Melvin Hochster is considered definitive for this area. "A, R," and "S" refer to Noetherian commutative rings. "R" will be a local ring with maximal ideal "mR", and "M" and "N" are finitely-generated "R"-modules.

# The Zerodivisor Theorem. If "M ≠ 0" has finite projective dimension (i.e., "M" has a finite projective (=free when "R" is local) resolution: the projective dimension is the length of the shortest such) and "r ∈ R" is not a zerodivisor on "M", then "r" is not a zerodivisor on "R".
# Bass's Question. If "M ≠ 0" has a finite injective resolution then "R" is a Cohen-Macaulay ring.
# The Intersection Theorem. If "M ⊗R N ≠ 0" has finite length, then the Krull dimension of "N" (i.e., the dimension of "R" modulo the annihilator of "N") is at most the projective dimension of "M".
# The New Intersection Theorem. Let "0 → Gn → … → G0 → 0" denote a finite complex of free "R"-modules such that "⊕iHi(G)" has finite length but is not "0". Then the (Krull dimension) "dim R ≤ n".
# The Improved New Intersection Conjecture. Let "0 → Gn → … → G0 → 0" denote a finite complex of free "R"-modules such that "Hi(G)" has finite length for "i > 0" and "H0(G)" has a minimal generator that is killed by a power of the maximal ideal of "R". Then "dim R ≤ n".
# The Direct Summand Conjecture. If "R ⊆ S" is a module-finite ring extension with "R" regular (here, "R" need not be local but the problem reduces at once to the local case), then "R" is a direct summand of "S" as an "R"-module.
# The Canonical Element Conjecture. Let "x1, …, xd" be a system of parameters for "R", let "F" be a free "R"-resolution of the residue field of "R" with "F0 = R", and let "K" denote the Koszul complex of "R" with respect to "x1, …, xd". Lift the identity map "R = K0 → F0 = R" to a map of complexes. Then no matter what the choice of system of parameters or lifting, the last map from "R = Kd → Fd" is not "0".
# Existence of Balanced Big Cohen-Macaulay Modules Conjecture. There exists a (not necessarily finitely generated) "R"-module "W" such that "mRW ≠ W" and every system of parameters for "R" is a regular sequence on "W".
# Cohen-Macaulayness of Direct Summands Conjecture. If "R" is a direct summand of a regular ring "S" as an "R"-module, then "R" is Cohen-Macaulay ("R" need not be local, but the result reduces at once to the case where "R" is local).
# The Vanishing Conjecture for Maps of Tor. Let "A ⊆ R → S" be homomorphisms where "R" is not necessarily local (one can reduce to that case however), with "A, S" regular and "R" finitely generated as an "A"-module. Let "W" be any "A"-module. Then the map "ToriA(W,R) → ToriA(W,S)" is zero for all "i ≥ 1".
# The Strong Direct Summand Conjecture. Let "R ⊆ S" be a map of complete local domains, and let "Q" be a height one prime ideal of "S" lying over "xR", where "R" and "R/xR" are both regular. Then "xR" is a direct summand of "Q" considered as "R"-modules.
# Existence of Weakly Functorial Big Cohen-Macaulay Algebras Conjecture. Let "R → S" be a local homomorphism of complete local domains. Then there exists an "R"-algebra "BR" that is a balanced big Cohen-Macaulay algebra for "R", an "S"-algebra "BS" that is a balanced big Cohen-Macaulay algebra for "S", and a homomorphism "BR → BS" such that the natural square given by these maps commutes.
# Serre's Conjecture on Multiplicities. (cf. Serre's multiplicity conjectures.) Suppose that "R" is regular of dimension "d" and that "M ⊗R N" has finite length. Then "χ(M, N)", defined as the alternating sum of the lengths of the modules "ToriR(M, N)" is "0" if "dim M + dim N < d", and positive if the sum is equal to "d". (N.B. Serre proved that the sum cannot exceed "d".)
# Small Cohen-Macaulay Modules Conjecture. If "R" is complete, then there exists a finitely-generated "R"-module "M ≠ 0" such that some (equivalently every) system of parameters for "R" is a regular sequence on "M".


Wikimedia Foundation. 2010.

Игры ⚽ Нужно сделать НИР?

Look at other dictionaries:

  • List of commutative algebra topics — Commutative algebra is the branch of abstract algebra that studies commutative rings, their ideals, and modules over such rings. Both algebraic geometry and algebraic number theory build on commutative algebra. Prominent examples of commutative… …   Wikipedia

  • List of homological algebra topics — This is a list of homological algebra topics, by Wikipedia page. Basic techniques Cokernel Exact sequence Chain complex Differential module Five lemma Short five lemma Snake lemma Nine lemma Extension (algebra) Central extension Splitting lemma… …   Wikipedia

  • Liste de conjectures mathématiques — Ce qui suit est une liste de conjectures mathématiques, non exhaustive. Elles sont divisées en quatre sections, en accord avec leur état en 2011. Voir aussi : Conjecture d Erdős (en), qui liste des conjectures de Paul Erdős et de ses… …   Wikipédia en Français

  • List of conjectures — This is an incomplete list of mathematical conjectures. They are divided into four sections, according to their status in 2007. See also: * Erdős conjecture, which lists conjectures of Paul Erdős and his collaborators * Unsolved problems in… …   Wikipedia

  • Serre's multiplicity conjectures — In mathematics, Serre s multiplicity conjectures are certain purely algebraic problems, in commutative algebra, motivated by the needs of algebraic geometry. Since André Weil s initial rigorous definition of intersection numbers, around 1949,… …   Wikipedia

  • List of mathematics articles (H) — NOTOC H H cobordism H derivative H index H infinity methods in control theory H relation H space H theorem H tree Haag s theorem Haagerup property Haaland equation Haar measure Haar wavelet Haboush s theorem Hackenbush Hadamard code Hadamard… …   Wikipedia

  • List of lemmas — This following is a list of lemmas (or, lemmata , i.e. minor theorems, or sometimes intermediate technical results factored out of proofs). See also list of axioms, list of theorems and list of conjectures. 0 to 9 *0/1 Sorting Lemma ( comparison… …   Wikipedia

  • Polynomial ring — In mathematics, especially in the field of abstract algebra, a polynomial ring is a ring formed from the set of polynomials in one or more variables with coefficients in another ring. Polynomial rings have influenced much of mathematics, from the …   Wikipedia

  • Melvin Hochster — Born August 2, 1943 (1943 08 02) (age 68) Nationality …   Wikipedia

  • Alexander Grothendieck — User:Geometry guy/InfoboxAlexander Grothendieck (born March 28, 1928 in Berlin, Germany) is considered to be one of the greatest mathematicians of the 20th century. He made major contributions to: algebraic topology, algebraic geometry, number… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”