Homological conjectures in commutative algebra

Unsolved problems in mathematics | Commutative algebra | Homological algebra | Conjectures

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. (Wikipedia).

Homomorphisms in abstract algebra

In this video we add some more definition to our toolbox before we go any further in our study into group theory and abstract algebra. The definition at hand is the homomorphism. A homomorphism is a function that maps the elements for one group to another whilst maintaining their structu

From playlist Abstract algebra

Homomorphisms in abstract algebra examples

Yesterday we took a look at the definition of a homomorphism. In today's lecture I want to show you a couple of example of homomorphisms. One example gives us a group, but I take the time to prove that it is a group just to remind ourselves of the properties of a group. In this video th

From playlist Abstract algebra

Homological algebra 1: Tor for abelian groups

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. We give two examples to motivate the definition of the groups Tor(A,B), from the universal coefficient theorem of algebraic t

From playlist Commutative algebra

Introduction to Homotopy Theory- PART 1: UNIVERSAL CONSTRUCTIONS

The goal of this series is to develop homotopy theory from a categorical perspective, alongside the theory of model categories. We do this with the hope of eventually developing stable homotopy theory, a personal goal a passion of mine. I'm going to follow nLab's notes, but I hope to add t

From playlist Introduction to Homotopy Theory

Isomorphisms in abstract algebra

In this video I take a look at an example of a homomorphism that is both onto and one-to-one, i.e both surjective and injection, which makes it a bijection. Such a homomorphism is termed an isomorphism. Through the example, I review the construction of Cayley's tables for integers mod 4

From playlist Abstract algebra

Homological generalizations of trace - Dmitry Vaintrob

Topic: Homological generalizations of trace Speaker: Dmitry Vaintrob, Member, School of Mathematics Time/Room: 4:15pm - 4:30pm/S-101 More videos on http://video.ias.edu

From playlist Mathematics

Computing homology groups | Algebraic Topology | NJ Wildberger

The definition of the homology groups H_n(X) of a space X, say a simplicial complex, is quite abstract: we consider the complex of abelian groups generated by vertices, edges, 2-dim faces etc, then define boundary maps between them, then take the quotient of kernels mod boundaries at each

From playlist Algebraic Topology

Thorsten Altenkirch - 1/2 Towards a Syntax for Cubical Type Theory

One of the key problems of Homotopy Type Theory is that it introduces axioms such as extensionality and univalence for which there is no known computational interpretation. We propose to overcome this by introducing a Type Theory where a heterogenous equality is defined recursively and equ

From playlist T2-2014 : Semantics of proofs and certified mathematics

Gonçalo Tabuada - 1/3 Noncommutative Counterparts of Celebrated Conjectures

Some celebrated conjectures of Beilinson, Grothendieck, Kimura, Tate, Voevodsky, Weil, and others, play a key central role in algebraic geometry. Notwithstanding the effort of several generations of mathematicians, the proof of (the majority of) these conjectures remains illusive. The aim

From playlist Summer School 2020: Motivic, Equivariant and Non-commutative Homotopy Theory

Lecture 2. Homomorphisms and ideals

From playlist Abstract Algebra 2

Lecture 2: Motivation

In this video, we give an important motivation for studying Topological Cyclic Homology, so called "trace methods". Feel free to post comments and questions at our public forum at https://www.uni-muenster.de/TopologyQA/index.php?qa=tc-lecture Homepage with further information: https://w

From playlist Topological Cyclic Homology

Non-commutative motives - Maxim Kontsevich

Geometry and Arithmetic: 61st Birthday of Pierre Deligne Maxim Kontsevich Institute for Advanced Study October 20, 2005 Pierre Deligne, Professor Emeritus, School of Mathematics. On the occasion of the sixty-first birthday of Pierre Deligne, the School of Mathematics will be hosting a fo

From playlist Pierre Deligne 61st Birthday

Justin Noel: Galois descent and redshift in algebraic K theory

The lecture was held within the framework of the Hausdorff Trimester Program: K-Theory and Related Fields. Justin Noel: Galois descent and redshift in algebraic K-theory Abstract: One of the fundamental results of Thomason states that the algebraic K-theory of discrete commutative rings

From playlist HIM Lectures: Trimester Program "K-Theory and Related Fields"

Special Values of Motivic L-Functions (Lecture 2) by Matthias Flach

PROGRAM ELLIPTIC CURVES AND THE SPECIAL VALUES OF L-FUNCTIONS (HYBRID) ORGANIZERS: Ashay Burungale (CalTech/UT Austin, USA), Haruzo Hida (UCLA), Somnath Jha (IIT Kanpur) and Ye Tian (MCM, CAS) DATE: 08 August 2022 to 19 August 2022 VENUE: Ramanujan Lecture Hall and online The program pla

From playlist ELLIPTIC CURVES AND THE SPECIAL VALUES OF L-FUNCTIONS (2022)

Big fiber theorems and ideal-valued measures in symplectic topology - Yaniv Ganor

Joint IAS/Princeton/Montreal/Paris/Tel-Aviv Symplectic Geometry Zoominar Topic: Big fiber theorems and ideal-valued measures in symplectic topology Speaker: Yaniv Ganor Affiliation: Technion Date: October 22, 2021 In various areas of mathematics there exist "big fiber theorems", these a

From playlist Mathematics

Recent developments in knot contact homology - Lenny Ng

Princeton/IAS Symplectic Geometry Seminar Topic: Recent developments in knot contact homology Speaker: Lenny Ng, Duke University Date: December 11, 2017 For more videos, please visit http://video.ias.edu

From playlist Mathematics

Gromov–Witten Invariants and the Virasoro Conjecture. III by Ezra Getzler

J-Holomorphic Curves and Gromov-Witten Invariants DATE:25 December 2017 to 04 January 2018 VENUE:Madhava Lecture Hall, ICTS, Bangalore Holomorphic curves are a central object of study in complex algebraic geometry. Such curves are meaningful even when the target has an almost complex stru

From playlist J-Holomorphic Curves and Gromov-Witten Invariants

Topological obstructions to matrix stability of discrete groups - Marius Dadarlat

Stability and Testability Topic: Topological obstructions to matrix stability of discrete groups Speaker: Marius Dadarlat Affiliation: Purdue University Date: March 03, 2021 For more video please visit http://video.ias.edu

From playlist Stability and Testability

Rational Homotopy Groups (Lecture 3) By Somnath Basu

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

A Tour of Skein Modules by Rhea Palak Bakshi

PROGRAM KNOTS THROUGH WEB (ONLINE) ORGANIZERS: Rama Mishra, Madeti Prabhakar, and Mahender Singh DATE & TIME: 24 August 2020 to 28 August 2020 VENUE: Online Due to the ongoing COVID-19 pandemic, the original program has been canceled. However, the meeting will be conducted through onl

From playlist Knots Through Web (Online)

Homological conjectures in commutative algebra

Related pages