Related papers: The \'etale symmetric K\"unneth theorem

We show that the homotopy category of commutative algebra spectra over the Eilenberg-Mac Lane spectrum of the integers is equivalent to the homotopy category of E-infinity-monoids in unbounded chain complexes. We do this by establishing a…

The k-th power of a n-vertex graph X is the iterated cartesian product of X with itself. The k-th symmetric power of X is the quotient graph of certain subgraph of its k-th power by the natural action of the symmetric group. It is natural…

We show that for every symmetric space G/K of compact type with K connected, the K-action on G/K by left translations is equivariantly formal.

Let X = G/H be a reductive symmetric space and K a maximal compact subgroup of G. The image under the Fourier transform of the space of K-finite compactly supported smooth functions on X is characterized.

We introduce a family of twisted $K(n)$-local theories that behave analogous to twisted K-theory. Let $R_n= E_n^{hS\mathbb G_n}$, the homotopy fixed point spectrum under the action of the subgroup $S\mathbb G_n$ of the Morava stabilizer…

Let n \geq 1 and let p be any prime. Also, let E_n be the Lubin-Tate spectrum, G_n the extended Morava stabilizer group, and K(n) the nth Morava K-theory spectrum. Then work of Devinatz and Hopkins and some results due to Behrens and the…

We prove that Schlumprecht space $S$ is isomorphic to $(\sum_{k=1}^\infty \oplus \ell_infty ^{n_k})_S $ for any sequence of integers $(n_k)$. We also show that every complemented subspace of $S$ which has some subsymmetric basis, is…

Let l be a commutative ring with unit. Garkusha constructed a functor from the category of l-algebras into a triangulated category D, that is a universal excisive and homotopy invariant homology theory. Later on, he provided different…

We study the loop spaces of the symmetric powers of an orbifold and use our results to define equivariant power operations in Tate K-theory. We prove that these power operations are elliptic and that the Witten genus is an H_oo map. As a…

In an earlier paper of Cadek, Vokrinek, Wagner, and the present authors, we investigated an algorithmic problem in computational algebraic topology, namely, the computation of all possible homotopy classes of maps between two topological…

The purpose of this paper is to generalise Sullivan's rational homotopy theory to non-nilpotent spaces, providing an alternative approach to defining Toen's schematic homotopy types over any field k of characteristic zero. New features…

We study localization at a prime in homotopy type theory, using self maps of the circle. Our main result is that for a pointed, simply connected type $X$, the natural map $X \to X_{(p)}$ induces algebraic localizations on all homotopy…

Let $X$ be a regular tame stack. If $X$ is locally of finite type over a field, we prove that the essential dimension of $X$ is equal to its generic essential dimension, this generalizes a previous result of P. Brosnan, Z. Reichstein and…

This paper takes its starting point in an idea of Grothendieck on the representation of homotopy types. We show that any locally finite nilpotent homotopy can be represented by a simplicial set which is a finitely generated free group in…

Kitchloo and Morava give a strikingly simple picture of elliptic cohomology at the Tate curve by studying a completed version of $S^1$-equivariant $K$-theory for spaces. Several authors (cf [ABG],[KM],[L]) have suggested that an equivariant…

We compute the homotopy type of the moduli space of flat, unitary connections over aspherical surfaces, after stabilizing with respect to the rank of the underlying bundle. Over the orientable surface M^g, we show that this space has the…

Let $G$ be a compact connected Lie group, or more generally a path connected topological group of the homotopy type of a finite CW-complex, and let $X$ be a rational nilpotent $G$-space. In this paper we analyze the homotopy type of the…

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…

We review the shape theory of $\infty$-topoi, and relate it with the usual cohomology of locally constant sheaves. Additionally, a new localization of profinite spaces is defined which allows us to extend the \'etale realization functor of…

We extend Siu's and Sampson's celebrated rigidity results to non-compact domains. More precisely, let $M$ be a smooth quasi-projective variety with universal cover $\tilde M$ and let $\tilde X$ be a symmetric space of non-compact type, a…