Develops tools for studying intersections of elliptic operators, focusing on J-holomorphic maps.
problem Intersection questions for families of elliptic operators.
method Equivariant Brill-Noether theory applied to Fredholm operators.
result Wendl's super-rigidity conjecture is proven.
We prove a Lefschetz hyperplane theorem for the determinantal loci of a morphism between two holomorphic vector bundles E and F over a complex manifold under the condition that $E^*\ox F$ is Griffiths k-positive. We apply this result to find some homotopy groups of the Brill-Noether loci for a generic curve.
The study characterizes wobbly rank-2 bundles on Riemann surfaces using spectral curves.
problem Characterizing wobbly rank-2 bundles on Riemann surfaces.
method Using spectral curves and direct images of line bundles, the study provides sufficient and necessary conditions for wobbly bundles.
result All rank-2 wobbly bundles can be characterized as twists of direct images of line bundles.
We study the interplay between geometry and partial differential equations. We show how the fundamental ideas we use require the ability to correctly calculate the dimensions of spaces associated to the varieties of zeros of the symbols of those differential equations. This brings to the center of the analysis several …
Computes the Euler characteristic and rational homology of moduli spaces of multi-monopoles.
problem Enumerative invariant of 3-manifolds and geometry of algebraic curves.
method Spectral curves and Fulton-Lazarsfeld techniques.
result Completes a computation of Doan's initiated Euler characteristic.
We give an algebraic way of distinguishing the components of the exceptional strata of quadratic differentials in genus three and four. The complete list of these strata is (9, -1), (6,3,-1), (3,3,3, -1) in genus three and (12), (9,3), (6,6), (6,3,3) and (3,3,3,3) in genus four. This result is part of a more general in…
We study the analytic and topological invariants associated with complex normal surface singularities. Our goal is to provide topological formulae for several discrete analytic invariants whenever the analytic structure is generic (with respect to a fixed topological type), under the condition that the link is a ration…
The dth symmetric product of a curve of genus g is a smooth projective variety. This paper is concerned with the little quantum cohomology ring of this variety, that is, the ring having its 3-point Gromov-Witten invariants as structure constants. This is of considerable interest, for example as the base ring of the qua…
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 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.
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…
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.
We show that J. Lott's equivariant higher analytic torsion for compact group actions depends only on the equivariant Euler characteristic.
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…
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.
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…
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…
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).
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.
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.
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.
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.
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.
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.
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.
Study stabilizes Morse-Bott cohomology for equivariant manifolds.
problem Equivariant cohomology of manifolds with group actions.
method Stabilization technique to construct Morse-Bott functions.
result Realization of equivariant transversality and orientability.
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…
Method learns equivariances from data without custom architecture design.
problem Learning equivariances for tasks without manually designed architectures.
method Reparameterization to learn equivariant parameter sharing.
result Can learn equivariances for any finite group of transformations.