arXiv subjects

Tasos Moulinos

Publications and source records attributed to Tasos Moulinos.

12 recordsLinked to original sources

arXiv2025

Artin--Mazur formal groups and Milne duality via unipotent spectra

We introduce and develop the notion of "unipotent spectra." This is defined to be the stabilization of Toën's category of affine stacks, and is related to recent work of Mondal--Reinecke. Unipotent spectra give rise to unipotent stable homotopy groups and unipotent homology, which are new invariants for schemes valued in unipotent group schemes. As applications, we recover the Artin--Mazur formal groups associated to schemes without any vanishing assumptions. Further, we show that syntomic cohomology admits a natural refinement to a perfect unipotent spectrum. Finally, we extend Milne's work on arithmetic duality theorems to the category of perfect unipotent spectra and apply it to refine Poincaré duality in syntomic cohomology.

math.AG↗

arXiv2025

The Synthetic Hilbert Additive Group Scheme

We construct a lift of the degree filtration on the integer valued polynomials to (even MU-based) synthetic spectra. Namely, we construct a bialgebra in modules over the evenly filtered sphere spectrum which base-changes to the degree filtration on the integer valued polynomials. As a consequence, we may lift the Hilbert additive group scheme to a spectral group scheme over $\mathbb{A}^1/\mathbb{G}_m$. We study the cohomology of its deloopings, and show that one obtains a lift of the filtered circle, studied in [MRT22]. At the level of quasi-coherent sheaves, one obtains lifts synthetic lifts of the $\mathbb{Z}$-linear $\infty$-categories of $S^1_{\mathrm{fil}}$-representations. Our constructions crucially rely on the use of the even filtration of Hahn--Raksit--Wilson; it is linearity with respect to the even filtered sphere that powers the results of this work.

math.AG↗

arXiv2024

Twisted Spectra Revisited

We recapture Douglas' framework for twisted parametrized stable homotopy theory in the language of $\infty$- categories. A twisted spectrum is essentially a section of a bundle of presentable stable $\infty$-categories whose fiber is the $\infty$-category of spectra, a perspective we refine in this work. We recover some of Douglas' results on classifications of such bundles, as well as further make precise the identification of categories of twisted spectra with module categories over Thom spectra in the pointed connected case. Furthermore, we examine subtle aspects of the functoriality which arise by virtue of being fibered over the Brauer space of the sphere spectrum. Extending beyond the scope of Douglas's work, we introduce a total category of twisted spectra over a fixed space, where we allow the twists to vary, and show that these total categories themselves satisfy the essential features of a 6-functor formalism. We also introduce an $(\infty, 2)$-category of twisted spectra, and use this framework to discuss duality theory for these type of objects.

math.AT↗

arXiv2024

Filtered formal groups, Cartier duality, and derived algebraic geometry

We develop a notion of formal groups in the filtered setting and describe a duality relating these to a specified class of filtered Hopf algebras. We then study a deformation to the normal cone construction in the setting of derived algebraic geometry. Applied to the unit section of a formal group $\widehat{\mathbb{G}}$, this provides a $\mathbb{G}_m$-equivariant degeneration of $\widehat{\mathbb{G}}$ to its tangent Lie algebra. We prove a unicity result on complete filtrations, which, in particular, identifies the resulting filtration on the coordinate algebra of this deformation with the adic filtration on the coordinate algebra of $\widehat{\mathbb{G}}$. We use this in a special case, together with the aforementioned notion of Cartier duality, to recover the filtration on the filtered circle of [MRT19]. Finally, we investigate some properties of $\widehat{\mathbb{G}}$-Hochschild homology set out in loc. cit., and describe "lifts" of these invariants to the setting of spectral algebraic geometry.

math.AG↗

arXiv2023

Cogroupoid structures on the circle and the Hodge degeneration

We exhibit the Hodge degeneration from nonabelian Hodge theory as a $2$-fold delooping of the filtered loop space $E_2$-groupoid in formal moduli problems. This is an iterated groupoid object which in degree $1$ recovers the filtered circle $S^1_{fil}$ of [MRT19]. This exploits a hitherto unstudied additional piece of structure on the topological circle, that of an $E_2$-cogroupoid object in the $\infty$-category of spaces. We relate this cogroupoid structure with the more commonly studied "pinch map" on $S^1$, as well as the Todd class of the Lie algebroid $\mathbb{T}_{X}$; this is an invariant of a smooth and proper scheme $X$ that arises, for example, in the Grothendieck-Riemann Roch theorem. In particular we relate the existence of non-trivial Todd classes for schemes to the failure of the pinch map to be formal in the sense of rational homotopy theory. Finally we record some consequences of this bit of structure at the level of Hochschild cohomology.

math.AT↗

arXiv2023

Adjunction of roots, algebraic $K$-theory and chromatic redshift

