Related papers: Cyclotomic synthetic spectra
Let $P$ be a poset, $inc(P)$ its incomparability graph, and $X_{inc(P)}$ the corresponding chromatic symmetric function, as defined by Stanley in {\em Adv. Math.}, {\bf 111} (1995) pp.~166--194. Certain conditions on $P$ imply that the…
Let $Y/S$ be a $p$-completely smooth morphism of $p$-torsion free $p$-adic formal schemes endowed with a Frobenius lift, and let $\overline Y/\overline S$ denote its reduction modulo $p$. We show that the category of crystals on the…
We study natural subalgebras Ch_E(G) of group cohomology defined in terms of infinite loop spaces E and give representation theoretic descriptions of those based on QS^0 and the Johnson-Wilson theories E(n). We describe the subalgebras…
This paper contains three related groupings of results. First, we consider a new notion of an admissible skein module of a surface associated to an ideal in a (non-semisimple) pivotal category. Second, we introduce the notion of a chromatic…
We prove a higher chromatic analogue of Snaith's theorem which identifies the K-theory spectrum as the localisation of the suspension spectrum of CP^\infty away from the Bott class; in this result, higher Eilenberg-MacLane spaces play the…
We define real topological Hochschild homology of separated log schemes with involutions. We show that real topological Hochschild homology is $(\mathbb{P}^n,\mathbb{P}^{n-1})$-invariant, which leads to the definition of the motivic real…
Given a filtration of a commutative monoid $A$ in a symmetric monoidal stable model category $\mathcal{C}$, we construct a spectral sequence analogous to the May spectral sequence whose input is the higher order topological Hochschild…
We propose foundations for a synthetic theory of $(\infty,1)$-categories within homotopy type theory. We axiomatize a directed interval type, then define higher simplices from it and use them to probe the internal categorical structures of…
Symmetric cohomology of groups, defined by M. Staic in [2], is similar to the way one defines the cyclic cohomology for algebras. We show that there is a well-defined restriction, conjugation and transfer map in symmetric cohomology, which…
We introduce in this work the notion of the category of pure $\mathbf{E}$-Motives, where $\mathbf{E}$ is a motivic strict ring spectrum and construct twisted $\mathbf{E}$-cohomology by using six functors formalism of J. Ayoub. In…
This article records multiple results coming from interplay between de-completed topological periodic cyclic homology, Segal conjecture, and F-smoothness. We establish completeness of motivic filtration on de-completed topological periodic…
We discuss what it means for a symmetric monoidal category to be a module over a commutative semiring category. Each of the categories of (1) cartesian monoidal categories, (2) semiadditive categories, and (3) connective spectra can be…
The field of directed type theory seeks to design type theories capable of reasoning synthetically about (higher) categories, by generalizing the symmetric identity types of Martin-L\"of Type Theory to asymmetric hom-types. We articulate…
We formulate a version of Hopkins' chromatic splitting conjecture for an arbitrary structured ring spectrum $R$, and prove it whenever $\pi_*R$ is Noetherian. As an application, these results provide a new local-to-global principle in the…
We characterize ring spectra morphisms from the algebraic cobordism spectrum $\QTR{Bbb}{MGL}$ (\QCITE{cite}{}{Vo1}) to an oriented spectrum $\QTR{Bbb}{E}$ (in the sense of Morel \QCITE{cite}{}{Mo}) via formal group laws on the…
In the Labourie-Loftin parametrization of the Hitchin component of surface group representations into SL(3,R), we prove an asymptotic formula for holonomy along rays in terms of local invariants of the holomorphic differential defining that…
We study algebraic K-theory, syntomic cohomology, and prismatic cohomology of Cartier smooth rings. As an application, we provide an alternative proof of Kelly-Morrow's generalization of the Geisser-Levine theorem computing $p$-adic…
In order to treat multiplicative phenomena in twisted (co)homology, we introduce a new point-set level framework for parametrized homotopy theory. We provide a convolution smash product that descends to the corresponding…
For a tuple $A=(A_1,\ A_2,\ ...,\ A_n)$ of elements in a unital algebra ${\mathcal B}$ over $\mathbb{C}$, its {\em projective spectrum} $P(A)$ or $p(A)$ is the collection of $z\in \mathbb{C}^n$, or respectively $z\in \mathbb{P}^{n-1}$ such…
Moduli spaces of stable pseudoholomorphic curves can be defined parametrically, i.e. over total spaces of symplectic fibrations. This imposes several restrictions on the spectral sequence of a symplectic fibration. We prove that, under…