Searcharxiv⌕ Search

arXiv subjects

Lior Yanovski

Publications and source records attributed to Lior Yanovski.

14 recordsLinked to original sources
arXiv2025

Cofinality via Weighted Colimits

We prove a refinement of Quillen's Theorem A, providing necessary and sufficient conditions for a functor to be cofinal with respect to diagrams valued in a fixed $\infty$-category. We deduce this from a general duality phenomenon for weighted colimits, which is of independent interest. As a sample application, due to Betts and Dan-Cohen, we describe a simplified formula for the free $\mathbb{E}_\infty$-algebra on an $\mathbb{E}_0$-algebra in a stable rational $\infty$-category .

math.CT↗
arXiv2024

Descent and cyclotomic redshift for chromatically localized algebraic K-theory

We prove that $T(n+1)$-localized algebraic $K$-theory satisfies descent for $π$-finite $p$-group actions on stable $\infty$-categories of chromatic height up to $n$, extending a result of Clausen-Mathew-Naumann-Noel for finite $p$-groups. Using this, we show that it sends $T(n)$-local Galois extensions to $T(n+1)$-local Galois extensions. Furthermore, we show that it sends cyclotomic extensions of height $n$ to cyclotomic extensions of height $n+1$, extending a result of Bhatt-Clausen-Mathew for $n=0$. As a consequence, we deduce that $K(n+1)$-localized $K$-theory satisfies hyperdescent along the cyclotomic tower of any $T(n)$-local ring. Counterexamples to such cyclotomic hyperdescent for $T(n+1)$-localized $K$-theory were constructed by Burklund, Hahn, Levy and the third author, thereby disproving the telescope conjecture.

math.KT↗
arXiv2024

Chromatic Cardinalities via Redshift

Using higher descent for chromatically localized algebraic $K$-theory, we show that the higher semiadditive cardinality of a $π$-finite $p$-space $A$ at the Lubin-Tate spectrum $E_n$ is equal to the higher semiadditive cardinality of the free loop space $LA$ at $E_{n-1}$. By induction, it is thus equal to the homotopy cardinality of the $n$-fold free loop space $L^n A$. We explain how this allows one to bypass the Ravenel-Wilson computation in the proof of the $\infty$-semiadditivity of the $T(n)$-local categories.

math.AT↗
arXiv2023

Chromatic Cyclotomic Extensions

We construct Galois extensions of the T(n)-local sphere, lifting all finite abelian Galois extensions of the K(n)-local sphere. This is achieved by realizing them as higher semiadditive analogues of cyclotomic extensions. Combining this with a general form of Kummer theory, we lift certain elements from the K(n)-local Picard group to the T(n)-local Picard group.

math.AT↗
arXiv2023

Homotopy Cardinality via Extrapolation of Morava-Euler Characteristics

We answer a question of John Baez, on the relationship between the classical Euler characteristic and the Baez-Dolan homotopy cardinality, by constructing a unique additive common generalization after restriction to an odd prime p. This is achieved by ell-adically extrapolating to height n = -1 the sequence of Euler characteristics associated with the Morava K(n) cohomology theories for (any) ell | p-1. We compute this sequence explicitly in several cases and incorporate in the theory some folklore heuristic comparisons between the Euler characteristic and the homotopy cardinality involving summation of divergent series.

math.AT↗
arXiv2022

Characters and transfer maps via categorified traces

We develop a theory of generalized characters of local systems in $\infty$-categories, which extends classical character theory for group representations and, in particular, the induced character formula. A key aspect of our approach is that we utilize the interaction between traces and their categorifications. We apply this theory to reprove and refine various results on the composability of Becker-Gottlieb transfers, the Hochschild homology of Thom spectra, and the additivity of traces in stable $\infty$-categories.

math.AT↗
arXiv2022

The Chromatic Fourier Transform

We develop a general theory of higher semiadditive Fourier transforms that includes both the classical discrete Fourier transform for finite abelian groups at height $n=0$, as well as a certain duality for the $E_n$-(co)homology of $π$-finite spectra, established by Hopkins and Lurie, at heights $n\ge 1$. We use this theory to generalize said duality in three different directions. First, we extend it from $\mathbb{Z}$-module spectra to all (suitably finite) spectra and use it to compute the discrepancy spectrum of $E_n$. Second, we lift it to the telescopic setting by replacing $E_n$ with $T(n)$-local higher cyclotomic extensions, from which we deduce various results on affineness, Eilenberg--Moore formulas and Galois extensions in the telescopic setting. Third, we categorify their result into an equivalence of two symmetric monoidal $\infty$-categories of local systems of $K(n)$-local $E_n$-modules, and relate it to (semiadditive) redshift phenomena.

