arXiv research

Study the relationship between orbit braid group and equivariant mapping class group on surfaces.

Paper shows mapping class group-equivariant Teichmüller space deformation to Thurston spine.

Machine learning uses invariant theory to restrict function classes.

Novikov theorem extended to rational Pontryagin classes for cyclic group $C_4$.

This paper contains two main results. The first is the existence of an equivariant Weil-Petersson geodesic in Teichmueller space for any choice of pseudo-Anosov mapping class. As a consequence one obtains a classification of the elements of the mapping class group as Weil-Petersson isometries which is parallel to the T…

We develop a theory of equivariant group presentations and relate them to the second homology group of a group. Our main application says that the second homology group of the Torelli subgroup of the mapping class group is finitely generated as an $Sp(2g,\mathbb{Z})$-module.

Nontrivial boundary Dehn twist found on K3#K3 manifold.

Unified method for CNNs to approximate equivariant maps across various groups.

The Ptolemy groupoid is a combinatorial groupoid generated by elementary moves on marked trivalent fatgraphs with three types of relations. Through the fatgraph decomposition of Teichmüller space, the Ptolemy groupoid is a mapping class group equivariant subgroupoid of the fundamental path groupoid of Teichmüller space…

Unified theorem for deep and shallow joint-equivariant machines.

The paper characterizes equivariant immersions in hyperbolic space.

In this paper, we introduce the classification of equivariant principal bundles over the 2-sphere. Isotropy representations provide tools for understanding the classification of equivariant principal bundles. We consider a $Γ$-equivariant principal $G$-bundle over $S^2$ with structural group $G$ a compact connected Lie…

A projection maps geodesic currents to Teichmüller space.

We show a non-existence result for some class of equivariant maps between sphere bundles over tori. The notion of equivariant KO-degree is used in the proof. As an application to Seiberg-Witten theory, for a connected closed oriented spin 4-manifold with indefinite intersection form, we have a new bound of the second B…

Schmutz Schaller and Thurston's approaches are dual.

A spine is constructed for a non-orientable surface's decorated Teichmüller space.

Survey discusses new ideas in geometric group theory and their applications.

We show how characteristic classes determine equivariant prequantization bundles over the space of connections on a principal bundle. These bundles are shown to generalize the Chern-Simons line bundles to arbitrary dimensions. Our result applies to arbitrary bundles, and it is studied the action of both the gauge group…

Suppose one is given a discrete group G, a cocompact proper G-manifold M, and a G-self-map f of M. Then we introduce the equivariant Lefschetz class of f, which is globally defined in terms of cellular chain complexes, and the local equivariant Lefschetz class of f, which is locally defined in terms of fixed point data…

Study surjectivity of Kirwan map for generalized hyperkähler reduction.

We construct a covering of Culler-Vogtmann Outer space by the Teichmuller spaces of punctured surfaces. By considering the equivariant homology for the action of Out(F_n) on this covering, we construct a spectral sequence converging to the homology of Out(F_n) that has E^1 terms given by the homology of mapping class g…

The main goal of this paper is a detailed study of asymptotic cones of the mapping class groups. In particular, we prove that every asymptotic cone of a mapping class group has a bi-Lipschitz equivariant embedding into a product of real trees, sending limits of hierarchy paths onto geodesics, and with image a median su…

Let $G$ be a compact connected Lie group acting on a stable complex manifold $M$ with equivariant vector bundle $E$. Besides, suppose $φ$ is an equivariant map from $M$ to the Lie algebra $\mathfrak{g}$. We can define some equivalence relation on the triples $(M, E, φ)$ such that the set of equivalence classes form an …

Given a compact manifold $M$ and $g\in C^{\infty}(M,U(l;\mathbb{C}))$ we construct a Chern character $\mathrm{Ch}^-(g)$ which lives in the odd part of the equivariant (entire) cyclic Chen-normalized bar complex $\underline{\mathscr{C}}(Ω_{\mathbb{T}}(M\times \mathbb{T}))$ of $M$, and which is mapped to the odd Bismut-C…

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…

