arXiv research

New homological results for bordered Floer algebras derived from hypertoric categories.

Study of Hilbert schemes and Coulomb branches of hypertoric varieties.

New algebraic description connects Fukaya category to bordered Floer homology.

Let M be a Hamiltonian T space with a proper moment map, bounded below in some component. In this setting, we give a combinatorial description of the T-equivariant cohomology of M, extending results of Goresky, Kottwitz and MacPherson and techniques of Tolman and Weitsman. Moreover, when M is equipped with an antisympl…

Survey and generalization of implosion and contraction in symplectic and hyperkähler geometry.

Hypertoric varieties are hyperkähler analogues of toric varieties, and are constructed as abelian hyperkähler quotients of a quaternionic affine space. Just as symplectic toric orbifolds are determined by labelled polytopes, orbifold hypertoric varieties are intimately related to the combinatorics of hyperplane arrange…

The geometry of the universal hyperKaehler implosion for SU(n) is explored. In particular, we show that the universal hyperKaehler implosion naturally contains a hypertoric variety described in terms of quivers. Furthermore, we discuss a gauge theoretic approach to hyperKaehler implosion.

For a finite group $G$, we define an equivariant cobordism category $\mathcal{C}_d^G$. Objects of the category are $(d-1)$-dimensional closed smooth $G$-manifolds and morphisms are smooth $d$-dimensional equivariant cobordisms. We identify the homotopy type of its classifying space (i.e. geometric realization of its si…

We will provide a lower bound for the equivariant Lusternik-Schnirelmann category of an arbitrary proper action in terms of the stratification by orbit types, and an upper bound for proper polar actions in terms of the equivariant Lusternik-Schnirelmann category of its generalized Weyl group. As an application we repro…

Category theory enhances understanding of group-equivariant neural networks.

Lie groupoid equivariant neural networks are a new type of neural network.

Study shows equivariant Khovanov homotopy types are equivalent.

We present a framework for studying the dynamics of equivariant vector fields near relative equilibria. To overcome the lack of linearization at a relative equilibrium or the possible non-smoothness of the orbit space, we categorify the space of equivariant vector fields. A category where the objects are equivariant ve…

In this paper, we extend the notion of modular functor and fusion category to what we called $G$ equivariant modular functor and $G$ equivariant fusion category, where $G$ is a finite group, and establish a correspondence between between these notions.

We define the category of manifolds with extended tangent bundles, we study their symmetries and we consider the analogue of equivariant cohomology for actions of Lie groups in this category. We show that when the action preserves the splitting of the extended tangent bundle, our definition of extended equivariant coho…

In this note, we consider a Lie group G acting on a manifold M. We prove that the category of bundles with connection on the differential quotient stack is equivalent to the category of G-equivariant bundles on M with G-invariant connection.

Functor connects symplectic and contact structures via cutting and blowups.

Constructs a functor for equivariant smooth h-cobordisms.

We symmetrise neural networks for groups using Markov categories.

The paper studies equivariant sheaves on toric varieties and their quotients.

This is the second companion paper of arXiv:1601.03586. We consider the morphism from the variety of triples introduced in arXiv:1601.03586 to the affine Grassmannian. The direct image of the dualizing complex is a ring object in the equivariant derived category on the affine Grassmannian (equivariant derived Satake ca…

Develops parametrised Poincaré duality for equivariant fixed points.

Formulates a new connection between topological and geometric categories.

Constructs 2-vector bundles and 2K-theory for Lie groupoids and 2-equivariant settings.

We discuss various aspects of moment map geometry in symplectic and hyperKähler geometry. In particular, we classify complete hyperKähler manifolds of dimension $4n$ with a tri-Hamiltonian action of a torus of dimension $n$, without any assumption on the finiteness of the Betti numbers. As a result we find that the hyp…

We approach Mackenzie's LA-groupoids from a supergeometric point of view by introducing Q-groupoids, which are groupoid objects in the category of Q-manifolds. There is a faithful functor from the category of LA-groupoids to the category of Q-groupoids. We associate to every Q-groupoid a double complex that provides a …

We study the geometry of the twistor space of the universal hyperkaehler implosion Q for SU(n). Using the description of Q as a hyperkaehler quiver variety, we construct a holomorphic map from the twistor space Z_Q of Q to a complex vector bundle over P^1, and an associated map of Q to the affine space R of the bundle'…

The LS-category of a topological space is a numerical homotopy invariant, introduced originally in a course on the global calculus of variations by Lyusternik and Schnirelmann, to estimate the number of critical points of a smooth function. When the topological space is a smooth manifold equipped with a proper action o…

An algorithm for efficient computation of equivariant neural network layers.

Let G be a compact Lie group acting on a smooth manifold M. In this paper, we consider Meinrenken's G-equivariant bundle gerbe connections on M as objects in a 2-groupoid. We prove this 2-category is equivalent to the 2-groupoid of gerbe connections on the differential quotient stack associated to M, and isomorphism cl…

We define an extended field theory in dimensions $1+1+1$, that takes the form of a `quasi 2-functor' with values in a strict 2-category $\widehat{\mathcal{H}am}$, defined as the `completion of a partial 2-category' $\mathcal{H}am$, notions which we define. Our construction extends Wehrheim and Woodward's Floer Field th…

Let X be a Kahler manifold that is presented as a Kahler quotient of C^n by the linear action of a compact group G. We define the hyperkahler analogue M of X as a hyperkahler quotient of the cotangent bundle T^*C^n by the induced G-action. Special instances of this construction include hypertoric varieties and quiver v…

This note is mostly an exposition of an unpublished result of Deligne, which introduces an analogue of perverse $t$-structure on the derived category of coherent sheaves on a Noetherian scheme with a dualizing complex. Construction extends to the category of coherent sheaves equivariant under an action of an algebraic …

New smooth models for string groups defined in ∞-categories.

Refines quantum annular homology using stable homotopy methods.

Constructs 2-representations and 2-vector bundles for Lie 2-groups.

Equivalent bicategories constructed from action Lie groupoids.

The first goal of this survey paper is to argue that if orbifolds are groupoids, then the collection of orbifolds and their maps has to be thought of as a 2-category. Compare this with the classical definition of Satake and Thurston of orbifolds as a 1-category of sets with extra structure and/or with the "modern" defi…

New algorithm speeds up group equivariant neural networks computations.

New rigidity results for complex and quaternionic moment-angle manifolds.

This is the second in a series of papers on a new equivariant cohomology that takes values in a vertex algebra. In an earlier paper, the first two authors gave a construction of the cohomology functor on the category of O(sg) algebras. The new cohomology theory can be viewed as a kind of "chiralization'' of the classic…

Given a bundle gerbe on a compact smooth manifold or, more generally, on a compact étale Lie groupoid $M$, we show that the corresponding category of gerbe modules, if it is non-trivial, is equivalent to the category of finitely generated projective modules over an Azumaya algebra on $M$. This result can be seen as an …

Generalizes Floer homotopy via Morse-Bott theory.

Let G be a general (not necessarily finite dimensional compact) Lie group, let g be its Lie algebra, let Cg be the cone on g in the category of differential graded Lie algebras, and consider the functor which assigns to a chain complex V the V-valued total de Rham complex of G. We describe the G-equivariant de Rham coh…

We propose the notion of a supercategory as an alternative approach to supermathematics. We show that this setting is rich to carry out many of the basic constructions of supermathematics. We also prove generalizations of a number of results in equivariant cohomology, including the Chern-Weil theorem for an arbitrary r…

We prove the Farrell-Jones Conjecture for algebraic K-theory of spaces for virtually poly-Z-groups. For this, we transfer the 'Farrell-Hsiang method' from the linear case to categories of equivariant, controlled retractive spaces.

Scheme resolves super-brane topology via equivariant structures.

Introduces P-tensors for generalized higher-order message passing in graph neural networks.