arXiv research

Equivalent bicategories constructed from action Lie groupoids.

Paper develops equivariant basic cohomology for Lie groupoids.

We compare existence and equivariance phenomena for weak moment maps and homotopy moment maps in multisymplectic geometry.

Study shows equivariant Khovanov homotopy types are equivalent.

We show that if G is a discrete subgroup of the group of the isometries of the hyperbolic k-space H^k, and if R is a representation of G into the group of the isometries of H^n, then any R-equivariant map F from H^k to H^n extends to the boundary in a weak sense in the setting of Borel measures. As a consequence of thi…

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

Equivalence proven between algebraic stability and geometric stability.

Given a Lie pseudo-group action, an equivariant moving frame exists in the neighborhood of a submanifold jet provided the action is free and regular. For local equivalence problems the freeness requirement cannot always be satisfied and in this paper we show that, with the appropriate modifications and assumptions, the…

Constructs singular Yamabe solutions via equivariant reduction.

In this follow up work to [45, 33, 32, 46] we introduce and study a notion of geodesic stability restricted to rays with prescribed singularity types. A number of notions of interest fit into this framework, in particular algebraic- and transcendental K-polystability, equivariant K-polystability, and the geodesic K-pol…

Develops $L_\infty$ spaces over dg manifolds and establishes an equivalence with $L_\infty$ algebroids.

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

The paper defines a new equivalence relation for knot projections and finds an infinite number of distinct classes.

Develops equivariant connections for Yang-Mills equations, simplifying interactions modeling.

Atiyah classes of DG manifolds of positive amplitude are invariant under weak equivalences.

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…

Paper defines weak (1, 3) homotopy for knot projections and classifies trivial knots.

New infinite family of 4-manifolds with same stable properties but not homotopy equivalent.

In this paper, I introduce weak representations of a Lie groupoid $G$. I also show that there is an equivalence of categories between the categories of 2-term representations up to homotopy and weak representations of $G$. Furthermore, I show that any VB-groupoid is isomorphic to an action groupoid associated to a weak…

Real moment-angle manifolds of combinatorially equivalent simple polytopes are equivariantly diffeomorphic.

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…

Weak dual pairs defined in Dirac-Jacobi geometry, proving equivalence and leaf correspondence theorems.

The equivalence (or weak equivalence) classes of orientation-preserving free actions of a finite group G on an orientable 3-dimensional handlebody of genus g can be enumerated in terms of sets of generators of G. They correspond to the equivalence classes of generating n-vectors of elements of G, where n=1+(g-1)/|G|, u…

This paper is devoted to apply the equivariant moving frame method to study the local equivalence problem of third order ordinarily differential equation under the pseudo-group of fiber preserving transformations.

Equivalence proven between equivariant K-theory and K-homology for certain matrix group actions.

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…

Explains equivariant neural networks for machine learning.

By combining the ideas of Cartan's equivalence method and the method of the equivariant moving frame for pseudo-groups, we develop an efficient method for solving equivalence problems arising from horizontal Lie pseudo-group actions. The key is a pseudo-group analog of the classic result that characterizes congruence o…

Let $M$ be an orientable, irreducible $3$-manifold and $(\mathcal{V},\mathcal{W};F)$ a weakly reducible, unstabilized Heegaard splitting of $M$ of genus at least three. In this article, we define an equivalent relation $\sim$ on the set of the generalized Heegaard splittings obtained by weak reductions and find special…

Smooth approximations lead to homotopy equivalences in manifold spaces.

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.

The equivalence of principal bundles with transitive Lie groupoids due to Ehresmann is a well known result. A remarkable generalisation of this equivalence, due to Mackenzie, is the equivalence of principal bundle extensions with those transitive Lie groupoids over the total space of a principal bundle, which also admi…

Study of symplectomorphisms on ruled surfaces under circle actions.

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

Study higher rank deformed Hermitian-Yang-Mills equations for stable vector bundles.

We study (pre-)sheaves in bicategories on geometric categories: smooth manifolds, manifolds with a Lie group action and Lie groupoids. We present three main results: we describe equivariant descent, we generalize the plus construction to our setting and show that the plus construction yields a 2-stackification for 2-pr…

Let $Y$ be a CW-complex with a single 0-cell, let $K$ be its Kan group, a free simplicial group whose realization is a model for the space $ΩY$ of based loops on $Y$, and let $G$ be a Lie group, not necessarily connected. By means of simplicial techniques involving fundamental results of {\smc Kan's} and the standard $…

We construct equivariant and Bott-type Seiberg-Witten Floer homology and cohomology for 3-manifolds, in particular rational homology spheres, and prove their diffeomorphism invariance. We present several versions of the equivariant theory: the singular version, the de Rham version and the Cartan version, with the first…

In this article we extend the classical definitions of equivariant cohomotopy theory to the setting of proper actions of Lie groups. We combine methods originally developed in the analysis of nonlinear differential equations, mainly in connection with Leray-Schauder theory, and on the other hand from developments of eq…

Let M be a closed oriented 3-manifold with first Betti number one. Its equivariant linking pairing may be seen as a two-dimensional cohomology class in an appropriate infinite cyclic covering of the configuration space of ordered pairs of distinct points of M. We show how to define the equivariant cube Q(M,K) of this B…

Functorial maps and weak parities are equivalent descriptions of rules of substitution virtual crossings for classical in diagrams of a knot in a way compatible with Reidemeister moves. We introduce the notion of maximal weak parity and describe it for knots in a given closed oriented surface. This weak parity defines …

For a rational homology 3-sphere $Y$ with a $\spinc$ structure $\s$, we show that simple algebraic manipulations of our construction of equivariant Seiberg-Witten Floer homology lead to a collection of variants which are topological invariants. We establish exact sequences relating them, we show that they satisfy a dua…

We study algebro-geometric consequences of the quantised extremal Kähler metrics, introduced in the previous work of the author. We prove that the existence of quantised extremal metrics implies weak relative Chow polystability. As a consequence, we obtain asymptotic weak relative Chow polystability and $K$-semistabili…

This note proves that, as K-theory elements, the symbol classes of the de Rham operator and the signature operator on a closed manifold of even dimension are congruent mod 2. An equivariant generalization is given pertaining to the equivariant Euler characteristic and the multi-signature.

Equivalence proven between divisorial stability and quotient log divisorial stability.

We consider locally conformal Kaehler geometry as an equivariant (homothetic) Kaehler geometry: a locally conformal Kaehler manifold is, up to equivalence, a pair (K,Γ) where K is a Kaehler manifold and Γa discrete Lie group of biholomorphic homotheties acting freely and properly discontinuously. We define a new invari…

The paper defines new homotopy relations on knot projections and classifies certain knot types.

Authors classify 3D locally standard T-pseudomanifolds under weaker conditions.