André-Quillen Homology and complete intersection dimensions
type: Item
instance of: scholarly article
title: André-Quillen Homology and complete intersection dimensions
zbMATH Open document ID: 1548.13038
author: Tirdad Sharif
published in: Kodai Mathematical Journal
publication date: 2024-07-03T00:00:00Z
review text: The paper studies the relation between the vanishing of André-Quillen homology and complete intersection dimensions. In particular, a characterization of algebra retracts of finite André-Quillen dimension with respect to complete intersection dimensions and complexity. Let \((R,m,k)\) and \((S,n,\ell)\) be local rings and \(\varphi:R\to S\) be a local ring homomorphism. Then the \(n\)-th homology module of \(\mathcal{L}_{\varphi}\otimes N\) is the \(n\)-th André-Quillen homology, where \(\mathcal{L}_{\varphi}\) denotes the cotangent complex of \(\varphi\) is caled the \textit{André-Quillen} homology and is denoted by \(D_n(S\mid R, N)\). The vanishing of André-Quillen homology characterizes important classes of rings and ring homomorphisms and one can define the following André-Quillen dimension\N\[\N\mathrm{AQ}-\dim_R S=\sup\{n\in\mathbb{N}\mid D_n(S\mid R, N)\neq 0\}\N\]\NIn the paper, the relation between André-Quillen dimension and other dimensions such as complete intersection dimension (CI). For example it is proven that \(\mathrm{AQ}-\dim_S T<\infty\) if and only if \(\mathrm{CI}-\dim_S T<\infty\), where \(\sigma: S\to T\) is a local ring homomorphism. Furthermore it is shown that for \(\varphi:R\to S\), where \(S\) is a complete local ring and \(\varphi\) is essentially of finite type and \(\mathrm{CI-fd}_R S<\infty\), then \(\mathrm{AQ}-\dim_R S\leq 2\) if and only if \(H_1(K_.(\varphi))\) is a free \(S\)-module. This extends some results of \textit{J. J. M. Soto} [J. Pure Appl. Algebra 146, No. 2, 197--207 (2000; Zbl 0963.13011)], \textit{R. Takahashi} [Tokyo J. Math. 27, No. 1, 209--219 (2004; Zbl 1058.13009)] and \textit{L. L. Avramov} et al. [Pure Appl. Math. Q. 9, No. 4, 579--612 (2013; Zbl 1310.13020)].
reviewed by: Mohajer Abolfazl
Mathematics Subject Classification ID: 13D03
Mathematics Subject Classification ID: 13D05
Mathematics Subject Classification ID: 13B10
Mathematics Subject Classification ID: 14B25
zbMATH DE Number: 7875495
zbMATH Keywords: algebra retracts
zbMATH Keywords: André-Quillen homology
zbMATH Keywords: complete intersection dimension
zbMATH Keywords: complexity
zbMATH Keywords: regular factorization
zbMATH Keywords: semidualizing module
MaRDI profile type: MaRDI publication profile
cites work: Méthode simpliciale en algèbre homologique et algèbre commutative
cites work: Q4771408
cites work: Localisation de la lissite formelle
cites work: Q4748239
cites work: Homology of local flat extensions and complete intersection defects
cites work: Q4251930
cites work: Locally complete intersection homomorphisms and a conjecture of Quillen on the vanishing of cotangent homology
cites work: Cohen-Macaulay properties of ring homomorphisms
cites work: Structure of local homomorphisms
cites work: Complete intersection dimension
cites work: André–Quillen homology of algebra retracts
cites work: Q4427524
cites work: On the acyclicity of the Tate complex
cites work: Q5610428
cites work: Free resolutions over short Gorenstein local rings
cites work: Algebra retracts and Poincaré-series
cites work: Semi-dualizing modules and related Gorenstein homological dimensions
cites work: Q5428637
cites work: \(G\)-dimension over local homomorphisms. Applications to the Frobenius endomorphism
cites work: Large homomorphisms of local rings.
cites work: A DESCENT THEOREM FOR FORMAL SMOOTHNESS
cites work: Q3563982
cites work: Q3739243
cites work: On a result of Avramov
cites work: On the free character of the first Koszul homology module
cites work: Complete intersection dimensions and Foxby classes
cites work: Descent of the complete intersection property by homomorphisms of finite virtual projective dimension
cites work: Finite complete intersection dimension and vanishing of André-Quillen homology
cites work: Upper complete intersection dimension relative to a local homomorphism
cites work: Homology of Noetherian rings and local rings
DOI: 10.2996/KMJ47206
description: scientific article; zbMATH DE number 7875495