Source author record

Jo Nelson

Jo Nelson appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

S^1-equivariant contact homology for hypertight contact forms

In a previous paper, we showed that the original definition of cylindrical contact homology, with rational coefficients, is valid on a closed three-manifold with a dynamically convex contact form. However we did not show that this cylindrical contact homology is an invariant of the contact structure. In the present paper, we define "nonequivariant contact homology" and "S^1-equivariant contact homology", both with integer coefficients, for a contact form on a closed manifold in any dimension with no contractible Reeb orbits. We prove that these contact homologies depend only on the contact structure. Our construction uses Morse-Bott theory and is related to the positive S^1-equivariant symplectic homology of Bourgeois-Oancea. However, instead of working with Hamiltonian Floer homology, we work directly in contact geometry, using families of almost complex structures. When cylindrical contact homology can also be defined, it agrees with the tensor product of the S^1-equivariant contact homology with Q. We also present examples showing that the S^1-equivariant contact homology contains interesting torsion information. In a subsequent paper we will use obstruction bundle gluing to extend the above story to closed three-manifolds with dynamically convex contact forms, which in particular will prove that their cylindrical contact homology has a lift to integer coefficients which depends only on the contact structure.

preprint2022arXiv

Symplectic embeddings of four-dimensional polydisks into half integer ellipsoids

We obtain new sharp obstructions to symplectic embeddings of four-dimensional polydisks $P(a,1)$ into four-dimensional ellipsoids $E(bc,c)$ when $1\le a< 2$ and $b$ is a half-integer. When $1 \leq a < 2-O(b^{-1})$ we demonstrate that $P(a,1)$ symplectically embeds into $E(bc,c)$ if and only if $a+b\le bc$. Our results show that inclusion is optimal and extend the result by Hutchings \cite{H} when $b$ is an integer. Our proof is based on a combinatorial criterion developed by Hutchings \cite{H} to obstruct symplectic embeddings.

preprint2019arXiv

Axiomatic S^1 Morse-Bott theory

In various situations in Floer theory, one extracts homological invariants from "Morse-Bott" data in which the "critical set" is a union of manifolds, and the moduli spaces of "flow lines" have evaluation maps taking values in the critical set. This requires a mix of analytic arguments (establishing properties of the moduli spaces and evaluation maps) and formal arguments (defining or computing invariants from the analytic data). The goal of this paper is to isolate the formal arguments, in the case when the critical set is a union of circles. Namely, we state axioms for moduli spaces and evaluation maps (encoding a minimal amount of analytical information that one needs to verify in any given Floer-theoretic situation), and using these axioms we define homological invariants. More precisely, we define a (almost) category of "Morse-Bott systems". We construct a "cascade homology" functor on this category, based on ideas of Bourgeois and Frauenfelder, which is "homotopy invariant". This machinery is used in our work on cylindrical contact homology.

preprint2016arXiv

Cylindrical contact homology for dynamically convex contact forms in three dimensions

We show that for dynamically convex contact forms in three dimensions, the cylindrical contact homology differential d can be defined by directly counting holomorphic cylinders for a generic almost complex structure, without any abstract perturbation of the Cauchy-Riemann equation. We also prove that d^2 = 0. Invariance of cylindrical contact homology in this case can be proved using S^1-dependent almost complex structures, similarly to work of Bourgeois-Oancea; this will be explained in another paper.

preprint2016arXiv

Reeb Dynamics of the Link of the $A_n$ Singularity

The link of the $A_n$ singularity, $L_{A_n} \subset \mathbb{C}^3$ admits a natural contact structure $ξ_0$ coming from the set of complex tangencies. The canonical contact form $α_0$ associated to $ξ_0$ is degenerate and thus has no isolated Reeb orbits. We show that there is a nondegenerate contact form for a contact structure equivalent to $ξ_0$ that has two isolated simple periodic Reeb orbits. We compute the Conley-Zehnder index of these simple orbits and their iterates. From these calculations we compute the positive $S^1$-equivariant symplectic homology groups for $\left(L_{A_n}, ξ_0 \right)$. In addition, we prove that $\left(L_{A_n}, ξ_0 \right)$ is contactomorphic to the Lens space $L(n+1,n)$, equipped with its canonical contact structure $ξ_{std}$.

preprint2015arXiv

Automatic transversality in contact homology I: Regularity

This paper helps to clarify the status of cylindrical contact homology, a conjectured contact invariant introduced by Eliashberg, Givental, and Hofer in 2000. We explain how heuristic arguments fail to yield a well-defined homological invariant in the presence of multiply covered curves. We then introduce a large subclass of dynamically convex contact forms in dimension 3, termed dynamically separated, and demonstrate automatic transversality holds, therby allowing us to define the desired chain complex. The Reeb orbits of dynamically separated contact forms satisfy a uniform growth condition on their Conley-Zehnder index under iteration, typically up to large action; see Definition 1.15 These contact forms arise naturally as perturbations of Morse-Bott contact forms such as those associated to $S^1$-bundles. In subsequent work, we give a direct proof of invariance for this subclass and, when further proportionality holds between the index and action, powerful geometric computations in a wide variety of examples.