arXiv research

The equivariant cohomology of a space with a group action is not only a ring but also an algebra over the cohomology ring of the classifying space of the acting group. We prove that toric manifolds (i.e. compact smooth toric varieties) are isomorphic as varieties if and only if their equivariant cohomology algebras are…

New proof for 4D symplectic manifolds: equivariant cohomology determines diffeotype.

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…

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…

Suppose G is a compact Lie group and N is a closed normal subgroup of G acting freely on a smooth manifold X. The Cartan theorem alluded to in the title postulates the existence of a natural isomorphism between the G-equivariant cohomology X and the G/N-equivariant cohomology of X/N. In this note we use J. Kalkman's ex…

Generalizes Molino's theory for Riemannian foliations.

We define the equivariant holonomy of an invariant connection on a principal U(1)-bundle. The properties of the ordinary holonomy are generalized to the equivariant setting. In particular, equivariant U(1)-bundles with connection are shown to be classified by its equivariant holonomy modulo isomorphisms. We also show t…

Let $G$ be a linear connected complex reductive Lie group. The purpose of this paper is to give explicit symplectic isomorphisms from twisted cotangent bundles of the complex generalized flag varieties, whose transition functions are given by affine transformations instead of linear transformations, onto the complex co…

The objective of this paper is to clarify the relationships between the quantum D-module and equivariant Floer theory. Equivariant Floer theory was introduced by Givental in his paper ``Homological Geometry''. He conjectured that the quantum D-module of a symplectic manifold is isomorphic to the equivariant Floer cohom…

