-
Supporting rank and the intersection of all Hassett Divisors
Authors:
Elad Gal,
Howard Nuer
Abstract:
We prove that the dimension of the intersection $\mathcal Z$ of all Hassett divisors of special cubic fourfolds is sixteen. We do this by studying which subsets of the natural numbers $\mathbb N$ can be obtained as the image of a positive-definite integral quadratic form and what the minimal possible rank of such a form is. In particular, for the subset of $\mathbb N$ consisting of all possible di…
▽ More
We prove that the dimension of the intersection $\mathcal Z$ of all Hassett divisors of special cubic fourfolds is sixteen. We do this by studying which subsets of the natural numbers $\mathbb N$ can be obtained as the image of a positive-definite integral quadratic form and what the minimal possible rank of such a form is. In particular, for the subset of $\mathbb N$ consisting of all possible discriminants of special cubic fourfolds, we show this rank is four and that this is the codimension of $\mathcal Z$ in $\mathcal C$, the twenty-dimensional moduli space of cubic fourfolds.
△ Less
Submitted 8 November, 2023;
originally announced November 2023.
-
Higher Segal spaces and Lax $\mathbb{A}_\infty$-algebras
Authors:
Adam Gal,
Elena Gal
Abstract:
The notion of a higher Segal space was introduced by Dyckerhoff and Kapranov as a general framework for studying higher associativity inherent in a wide range of mathematical objects. In the present work we formalize the connection between this notion and the notion of $\mathbb{A}_\infty$-algebra. We introduce the notion of a "$d$-lax $\mathbb{A}_\infty$-algebra object" which generalizes the notio…
▽ More
The notion of a higher Segal space was introduced by Dyckerhoff and Kapranov as a general framework for studying higher associativity inherent in a wide range of mathematical objects. In the present work we formalize the connection between this notion and the notion of $\mathbb{A}_\infty$-algebra. We introduce the notion of a "$d$-lax $\mathbb{A}_\infty$-algebra object" which generalizes the notion of an $\mathbb{A}_\infty$-algebra object. We describe a construction that assigns to a simplicial object $S_\bullet$ in a category $\mathscr{S}$ a datum of higher associators. We show that this datum defines a $d$-lax $\mathbb{A}_\infty$-algebra object in the category of correspondences in $\mathscr{S}$ precisely when $S_\bullet$ is a $(d+1)$-Segal object. More concretely we prove that for $n\geq d$ the "$n$-dimensional associator" is invertible. The so called "upper" and "lower" $d$-Segal conditions which originally come from the geometry of polytopes appear naturally in our construction as the two conditions which together imply the invertibility of the $d$-dimensional associator. A corollary is that for $d=2$, our construction defines an $\mathbb{A}_\infty$-algebra in the $(\infty,1)$-category of correspondences in $\mathscr{S}$ with the $2$-Segal conditions implying invertibility of all associativity data.
△ Less
Submitted 16 July, 2019; v1 submitted 8 May, 2019;
originally announced May 2019.
-
Hall categories and KLR categorification
Authors:
Adam Gal,
Elena Gal,
Kobi Kremnizer
Abstract:
This paper is the first step in the project of categorifying the bialgebra structure on the half of quantum group $U_{q}(\mathfrak{g})$ by using geometry and Hall algebras. We equip the category of D-modules on the moduli stack of objects of the category $Rep_{\mathbb{C}}(Q)$ of representations of a quiver with the structure of an algebra object in the category of stable $\infty$-categories. The d…
▽ More
This paper is the first step in the project of categorifying the bialgebra structure on the half of quantum group $U_{q}(\mathfrak{g})$ by using geometry and Hall algebras. We equip the category of D-modules on the moduli stack of objects of the category $Rep_{\mathbb{C}}(Q)$ of representations of a quiver with the structure of an algebra object in the category of stable $\infty$-categories. The data for this construction is provided by an extension of the Waldhausen construction for the category $Rep_{\mathbb{C}}(Q)$. We discuss the connection to the Khovanov-Lauda-Rouquier categorification of half of the quantum group $U_{q}(\mathfrak{g})$ associated to the quiver $Q$ and outline our approach to the categorification of the bialgebra structure.
△ Less
Submitted 16 October, 2018;
originally announced October 2018.
-
Hopf categories and the categorification of the Heisenberg algebra via graphical calculus
Authors:
Elena Gal
Abstract:
We explore the connection between the notion of Hopf category and the categorification of the infinite dimensional Heisenberg algebra via graphical calculus proposed by M.Khovanov. We show that the existence of a Hopf structure on a semisimple symmetric monoidal abelian category implies existence of a categorical action in the sense of Khovanov and thus leads to a strong categorification of this a…
▽ More
We explore the connection between the notion of Hopf category and the categorification of the infinite dimensional Heisenberg algebra via graphical calculus proposed by M.Khovanov. We show that the existence of a Hopf structure on a semisimple symmetric monoidal abelian category implies existence of a categorical action in the sense of Khovanov and thus leads to a strong categorification of this algebra.
△ Less
Submitted 20 December, 2016;
originally announced December 2016.
-
A geometric approach to Hall algebras I: Higher Associativity
Authors:
Adam Gal,
Elena Gal
Abstract:
We construct a geometric system from which the Hall algebra can be recovered. This system inherently satisfies higher associativity conditions and thus leads to a categorification of the Hall algebra. We then suggest how to use this approach to construct categorified representations.
We construct a geometric system from which the Hall algebra can be recovered. This system inherently satisfies higher associativity conditions and thus leads to a categorification of the Hall algebra. We then suggest how to use this approach to construct categorified representations.
△ Less
Submitted 28 November, 2016;
originally announced November 2016.
-
Symmetric self-adjoint Hopf categories and a categorical Heisenberg double
Authors:
Adam Gal,
Elena Gal
Abstract:
Motivated by the work of of A. Zelevinsky on positive self-adjoint Hopf algebras, we define what we call a symmetric self-adjoint Hopf structure for a certain kind of semisimple abelian categories. It is known that every positive self-adjoint Hopf algebra admits a natural action of the associated Heisenberg double. We construct canonical morphisms lifting the relations that define this action on t…
▽ More
Motivated by the work of of A. Zelevinsky on positive self-adjoint Hopf algebras, we define what we call a symmetric self-adjoint Hopf structure for a certain kind of semisimple abelian categories. It is known that every positive self-adjoint Hopf algebra admits a natural action of the associated Heisenberg double. We construct canonical morphisms lifting the relations that define this action on the algebra level and define an object that we call a categorical Heisenberg double that is a natural setting for considering these morphisms. As examples, we exhibit the symmetric self-adjoint Hopf structure on the categories of polynomial functors and equivariant polynomial functors. In the case of the category of polynomial functors we obtain categorification of the Fock space representation of the infinite-dimensional Heisenberg algebra.
△ Less
Submitted 26 November, 2016; v1 submitted 16 June, 2014;
originally announced June 2014.