Given an $E_1$-ring $A$ and a class $a \in π_{mk}(A)$ satisfying a suitable hypothesis, we define a map of $E_1$-rings $A\to A(\sqrt[m]{a})$ realizing the adjunction of an $m$th root of $a$. We define a form of logarithmic THH for $E_1$-rings, and show that root adjunction is log-THH-étale for suitably tamely ramified extension, which provides a formula for THH$(A(\sqrt[m]{a}))$ in terms of THH and log-THH of $A$. If $A$ is connective, we prove that the induced map $K(A) \to K(A(\sqrt[m]{a}))$ in algebraic $K$-theory is the inclusion of a wedge summand. Using this, we obtain $V(1)_*K(ko_p)$ for $p>3$ and also, we deduce that if $K(A)$ exhibits chromatic redshift, so does $K(A(\sqrt[m]{a}))$. We interpret several extensions of ring spectra as examples of root adjunction, and use this to obtain a new proof of the fact that Lubin-Tate spectra satisfy the redshift conjecture.

math.AT↗

arXiv2022

Algebraic $K$-theory of $\text{THH}(\mathbb{F}_p)$

In this work we study the $E_{\infty}$-ring $\text{THH}(\mathbb{F}_p)$ as a graded spectrum. Following an identification at the level of $E_2$-algebras with $\mathbb{F}_p[ΩS^3]$, the group ring of the $E_1$-group $ΩS^3$ over $\mathbb{F}_p$, we show that the grading on $\text{THH}(\mathbb{F}_p)$ arises from decomposition on the cyclic bar construction of the pointed monoid $ΩS^3$. This allows us to use trace methods to compute the algebraic $K$-theory of $\text{THH}(\mathbb{F}_p)$. We also show that as an $E_2$ $H\mathbb{F}_p$-ring, $\text{THH}(\mathbb{F}_p)$ is uniquely determined by its homotopy groups. These results hold in fact for $\text{THH}(k)$, where $k$ is any perfect field of characteristic $p$. Along the way we expand on some of the methods used by Hesselholt-Madsen and later by Speirs to develop certain tools to study the THH of graded ring spectra and the algebraic $K$-theory of formal DGAs.

math.AT↗

arXiv2022

On the topological K-theory of twisted equivariant perfect complexes

We construct a comparison map from the topological K-theory of the dg-category of twisted perfect complexes on certain global quotient stacks to twisted equivariant K-theory, generalizing constructions of Halpern-Leistner-Pomerleano and Moulinos. We prove that this map is an equivalence if a version of the projective bundle theorem holds for twisted equivariant K-theory. Along the way, we give a new proof of a theorem of Moulinos that the comparison map is an equivalence in the non-equivariant case.

math.KT↗

arXiv2021

The geometry of filtrations

We display a symmetric monoidal equivalence between the stable $\infty$-category of filtered spectra, and quasi-coherent sheaves on $\mathbb{A}^1 / \mathbb{G}_m$, the quotient in the setting of spectral algebraic geometry, of the flat affine line by the canonical action of the flat multiplicative group scheme. Via a Tannaka duality argument, we identify the underlying spectrum and associated graded functors with pull-backs of quasi-coherent sheaves along certain morphisms of stacks.

math.AT↗

arXiv2021

A Universal HKR Theorem

In this work we study the failure of the HKR theorem over rings of positive and mixed characteristic. For this we construct a filtered circle interpolating between the usual topological circle and a formal version of it. By mapping to schemes we produce this way an interpolation, realized in practice by the existence of a natural filtration, from Hochschild and (a filtered version of) cyclic homology to derived de Rham cohomology. In particular, we show that this recovers the filtration of Antieau and Bhatt-Morrow-Scholze. The construction of our filtered circle is based on the theory of affine stacks and affinization introduced by the third author, together with some facts about schemes of Witt vectors.

math.AG↗

arXiv2019

Derived Azumaya algebras and twisted $K$-theory

We construct a relative version of topological $K$-theory of dg categories over an arbitrary quasi-compact, quasi-separated $\mathbb{C}$-scheme $X$. This has as input a $\text{Perf}(X)$-linear stable $\infty$-category and output a sheaf of spectra on $X(\mathbb{C})$, the space of complex points of $X$. We then characterize the values of this functor on inputs of the form $Mod_{A}^ω$, for $A$ a derived Azumaya algebra over $X$. In such cases we show that this coincides with the $α$-twisted topological $K$-theory of $X(\mathbb{C})$ for some appropriately defined twist of $K$-theory. We use this to provide a topological analogue of a classical result of Quillen's on the algebraic $K$-theory of Severi-Brauer varieties.

math.AT↗

arXiv2013

The Real Dynamics of Bieberbach's Example

Bieberbach constructed in 1933 domains in $ \bf {C}^2$ which were biholomorphic to $ \bf {C}^2$ but not dense. The existence of such domains was unexpected. The special domains Bieberbach considered are basins of attraction of a cubic Hénon map. This classical method of construction is one of the first applications of dynamical systems to complex analysis. In this paper, the boundaries of the real sections of Bieberbach's domains will be calculated explicitly as the stable manifolds of the saddle points. The real filled Julia sets and the real Julia sets of Bieberbach's map will also be calculated explicitly and illustrated with computer generated graphics. Basic differences between real and the complex dynamics will be shown.

math.DS↗