Related papers: Invertible objects in Franke's comodule categories
We introduce the stable module $\infty$-category for groups of type $\Phi$ as an enhancement of the stable category defined by N. Mazza and P. Symonds. For groups of type $\Phi$ which act on a tree, we show that the stable module…
In \cite{SCH1} Schuster proved that $mod$ 2 Morava $K$-theory $K(s)^*(BG)$ is evenly generated for all groups $G$ of order 32. There exist 51 non-isomorphic groups of order 32. In \cite{H}, these groups are numbered by $1, \cdots ,51$. For…
We calculate the homotopy type of $L_1L_{K(2)}S^0$ and $L_{K(1)}L_{K(2)}S^0$ at the prime 2, where $L_{K(n)}$ is localization with respect to Morava $K$-theory and $L_1$ localization with respect to $2$-local $K$ theory. In $L_1L_{K(2)}S^0$…
We prove a conjecture of Morel identifying Voevodsky's homotopy invariant sheaves with transfers with spectra in the stable homotopy category which are concentrated in degree zero for the homotopy t-structure and have a trivial action of…
We describe a vanishing result on the cohomology of a cochain complex associated to the moduli of chains of finite subgroup schemes on elliptic curves. These results have applications to algebraic topology, in particular to the study of…
Let $E_n$ be Morava $E$-theory and let $G \subset G_n$ be a finite subgroup of $G_n$, the extended Morava stabilizer group. Let $E_{n}^{tG}$ be the Tate spectrum, defined as the cofiber of the norm map $N:(E_n)_{hG} \to E_n^{hG}$. We use…
In this paper we investigate the arithmetic aspects of the theory of $\mathcal{E}_K^\dagger$-valued rigid cohomology introduced and studied in [11,12]. In particular we show that these cohomology groups have compatible connections and…
We construct a well-behaved stable category of modules for a large class of infinite groups. We then consider its Picard group, which is the group of invertible (or endotrivial) modules. We show how this group can be calculated when the…
Picard 2-categories are symmetric monoidal 2-categories with invertible 0-, 1-, and 2-cells. The classifying space of a Picard 2-category $\mathcal{D}$ is an infinite loop space, the zeroth space of the $K$-theory spectrum $K\mathcal{D}$.…
We have shown that the n-th Morava K-theory K^*(X) for a CW-spectrum X with action of Morava stabilizer group G_n can be recovered from the system of some height-(n+1) cohomology groups E^*(Z) with G_{n+1}-action indexed by finite…
For the cyclic group $C_2$ we give a complete description of the derived category of perfect complexes of modules over the constant Mackey ring $\underline{\mathbb{Z}/\ell}$, for $\ell$ a prime. This is fairly simple for $\ell$ odd, but for…
We prove that if a finite tensor category $\C$ is symmetric, then the monoidal category of one-sided $\C$-bimodule categories is symmetric. Consequently, the Picard group of $\C$ (the subgroup of the Brauer-Picard group introduced by…
We extend some results of Carderi and Le Ma\^itre on full groups in the probability context to the infinite measure one: there exists at most one Polish group topology (refining the weak topology and coarser than the uniform topology) on an…
We study the Morava $E$-theory (at a prime $p$) of $BGL_d(F)$, where $F$ is a finite field with $|F|=1\pmod{p}$. Taking all $d$ together, we obtain a structure with two products $\times$ and $\bullet$. We prove that it is a polynomial ring…
We introduce simple models for associative algebras and bimodules in the context of non-symmetric $\infty$-operads, and use these to construct an $(\infty,2)$-category of associative algebras, bimodules, and bimodule homomorphisms in a…
Let $n \geq 1$, $p$ a prime, and $T(n)$ any representative of the Bousfield class of the telescope $v_n^{-1}F(n)$ of a finite type $n$ complex. Also, let $E_n$ be the Lubin-Tate spectrum, $K(E_n)$ its algebraic $K$-theory spectrum, and…
We prove that the rank of the cohomology of a closed symplectic manifold with coefficients in a field of characteristic $p$ is smaller than the number of periodic orbits of any non-degenerate Hamiltonian flow. Following Floer, the proof…
We study the $E_2$-algebra $\Lambda\mathfrak{M}_{*,1}=\coprod_{g\geqslant 0}\Lambda\mathfrak{M}_{g,1}$ consisting of free loop spaces of moduli spaces of Riemann surfaces with one parametrised boundary component, and compute the homotopy…
We investigate the concept of definable, or inner, automorphism in the logical setting of partial Horn theories. The central technical result extends a syntactical characterization of the group of such automorphisms (called the covariant…
We prove Eilenberg-Watts Theorem for 2-categories of the representation categories $\C\x\Mod$ of finite tensor categories $\C$. For a consequence we obtain that any autoequivalence of $\C\x\Mod$ is given by tensoring with a representative…