arXiv subjects

Shai Keidar

Publications and source records attributed to Shai Keidar.

6 recordsLinked to original sources

arXiv2026

The Gray Product of $(\infty, n)$-Categories via Lax Grids

We introduce a new model for $(\infty,n)$-categories as Segal sheaves on lax grids, which are pasting diagrams of lax cubes. This model allows for a direct construction of the Gray tensor product via Day convolution. We show that this agrees with Campion's construction of the Gray tensor product. These results will be applied in future work to equip the higher categories of cobordisms with a Gray-algebra structure given by the cartesian product of manifolds.

math.CT↗

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↗

arXiv2025

Semiadditive Alternating Powers and Twisted Power Operation

We study a class of representations of symmetric groups in higher semiadditive categories. For these representations in $\mathrm{Mod}^{\wedge}_{E_n}$, the transchromatic character of Hopkins--Kuhn--Ravenel and Stapleton is recovered as a sequence of monoidal characters on suitable categorifications, giving an explicit algorithm for its computation, and relating it to the iterated monoidal character in $(\infty,n)$-categories. These representations also give rise to notions of alternating powers and power operations in semiadditive categories, extending the classical alternating powers and $λ$-operations in $\mathrm{K}$-theory. We provide explicit computations in both the chromatic and higher categorical settings at low heights.

math.AT↗

arXiv2025

Twisted Graded Categories

Given a presentably symmetric monoidal $\infty$-category $\mathcal{C}$ and an $\mathbb{E}_{\infty}$-monoid $M$, we introduce and classify twisted graded categories, which generalize the Day convolution structure on $\mathrm{Fun}(M, \mathcal{C})$. These are characterized by a braiding encoded in symmetric group actions on tensor powers, whose character we show depends only on the $\mathbb{T}$-equivariant monoidal dimension. We analyze the $\mathbb{T}$-action on the dimension of invertible objects and identify it with the $\mathbb{T}$-transfer map. Finally, we compute braiding characters in examples arising from higher cyclotomic extensions, such as the $(\mathbb{S}, n+1)$-oriented extension of $\mathrm{Mod}_{En}^{\wedge}$ at all primes and heights, and of the cyclotomic closure of $\mathrm{Vect}^n$ at low heights.

math.AT↗

arXiv2024

On The Telescopic Picard Group

We prove that for any prime $p$ and height $n \ge 1$, the telescopic Picard group $\mathrm{Pic}(\mathrm{Sp}_{Tn})$ contains a subgroup of the form $\mathbb{Z}_p \times \mathbb{Z}/a_p(p^n-1)$, where $a_p = 1$ if $p = 2$ and $a_p = 2$ if $p$ is odd. Using Kummer theory, we obtain an $(\mathbb{F}_{p^n}^\times \rtimes \mathbb{Z}/n)$-Galois extension of $\mathbb{S}_{T(n)}$, obtaining the first example of a lift of a non-Abelian Galois extension of the $K(n)$-local sphere to the telescopic world, at arbitrary positive height and prime. Our proof proceeds by setting up a higher categorical framework for the periodicity theorem, utilizing the symmetries of this framework to construct Picard elements.

math.AT↗

arXiv2019

$\mathbb{P}\mathfrak{gl}_{2}$ is Multiplicity-Free as a $PGL_{2} \times PGL_{2}$-Variety

Let $F$ be a non-Archimedean local field. Let $G$ be an algebraic group over $F$. A $G$-variety $X$ defined over $F$ is said to be multiplicity-free if for any admissible irreducible representation $π$ of $G(F)$ the following takes place: $\dim Hom_{G(F)}(\mathcal{S}(X(F)), π) \le 1$ where $\mathcal{S}(X(F))$ is the space of Schwartz functions on $X(F)$. In this thesis we prove that $\mathbb{P}\mathfrak{gl}_{2}(F)$ is multiplicity-free as a $PGL_{2}(F)\times PGL_{2}(F)$-variety.

math.RT↗