arXiv research

Extended equivariant BV formalism to manifolds with boundaries.

The isotropy action on certain symmetric spaces is shown to be equivariantly formal.

Derives localization formulas in Batalin-Vilkovisky formalism.

In this short note we prove an equivariant version of the formality of multidiffirential operators for a proper Lie group action. More precisely, we show that the equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism between the cohomology of the equivariant multidifferential operators and the complex of equivaria…

For a closed Kähler manifold with a Hamiltonian action of a connected compact Lie group by holomorphic isometries, we construct a formal Frobenius manifold structure on the equivariant cohomology by exploiting a natural DGBV algebra structure on the Cartan model.

Study knot Floer homology to create concordance invariants and slice genus bounds.

The study confirms that certain symmetric spaces are formal.

An action of a compact Lie group is called equivariantly formal, if the Leray--Serre spectral sequence of its Borel fibration degenerates at the E_2-term. This term is as prominent as it is restrictive. In this article, also motivated by the lack of junction between the notion of equivariant formality and the concept o…

We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is that it is based on the use of covariant tensors unlike Kontsevich's original p…

This is a survey on the equivariant cohomology of Lie group actions on manifolds, from the point of view of de Rham theory. Emphasis is put on the notion of equivariant formality, as well as on applications to ordinary cohomology and to fixed points.

We investigate an equivariant generalization of Morse theory for a general class of integrable models. In particular, we derive equivariant versions of the classical Poincaré-Hopf and Gauss-Bonnet-Chern theorems and present the corresponding path integral generalizations. Our approach is based on equivariant cohomology…

A classical theorem due to Quillen (1969) identifies the unitary bordism ring with the Lazard ring, which classifies the universal one-dimensional commutative formal group law. We prove an equivariant generalization of this result by identifying the homotopy theoretic $\mathbb{Z}/2$-equivariant unitary bordism ring, in…

We formalize an equivariant version of Bestvina-Brady discrete Morse theory, and apply it to Vietoris-Rips complexes in order to exhibit finite universal spaces for proper actions for all asymptotically CAT(0) groups.

This work proposes a geometric approach to equivariant message passing on Riemannian manifolds.

We show that the isotropy action of a homogeneous space $G/K$, where $G$ and $K$ are compact, connected Lie groups and $K$ is defined by an automorphism on $G$, is equivariantly formal and that $(G, K)$ is a Cartan pair.

Let G be a connected compact Lie group acting on a manifold M and let D be a transversally elliptic operator on M. The multiplicity of the index of D is a function on the set of irreducible representations of G. Let T be a maximal torus of G with Lie algebra Lie(T). We construct a finite number of piecewise polynomial …

Paper defines mathematical framework for neural network explainability.

The Witten class is derived from equivariant cohomology of a conformal loop space.

We present an equivariant extension of the Thom form with respect to a vector field action, in the framework of the Mathai-Quillen formalism. The associated Topological Quantum Field Theories correspond to twisted $N=2$ supersymmetric theories with a central charge. We analyze in detail two different cases: topological…

We compute the equivariant complex K-theory ring of a cohomogeneity-one action of a compact Lie group at the level of generators and relations and derive a characterization of K-theoretic equivariant formality for these actions. Less explicit expressions survive for a range of equivariant cohomology theories including …

An impossibility result shows limitations in learning symmetries and equivariant functions.

Generalizes Floer homotopy via Morse-Bott theory.

We show that for every symmetric space G/K of compact type with K connected, the K-action on G/K by left translations is equivariantly formal.

Let G be a compact connected Lie group, and (M,ω) a Hamiltonian G-space with proper moment map μ. We give a surjectivity result which expresses the K-theory of the symplectic quotient M//G in terms of the equivariant K-theory of the original manifold M, under certain technical conditions on μ. This result is a natural …

New invariants prove exotic slice disks for knots.

We introduce the Convolutional Conditional Neural Process (ConvCNP), a new member of the Neural Process family that models translation equivariance in the data. Translation equivariance is an important inductive bias for many learning problems including time series modelling, spatial data, and images. The model embeds …

We study a formulation of the standard Poisson sigma model in which the target space Poisson manifold carries the Hamilton action of some finite dimensional Lie algebra. We show that the structure of the action and the properties of the gauge invariant observables can be understood in terms of the associated target spa…

New neural networks for non-commutative data.

The study shows symmetry improves machine learning generalization.

New fusion blocks improve equivariant neural networks for molecular dynamics.

Study on cohomology of singular foliations with localization results.

There is a natural way to deform a Killing foliation with non-closed leaves, due to Ghys and Haefliger--Salem, into a closed foliation, i.e., a foliation whose leaves are all closed. Certain transverse geometric and topological properties are preserved under these deformations, as previously shown by the authors. For i…

We investigate the equivariant cohomology of the natural torus action on a K-contact manifold and its relation to the topology of the Reeb flow. Using the contact moment map, we show that the equivariant cohomology of this action is Cohen-Macaulay, which is a generalization of equivariant formality for torus actions wi…

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

Develops parametrised Poincaré duality for equivariant fixed points.

Let T be a torus. We present an exact sequence relating the relative equivariant cohomologies of the skeletons of an equivariantly formal T-space. This sequence, which goes back to Atiyah and Bredon, generalizes the so-called Chang-Skjelbred lemma. As coefficients, we allow prime fields and subrings of the rationals, i…

New method for deep learning hierarchies like sequences and graphs.

Sparse incidence tensors can represent a variety of structured data. For example, we may represent attributed graphs using their node-node, node-edge, or edge-edge incidence matrices. In higher dimensions, incidence tensors can represent simplicial complexes and polytopes. In this paper, we formalize incidence tensors,…

For every abelian compact Lie group A, we prove that the homotopical A-equivariant complex bordism ring, introduced by tom Dieck (1970), is isomorphic to the A-equivariant Lazard ring, introduced by Cole-Greenlees-Kriz (2000). This settles a conjecture of Greenlees. We also show an analog for homotopical real bordism r…

New framework uses symmetry-based matrices for efficient, flexible NNs.

We study Cohen-Macaulay actions, a class of torus actions on manifolds, possibly without fixed points, which generalizes and has analogous properties as equivariantly formal actions. Their equivariant cohomology algebras are computable in the sense that a Chang-Skjelbred Lemma, and its stronger version, the exactness o…

We use Morse theory of the Yang-Mills functional to compute the Betti numbers of the moduli stack of flat U(3)-bundles over a compact nonorientable surface. Our result establishes the antiperfection conjecture of Ho-Liu, and provides evidence for the equivariant formality conjecture of the author.

Proposes a framework for compositional generalization in language models.

We consider dimensional reduction of gauge theories with arbitrary gauge group in a formalism based on equivariant principal bundles. For the classical gauge groups we clarify the relations between equivariant principal bundles and quiver bundles, and show that the reduced quiver gauge theories are all generically buil…

We exploit the Fedosov-Weinstein-Xu (FWX) resolution proposed in q-alg/9709043 to establish an isomorphism between the ring of Hochschild cohomology of the quantum algebra of functions on a symplectic manifold M and the ring H(M, C((h))) of De Rham cohomology of M with the coefficient field C((h)) without making use of…

The concept of conformally equivariant quantizations was introduced by Duval, Lecomte and Ovsienko in \cite{DLO} for manifolds endowed with flat conformal structures. They obtained results of existence and uniqueness (up to normalization) of such a quantization procedure. A natural generalization of this concept is to …

The paper investigates how symmetry in models affects their performance and generalization.

Novel construction of Bauer--Furuta invariant using sheaves of spectra.