We gratefully acknowledge support from
the Simons Foundation and member institutions.

Category Theory

New submissions

[ total of 3 entries: 1-3 ]
[ showing up to 2000 entries per page: fewer | more ]

New submissions for Thu, 1 Dec 22

[1]  arXiv:2211.16896 [pdf, ps, other]
Title: Groupoidal 2-quasi-categories and homotopy 2-types
Authors: Victor Brittes
Comments: 16 pages
Subjects: Category Theory (math.CT); Algebraic Topology (math.AT)

We define a notion of groupoidal 2-quasi-categories and show that they are the fibrant objects of a model structure on the category of $\Theta_2$-sets. We show that this model category is Quillen equivalent to the Kan-Quillen model category of simplicial sets and that 2-truncated groupoidal 2-quasi-categories are models for homotopy 2-types.

Cross-lists for Thu, 1 Dec 22

[2]  arXiv:2211.17261 (cross-list from math.AG) [pdf, other]
Title: The canonical global quantization of symplectic varieties in characteristic $p$
Comments: 66 pages, comments are welcome
Subjects: Algebraic Geometry (math.AG); Category Theory (math.CT); Quantum Algebra (math.QA); Representation Theory (math.RT)

Let $X$ be a smooth symplectic variety over a field $k$ of characteristic $p>2$ equipped with a restricted structure, which is a class $[\eta] \in H^0(X, \Omega^1_X/d\mathcal O_X)$ whose de Rham differential equals the symplectic form. In this paper we construct a functorial in $(X, [\eta])$ formal quantization of the category $\mathrm{QCoh}(X)$ of quasi-coherent sheaves on $X$. We also construct its natural extension to a quasi-coherent sheaf of categories $\mathrm{QCoh}_h$ on the product $X^{(1)} \times {\mathbb S}$ of the Frobenius twist of $X$ and the projective line ${\mathbb S}=\mathbb P^1$, viewed as the one-point compactification of $\mathrm{Spec}\ \! k[h]$. Its global sections over $X^{(1)} \times \{0\}$ is the category of quasi-coherent sheaves on $X$. If $X$ is affine, $\mathrm{QCoh}_h$, restricted to $X^{(1)}\times \mathrm{Spf} \ \! k[[h]]$, is equivalent to the category of modules over the distinguished "Frobenius-constant" quantization of $(X,[\eta])$ defined by Bezrukavnikov and Kaledin.

Replacements for Thu, 1 Dec 22

[3]  arXiv:2202.08113 (replaced) [pdf, ps, other]
Title: Duality pairs, phantom maps, and definability in triangulated categories
Comments: v2: 31pp. Some results strengthened, new results added, and exposition improved
Subjects: Category Theory (math.CT); Commutative Algebra (math.AC); Algebraic Topology (math.AT); Representation Theory (math.RT)
[ total of 3 entries: 1-3 ]
[ showing up to 2000 entries per page: fewer | more ]

Disable MathJax (What is MathJax?)

Links to: arXiv, form interface, find, math, recent, 2211, contact, help  (Access key information)