• We give a construction of contact homology in the sense of Eliashberg--Givental--Hofer. Specifically, we construct coherent virtual fundamental cycles on the relevant compactified moduli spaces of pseudo-holomorphic curves.
  • We introduce a class of Liouville manifolds with boundary which we call Liouville sectors. We define the wrapped Fukaya category, symplectic cohomology, and the open-closed map for Liouville sectors, and we show that these invariants are covariantly functorial with respect to inclusions of Liouville sectors. From this foundational setup, a local-to-global principle for Abouzaid's generation criterion follows.
  • We show that every Stein or Weinstein domain may be presented (up to deformation) as a Lefschetz fibration over the disk. The proof is an application of Donaldson's quantitative transversality techniques.
  • We develop techniques for defining and working with virtual fundamental cycles on moduli spaces of pseudo-holomorphic curves which are not necessarily cut out transversally. Such techniques have the potential for applications as foundations for invariants in symplectic topology arising from "counting" pseudo-holomorphic curves. We introduce the notion of an *implicit atlas* on a moduli space, which is (roughly) a convenient system of local finite-dimensional reductions. We present a general intrinsic strategy for constructing a canonical implicit atlas on any moduli space of pseudo-holomorphic curves. The main technical step in applying this strategy in any particular setting is to prove appropriate gluing theorems. We require only topological gluing theorems, that is, smoothness of the transition maps between gluing charts need not be addressed. Our approach to virtual fundamental cycles is algebraic rather than geometric (in particular, we do not use perturbation). Sheaf-theoretic tools play an important role in setting up our functorial algebraic "VFC package". We illustrate the methods we introduce by giving definitions of Gromov--Witten invariants and Hamiltonian Floer homology over $\mathbb Q$ for general symplectic manifolds. Our framework generalizes to the $S^1$-equivariant setting, and we use $S^1$-localization to calculate Hamiltonian Floer homology. The Arnold conjecture (as treated by Floer, Hofer--Salamon, Ono, Liu--Tian, Ruan, and Fukaya--Ono) is a well-known corollary of this calculation.
  • We show that every locally compact group which acts faithfully on a connected three-manifold is a Lie group. By known reductions, it suffices to show that there is no faithful action of $\mathbb Z_p$ (the $p$-adic integers) on a connected three-manifold. If $\mathbb Z_p$ acts faithfully on $M^3$, we find an interesting $\mathbb Z_p$-invariant open set $U\subseteq M$ with $H_2(U)=\mathbb Z$ and analyze the incompressible surfaces in $U$ representing a generator of $H_2(U)$. It turns out that there must be one such incompressible surface, say $F$, whose isotopy class is fixed by $\mathbb Z_p$. An analysis of the resulting homomorphism $\mathbb Z_p\to\operatorname{MCG}(F)$ gives the desired contradiction. The approach is local on $M$.
  • We use the knot homology of Khovanov and Lee to construct link concordance invariants generalizing the Rasmussen $s$-invariant of knots. The relevant invariant for a link is a filtration on a vector space of dimension $2^{|L|}$. The basic properties of the $s$-invariant all extend to the case of links; in particular, any orientable cobordism $\Sigma$ between links induces a map between their corresponding vector spaces which is filtered of degree $\chi(\Sigma)$. A corollary of this construction is that any component preserving orientable cobordism from a $\Kh$-thin link to a link split into $k$ components must have genus at least $\lfloor\frac k2\rfloor$. In particular, no quasi-alternating link is concordant to a split link.
  • We study projective varieties whose universal cover is biholomorphic to a semialgebraic open subset of a projective variety.
  • We show how a central limit theorem for Poisson model random polygons implies a central limit theorem for uniform model random polygons. To prove this implication, it suffices to show that in the two models, the variables in question have asymptotically the same expectation and variance. We use integral geometric expressions for these expectations and variances to reduce the desired estimates to the convergence $(1+\frac\alpha n)^n\to e^\alpha$ as $n\to\infty$.
  • Our main result is a nontrivial lower bound for the distortion of some specific knots. In particular, we show that the distortion of the torus knot $T_{p,q}$ satisfies $\delta(T_{p,q})>\frac 1{160}\min(p,q)$. This answers a 1983 question of Gromov.
  • We study the probability distribution of the area and the number of vertices of random polygons in a convex set $K\subset\mathbb{R}^2$. The novel aspect of our approach is that it yields uniform estimates for all convex sets $K\subset\mathbb{R}^2$ without imposing any regularity conditions on the boundary $\partial K$. Our main result is a central limit theorem for both the area and the number of vertices, settling a well-known conjecture in the field. We also obtain asymptotic results relating the growth of the expectation and variance of these two functionals.
  • I show that every rectifiable simple closed curve in the plane can be continuously deformed into a convex curve in a motion which preserves arc length and does not decrease the Euclidean distance between any pair of points on the curve. This result is obtained by approximating the curve with polygons and invoking the result of Connelly, Demaine, and Rote that such a motion exists for polygons. I also formulate a generalization of their program, thereby making steps toward a fully continuous proof of the result. To facilitate this, I generalize two of the primary tools used in their program: the Farkas Lemma of linear programming to Banach spaces and the Maxwell-Cremona Theorem of rigidity theory to apply to stresses represented by measures on the plane.