-
B-twisted Gaiotto-Witten theory and topological quantum field theory
Authors:
Niklas Garner,
Nathan Geer,
Matthew B. Young
Abstract:
We develop representation theoretic techniques to construct three dimensional non-semisimple topological quantum field theories which model homologically truncated topological B-twists of abelian Gaiotto-Witten theory with linear matter. Our constructions are based on relative modular structures on the category of weight modules over an unrolled quantization of a Lie superalgebra. The Lie superalg…
▽ More
We develop representation theoretic techniques to construct three dimensional non-semisimple topological quantum field theories which model homologically truncated topological B-twists of abelian Gaiotto-Witten theory with linear matter. Our constructions are based on relative modular structures on the category of weight modules over an unrolled quantization of a Lie superalgebra. The Lie superalgebra, originally defined by Gaiotto and Witten, is associated to a complex symplectic representation of a metric abelian Lie algebra. The physical theories we model admit alternative realizations as Chern-Simons-Rozansky-Witten theories and supergroup Chern-Simons theories and include as particular examples global forms of $\mathfrak{gl}(1 \vert 1)$-Chern-Simons theory and toral Chern-Simons theory. Fundamental to our approach is the systematic incorporation of non-genuine line operators which source flat connections for the topological flavour symmetry of the theory.
△ Less
Submitted 29 January, 2024;
originally announced January 2024.
-
Frobenius--Schur indicators for twisted Real representation theory and two dimensional unoriented topological field theory
Authors:
Levi Gagnon-Ririe,
Matthew B. Young
Abstract:
We construct a two dimensional unoriented open/closed topological field theory from a finite graded group $π:\hat{G} \twoheadrightarrow \{1,-1\}$, a $π$-twisted $2$-cocycle $\hatθ$ on $B \hat{G}$ and a character $λ: \hat{G} \rightarrow U(1)$. The underlying oriented theory is a twisted Dijkgraaf-Witten theory. The construction is based in the $(\hat{G}, \hatθ,λ)$-twisted Real representation theory…
▽ More
We construct a two dimensional unoriented open/closed topological field theory from a finite graded group $π:\hat{G} \twoheadrightarrow \{1,-1\}$, a $π$-twisted $2$-cocycle $\hatθ$ on $B \hat{G}$ and a character $λ: \hat{G} \rightarrow U(1)$. The underlying oriented theory is a twisted Dijkgraaf-Witten theory. The construction is based in the $(\hat{G}, \hatθ,λ)$-twisted Real representation theory of $\ker π$. In particular, twisted Real representations are boundary conditions and the generalized Frobenius-Schur element is its crosscap state.
△ Less
Submitted 5 October, 2023;
originally announced October 2023.
-
Renormalized Reshetikhin-Turaev invariants for the unrolled quantum group of $\mathfrak{sl}_2(\mathbb{C})$
Authors:
Nathan Geer,
Adam Robertson,
Jan-Luca Spellmann,
Matthew B. Young
Abstract:
This paper is a self-contained introduction to the theory of renormalized Reshetikhin-Turaev invariants of links defined by Geer, Patureau-Mirand and Turaev. Whereas the standard Reshetikhin-Turaev theory of a $\mathbb{C}$-linear ribbon category assigns the trivial invariant to any link with a component colored by a simple object of vanishing quantum dimension, the renormalized theory does not. We…
▽ More
This paper is a self-contained introduction to the theory of renormalized Reshetikhin-Turaev invariants of links defined by Geer, Patureau-Mirand and Turaev. Whereas the standard Reshetikhin-Turaev theory of a $\mathbb{C}$-linear ribbon category assigns the trivial invariant to any link with a component colored by a simple object of vanishing quantum dimension, the renormalized theory does not. We give a streamlined development of the renormalized Reshetikhin-Turaev theory of links for the category of weight modules over the restricted unrolled quantum group of $\mathfrak{sl}_2(\mathbb{C})$ at an even root of unity.
△ Less
Submitted 10 February, 2023;
originally announced February 2023.
-
Twisted Real quasi-elliptic cohomology
Authors:
Zhen Huan,
Matthew B. Young
Abstract:
In this paper we construct twisted Real quasi-elliptic cohomology as the twisted KR-theory of loop groupoids. The theory systematically incorporates loop rotation and reflection. After establishing basic properties of the theory, we construct twisted elliptic Pontryagin characters and, without twists, Real analogues of the string power operation of quasi-elliptic cohomology. We also explore the re…
▽ More
In this paper we construct twisted Real quasi-elliptic cohomology as the twisted KR-theory of loop groupoids. The theory systematically incorporates loop rotation and reflection. After establishing basic properties of the theory, we construct twisted elliptic Pontryagin characters and, without twists, Real analogues of the string power operation of quasi-elliptic cohomology. We also explore the relation of the theory to the Tate curve.
△ Less
Submitted 14 October, 2022;
originally announced October 2022.
-
Three dimensional topological quantum field theory from $U_q(\mathfrak{gl}(1 \vert 1))$ and $U(1 \vert 1)$ Chern--Simons theory
Authors:
Nathan Geer,
Matthew B. Young
Abstract:
We introduce an unrolled quantization $U_q^E(\mathfrak{gl}(1 \vert 1))$ of the complex Lie superalgebra $\mathfrak{gl}(1 \vert 1)$ and use its categories of weight modules to construct and study new three dimensional non-semisimple topological quantum field theories. These theories are defined on categories of cobordisms which are decorated by ribbon graphs and cohomology classes and take values i…
▽ More
We introduce an unrolled quantization $U_q^E(\mathfrak{gl}(1 \vert 1))$ of the complex Lie superalgebra $\mathfrak{gl}(1 \vert 1)$ and use its categories of weight modules to construct and study new three dimensional non-semisimple topological quantum field theories. These theories are defined on categories of cobordisms which are decorated by ribbon graphs and cohomology classes and take values in categories of graded super vector spaces. Computations in these theories are enabled by a detailed study of the representation theory of $U_q^E(\mathfrak{gl}(1 \vert 1))$, both for generic and root of unity $q$. We argue that by restricting to subcategories of integral weight modules we obtain topological quantum field theories which are mathematical models of Chern--Simons theories with gauge supergroups $\mathfrak{psl}(1 \vert 1)$ and $\mathfrak{gl}(1 \vert 1)$ coupled to background flat $\mathbb{C}^{\times}$-connections, as studied in the physics literature by Rozansky--Saleur and Mikhaylov. In particular, we match Verlinde formulae and map** class group actions on state spaces of non-generic tori with results in the physics literature. We also obtain explicit descriptions of state spaces of generic surfaces, including their graded dimensions, which go beyond results in the physics literature.
△ Less
Submitted 7 December, 2022; v1 submitted 9 October, 2022;
originally announced October 2022.
-
Matrix factorizations, Reality and Knörrer periodicity
Authors:
Jan-Luca Spellmann,
Matthew B. Young
Abstract:
Motivated by periodicity theorems for Real $K$-theory and Grothendieck--Witt theory and, separately, work of Hori-Walcher on the physics of Landau-Ginzburg orientifolds, we introduce and study categories of Real matrix factorizations. Our main results are generalizations of Knörrer periodicity to categories of Real matrix factorizations. These generalizations are structurally similar to $(1,1)$-pe…
▽ More
Motivated by periodicity theorems for Real $K$-theory and Grothendieck--Witt theory and, separately, work of Hori-Walcher on the physics of Landau-Ginzburg orientifolds, we introduce and study categories of Real matrix factorizations. Our main results are generalizations of Knörrer periodicity to categories of Real matrix factorizations. These generalizations are structurally similar to $(1,1)$-periodicity for $KR$-theory and $4$-periodicity for Grothendieck-Witt theory. We use techniques from Real categorical representation theory which allow us to incorporate into our main results equivariance for a finite group and discrete torsion twists.
△ Less
Submitted 24 May, 2022; v1 submitted 28 April, 2022;
originally announced April 2022.
-
Algebraic K-theory and Grothendieck-Witt theory of monoid schemes
Authors:
Jens Niklas Eberhardt,
Oliver Lorscheid,
Matthew B. Young
Abstract:
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories of vector bundles over monoid schemes. Our main results are the complete description of the algebraic $K$-theory space of an integral monoid scheme $X$ in terms of its Picard group $\operatorname{Pic}(X)$ and pointed monoid of regular functions $Γ(X, \mathcal{O}_X)$ and a description of the Grothendieck-Witt s…
▽ More
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories of vector bundles over monoid schemes. Our main results are the complete description of the algebraic $K$-theory space of an integral monoid scheme $X$ in terms of its Picard group $\operatorname{Pic}(X)$ and pointed monoid of regular functions $Γ(X, \mathcal{O}_X)$ and a description of the Grothendieck-Witt space of $X$ in terms of an additional involution on $\operatorname{Pic}(X)$. We also prove space-level projective bundle formulae in both settings.
△ Less
Submitted 26 September, 2020;
originally announced September 2020.
-
Group completion in the K-theory and Grothendieck-Witt theory of proto-exact categories
Authors:
Jens Niklas Eberhardt,
Oliver Lorscheid,
Matthew B. Young
Abstract:
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories, with a particular focus on classes of examples of $\mathbb{F}_1$-linear nature. Our main results are analogues of theorems of Quillen and Schlichting, relating the $K$-theory or Grothendieck-Witt theories of proto-exact categories defined using the (hermitian) $Q$-construction and group completion.
We study the algebraic $K$-theory and Grothendieck-Witt theory of proto-exact categories, with a particular focus on classes of examples of $\mathbb{F}_1$-linear nature. Our main results are analogues of theorems of Quillen and Schlichting, relating the $K$-theory or Grothendieck-Witt theories of proto-exact categories defined using the (hermitian) $Q$-construction and group completion.
△ Less
Submitted 26 September, 2020;
originally announced September 2020.
-
Twisted loop transgression and higher Jandl gerbes over finite groupoids
Authors:
Behrang Noohi,
Matthew B. Young
Abstract:
Given a double cover $π: \mathcal{G} \rightarrow \hat{\mathcal{G}}$ of finite groupoids, we explicitly construct twisted loop transgression maps, $τ_π$ and $τ_π^{ref}$, thereby associating to a Jandl $n$-gerbe $\hatλ$ on $\hat{\mathcal{G}}$ a Jandl $(n-1)$-gerbe $τ_π(\hatλ)$ on the quotient loop groupoid of $\mathcal{G}$ and an ordinary $(n-1)$-gerbe $τ^{ref}_π(\hatλ)$ on the unoriented quotient l…
▽ More
Given a double cover $π: \mathcal{G} \rightarrow \hat{\mathcal{G}}$ of finite groupoids, we explicitly construct twisted loop transgression maps, $τ_π$ and $τ_π^{ref}$, thereby associating to a Jandl $n$-gerbe $\hatλ$ on $\hat{\mathcal{G}}$ a Jandl $(n-1)$-gerbe $τ_π(\hatλ)$ on the quotient loop groupoid of $\mathcal{G}$ and an ordinary $(n-1)$-gerbe $τ^{ref}_π(\hatλ)$ on the unoriented quotient loop groupoid of $\mathcal{G}$. For $n =1,2$, we interpret the character theory (resp. centre) of the category of Real $\hatλ$-twisted $n$-vector bundles over $\hat{\mathcal{G}}$ in terms of flat sections of the $(n-1)$-vector bundle associated to $τ_π^{ref}(\hatλ)$ (resp. the Real $(n-1)$-vector bundle associated to $τ_π(\hatλ)$). We relate our results to Real versions of twisted Drinfeld doubles and pointed fusion categories and to discrete torsion in orientifold string and M-theory.
△ Less
Submitted 3 October, 2019;
originally announced October 2019.
-
Shadowing the rotating annulus. Part II: Gradient descent in the perfect model scenario
Authors:
Roland M. B. Young,
Roman Binter,
Falk Niehörster,
Peter L. Read,
Leonard A. Smith
Abstract:
Shadowing trajectories are model trajectories consistent with a sequence of observations of a system, given a distribution of observational noise. The existence of such trajectories is a desirable property of any forecast model. Gradient descent of indeterminism is a well-established technique for finding shadowing trajectories in low-dimensional analytical systems. Here we apply it to the thermal…
▽ More
Shadowing trajectories are model trajectories consistent with a sequence of observations of a system, given a distribution of observational noise. The existence of such trajectories is a desirable property of any forecast model. Gradient descent of indeterminism is a well-established technique for finding shadowing trajectories in low-dimensional analytical systems. Here we apply it to the thermally-driven rotating annulus, a laboratory experiment intermediate in model complexity and physical idealisation between analytical systems and global, comprehensive atmospheric models. We work in the perfect model scenario using the MORALS model to generate a sequence of noisy observations in a chaotic flow regime. We demonstrate that the gradient descent technique recovers a pseudo-orbit of model states significantly closer to a model trajectory than the initial sequence. Gradient-free descent is used, where the adjoint model is set to $λ$I in the absence of a full adjoint model. The indeterminism of the pseudo-orbit falls by two orders of magnitude during the descent, but we find that the distance between the pseudo-orbit and the initial, true, model trajectory reaches a minimum and then diverges from truth. We attribute this to the use of the $λ$-adjoint, which is well suited to noise reduction but not to finely-tuned convergence towards a model trajectory. We find that $λ=0.25$ gives optimal results, and that candidate model trajectories begun from this pseudo-orbit shadow the observations for up to 80 s, about the length of the longest timescale of the system, and similar to expected shadowing times based on the distance between the pseudo-orbit and the truth. There is great potential for using this method with real laboratory data.
△ Less
Submitted 11 September, 2019;
originally announced September 2019.
-
Shadowing the rotating annulus. Part I: Measuring candidate trajectory shadowing times
Authors:
Roland M. B. Young,
Roman Binter,
Falk Niehörster
Abstract:
An intuitively necessary requirement of models used to provide forecasts of a system's future is the existence of shadowing trajectories that are consistent with past observations of the system: given a system-model pair, do model trajectories exist that stay reasonably close to a sequence of observations of the system? Techniques for finding such trajectories are well-understood in low-dimensiona…
▽ More
An intuitively necessary requirement of models used to provide forecasts of a system's future is the existence of shadowing trajectories that are consistent with past observations of the system: given a system-model pair, do model trajectories exist that stay reasonably close to a sequence of observations of the system? Techniques for finding such trajectories are well-understood in low-dimensional systems, but there is significant interest in their application to high-dimensional weather and climate models. We build on work by Smith et al. [2010, Phys. Lett. A, 374, 2618-2623] and develop a method for measuring the time that individual "candidate" trajectories of high-dimensional models shadow observations, using a model of the thermally-driven rotating annulus in the perfect model scenario. Models of the annulus are intermediate in complexity between low-dimensional systems and global atmospheric models. We demonstrate our method by measuring shadowing times against artificially-generated observations for candidate trajectories beginning a fixed distance from truth in one of the annulus' chaotic flow regimes. The distribution of candidate shadowing times we calculated using our method corresponds closely to (1) the range of times over which the trajectories visually diverge from the observations and (2) the divergence time using a simple metric based on the distance between model trajectory and observations. An empirical relationship between the expected candidate shadowing times and the initial distance from truth confirms that the method behaves reasonably as parameters are varied.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Burnside rings for Real $2$-representation theory: The linear theory
Authors:
Dmitriy Rumynin,
Matthew B Young
Abstract:
This paper is a fundamental study of the Real $2$-representation theory of $2$-groups. It also contains many new results in the ordinary (non-Real) case. Our framework relies on a $2$-equivariant Morita bicategory, where a novel construction of induction is introduced. We identify the Grothendieck ring of Real $2$-representations as a Real variant of the Burnside ring of the fundamental group of t…
▽ More
This paper is a fundamental study of the Real $2$-representation theory of $2$-groups. It also contains many new results in the ordinary (non-Real) case. Our framework relies on a $2$-equivariant Morita bicategory, where a novel construction of induction is introduced. We identify the Grothendieck ring of Real $2$-representations as a Real variant of the Burnside ring of the fundamental group of the $2$-group and study the Real categorical character theory. This paper unifies two previous lines of inquiry, the approach to $2$-representation theory via Morita theory and Burnside rings, initiated by the first author and Wendland, and the Real $2$-representation theory of $2$-groups, as studied by the second author.
△ Less
Submitted 18 January, 2020; v1 submitted 26 June, 2019;
originally announced June 2019.
-
Refined scattering diagrams and theta functions from asymptotic analysis of Maurer-Cartan equations
Authors:
Naichung Conan Leung,
Ziming Nikolas Ma,
Matthew B. Young
Abstract:
We further develop the asymptotic analytic approach to the study of scattering diagrams. We do so by analyzing the asymptotic behavior of Maurer-Cartan elements of a differential graded Lie algebra constructed from a (not-necessarily tropical) monoid-graded Lie algebra. In this framework, we give alternative differential geometric proofs of the consistent completion of scattering diagrams, origina…
▽ More
We further develop the asymptotic analytic approach to the study of scattering diagrams. We do so by analyzing the asymptotic behavior of Maurer-Cartan elements of a differential graded Lie algebra constructed from a (not-necessarily tropical) monoid-graded Lie algebra. In this framework, we give alternative differential geometric proofs of the consistent completion of scattering diagrams, originally proved by Kontsevich-Soibelman, Gross-Siebert and Bridgeland. We also give a geometric interpretation of theta functions and their wall-crossing. In the tropical setting, we interpret Maurer-Cartan elements, and therefore consistent scattering diagrams, in terms of the refined counting of tropical disks. We also describe theta functions, in both their tropical and Hall algebraic settings, in terms of flat sections of the Maurer-Cartan-deformed differential. In particular, this allows us to give a combinatorial description of Hall algebra theta functions for acyclic quivers with non-degenerate skew-symmetrized Euler forms.
△ Less
Submitted 27 March, 2019; v1 submitted 15 February, 2019;
originally announced February 2019.
-
Degenerate versions of Green's theorem for Hall modules
Authors:
Matthew B. Young
Abstract:
Green's theorem states that the Hall algebra of the category of representations of a quiver over a finite field is a twisted bialgebra. Considering instead categories of orthogonal or symplectic quiver representations leads to a class of modules over the Hall algebra, called Hall modules, which are also comodules. A module theoretic analogue of Green's theorem, describing the compatibility of the…
▽ More
Green's theorem states that the Hall algebra of the category of representations of a quiver over a finite field is a twisted bialgebra. Considering instead categories of orthogonal or symplectic quiver representations leads to a class of modules over the Hall algebra, called Hall modules, which are also comodules. A module theoretic analogue of Green's theorem, describing the compatibility of the module and comodule structures, is not known. In this paper we prove module theoretic analogues of Green's theorem in the degenerate settings of finitary Hall modules of $\mathsf{Rep}_{\mathbb{F}_1}(Q)$ and constructible Hall modules of $\mathsf{Rep}_{\mathbb{C}}(Q)$. The result is that the module and comodule structures satisfy a compatibility condition reminiscent of that of a Yetter-Drinfeld module.
△ Less
Submitted 15 November, 2018; v1 submitted 18 October, 2018;
originally announced October 2018.
-
Orientation twisted homotopy field theories and twisted unoriented Dijkgraaf-Witten theory
Authors:
Matthew B. Young
Abstract:
Given a finite $\mathbb{Z}_2$-graded group $\hat{\mathsf{G}}$ with ungraded subgroup $\mathsf{G}$ and a twisted cocycle $\hatλ \in Z^n(B \hat{\mathsf{G}}; \mathsf{U}(1)_π)$ which restricts to $λ\in Z^n(B \mathsf{G}; \mathsf{U}(1))$, we construct a lift of $λ$-twisted $\mathsf{G}$-Dijkgraaf--Witten theory to an unoriented topological quantum field theory. Our construction uses a new class of homoto…
▽ More
Given a finite $\mathbb{Z}_2$-graded group $\hat{\mathsf{G}}$ with ungraded subgroup $\mathsf{G}$ and a twisted cocycle $\hatλ \in Z^n(B \hat{\mathsf{G}}; \mathsf{U}(1)_π)$ which restricts to $λ\in Z^n(B \mathsf{G}; \mathsf{U}(1))$, we construct a lift of $λ$-twisted $\mathsf{G}$-Dijkgraaf--Witten theory to an unoriented topological quantum field theory. Our construction uses a new class of homotopy field theories, which we call orientation twisted. We also introduce an orientation twisted variant of the orbifold procedure, which produces an unoriented topological field theory from an orientation twisted $\mathsf{G}$-equivariant topological field theory.
△ Less
Submitted 3 November, 2018; v1 submitted 10 October, 2018;
originally announced October 2018.
-
Real representation theory of finite categorical groups
Authors:
Matthew B. Young
Abstract:
We introduce and develop a categorification of the theory of Real representations of finite groups. In particular, we generalize the categorical character theory of Ganter--Kapranov and Bartlett to the Real setting. Given a Real representation of a group $\mathsf{G}$, or more generally a finite categorical group, on a linear category, we associate a number, the modified secondary trace, to each gr…
▽ More
We introduce and develop a categorification of the theory of Real representations of finite groups. In particular, we generalize the categorical character theory of Ganter--Kapranov and Bartlett to the Real setting. Given a Real representation of a group $\mathsf{G}$, or more generally a finite categorical group, on a linear category, we associate a number, the modified secondary trace, to each graded commuting pair $(g, ω) \in \mathsf{G} \times \hat{\mathsf{G}}$, where $\hat{\mathsf{G}}$ is the background Real structure on $\mathsf{G}$. This collection of numbers defines the Real $2$-character of the Real representation. We also define various forms of induction for Real representations of finite categorical groups and compute the result at the level of Real $2$-characters. We interpret results in Real categorical character theory in terms of geometric structures, namely gerbes, vector bundles and functions on iterated unoriented loop groupoids. This perspective naturally leads to connections with the representation theory of unoriented versions of the twisted Drinfeld double of $\mathsf{G}$ and with discrete torsion in $M$-theory with orientifold. We speculate on an interpretation of our results as a generalized Hopkins--Kuhn--Ravenel-type character theory in Real equivariant homotopy theory.
△ Less
Submitted 9 September, 2018; v1 submitted 24 April, 2018;
originally announced April 2018.
-
Relative $2$-Segal spaces
Authors:
Matthew B. Young
Abstract:
We introduce a relative version of the $2$-Segal simplicial spaces defined by Dyckerhoff and Kapranov and Gálvez-Carrillo, Kock and Tonks. Examples of relative $2$-Segal spaces include the categorified unoriented cyclic nerve, real pseudoholomorphic polygons in almost complex manifolds and the $\mathcal{R}_{\bullet}$-construction from Grothendieck-Witt theory. We show that a relative $2$-Segal spa…
▽ More
We introduce a relative version of the $2$-Segal simplicial spaces defined by Dyckerhoff and Kapranov and Gálvez-Carrillo, Kock and Tonks. Examples of relative $2$-Segal spaces include the categorified unoriented cyclic nerve, real pseudoholomorphic polygons in almost complex manifolds and the $\mathcal{R}_{\bullet}$-construction from Grothendieck-Witt theory. We show that a relative $2$-Segal space defines a categorical representation of the Hall algebra associated to the base $2$-Segal space. In this way, after decategorification we recover a number of known constructions of Hall algebra representations. We also describe some higher categorical interpretations of relative $2$-Segal spaces.
△ Less
Submitted 8 February, 2017; v1 submitted 28 November, 2016;
originally announced November 2016.
-
Cohomological orientifold Donaldson-Thomas invariants as Chow groups
Authors:
Hans Franzen,
Matthew B. Young
Abstract:
We establish a geometric interpretation of orientifold Donaldson-Thomas invariants of $σ$-symmetric quivers with involution. More precisely, we prove that the cohomological orientifold Donaldson-Thomas invariant is isomorphic to the rational Chow group of the moduli space of $σ$-stable self-dual quiver representations. As an application we prove that the Chow Betti numbers of moduli spaces of stab…
▽ More
We establish a geometric interpretation of orientifold Donaldson-Thomas invariants of $σ$-symmetric quivers with involution. More precisely, we prove that the cohomological orientifold Donaldson-Thomas invariant is isomorphic to the rational Chow group of the moduli space of $σ$-stable self-dual quiver representations. As an application we prove that the Chow Betti numbers of moduli spaces of stable $m$-tuples in classical Lie algebras can be computed numerically. We also prove a cohomological wall-crossing formula relating semistable Hall modules for different stabilities.
△ Less
Submitted 26 July, 2016; v1 submitted 21 May, 2016;
originally announced May 2016.
-
Representations of cohomological Hall algebras and Donaldson-Thomas theory with classical structure groups
Authors:
Matthew B. Young
Abstract:
We introduce a new class of representations of the cohomological Hall algebras of Kontsevich and Soibelman, which we call cohomological Hall modules, or CoHM for short. These representations are constructed from self-dual representations of a quiver with contravariant involution $σ$ and provide a mathematical model for the space of BPS states in orientifold string theory. We use the CoHM to define…
▽ More
We introduce a new class of representations of the cohomological Hall algebras of Kontsevich and Soibelman, which we call cohomological Hall modules, or CoHM for short. These representations are constructed from self-dual representations of a quiver with contravariant involution $σ$ and provide a mathematical model for the space of BPS states in orientifold string theory. We use the CoHM to define a generalization of the cohomological Donaldson-Thomas theory of quivers which allows the quiver representations to have orthogonal and symplectic structure groups. The associated invariants are called orientifold Donaldson-Thomas invariants. We prove the integrality conjecture for orientifold Donaldson-Thomas invariants of $σ$-symmetric quivers. We also formulate precise conjectures regarding the geometric meaning of these invariants and the freeness of the CoHM of a $σ$-symmetric quiver. We prove the freeness conjecture for disjoint union quivers, loop quivers and the affine Dynkin quiver of type $\widetilde{A}_1$. We also verify the geometric conjecture in a number of examples. Finally, we describe the CoHM of finite type quivers by constructing explicit Poincaré-Birkhoff-Witt type bases of these representations.
△ Less
Submitted 25 May, 2016; v1 submitted 17 March, 2016;
originally announced March 2016.
-
The motive of the classifying stack of the orthogonal group
Authors:
Ajneet Dhillon,
Matthew B. Young
Abstract:
We compute the motive of the classifying stack of an orthogonal group in the Grothendieck ring of stacks over a field of characteristic different from two.
We compute the motive of the classifying stack of an orthogonal group in the Grothendieck ring of stacks over a field of characteristic different from two.
△ Less
Submitted 9 September, 2018; v1 submitted 11 November, 2014;
originally announced November 2014.
-
Self-dual quiver moduli and orientifold Donaldson-Thomas invariants
Authors:
Matthew B. Young
Abstract:
Motivated by the counting of BPS states in string theory with orientifolds, we study moduli spaces of self-dual representations of a quiver with contravariant involution. We develop Hall module techniques to compute the number of points over finite fields of moduli stacks of semistable self-dual representations. Wall-crossing formulas relating these counts for different choices of stability parame…
▽ More
Motivated by the counting of BPS states in string theory with orientifolds, we study moduli spaces of self-dual representations of a quiver with contravariant involution. We develop Hall module techniques to compute the number of points over finite fields of moduli stacks of semistable self-dual representations. Wall-crossing formulas relating these counts for different choices of stability parameters recover the wall-crossing of orientifold BPS/Donaldson-Thomas invariants predicted in the physics literature. In finite type examples the wall-crossing formulas can be reformulated in terms of identities for quantum dilogarithms acting in representations of quantum tori.
△ Less
Submitted 29 January, 2015; v1 submitted 21 August, 2014;
originally announced August 2014.
-
The Hall module of an exact category with duality
Authors:
Matthew B. Young
Abstract:
We construct from a finitary exact category with duality a module over its Hall algebra, called the Hall module, encoding the first order self-dual extension structure of the category. We study in detail Hall modules arising from the representation theory of a quiver with involution. In this case we show that the Hall module is naturally a module over the specialized reduced sigma-analogue of the…
▽ More
We construct from a finitary exact category with duality a module over its Hall algebra, called the Hall module, encoding the first order self-dual extension structure of the category. We study in detail Hall modules arising from the representation theory of a quiver with involution. In this case we show that the Hall module is naturally a module over the specialized reduced sigma-analogue of the quantum Kac-Moody algebra attached to the quiver. For finite type quivers, we explicitly determine the decomposition of the Hall module into irreducible highest weight modules.
△ Less
Submitted 11 July, 2014; v1 submitted 3 December, 2012;
originally announced December 2012.
