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

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.