BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Tobias Barthel

Tobias Barthel contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
math.ATmath.CTmath.RTmath.AGmath.NT

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
10works
0followers
5topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

10 published item(s)

preprint2026arXiv

A simple universal property of Thom ring spectra

We give a simple universal property of the multiplicative structure on the Thom spectrum of an $n$-fold loop map, obtained as a special case of a characterization of the algebra structure on the colimit of a lax $\mathcal{O}$-monoidal functor. This allows us to relate Thom spectra to $\mathbb{E}_n$-algebras of a given characteristic in the sense of Szymik. As applications, we recover the Hopkins--Mahowald theorem realizing $H\mathbb{F}_p$ and $H\mathbb{Z}$ as Thom spectra, and compute the topological Hochschild homology and the cotangent complex of various Thom spectra.

0 citations0 reviewsNo code linkedOpen access
preprint2024arXiv

Profinite equivariant spectra and their tensor-triangular geometry

We study the tensor-triangular geometry of the category of equivariant $G$-spectra for $G$ a profinite group, $\mathsf{Sp}_G$. Our starting point is the construction of a ``continuous'' model for this category, which we show agrees with all other models in the literature. We describe the Balmer spectrum of finite $G$-spectra up to the ambiguity that is present in the finite group case; in particular, we obtain a thick subcategory theorem when $G$ is abelian. By verifying the bijectivity hypothesis for $\mathsf{Sp}_G$, we prove a nilpotence theorem for all profinite groups. Our study then moves to the realm of rational $G$-equivariant spectra. By exploiting the continuity of our model, we construct an equivalence between the category of rational $G$-spectra and the algebraic model of the second author and Sugrue, which improves their result to the symmetric monoidal and $\infty$-categorical level. Furthermore, we prove that the telescope conjecture holds in this category. Finally, we characterize when the category of rational $G$-spectra is stratified, resulting in a classification of the localizing ideals in terms of conjugacy classes of subgroups. To facilitate these results, we develop some foundational aspects of pro-tt-geometry. For instance, we establish and use the continuity of the homological spectrum and introduce a notion of von Neumann regular tt-categories, of which rational $G$-spectra is an example.

0 citations0 reviewsNo code linkedOpen access
preprint2023arXiv

Stratification and the comparison between homological and tensor triangular support

We compare the homological support and tensor triangular support for `big' objects in a rigidly-compactly generated tensor triangulated category. We prove that the comparison map from the homological spectrum to the tensor triangular spectrum is a bijection and that the two notions of support coincide whenever the category is stratified, extending work of Balmer. Moreover, we clarify the relations between salient properties of support functions and exhibit counter-examples highlighting the differences between homological and tensor triangular support.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

On conjectures of Hovey--Strickland and Chai

We prove the height two case of a conjecture of Hovey and Strickland that provides a $K(n)$-local analogue of the Hopkins--Smith thick subcategory theorem. Our approach first reduces the general conjecture to a problem in arithmetic geometry posed by Chai. We then use the Gross--Hopkins period map to verify Chai's Hope at height two and all primes. Along the way, we show that the graded commutative ring of completed cooperations for Morava $E$-theory is coherent, and that every finitely generated Morava module can be realized by a $K(n)$-local spectrum as long as $2p-2>n^2+n$. Finally, we deduce consequences of our results for descent of Balmer spectra.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Chromatic homotopy theory is asymptotically algebraic

Inspired by the Ax--Kochen isomorphism theorem, we develop a notion of categorical ultraproducts to capture the generic behavior of an infinite collection of mathematical objects. We employ this theory to give an asymptotic solution to the approximation problem in chromatic homotopy theory. More precisely, we show that the ultraproduct of the $E(n,p)$-local categories over any non-prinicipal ultrafilter on the set of prime numbers is equivalent to the ultraproduct of certain algebraic categories introduced by Franke. This shows that chromatic homotopy theory at a fixed height is asymptotically algebraic.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Gross-Hopkins Duals of Higher Real K-theory Spectra

We determine the Gross-Hopkins duals of certain higher real $K$-theory spectra. More specifically, let $p$ be an odd prime, and consider the Morava $E$-theory spectrum of height $n=p-1$. It is known, in the expert circles, that for certain finite subgroups $G$ of the Morava stabilizer group, the homotopy fixed point spectra $E_n^{hG}$ are Gross-Hopkins self-dual up to a shift. In this paper, we determine the shift for those finite subgroups $G$ which contain $p$-torsion. This generalizes previous results for $n=2$ and $p=3$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Local Gorenstein duality for cochains on spaces

We investigate when a commutative ring spectrum $R$ satisfies a homotopical version of local Gorenstein duality, extending the notion previously studied by Greenlees. In order to do this, we prove an ascent theorem for local Gorenstein duality along morphisms of $k$-algebras. Our main examples are of the form $R = C^*(X;k)$, the ring spectrum of cochains on a space $X$ for a field $k$. In particular, we establish local Gorenstein duality in characteristic $p$ for $p$-compact groups and $p$-local finite groups as well as for $k = \Q$ and $X$ a simply connected space which is Gorenstein in the sense of Dwyer, Greenlees, and Iyengar.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Monochromatic homotopy theory is asymptotically algebraic

In previous work, we used an $\infty$-categorical version of ultraproducts to show that, for a fixed height $n$, the symmetric monoidal $\infty$-categories of $E_{n,p}$-local spectra are asymptotically algebraic in the prime $p$. In this paper, we prove the analogous result for the symmetric monoidal $\infty$-categories of $K_{p}(n)$-local spectra, where $K_{p}(n)$ is Morava $K$-theory at height $n$ and the prime $p$. This requires $\infty$-categorical tools suitable for working with compactly generated symmetric monoidal $\infty$-categories with non-compact unit. The equivalences that we produce here are compatible with the equivalences for the $E_{n,p}$-local $\infty$-categories.

0 citations0 reviewsNo code linkedOpen access