On the relationship between logarithmic TAQ and logarithmic THH (Q2232375)

From MaRDI portal
scientific article
Language Label Description Also known as
English
On the relationship between logarithmic TAQ and logarithmic THH
scientific article

    Statements

    On the relationship between logarithmic TAQ and logarithmic THH (English)
    0 references
    0 references
    5 October 2021
    0 references
    Logarithmic ring spectra were introduced by \textit{J. Rognes} [Geom. Topol. Monogr. 16, 401--544 (2009; Zbl 1227.14024)]. They are homotopical generalizations of the affine version of logarithmic schemes as studied in algebraic geometry, see [\textit{K. Kato}, in: Algebraic analysis, geometry, and number theory: proceedings of the JAMI inaugural conference, held at Baltimore, MD, USA, May 16-19, 1988. Baltimore: Johns Hopkins University Press. 191--224 (1989; Zbl 0776.14004)] for instance. An important example of a ring spectrum that admits a logarithmic structure is the connective complex \(K\)-theory spectrum, see Section 4.12 of [\textit{S. Sagave}, Geom. Topol. 18, No. 1, 447--490 (2014; Zbl 1297.55012)]. In the paper cited above, Rognes introduced topological Hochschild homology and topological André-Quillen homology for logarithmic ring spectra. Henceforth these will be denoted by log THH and log TAQ respectively. In the paper under review, Lundemo provides a new description of log TAQ in terms of the indecomposables of an augmented ring spectrum. This is in analogy with work of \textit{M. Basterra} [J. Pure Appl. Algebra 144, No. 2, 111--143 (1999; Zbl 0937.55006)] in the non-logarithmic case. This new description uses the concept of repletion from the paper of Rognes in a manner similar to its application to log THH in the paper [\textit{J. Rognes}, \textit{S. Sagave} and \textit{C. Schlichtkrull}, Math. Ann. 363, No. 3--4, 1349--1398 (2015; Zbl 1329.14039)]. This generalization has two important benefits. It is useful in the study of tame and wild ramification in the context of \(E_{\infty}\) rings and it allows one to relax connectivity hypotheses in certain results on formal étaleness properties of \(E_{\infty}\) rings. The paper contains a log étale descent formula, in analogy with the étale descent formula for THH due to \textit{R. McCarthy} and \textit{V. Minasian} [J. Pure Appl. Algebra 185, No. 1--3, 239--258 (2003; Zbl 1051.55005)] and \textit{A. Mathew} [Algebr. Geom. Topol. 17, No. 2, 693--704 (2017; Zbl 1370.55002)]. It is also shown that the new description of log TAQ can be expressed in the cotangent complex formalism of Lurie's Higher Algebra. The paper is structured as follows. Section 1 is a detailed introduction giving a detailed description of the existing literature and introducing the results of the paper. Section 2 reviews the properties of commutative \(\mathcal{J}\)-space monoids as introduced by \textit{S. Sagave} and \textit{C. Schlichtkrull} [Adv. Math. 231, No. 3--4, 2116--2193 (2012; Zbl 1315.55007)]. Section 3 covers the cyclic bar construction and the definition of topological Hochschild homology. Section 4 recalls the necessary definitions of logarithmic ring spectra. In Section 5, a relative variant of log THH is introduced and it is shown that this variant shares useful properties of relative THH. Section 6 contains the new description of log TAQ as the indecomposables of an augmented ring spectrum. The relationship between this new description and logarithmic derivations is also discussed. Section 7 contains a proof of the log étale descent formula. The proof of this result utilizes a logarithmic version of \textit{V. Minasian's} André-Quillen spectral sequence for THH [Topology Appl. 129, No. 3, 273--280 (2003; Zbl 1061.55008)]. Section 8 studies log étale descent for tamely ramified extensions of discrete valuation rings. Section 9 describes an interpretation of log TAQ as a cotangent complex.
    0 references
    0 references
    topological Hochschild homology
    0 references
    topological André-Quillen homology
    0 references
    logarithmic structures
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers