Homological conjectures in commutative algebra (original) (raw)
In mathematics, 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. In the sequel, , and refer to Noetherian commutative rings; will be a local ring with maximal ideal , and and are finitely generated -modules.
Property | Value |
---|---|
dbo:abstract | In mathematics, 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. In the sequel, , and refer to Noetherian commutative rings; will be a local ring with maximal ideal , and and are finitely generated -modules. 1. * The Zero Divisor Theorem. If has finite projective dimension and is not a zero divisor on , then is not a zero divisor on . 2. * Bass's Question. If has a finite injective resolution then is a Cohen–Macaulay ring. 3. * The Intersection Theorem. If 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. 4. * The New Intersection Theorem. Let denote a finite complex of free R-modules such that has finite length but is not 0. Then the (Krull dimension) . 5. * The Improved New Intersection Conjecture. Let denote a finite complex of free R-modules such that has finite length for and has a minimal generator that is killed by a power of the maximal ideal of R. Then . 6. * The Direct Summand Conjecture. If 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 conjecture was proven by Yves André using a theory of perfectoid spaces. 7. * The Canonical Element Conjecture. Let be a system of parameters for R, let be a free R-resolution of the residue field of R with , and let denote the Koszul complex of R with respect to . Lift the identity map to a map of complexes. Then no matter what the choice of system of parameters or lifting, the last map from is not 0. 8. * 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. 9. * 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). 10. * The Vanishing Conjecture for Maps of Tor. Let 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 is zero for all . 11. * The Strong Direct Summand Conjecture. Let be a map of complete local domains, and let Q be a height one prime ideal of S lying over , where R and are both regular. Then is a direct summand of Q considered as R-modules. 12. * Existence of Weakly Functorial Big Cohen-Macaulay Algebras Conjecture. Let 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 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. 13. * Serre's Conjecture on Multiplicities. (cf. Serre's multiplicity conjectures.) Suppose that R is regular of dimension d and that has finite length. Then , defined as the alternating sum of the lengths of the modules is 0 if , and is positive if the sum is equal to d. (N.B. Jean-Pierre Serre proved that the sum cannot exceed d.) 14. * Small Cohen–Macaulay Modules Conjecture. If R is complete, then there exists a finitely-generated R-module such that some (equivalently every) system of parameters for R is a regular sequence on M. (en) |
dbo:wikiPageExternalLink | https://arxiv.org/abs/1608.08882 http://www.math.lsa.umich.edu/~hochster/homcj.pdf |
dbo:wikiPageID | 490135 (xsd:integer) |
dbo:wikiPageLength | 6246 (xsd:nonNegativeInteger) |
dbo:wikiPageRevisionID | 1033531925 (xsd:integer) |
dbo:wikiPageWikiLink | dbr:Serre's_multiplicity_conjectures dbc:Conjectures dbc:Unsolved_problems_in_mathematics dbr:Mathematics dbr:Melvin_Hochster dbr:Annihilator_(ring_theory) dbr:Commutative_algebra dbr:Commutative_ring dbr:Yves_André dbr:Zero_divisor dbr:Koszul_complex dbr:Krull_dimension dbr:Local_ring dbr:Finitely_generated_module dbr:Projective_module dbr:Jean-Pierre_Serre dbr:System_of_parameters dbc:Homological_algebra dbc:Commutative_algebra dbr:Cohen–Macaulay_ring dbr:Homological_algebra dbr:Regular_sequence dbr:Direct_summand dbr:Injective_resolution dbr:Noetherian dbr:Perfectoid_space dbr:Residue_field dbr:Projective_dimension dbr:Depth_(algebra) |
dbp:wikiPageUsesTemplate | dbt:Reflist |
dct:subject | dbc:Conjectures dbc:Unsolved_problems_in_mathematics dbc:Homological_algebra dbc:Commutative_algebra |
rdf:type | yago:WikicatConjectures yago:Abstraction100002137 yago:Cognition100023271 yago:Concept105835747 yago:Content105809192 yago:Hypothesis105888929 yago:Idea105833840 yago:PsychologicalFeature100023100 yago:Speculation105891783 |
rdfs:comment | In mathematics, 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. In the sequel, , and refer to Noetherian commutative rings; will be a local ring with maximal ideal , and and are finitely generated -modules. (en) |
rdfs:label | Homological conjectures in commutative algebra (en) |
owl:sameAs | freebase:Homological conjectures in commutative algebra yago-res:Homological conjectures in commutative algebra wikidata:Homological conjectures in commutative algebra https://global.dbpedia.org/id/4muEb |
prov:wasDerivedFrom | wikipedia-en:Homological_conjectures_in_commutative_algebra?oldid=1033531925&ns=0 |
foaf:isPrimaryTopicOf | wikipedia-en:Homological_conjectures_in_commutative_algebra |
is dbo:wikiPageRedirects of | dbr:Homological_Conjectures dbr:Homological_conjectures |
is dbo:wikiPageWikiLink of | dbr:List_of_conjectures dbr:Monomial_conjecture dbr:Serre's_multiplicity_conjectures dbr:Intersection_number dbr:Krull_dimension dbr:Homology_(mathematics) dbr:List_of_unsolved_problems_in_mathematics dbr:Homological_Conjectures dbr:Homological_conjectures |
is foaf:primaryTopic of | wikipedia-en:Homological_conjectures_in_commutative_algebra |