اشترك بالحزمة الذهبية واحصل على وصول غير محدود شمرا أكاديميا
تسجيل مستخدم جديدThe Heisenberg category of a category
80
0
0.0
(
0
)
اسأل ChatGPT حول البحث
ﻻ يوجد ملخص باللغة العربية
Starting with a k-linear or DG category admitting a (homotopy) Serre functor, we construct a k-linear or DG 2-category categorifying the Heisenberg algebra of the numerical K-group of the original category. We also define a 2-categorical analogue of the Fock space representation of the Heisenberg algebra. Our construction generalises and unifies various categorical Heisenberg algebra actions appearing in the literature. In particular, we give a full categorical enhancement of the action on derived categories of symmetric quotient stacks introduced by Krug, which itself categorifies a Heisenberg algebra action proposed by Grojnowski.
قيم البحث
اقرأ أيضاً
We give an exposition and generalization of Orlovs theorem on graded Gorenstein rings. We show the theorem holds for non-negatively graded rings which are Gorenstein in an appropriate sense and whose degree zero component is an arbitrary non-commutat
ive right noetherian ring of finite global dimension. A short treatment of some foundations for local cohomology and Grothendieck duality at this level of generality is given in order to prove the theorem. As an application we give an equivalence of the derived category of a commutative complete intersection with the homotopy category of graded matrix factorizations over a related ring.
We state a conjecture that relates the derived category of smooth representations of a p-adic split reductive group with the derived category of (quasi-)coherent sheaves on a stack of L-parameters. We investigate the conjecture in the case of the pri
ncipal block of GL_n by showing that the functor should be given by the derived tensor product with the family of representations interpolating the modified Langlands correspondence over the stack of L-parameters that is suggested by the work of Helm and Emerton-Helm.
We prove that a family of at least two non-trivial, almost-connected locally compact groups cannot have a coproduct in the category of locally compact groups if at least one of the groups is connected; this confirms the intuition that coproducts in s
aid category are rather hard to come by, save for the usual ones in the category of discrete groups. Along the way we also prove a number of auxiliary results on characteristic indices of locally compact or Lie groups as defined by Iwasawa: that characteristic indices can only decrease when passing to semisimple closed Lie subgroups, and also along dense-image morphisms.
In this paper we introduce the Schutzenberger category $mathbb D(S)$ of a semigroup $S$. It stands in relation to the Karoubi envelope (or Cauchy completion) of $S$ in the same way that Schutzenberger groups do to maximal subgroups and that the local
divisors of Diekert do to the local monoids $eSe$ of $S$ with $ein E(S)$. In particular, the objects of $mathbb D(S)$ are the elements of $S$, two objects of $mathbb D(S)$ are isomorphic if and only if the corresponding semigroup elements are $mathscr D$-equivalent, the endomorphism monoid at $s$ is the local divisor in the sense of Diekert and the automorphism group at $s$ is the Schutzenberger group of the $mathscr H$-class of $S$. This makes transparent many well-known properties of Greens relations. The paper also establishes a number of technical results about the Karoubi envelope and Schutzenberger category that were used by the authors in a companion paper on syntactic invariants of flow equivalence of symbolic dynamical systems.
We propose a definition of the category of hybrid systems in which executions are special types of morphisms. Consequently morphisms of hybrid systems send executions to executions. We plan to use this result to define and study networks of hybrid systems.
سجل دخول لتتمكن من نشر تعليقات
التعليقات
جاري جلب التعليقات
سجل دخول لتتمكن من متابعة معايير البحث التي قمت باختيارها
