We construct splittings of some completions of the Z/(p)-Tate cohomology of E(n) and some related spectra. In particular, we split (a completion of) tE(n) as a (completion of) a wedge of E(n-1)'s as a spectrum, where t is shorthand for the fixed points of the Z/(p)-Tate cohomology spectrum (ie Mahowald's inverse limit of P_{-k} smash SE(n)). We also give a multiplicative splitting of tE(n) after a suitable base extension.
We sketch a quick and dirty geometric approach to the Tate-Swan cohomology of equivariant spectra, illustrating it with conjectural applications to Atiyah-Segal $K$-theory of circle actions, and a possible geometric model for the topological cyclic homology of the sphere spectrum.
We give a method for computing factorization homology of $\oper{E}_n$-algebra using as an input an algebraic version of higher Hochschild homology due to Pirashvili. We then show how to compute higher Hochschild homology and cohomology when the algebra is étale in a sense that we make precise. As an application, we compute higher Hochschild cohomology of the Lubin-Tate ring spectrum.
We study a certain construction designed to bring together the following two topics: $i$) Dyer--Lashof-operations in negative Tate-cohomology, $ii$) the description of negative Tate-cohomology in terms of joins. It has the merit of making (some) sense in a more general context: where the loop-space of the space under study no longer has to be of compact homotopy-type. The exposition given here is a streamlined version of a previous version of mine, available here at the Arxiv.
We study transchromatic phenomena for the Tate construction of Real oriented cohomology theories. First, we show that after suitable completion, the Tate construction with respect to a trivial $\mathbb{Z}/2$-action on height $n$ Real Johnson--Wilson theory splits into a wedge of height $n-1$ Real Johnson--Wilson theories. This is the first example of Tate blueshift at all chromatic heights outside of the complex oriented setting. Second, we prove that the Tate construction with respect to a trivial finite group action on Real Morava K-theory vanishes, refining a classical Tate vanishing result…
Our aim in this paper is to give a geometric description of the cup product in negative degrees of Tate cohomology of a finite group with integral coefficients. By duality it corresponds to a product in the integral homology of $BG$: {\[H_{n}(BG,\mathbb{Z})\otimes H_{m}(BG,\mathbb{Z})\rightarrow H_{n+m+1}(BG,\mathbb{Z})\]} for $n,m>0$. We describe this product as join of cycles, which explains the shift in dimensions. Our motivation came from the product defined by Kreck using stratifold homology. We then prove that for finite groups the cup product in negative Tate cohomology and the Kreck pr…
Quasi-elliptic cohomology is a variant of Tate K-theory. It is the orbifold K-theory of a space of constant loops. For global quotient orbifolds, it can be expressed in terms of equivariant K-theories. In this paper we show how this theory is equipped with power operations. We also prove that the Tate K-theory of symmetric groups modulo a certain transfer ideal classify the finite subgroups of the Tate curve.
In this paper we give a geometric construction of the Borel equivariant (co)homology for spaces with a $G$-action, where $G$ is a compact Lie group with the property that the adjoint representation is orientable. A nice feature of these constructions is that there are corresponding Poincaré dual (co)homology theories called backwards (co)homology. This gives rise to a third relative (co)homology theory which we call stratifold Tate (co)homology. These Tate groups agree with the original definition of Tate cohomology for finite groups given by Swan. All constructions in this paper are geometric…
From an operad C with an action of a group G, we construct new operads using the homotopy fixed point and orbit spectra. These new operads are shown to be equivalent when the generalized G-Tate cohomology of C is trivial. Applying this theory to the little disk operad C_2 (which is an S^1 operad) we obtain variations on Getzler's gravity operad, which we show governs the Chas-Sullivan string bracket.
Tate cohomology (as well as Borel homology and cohomology) of connective K-theory for $G=(\mathbb{Z}/2)^n$ was completely calculated by Bruner and Greenlees. In this note, we essentially redo the calculation by a different, more elementary method, and we extend it to $p>2$ prime. We also identify the resulting spectra, which are products of Eilenberg-Mac Lane spectra, and finitely many finite Postnikov towers. For $p=2$, we also reconcile our answer completely with the result of Bruner and Greenlees, which is in a different form, and hence the comparison involves some non-trivial combinatorics…
Let k be the field with p>0 elements, and let G be a finite group. By exhibiting an E-infinity-operad action on Hom(P,k) for a complete projective resolution P of the trivial kG-module k, we obtain power operations of Dyer-Lashof type on Tate cohomology H*(G; k). Our operations agree with the usual Steenrod operations on ordinary cohomology. We show that they are compatible (in a suitable sense) with products of groups, and (in certain cases) with the Evens norm map. These theorems provide tools for explicit computations of the operations for small groups G. We also show that the operations in…
Let k be a field and let G be a finite group. By a theorem of D.Benson, H.Krause and S.Schwede, there is a canonical element in the Hochschild cohomology of the Tate cohomology HH^{3,-1} H*G with the following property: Given any graded H*G-module X, the image of the canonical element in Ext^{3,-1}(X,X) is zero if and only if X is isomorphic to a direct summand of H*(G,M) for some kG-module M. We investigate this canonical element in certain special cases, namely that of (finite) abelian p-groups and the quaternion group. In case of non-triviality of the canonical element, we also give example…
We study the Madsen-Tillman spectrum \CP^\infty_{-1} as a quotient of the Mahowald pro-object \CP^\infty_{-\infty}, which is closely related to the Tate cohomology of circle actions. That theory has an associated symplectic structure, whose symmetries define the Virasoro operations on the cohomology of moduli space constructed by Kontsevich and Witten.
Using non-commutative differential forms, we construct a complex called singular Hochschild cochain complex for any associative algebra over a field. The cohomology of this complex is isomorphic to the Tate-Hochschild cohomology in the sense of Buchweitz. By a natural action of the cellular chain operad of the spineless cacti operad, introduced by R. Kaufmann, on the singular Hochschild cochain complex, we provide a proof of the Deligne's conjecture for this complex. More concretely, the complex is an algebra over the (dg) operad of chains of the little $2$-discs operad. By this action, we als…
In this paper, we show that Goodwillie calculus, as applied to functors from stable homotopy to itself, interacts in striking ways with chromatic aspects of the stable category. Localized at a fixed prime p, let T(n) be the telescope of a v_n self map of a finite S--module of type n. The Periodicity Theorem of Hopkins and Smith implies that the Bousfield localization functor associated to T(n) is independent of choices. Goodwillie's general theory says that to any homotopy functor F from S--modules to S--modules, there is an associated tower under F, {P_dF}, such that F --> P_dF is the univers…
Let k be a field and let G be a finite group. By a theorem of D.Benson, H.Krause and S.Schwede, there is a canonical element in the Hochschild cohomology of the Tate cohomology HH^{3,-1} H*(G) with the following property: Given any graded H*(G)-module X, the image of the canonical element in Ext^{3,-1}(X,X) is zero if and only if X is isomorphic to a direct summand of H*(G,M) for some kG-module M. In particular, if the canonical element vanishes, then every module is a direct summand of a realizable H*(G)-module. We prove that the converse of that last statement is not true by studying in deta…
Let $R=\mathbb{F}_p$ or a field of characteristic $0$. For each $R$-good topological space $Y$, we define a collection of higher cohomology operations which, together with the cohomology algebra $H^*(Y;R)$ suffice to determine $Y$ up to $R$-completion. We also provide a similar collection of higher cohomology operations which determine when two maps $f_0,f_1: Z\to Y$ between $R$-good spaces(inducing the same algebraic homomorphism $H^*(Y;R)\to H^*(Z;R)$) are $R$-equivalent.
We establish a novel approach to computing $G$-equivariant cohomology for a finite group $G$, and demonstrate it in the case that $G = C_{p^n}$. For any commutative ring spectrum $R$, we prove a symmetric monoidal reconstruction theorem for genuine $G$-$R$-modules, which records them in terms of their geometric fixedpoints as well as gluing maps involving their Tate cohomologies. This reconstruction theorem follows from a symmetric monoidal stratification (in the sense of \cite{AMR-strat}); here we identify the gluing functors of this stratification in terms of Tate cohomology. Passing from ge…
We consider brave new cochain extensions $F(BG_+,R)\to F(EG_+,R)$, where $R$ is either a Lubin-Tate spectrum $E_n$ or the related 2-periodic Morava K-theory $K_n$, and $G$ is a finite group. When $R$ is an Eilenberg-Mac Lane spectrum, in some good cases such an extension is a $G$-Galois extension in the sense of John Rognes, but not always faithful. We prove that for $E_n$ and $K_n$ these extensions are always faithful in the $K_n$ local category. However, for a cyclic $p$-group $C_{p^r}$, the cochain extension $F({BC_{p^r}}_+,E_n) \to F({EC_{p^r}}_+,E_n)$ is not a Galois extensions because it…
Computations involving the root invariant prompted Mahowald and Shick to develop the slogan: "the root invariant of v_n periodic homotopy is v_n torsion." While neither a proof, nor a precise statement, of this slogan appears in the literature, numerous authors have offered computational evidence in support of its fundamental idea. The root invariant is closely related to Mahowald's inverse limit description of the Tate spectrum, and computations have shown the Tate spectrum of v_n periodic cohomology theories to be v_n torsion. The purpose of this paper is to split the Tate spectrum of tmf as…
Given a differential graded (dg) symmetric Frobenius algebra $A$ we construct an unbounded complex $\mathcal{D}^{*}(A,A)$, called the Tate-Hochschild complex, which arises as a totalization of a double complex having Hochschild chains as negative columns and Hochschild cochains as non-negative columns. We prove that the complex $\mathcal{D}^*(A,A)$ computes the singular Hochschild cohomology of $A$. We construct a cyclic (or Calabi-Yau) $A$-infinity algebra structure, which extends the classical Hochschild cup and cap products, and an $L$-infinity algebra structure extending the classical Gers…
In this paper we construct twisted Real quasi-elliptic cohomology as the twisted KR-theory of loop groupoids. The theory systematically incorporates loop rotation and reflection. After establishing basic properties of the theory, we construct twisted elliptic Pontryagin characters and, without twists, Real analogues of the string power operation of quasi-elliptic cohomology. We also explore the relation of the theory to the Tate curve.
We study the completion of a group relative to a Zariski dense representation in a reductive algebraic group over a field $k$. The characteristic zero case was worked out previously by R. Hain; we extend his results to arbitrary characteristic. The primary application is to the study of the cohomology of groups such as $SL_n(k[[T]])$.
Two standard invariants used to study the fundamental group G of the complement X of a hyperplane arrangement are the Malcev completion of G and the cohomology groups of X with coefficients in rank one local systems. In this paper, we develop a tool that unifies these two approaches. This tool is the Malcev completion S_p of G relative to a homomorphism p from G into (C^*)^N. This is a prosolvable group that is tightly controlled by the cohomology groups of X with coefficients in rank one local systems. The prounipotent radical U_p of the relative completion S_p corresponds to a pronilpotent L…
We compute the rational homotopy groups of the $K(n)$-local sphere for all heights $n$ and all primes $p$, verifying a prediction that goes back to the pioneering work of Morava in the early 1970s. More precisely, we show that the inclusion of the Witt vectors into the Lubin-Tate ring induces a split injection on continuous stabilizer cohomology with torsion cokernel of bounded exponent, thereby proving Hopkins' chromatic splitting conjecture and the vanishing conjecture of Beaudry-Goerss-Henn rationally. The key ingredients are the equivalence between the Lubin-Tate tower and the Drinfeld tow…
