Proves formality conjecture for Hamiltonian actions using equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism.
problem Formality conjecture for Hamiltonian actions.
method Constructs an L∞-quasi-isomorphism using the G-invariant formality. result Equivariant Hochschild-Kostant-Rosenberg quasi-isomorphism extends to an L∞-quasi-isomorphism. The central result here is an explicit computation of the Hochschild and cyclic homologies of a natural smooth subalgebra of stable continuous trace algebras having smooth manifolds X as their spectrum. More precisely, the Hochschild homology is identified with the space of differential forms on X, and the periodic cyc…
In this notes it will be provided a set of techniques which can help one to understand the proof of the Hochschild-Kostant-Rosenberg theorem for differentiable manifolds. Precise definitions of multidiferential operators and polyderivations on an algebra are given, allowing to work on these concepts, when the algebra i…
Global homotopies upgrade classical map in differential geometry.
problem Upgrade classical Hochschild-Kostant-Rosenberg map to a deformation retract.
method Combining symbol calculus and coalgebraic van Est theorem.
result Develop deformation retracts in various settings.
The paper compares two notions of invariance in Hochschild cohomology spaces.
problem Comparing two notions of invariance in Hochschild cohomology spaces.
method Analyzing the induced action on Hochschild cohomology of smooth functions and comparing two spaces of invariants.
result For proper group actions, both spaces of invariants are isomorphic.
To any g-manifold M are associated two dglas tot(Λ∙g∨⊗kTpoly∙) and tot(Λ∙g∨⊗kDpoly∙), whose cohomologies $H_{\operatorn…
Kontsevich's formality the…
Study cohomology of Lie algebroids over algebraic spaces using derived functors and Čech cohomology.
problem Cohomology of Lie algebroids over algebraic spaces.
method Express hypercohomology as a derived functor, simplify via Čech cohomology, define Hochschild hypercohomology, present Hochschild-Kostant-Rosenberg theorem.
result Presented a version of Hochschild-Kostant-Rosenberg theorem for locally free Lie algebroids.
Researchers compute Hochschild cohomology of Grassmannians.
problem Computing Hochschild cohomology of Grassmannians.
method Explicit description of Gerstenhaber algebra structure, vanishing of higher cohomology.
result Decomposition of Hochschild cohomology concentrated in global sections for certain Grassmannians.
Study of invariants on manifolds with boundary involving equivariant spectral flow and η-invariants.
problem Equivariant invariants on manifolds with boundary.
method Analysis of Dirac operators, winding numbers, spectral flow, Maslov indices, and η-invariants.
result Established relation between equivariant η-invariants and Maslov triple indices.
Group-equivariant subsampling layers improve CNNs' equivariance.
problem Non-translation equivariance in subsampling operations.
method Translation and group-equivariant subsampling/upsampling layers.
result Group-equivariant autoencoders learn equivariant representations.
Study of equivariant ribbon concordance using Khovanov homology.
problem Understanding equivariant ribbon concordance.
method Functoriality of equivariant Khovanov homology under equivariant cobordisms, and induced split injection.
result Equivariant ribbon concordances induce a split injection on equivariant Khovanov homology.
Defines equivariant holonomy for U(1)-bundles, generalizing properties.
problem Classifying equivariant U(1)-bundles using holonomy.
method Defining equivariant holonomy and showing its classification properties.
result Equivariant U(1)-bundles classified by equivariant holonomy.
Defines a new homomorphism for strongly invertible knots, proving equivariant algebraic concordance.
problem Equivariant algebraic concordance of strongly invertible knots.
method Defining a homomorphism Φ from equivariant concordance group to a new equivariant algebraic concordance group, proving it lifts known homomorphisms and provides new obstructions. result Obtains a new obstruction to equivariant sliceness and novel lower bounds on equivariant slice genus.
Defines an equivariant Ruelle dynamical zeta function for flows on manifolds.
problem Defining a zeta function for equivariant flows on manifolds.
method Equivariant generalization of Guillemin's trace formula.
result Computes the equivariant Ruelle zeta function in various examples.
Study of equivariant movie moves for involutive links.
problem Equivariant cobordisms between involutive links.
method Equivariant Morse theory and singularity theory.
result 39 equivariant movie moves for isotopic cobordisms.
A bound on knot unknotting using equivariant signature.
problem Equivariant unknotting of knots.
method Analysis of strongly invertible knots and application of equivariant unknotting moves.
result The equivariant signature provides a lower bound for the equivariant unknotting number.
New proof for 4D symplectic manifolds: equivariant cohomology determines diffeotype.
problem Determining if 4D symplectic manifolds are diffeomorphic based on their equivariant cohomology.
method Proved that equivariant cohomology rings of Hamiltonian circle actions on 4D symplectic manifolds determine their equivariant diffeotypes.
result Isomorphism of equivariant cohomology rings implies equivariant diffeomorphism for 4D symplectic manifolds.
The paper develops methods for calculating equivariant homology from Morse functions.
problem Calculating equivariant homology from equivariant Morse functions.
method Alter equivariant Morse functions to stable ones, use generic equivariant metrics, and analyze the Morse spectral sequence.
result Equivariant Morse functions induce a filtration that computes equivariant homology.
Efficiently samples and learns densities with symmetries using equivariant methods.
problem Efficiently sampling and learning densities with symmetries.
method Equivariant Stein Variational Gradient Descent (SVGD) and equivariant energy based models.
result Improves and scales up training of energy based models.
Study shows non-equivariant and equivariant non-orientable 4-genus of periodic knots can differ.
problem Exploring differences in non-orientable 4-genus for periodic knots.
method Analyzed p-periodic knots, showing differences in equivariant and non-equivariant non-orientable 4-genus.
result Differences exist in non-equivariant and equivariant non-orientable 4-genus for periodic knots.
In this paper, we establish an infinitesimal equivariant index formula in the noncommutative geometry framework using Greiner's approach to heat kernel asymptotics. An infinitesimal equivariant index formula for odd dimensional manifolds is also given. We define infinitesimal equivariant eta cochains, prove their regul…
Equivariant trisections for group actions on 4-manifolds are introduced and studied.
problem Understanding the equivariant topology of G-manifolds and their quotients. method Introducing G-equivariant trisections and bridge trisections, and establishing their existence for G-manifolds. result Any G-manifold X admits a G-equivariant trisection such that a G-invariant surface S is in equivariant bridge trisection position. This work introduces a method for almost equivariance in neural networks using Lie algebra convolutions.
problem Real-world data often does not conform to strict group equivariances, leading to underperformance in models.
method Definition and practical implementation of almost equivariance through Lie algebra convolutions.
result Demonstrated the validity of the approach through benchmarking against fully equivariant settings.
Equivariant neural networks use symmetry to interpret complex data.
problem Interpreting and understanding the behavior of equivariant neural networks.
method Decompose layers into simple representations and analyze nonlinear activation functions.
result Equivariant neural networks can be interpreted using a filtration generalizing Fourier series.
Study on equivariant Heegaard genus of reducible 3-manifolds with group actions.
problem Understanding the equivariant Heegaard genus of reducible 3-manifolds with group actions.
method Thin position theory for 3-dimensional orbifolds to establish bounds on equivariant Heegaard genus.
result Sharp bounds on equivariant Heegaard genus of reducible manifolds, similar to tunnel number results.
New equivariant version of Khovanov homology for annuli.
problem Developing a new mathematical framework for annular Khovanov homology.
method Using Frobenius algebra and equivariant cohomology of CP1. result Introduced an equivariant version of the Temperley-Lieb algebra.
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…
We show that J. Lott's equivariant higher analytic torsion for compact group actions depends only on the equivariant Euler characteristic.
Develops a theory for equivariant networks with partial domain symmetry.
problem Limited analysis of equivariant networks with partial domain symmetry.
method Proposes pointwise definitions of correct, incorrect, and extrinsic equivariance.
result Establishes error lower bounds for networks with partial symmetry.
In this work we develop a cellular equivariant homology functor and apply it to prove an equivariant Euler-Poincare formula and an equivariant Lefschetz theorem.
Paper develops equivariant basic cohomology for Lie groupoids.
problem Equivariant cohomology for Lie groupoids with weak actions.
method Using Kan fibrations and fiber structures, constructing models and comparing with existing theories.
result Equivariant basic cohomology theory for orbifolds and Lie groupoids.
Survey on equivariant cohomology of Lie group actions.
problem Understanding Lie group actions on manifolds.
method Focus on equivariant formality and de Rham theory.
result Applications to ordinary cohomology and fixed points.
On the basis of Brylinski's work, we introduce a notion of equivariant smooth Deligne cohomology group, which is a generalization of both the ordinary smooth Deligne cohomology and the ordinary equivariant cohomology. Using the cohomology group, we classify equivariant circle bundles with connection, and equivariant ge…
Universal MLPs with a single hidden layer can learn any function.
problem Learning on various data structures like sequences, images, sets, and graphs.
method Using group theory, the paper proves the universality of a broad class of equivariant MLPs with a single hidden layer.
result Having a hidden layer on which the group acts regularly is sufficient for universal equivariance (invariance).
We construct for an equivariant cohomology theory for proper equivariant CW-complexes an equivariant Chern character, provided that certain conditions about the coefficients are satisfied. These conditions are fulfilled if the coefficients of the equivariant cohomology theory possess a Mackey structure. Such a structur…
In this paper, we prove that infinitesimal equivariant Chern-Connes characters are well-defined. We decompose an equivariant index as a pairing of infinitesimal equivariant Chern-Connes characters with the Chern character of an idempotent matrix. We compute the limit of infinitesimal equivariant Chern- Connes character…
Develops approximately equivariant neural processes for better data modeling.
problem Real-world data often breaks exact equivariance; how to model this?
method General approach to creating approximately equivariant architectures, applicable to any model and symmetry group.
result Approximately equivariant neural processes outperform non-equivariant and strictly equivariant models in regression tasks.
Unified classification of equivariant principal bundles using higher homotopy theory.
problem Unified classification of equivariant principal bundles.
method Smooth Oka principle, singular-cohesive homotopy theory, internally describing principal bundles.
result Unified classification results for equivariant principal bundles.
Paper uses algebraic methods to prove an equivariant Poincaré-Hopf theorem.
problem Equivariant index theory on manifolds.
method Localization algebras and Witten deformation techniques in K-homology.
result Established an equivariant version of the Poincaré-Hopf theorem.
Generalizes CNNs for Lie group equivariance across various data types.
problem Equivariance to transformations like rotations for non-image data.
method Constructs equivariant convolutional layers for Lie groups.
result Models conserve linear and angular momentum in Hamiltonian systems.
Measures equivariance in vision models using Lie derivative.
problem Understanding the role of equivariance in recent vision models.
method Introducing Lie derivative to measure equivariance with strong mathematical foundations and minimal hyperparameters.
result Many violations of equivariance can be linked to spatial aliasing in network layers, and larger models tend to display more equivariance.
New model closes gap in understanding equivariant set functions.
problem Understanding universality of equivariant set functions.
method Proves PointNet not equivariant universal and introduces PointNetST.
result PointNetST is the simplest permutation equivariant universal model.
In this paper, we give proofs of the family index formula and the equivariant family index formula by the Greiner's approach to heat kernel asymptotics. We compute equivariant family JLO characters. We also define the equivariant eta form and give a proof of its regularity.
EquivCNP learns group symmetries for conditional data.
problem Learning conditional models with data symmetries.
method Group equivariant decomposition and Lie group convolutional layers.
result EquivCNP achieves comparable performance and zero-shot generalization.
Proves an equivariant version of Heegaard Floer link surgery formula.
problem Equivariant knot surgery in S3. method Naturality theorem for bordered modules.
result Kernel of forgetful map contains a Z∞-summand. Characterizes a specific type of neural network for alternating group equivariance.
problem Understanding and characterizing neural networks with alternating group equivariance.
method Characterization of all possible An-equivariant neural networks using tensor powers of Rn. result Found a basis of matrices for learnable, linear An-equivariant layer functions. Study on 2-bridge knots, proving equivariant concordance order is infinite.
problem Equivariant concordance of 2-bridge knots.
method Formula for butterfly polynomial, two proofs of non-equivariant sliceness, new invariant for strongly invertible knots.
result Equivariant concordance order of 2-bridge knots is infinite.