Abstract
This article deals with two different problems in commutative algebra. In the first part we give a proof of the direct summand conjecture for module-finite extension rings of mixed characteristic \(R\subset S\) satisfying the following hypotheses: the base ring R is a unique factorization domain of mixed characteristic zero. We assume that S is generated by two elements which satisfy, either radical quadratic equations, or general quadratic equations under certain arithmetical restrictions. In the second part of this article we discuss an asymptotic version of Koh’s conjecture. We give a model theoretical proof using “non-standard methods”.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Dutta, S.P., Hochster, M., McLaughlin: Modules of Finite Projective Dimension with Negative Intersection Multiplicities. Inventiones Mathematicae. Springer, Berlin (1985)
Eisenbud, D.: Commutative Algebra with a View Toward Algebraic Geometry. Graduate Texts in Mathematics, vol. 150. Springer, New York (1994)
Evans, E.G., Griffith, P.: The Syzygy problem. Ann. Math. 114(2), 323–333 (1981)
Heitmann, R.C.: A Counterexample to the rigidity conjecture for rings. Bull. Am. Math. Soc. 29(1), 94–97 (1993)
Heitmann, R.C.: The direct summand conjecture in dimension three. Ann. Math. 156(2), 695–712 (2002)
Hochster, M.: Contracted ideals from integral extensions of regular rings. Nagoya Math. J. 51, 25–43 (1973)
Hochster, M.: Topics in the Homological Theory of Modules over Commutative Rings. CBMS Regional Conference Series in Mathematics, vol. 24. American Mathematical Society, Providence (1975)
Hochster, M.: Canonical elements in local cohomology modules and the direct summand conjecture. J. Algebra 84(2), 503–553 (1983)
Hochster, M.: Homological conjectures, old and new. Ill. J. Math. 51(1), 151–169 (2007)
Hochster, M., Huneke, C.: Infinite integral extensions and big Cohen–Macaulay algebras. Ann. Math. 135(1), 53–89 (1992)
Koh, J.H.: The direct summand conjecture and behavior of codimension in graded extensions. Doctoral dissertation, Ph.D. Thesis, University of Michigan (1983)
Kunz, E.: Introduction to Commutative Algebra and Algebraic Geometry. Springer Science & Business Media, Berlin (2012)
Marker, D.: Model Theory: An Introduction. Graduate texts in Mathematics, vol. 217. Springer, New York (2002)
McCullough, J.: On the strong direct summand conjecture. Ph.D. Thesis, University of Illinois, Urban-Champaigne 2009 (2011). http://math.ucr.edu/~jmccullo/talks/09Urbana
Ohi, T.: Direct summand conjecture and descent for flatness. Proc. Am. Math. Soc. 124(7), 1967–1968 (1996)
Peskine, C., Szpiro, L.: Dimension projective finie et cohomologie locale. Publications Mathématiques de l’IHÉS 42(1), 47–119 (1973)
Roberts, P.: Heitmann’s proof of the direct summand conjecture in dimension 3 (2002) (preprint). arXiv:math/0212073
Schoutens, H.: Bounds in cohomology. Isr. J. Math. 116, 125–169 (2000)
Schoutens, H.: The Use of Ultraproducts in Commutative Algebra. Lecture Notes in Mathematics, vol. 1999. Springer, Berlin (2010)
Serre, J.P., Gabriel, P.: Algèbre locale, multiplicités: cours au Collège de France, 1957–1958 (No. 11). Springer Science & Business Media, Berlin (1975)
Vélez, J.D.: Splitting results in module-finite extension rings and Koh’s conjecture. J. Algebra 172(2), 454–469 (1995)
Velez, J.D., Florez, R.: Failure of splitting from module-finite extension rings. Beiträge zur Algebra und Geometrie 41(2), 345–357 (2000)
Acknowledgments
The authors would like to thank the programm ‘Becas de estudiantes sobresalientes de postgrado’ of the National University of Colombia and to the German Academic Exchange Service (DAAD) for the financial support.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Gallego, E., Gómez-Ramírez, D.d.J. & Vélez, J.D. The direct summand conjecture for some bigenerated extensions and an asymptotic version of Koh’s conjecture. Beitr Algebra Geom 57, 697–712 (2016). https://doi.org/10.1007/s13366-015-0277-z
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s13366-015-0277-z