Related papers: The ring of $D_4$ triality invariants

We study the dynamics of a large class of N=1 quiver theories, geometrically realized by type IIB D-brane probes wrapping cycles of local Calabi-Yau threefolds. These include N=2 (affine) A-D-E quiver theories deformed by superpotential…

We introduce invariants of Hurwitz equivalence classes with respect to arbitrary group $G$. The invariants are constructed from any right $G$-modules $M$ and any $G$-invariant bilinear function on $M$, and are of bilinear forms. For…

We find the shape of the Donaldson invariants of a 4-manifold with b_1=0 and b^+>1, which may be not of simple type. The invariants appear as the q^0 coefficient of a expression given in terms of modular forms (as was predicted by Moore and…

We define a diffeomorphism invariant of smooth 4-manifolds which we can estimate for many smoothings of R^4 and other smooth 4-manifolds. Using this invariant we can show that uncountably many smoothings of R^4 support no Stein structure.…

Since their introduction in 1994, the Seiberg-Witten invariants have become one of the main tools used in 4-manifold theory. In this thesis, we will use these invariants to identify sufficient conditions for a 3-manifold to fibre over a…

Generalized Donaldson invariants of 4-manifolds are defined, using moduli spaces of anti-self-dual connections with structure group SU(N) or PSU(N). Some values of the invariants are calculated for the case that the 4-manifold arises by the…

We use the description of the Picard modular surface for discriminant $-3$ as a moduli space of curves of genus $3$ to generate all vector-valued Picard modular forms from bi-covariants for the action of ${GL}_2$ on the space of pairs of…

We use Gay and Kirby's description of 4-manifolds in terms of trisections and trisection diagrams to define a new 4-manifold invariant. The algebraic data are an indecomposable finite semisimple bimodule category over a pair of spherical…

The moduli space of (1,3)-polarized abelian surfaces with full level-2 structure is birational to a double cover of the Barth-Nieto quintic. Barth and Nieto have shown that these varieties have Calabi-Yau models Z and Y, respectively. In…

We develop the theory of Hopf bimodules for a finite rigid tensor category C. Then we use this theory to define a distinguished invertible object D of C and an isomorphism of tensor functors ?^{**} and D tensor ^{**}? tensor D^{-1}. This…

We build a bridge between geometric group theory and topological dynamical systems by establishing a dictionary between coarse equivalence and continuous orbit equivalence. As an application, we give conceptual explanations for previous…

Let $X$ be a variety with an action by an algebraic group $G$. In this paper we discuss various properties of $G$-equivariant $D$-modules on $X$, such as the decompositions of their global sections as representations of $G$ (when $G$ is…

Cubic complexes appear in the theory of finite type invariants so often that one can ascribe them to basic notions of the theory. In this paper we begin the exposition of finite type invariants from the `cubic' point of view. Finite type…

We formulate a notion of "geometric reductivity" in an abstract categorical setting which we refer to as adequacy. The main theorem states that the adequacy condition implies that the ring of invariants is finitely generated. This result…

We study holonomic modules for the rings of invariant differential operators on affine commutative domains with finite Krull dimension with respect to arbitrary actions of finite groups. We prove the Bernstein inequality for these rings.…

This is a continuation of the first paper (arXiv:2501.06486) of this series, where the framework for the combinatorial quantization of the 4d 2-Chern-Simons theory with an underlying compact structure Lie 2-group $\mathbb{G}$ was laid out.…

The Dwyer-Fried invariants of a finite cell complex X are the subsets \Omega^i_r(X) of the Grassmannian of r-planes in H^1(X,\Q) which parametrize the regular \Z^r-covers of X having finite Betti numbers up to degree i. In previous work, we…

We introduce new polynomial invariants of a finite-dimensional semisimple and cosemisimple Hopf algebra A over a field by using the braiding structures of A. We investigate basic properties of the polynomial invariants including stability…

We consider the role of the Kervaire--Milnor invariant in the classification of closed, connected, spin 4-manifolds, typically denoted by $M$, up to stabilisation by connected sums with copies of $S^2 \times S^2$. This stable classification…

We study closed, oriented 4-manifolds whose fundamental group is that of a closed, oriented, aspherical 3-manifold. We show that two such 4-manifolds are stably diffeomorphic if and only if they have the same w_2-type and their equivariant…