I am currently a postdoc at Mathematics Münster as part of a Young Research Group with Anish Chedalavada and Lucas Piessevaux.

Before that, I was a PhD student at the Copenhagen Centre for Geometry and Topology with advisors Robert Burklund and Jesper Grodal.

I am interested in all things stable homotopy theory and higher algebra.

You can reach/find me at:

email: florian dot riedel at pm dot me
office: SRZ 213

My pronouns are he/him.
If you write to me, feel free to call me Florian or Flo.

My CV as of 26.10.25: CV

Preprints

  1. Nilpotence phenomena over E_∞-rings in positive characteristic [arxiv link] (submitted) We study the behavior of nilpotent classes in E_∞-rings over finite fields. In characteristic $p=2$, we show that any nilpotent class can be killed by a nilpotence detecting map of E_∞-rings. As a consequence, we prove the existence of ``residue fields'', namely that any non-zero E_∞-ring over $\mathbb{F}_2$ admits a map to a separably closed graded field. Conversely, for any odd prime $p$, we construct non-zero E_∞-rings over $\mathbb{F}_p$ which admit nilpotent classes that cannot be killed by any non-zero map of E_∞-rings, a phenomenon that does not occur classically or at any finite height.
  2. On the K-Theory of algebraic tori (joint with Bai, Carmeli and Juran; [img]) [arxiv link] (submitted) Given an algebraic torus $T$ over a field $F$, its lattice of characters $\Lambda$ gives rise to a topological torus $\mathfrak{T}(T)=\Lambda_{\mathbb R}/\Lambda$ with a continuous action of the absolute Galois group $G$. We construct a natural equivalence between the algebraic $K$-theory $K_{\ast}(T)$ and the equivariant homology $H^{G}_{\ast}(\mathfrak{T}(T);K_G(F))$ of the topological torus $\mathfrak{T}(T)$ with coefficients in the $G$-equivariant $K$-theory of $F$. This generalizes a computation of $K_0(T)$ due to Merkurjev and Panin. We obtain this equivalence by analyzing the motive $\mathbb{K}_{F}^{T}$ in the stable motivic category $\mathrm{SH}(F)$ of Voevodsky and Morel, where $\mathbb{K}_{F}$ is the motivic spectrum representing homotopy $K$-theory. We construct a natural comparison map $\mathfrak{F}\colon \mathbb{K}_{F}[B\Lambda] \to \mathbb{K}_{F}^{T}$ from the $\mathbb{K}_{F}$-homology of the \'etale delooping of $\Lambda$ to $\mathbb{K}_{F}^{T}$ as a special case of a motivic Fourier transform and prove that it is an equivalence by using a motivic Eilenberg--Moore formula for classifying spaces of tori.
  3. On the deformation theory of E_∞-coalgebras [arxiv link] (submitted) We introduce a notion of formally étale E_∞-coalgebras and show that they admit essentially unique, functorial lifts along square zero extensions of E_∞-rings. Using this, we show that for a perfect $\mathbb{F}_{p}$-algebra $k$, Weil restriction along the augmentation $\mathbb{W}(k)\to k$ induces a fully faithful functor from formally étale, connective E_∞-coalgebras in $k$-modules to connective E_∞-coalgebras in $p$-complete modules over the spherical Witt vectors $\mathbb{W}(k)$. Finally, we prove that for any connected space $X$, the $k$-homology $k[X]$ is a formally étale E_∞-coalgebra in $k$-modules. This shows that $\mathbb{W}(k)[X]^{\wedge}_p$ can be recovered as the essentially unique lift of $k[X]$ to a connective coalgebra in $p$-complete $\mathbb{W}(k)$-modules.

Other writing

Expository material and notes.

The rationalization of the K(n)-local sphere pdf
Notes for a talk I gave in the Topics in Topology seminar at KU.

Galois categories and the étale fundamental group pdf
A lightly edited version of my bachelor thesis.

Topological Cyclic Homology pdf
My notes on THH, TC and friends for the popular TV-series.