English
Related papers

Related papers: Constructing $A_\infty$-categories of matrix facto…

200 papers

We develop the theory of derived differential geometry in terms of bundles of curved $L_\infty[1]$-algebras, i.e. dg manifolds of positive amplitudes. We prove the category of derived manifolds is a category of fibrant objects. Therefore,…

Differential Geometry · Mathematics 2021-06-15 Kai Behrend , Hsuan-Yi Liao , Ping Xu

In this paper we give a purely categorical construction of d-fold matrix factorizations of a natural transformation, for any even integer d. This recovers the classical definition of those for regular elements in commutative rings due to…

K-Theory and Homology · Mathematics 2023-08-30 Petter Andreas Bergh , David A. Jorgensen

Fix an infinite field $k$ of characteristic $p$, and let $\g$ be the Kac-Moody algebra $\mathfrak{sl}_{\infty}$ if $p=0$ and $\hat{\mathfrak{sl}}_p$ otherwise. Let $\PP$ denote the category of strict polynomial functors defined over $k$. We…

Representation Theory · Mathematics 2015-04-07 Jiuzu Hong , Antoine Touzé , Oded Yacobi

Let $kG$ be the group algebra of a finite group scheme defined over a field $k$ of characteristic $p>0$. Associated to any closed subset $V$ of the projectivized prime ideal spectrum $\operatorname{Proj} \operatorname{H}^*(G,k)$ is a thick…

Representation Theory · Mathematics 2022-11-08 Jon F. Carlson

We construct explicitly noncommutative deformations of categories of holomorphic line bundles over higher dimensional tori. Our basic tools are Heisenberg modules over noncommutative tori and complex/holomorphic structures on them…

High Energy Physics - Theory · Physics 2008-11-26 Hiroshige Kajiura

We consider the linear lambda-calculus extended with the sup type constructor, which provides an additive conjunction along with a non-deterministic destructor. The sup type constructor has been introduced in the context of quantum…

Logic in Computer Science · Computer Science 2024-04-15 Alejandro Díaz-Caro , Octavio Malherbe

Let $G$ be a $p$-adic Lie group with reductive Lie algebra $\mathfrak{g}$. Denote by $D(G)$ the locally analytic distribution algebra of $G$. Orlik-Strauch and Agrawal-Strauch have studied certain exact functors defined on various…

Representation Theory · Mathematics 2022-11-08 Akash Jena

For a regular normal element in an arbitrary ring, we study the category of its module factorizations. The cokernel functor relates module factorizations with Gorenstein projective components to Gorenstein projective modules over the…

Rings and Algebras · Mathematics 2025-08-28 Xiao-Wu Chen

By inspiring ourselves in Drinfeld's DG quotient, we develop Postnikov towers, k-invariants and an obstruction theory for dg categories. As an application, we obtain the following `rigidification' theorem: let A be a homologically…

K-Theory and Homology · Mathematics 2008-05-30 Goncalo Tabuada

Let G be a block matrix function with one diagonal block A being positive definite and the off diagonal blocks complex conjugates of each other. Conditions are obtained for G to be factorable (in particular, with zero partial indices) in…

Functional Analysis · Mathematics 2018-03-29 Ilya M. Spitkovsky , Anatoly F. Voronin

Theory of matrix factorizations is useful to study hypersurfaces in commutative algebra. To study noncommutative hypersurfaces, which are important objects of study in noncommutative algebraic geometry, we introduce a notion of…

Rings and Algebras · Mathematics 2021-08-05 Izuru Mori , Kenta Ueyama

We tackle the problem of constructing $R$-matrices for the category $\mathcal{O}$ associated to the Borel subalgebra of an arbitrary untwisted quantum loop algebra $U_q(\mathfrak{g})$. For this, we define an exact functor $\mathcal{F}_q$…

Representation Theory · Mathematics 2023-09-15 Théo Pinet

We present a construction of stable diagonal factorizations, used to define categorical models of type theory with identity types, from a family of algebraic weak factorization systems on the slices of a category. Inspired by a…

Category Theory · Mathematics 2019-11-20 Evan Cavallo

We show that, over an arbitrary commutative ring, the localizations of the categories of dg categories, of cohomologically unital, of unital and of strictly unital $A_\infty$ categories with respect to the corresponding classes of…

Category Theory · Mathematics 2024-10-17 Alberto Canonaco , Mattia Ornaghi , Paolo Stellari

To any model category $\mathcal{M}$, we associate a modular model category, a functor of points $\mathcal{M}[-]:$ Cat $\rightarrow$ Cat, that associates to any small category $\mathcal{C}$ a functor category $\mathcal{M}[\mathcal{C}] =…

Algebraic Geometry · Mathematics 2019-06-25 Renaud Gauthier

Let $k$ be a field and $A$ a finite-dimensional $k$-algebra of global dimension $\leq 2$. We construct a triangulated category $\Cc_A$ associated to $A$ which, if $A$ is hereditary, is triangle equivalent to the cluster category of $A$.…

Representation Theory · Mathematics 2009-07-03 Claire Amiot

The category of small covariant functors from simplicial sets to simplicial sets supports the projective model structure. In this paper we construct various localizations of the projective model structure and also give a variant for…

Algebraic Topology · Mathematics 2013-09-11 Georg Biedermann , Boris Chorny , Oliver Röndigs

In this paper we use the equivariant version of factorization homology constructed using the parametrized higher category theory and show that it can be used to describe the results used in the series of papers.

Algebraic Topology · Mathematics 2025-08-27 Aleksandar Miladinović

We study selfadjoint functors acting on categories of finite dimensional modules over finite dimensional algebras with an emphasis on functors satisfying some polynomial relations. Selfadjoint functors satisfying several easy relations, in…

Representation Theory · Mathematics 2011-09-08 Troels Agerholm , Volodymyr Mazorchuk

For an additive category $\mathbf{P}$ we provide an explict construction of a category $\mathcal{Q}( \mathbf{P} )$ whose objects can be thought of as formally representing $\frac{\mathrm{im}( \gamma )}{\mathrm{im}( \rho ) \cap \mathrm{im}(…

Category Theory · Mathematics 2024-08-07 Sebastian Posur