Let G be a compact Lie-group, X a compact G-CW-complex. We define equivariant geometric K-homology groups K^G_*(X), using an obvious equivariant version of the (M,E,f)-picture of Baum-Douglas for K-homology. We define explicit natural transformations to and from equivariant K-homology defined via KK-theory (the "offici…

Let G be a compact, connected Lie group, acting smoothly on a manifold M. Goresky-Kottwitz-MacPherson described a small Cartan model for the equivariant cohomology of M, quasi-isomorphic to the standard Cartan complex of equivariant differential forms. In this paper, we construct an explicit cochain map from the small …

We present three equivalent definitions of $S^1$-equivariant symplectic homology. We show that, using rational coefficients, the positive part of $S^1$-equivariant symplectic homology is isomorphic to linearized contact homology, when the latter is defined. We present several computations and applications, and introduc…

We begin by presenting a symmetric version of the circle equivariant T-duality result in a joint work of the second author with Siye Wu, thereby generalising the results there. We then initiate the study of twisted equivariant Courant algebroids and equivariant generalised geometry and apply it to our context. As befor…

Two Pin(2)-equivariant Floer homologies are shown to be equivalent.

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…

Equivariant T-duality connects bundles with twists.

These notes are the first chapter of a monograph, dedicated to a detailed proof of the equivariant index theorem for transversally elliptic operators. In this preliminary chapter, we prove a certain number of natural relations in equivariant cohomology. These relations include the Thom isomorphism in equivariant cohomo…

The spaces of linear differential operators on ${\mathbb{R}}^n$ acting on tensor densities of degree $λ$ and the space of functions on $T^*{\mathbb{R}}^n$ which are polynomial on the fibers are not isomorphic as modules over the Lie algebra $\Vect({\mathbb{R}}^n)$ of vector fields on ${\mathbb{R}}^n$. However, these mo…

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 compute the equivariant $K$-theory $K_G^*(G)$ for a simply connected Lie group $G$ (acting on itself by conjugation). We prove that $K_G^*(G)$ is isomorphic to the algebra of Grothendieck differentials on the representation ring. We also study a special example of a non-simply connected Lie group $G$, namely PSU(3),…

Let G be a discrete group and let X be a G-finite, proper G-CW-complex. We prove that Kasparov's equivariant K-homology groups KK^G(C_0(X),\C) are isomorphic to the geometric equivariant K-homology groups of X that are obtained by making the geometric K-homology theory of Baum and Douglas equivariant in the natural way…

The equivariant cohomology ring of a GKM manifold is isomorphic to the cohomology ring of its GKM graph. In this paper we explore the implications of this fact for equivariant fiber bundles for which the total space and the base space are both GKM and derive a graph theoretical version of the Leray-Hirsch theorem. Then…

Classifies $C_p$-surfaces using equivariant surgery methods.

ESAN improves graph neural networks by processing subgraphs.

Defines a new homomorphism for strongly invertible knots, proving equivariant algebraic concordance.

Let $S$ be a complex reductive group acting holomorphically on a complex Lie group $N$ via holomorphic automorphisms. Let $K(S)\subset S$ be a maximal compact subgroup. The semidirect product $G := N\rtimes K(S)$ acts on $N$ via biholomorphisms. We give an explicit description of the isomorphism classes of $G$-equivari…

Equivalent bicategories constructed from action Lie groupoids.

SpeqNets improve graph neural networks by scaling and adapting to graph sparsity.

We prove the existence and the uniqueness of a conformally equivariant symbol calculus and quantization on any conformally flat pseudo-Riemannian manifold $(M,\rg)$. In other words, we establish a canonical isomorphism between the spaces of polynomials on $T^*M$ and of differential operators on tensor densities over $M…

A 2-torus manifold is a closed smooth manifold of dimension $n$ with an effective action of a 2-torus group $(\Z_2)^n$ of rank $n$, and it is said to be locally standard if it is locally isomorphic to a faithful representation of $(\Z_2)^n$ on $\R^n$. This paper studies the equivariant classification of locally standar…

Let $M$ be an irreducible smooth complex projective variety equipped with an action of a compact Lie group $G$, and let $({\mathcal L},h)$ be a $G$-equivariant holomorphic Hermitian line bundle on $M$. Given a compact connected Riemann surface $X$, we construct a $G$-equivariant holomorphic Hermitian line bundle $(L\,,…

This paper studies equivariant cohomology of slice groupoids using linearization theorems.

We construct a new equivariant cohomology theory for a certain class of differential vertex algebras, which we call the chiral equivariant cohomology. A principal example of a differential vertex algebra in this class is the chiral de Rham complex of Malikov-Schechtman-Vaintrob of a manifold with a group action. The ma…

We present applications of the notion of isomorphic vector fields to the study of nonlinear stability of relative equilibria. Isomorphic vector fields were introduced by Hepworth [Theory Appl. Categ. 22 (2009), 542-587] in his study of vector fields on differentiable stacks. Here we argue in favor of the usefulness of …

We show that monopole Floer homology (as defined by Kronheimer and Mrowka) is isomorphic to the S^1-equivariant homology of the Seiberg-Witten Floer spectrum constructed by the second author.

In this article, we introduce the notion of a functor on coarse spaces being coarsely excisive- a coarse analogue of the notion of a functor on topological spaces being excisive. Further, taking cones, a coarsely excisive functor yields a topologically excisive functor, and for coarse topological spaces there is an ass…

Generalizes Floer homotopy via Morse-Bott theory.

The spaces of higher-order differential operators (in Dimension 1|2), which are modules over the stringy Lie superalgebra K(2), are isomorphic to the corresponding spaces of symbols as orthosymplectic modules in non resonant cases. Such an osp (2|2)-equivariant quantization, which has been given in second-order differe…

2-knots with $S^4$ symmetry are classified up to equivariant concordance.

Let G be a connected Lie group with Lie algebra g. The Duflo map is a vector space isomorphism between the symmetric algebra S(g) and the universal enveloping algebra U(g) which, as proved by Duflo, restricts to a ring isomorphism from invariant polynomials onto the center of the universal enveloping algebra. The Duflo…

Let M be a closed, oriented, n -manifold, and LM its free loop space. Chas and Sullivan defined a commutative algebra structure in the homology of LM, and a Lie algebra structure in its equivariant homology. These structures are known as the string topology loop product and string bracket, respectively. In this paper w…

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…

From 1980s, it is an open problem of proposing cohomologic formula for the basic index of a transversally elliptic basic differential operator on a vector bundle over a foliated manifold. In 1990s, El Kacimi-Alaoui has proprosed to use the Molino theory for study this index. Molino has proved that to every transversall…

Extends PF submanifold results and connects Kac-Moody spaces.

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…

The smooth action of a compact Lie group on a compact manifold can be resolved to an iterated space, as made explicit by Pierre Albin and the second author. On the resolution the lifted action has fixed isotropy type, in an iterated sense, with connecting fibrations and this structure descends to a resolution of the qu…

Given a null-homologous knot $K$ in a rational homology 3-sphere $M$, and the standard infinite cyclic covering $\tilde{X}$ of $(M,K)$, we define an invariant of triples of curves in $\tilde{X}$, by means of equivariant triple intersections of surfaces. We prove that this invariant provides a map $φ$ on $\Al^{\otimes 3…

Symplectic homology matches dual capacities for convex domains.