We show that all versions of Heegaard Floer homology, link Floer homology, and sutured Floer homology are natural. That is, they assign concrete groups to each based 3-manifold, based link, and balanced sutured manifold, respectively. Furthermore, we functorially assign isomorphisms to (based) diffeomorphisms, and show that this assignment is isotopy invariant. The proof relies on finding a simple generating set for the fundamental group of the “space of Heegaard diagrams,” and then showing that Heegaard Floer homology has no monodromy around these generators. In fact, this allows us to give sufficient conditions for an arbitrary invariant of multi-pointed Heegaard diagrams to descend to a natural invariant of 3-manifolds, links, or sutured manifolds.
more »
« less
Equivariant Manifold Flows
Tractably modelling distributions over manifolds has long been an important goal in the natural sciences. Recent work has focused on developing general machine learning models to learn such distributions. However, for many applications these distributions must respect manifold symmetries—a trait which most previous models disregard. In this paper, we lay the theoretical foundations for learning symmetry-invariant distributions on arbitrary manifolds via equivariant manifold flows. We demonstrate the utility of our approach by learning quantum field theory-motivated invariant SU(n) densities and by correcting meteor impact dataset bias.
more »
« less
- Award ID(s):
- 2008102
- PAR ID:
- 10387209
- Editor(s):
- Ranzato, M.; Beygelzimer, A.; Dauphin, Y.; Liang, P.S.; Wortman Vaughan, J.
- Date Published:
- Journal Name:
- Advances in neural information processing systems
- Volume:
- 34
- ISSN:
- 1049-5258
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Normalizing flows provide an elegant approach to generative modeling that allows for efficient sampling and exact density evaluation of unknown data distributions. However, current techniques have significant limitations in their expressivity when the data distribution is supported on a lowdimensional manifold or has a non-trivial topology. We introduce a novel statistical framework for learning a mixture of local normalizing flows as “chart maps” over the data manifold. Our framework augments the expressivity of recent approaches while preserving the signature property of normalizing flows, that they admit exact density evaluation. We learn a suitable atlas of charts for the data manifold via a vector quantized autoencoder (VQ-AE) and the distributions over them using a conditional flow. We validate experimentally that our probabilistic framework enables existing approaches to better model data distributions over complex manifolds.more » « less
-
Abstract We introduce a contact invariant in the bordered sutured Heegaard Floer homology of a three-manifold with boundary. The input for the invariant is a contact manifold $(M, \xi , \mathcal {F})$ whose convex boundary is equipped with a signed singular foliation $\mathcal {F}$ closely related to the characteristic foliation. Such a manifold admits a family of foliated open book decompositions classified by a Giroux correspondence, as described in [LV20]. We use a special class of foliated open books to construct admissible bordered sutured Heegaard diagrams and identify well-defined classes $c_D$ and $c_A$ in the corresponding bordered sutured modules. Foliated open books exhibit user-friendly gluing behavior, and we show that the pairing on invariants induced by gluing compatible foliated open books recovers the Heegaard Floer contact invariant for closed contact manifolds. We also consider a natural map associated to forgetting the foliation $\mathcal {F}$ in favor of the dividing set and show that it maps the bordered sutured invariant to the contact invariant of a sutured manifold defined by Honda–Kazez–Matić.more » « less
-
Larochelle, Hugo ; Ranzato, Marc'Aurelio ; Hadsell, Raia ; Balcan, Maria-Florina ; Lin, Hsuan-Tien (Ed.)To better conform to data geometry, recent deep generative modelling techniques adapt Euclidean constructions to non-Euclidean spaces. In this paper, we study normalizing flows on manifolds. Previous work has developed flow models for specific cases; however, these advancements hand craft layers on a manifold-by-manifold basis, restricting generality and inducing cumbersome design constraints. We overcome these issues by introducing Neural Manifold Ordinary Differential Equations, a manifold generalization of Neural ODEs, which enables the construction of Manifold Continuous Normalizing Flows (MCNFs). MCNFs require only local geometry (therefore generalizing to arbitrary manifolds) and compute probabilities with continuous change of variables (allowing for a simple and expressive flow construction). We find that leveraging continuous manifold dynamics produces a marked improvement for both density estimation and downstream tasks.more » « less
-
This is the second paper of this series. We define the monopole Floer homol- ogy for 3-manifolds with torus boundary, extending the work of Kronheimer-Mrowka for closed 3-manifolds. The Euler characteristic of this Floer homology recovers the Milnor torsion invariant of the 3-manifold by a theorem of Meng-Taubes.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- The DOI is not currently available.