Equivariant neural networks use symmetry to interpret complex data.

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner, the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterized in terms of congruences. This is first shown to be a stable problem and then solved…

Group equivariant neural networks simplify complex tasks with group representation theory.

We present a general theory of Group equivariant Convolutional Neural Networks (G-CNNs) on homogeneous spaces such as Euclidean space and the sphere. Feature maps in these networks represent fields on a homogeneous base space, and layers are equivariant maps between spaces of fields. The theory enables a systematic cla…

We survey work by the author and Ralf Meyer on equivariant KK-theory. Duality plays a key role in our approach. We organize the survey around the objective of computing a certain homotopy-invariant of a space equipped with a proper action of a group or groupoid called the Lefschetz map. The Lefschetz map associates an …

Study shows infinite order in mapping class groups for certain 3D shapes.

EbC learns equivariant embeddings from unlabeled group actions.

Conditions for pre-quantizability of G-invariant forms are derived using moment maps.

The translation equivariance of convolutional layers enables convolutional neural networks to generalize well on image problems. While translation equivariance provides a powerful inductive bias for images, we often additionally desire equivariance to other transformations, such as rotations, especially for non-image d…

Investigates harmonic self-maps' stability on cohomogeneity one manifolds.

For a compact Lie group acting on a smooth manifold, we define the differential cohomology of a certain quotient stack involving principal bundles with connection. This produces differential equivariant cohomology groups that map to the Cartan-Weil equivariant forms and to Borel's equivariant integral cohomology. We sh…

This work introduces a method for almost equivariance in neural networks using Lie algebra convolutions.

If $K$ is a compact Lie group and $g\geq 2$ an integer, the space $K^{2g}$ is endowed with the structure of a Hamiltonian space with a Lie group valued moment map $Φ$. Let $β$ be in the centre of $K$. The reduction $Φ^{-1}(β)/K$ is homeomorphic to a moduli space of flat connections. When $K$ is simply connected, a dire…

New framework for equivariant neural networks using Lie group decompositions.

We give a classifying theory for $LG$-bundles, where $LG$ is the loop group of a compact Lie group $G$, and present a calculation for the string class of the universal $LG$-bundle. We show that this class is in fact an equivariant cohomology class and give an equivariant differential form representing it. We then use t…

New algorithm speeds up group equivariant neural networks computations.

The main result of this paper is non-vanishing of the image of the index map from the $G$-equivariant $K$-homology of a proper $G$-compact $G$-manifold $X$ to the $K$-theory of the $C^{*}$-algebra of the group $G$. Under the assumption that the Kronecker pairing of a $K$-homology class with a low-dimensional cohomology…

Let $Y$ be a CW-complex with a single 0-cell, $K$ its Kan group, a model for the loop space of $Y$, and let $G$ be a compact, connected Lie group. We give an explicit finite dimensional construction of generators of the equivariant cohomology of the geometric realization of the cosimplicial manifold $\roman{Hom}(K,G)$ …

The first author's geometric Hopf invariant of a stable map $F:Σ^{\infty}X \to Σ^{\infty}Y$ is a stable ${\mathbb Z}_2$-equivariant map $h(F):Σ^{\infty}X \to Σ^{\infty}(Y \wedge Y)$ constructed by an explicit difference construction applied to $(F \wedge F)Δ_X - Δ_Y F$. The stable ${\mathbb Z}_2$-equivariant homotopy c…

EquivCNP learns group symmetries for conditional data.

We propose a semantic segmentation model that exploits rotation and reflection symmetries. We demonstrate significant gains in sample efficiency due to increased weight sharing, as well as improvements in robustness to symmetry transformations. The group equivariant CNN framework is extended for segmentation by introdu…

Normal forms for equivariant maps in infinite dimensions established.

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…