math.AT↗
arXiv2021

The Monadic Tower for $\infty$-Categories

Every right adjoint functor between presentable $\infty$-categories is shown to decompose canonically as a coreflection, followed by, possibly transfinitely many, monadic functors. Furthermore, the coreflection part is given a presentation in terms of a functorial iterated colimit. Background material, examples, and the relation to homology localization and completion are discussed as well.

math.AT↗
arXiv2020

Ambidexterity and Height

We introduce and study the notion of \emph{semiadditive height} for higher semiadditive $\infty$-categories, which generalizes the chromatic height. We show that the higher semiadditive structure trivializes above the height and prove a form of the redshift principle, in which categorification increases the height by one. In the stable setting, we show that a higher semiadditive $\infty$-category decomposes into a product according to height, and relate the notion of height to semisimplicity properties of local systems. We place the study of higher semiadditivity and stability in the general framework of smashing localizations of $Pr^{L}$, which we call \emph{modes}. Using this theory, we introduce and study the universal stable $\infty$-semiadditive $\infty$-category of semiadditive height $n$, and give sufficient conditions for a stable $1$-semiadditive $\infty$-category to be $\infty$-semiadditive.

math.AT↗
arXiv2020

Ambidexterity in Chromatic Homotopy Theory

We extend the theory of ambidexterity developed by M. J. Hopkins and J. Lurie and show that the $\infty$-categories of $T(n)$-local spectra are $\infty$-semiadditive for all $n$, where $T(n)$ is the telescope on a $v_{n}$-self map of a type $n$ spectrum. This extends and provides a new proof for the analogous result of Hopkins-Lurie on $K(n)$-local spectra. Moreover, we show that $K(n)$-local and $T(n)$-local spectra are respectively, the minimal and maximal $1$-semiadditive localizations of spectra with respect to a homotopy ring, and that all such localizations are in fact $\infty$-semiadditive. As a consequence, we deduce that several different notions of "bounded chromatic height" for homotopy rings are equivalent, and in particular, that $T(n)$-homology of $π$-finite spaces depends only on the $n$-th Postnikov truncation. A key ingredient in the proof of the main result is a construction of a certain power operation for commutative ring objects in stable $1$-semiadditive $\infty$-categories. This is closely related to some known constructions for Morava $E$-theory and is of independent interest. Using this power operation we also give a new proof, and a generalization, of a nilpotence conjecture of J.P. May, which was proved by A. Mathew, N. Naumann, and J. Noel.

math.AT↗
arXiv2019

The $\infty$-Categorical Eckmann-Hilton Argument

We define a reduced $\infty$-operad $\mathcal{P}$ to be $d$-connected if the spaces $\mathcal{P}\left(n\right)$, of $n$-ary operations, are $d$-connected for all $n\ge0$. Let $\mathcal{P}$ and $\mathcal{Q}$ be two reduced $\infty$-operads. We prove that if $\mathcal{P}$ is $d_{1}$-connected and $\mathcal{Q}$ is $d_{2}$-connected, then their Boardman-Vogt tensor product $\mathcal{P}\otimes\mathcal{Q}$ is $\left(d_{1}+d_{2}+2\right)$-connected. We consider this to be a natural $\infty$-categorical generalization of the classical Eckmann-Hilton argument.

math.AT↗
arXiv2019

On d-Categories and d-Operads

We extend the theory of d-categories, by providing an explicit description of the right mapping spaces of the d-homotopy category of an $\infty$-category. Using this description, we deduce an invariant $\infty$-categorical characterization of the d-homotopy category. We then proceed to develop an analogous theory of d-operads, which model $\infty$-operads with (d -1)-truncated multi-mapping spaces, and prove analogous results for them.

math.AT↗
arXiv2017

On Conjugates and Adjoint Descent

In this note we present an $\infty$-categorical framework for descent along adjunctions and a general formula for counting conjugates up to equivalence which unifies several known formulae from different fields.

math.AT↗