
We give a construction of contact homology in the sense of
EliashbergGiventalHofer. Specifically, we construct coherent virtual
fundamental cycles on the relevant compactified moduli spaces of
pseudoholomorphic 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 openclosed 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 localtoglobal 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 pseudoholomorphic 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"
pseudoholomorphic curves. We introduce the notion of an *implicit atlas* on a
moduli space, which is (roughly) a convenient system of local
finitedimensional reductions. We present a general intrinsic strategy for
constructing a canonical implicit atlas on any moduli space of
pseudoholomorphic 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).
Sheaftheoretic tools play an important role in setting up our functorial
algebraic "VFC package". We illustrate the methods we introduce by giving
definitions of GromovWitten 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,
HoferSalamon, Ono, LiuTian, Ruan, and FukayaOno) is a wellknown
corollary of this calculation.

We show that every locally compact group which acts faithfully on a connected
threemanifold 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 threemanifold. 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
quasialternating 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 wellknown 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 MaxwellCremona
Theorem of rigidity theory to apply to stresses represented by measures on the
plane.