arXiv subjects
Publications and source records attributed to Justin Sawon.
An overview of the perturbative expansion of the Chern--Simons path integral is given. The main goal is to describe how trivalent graphs appear: as they already occur in the perturbative expansion of an analogous finite-dimensional integral, we discuss this case in detail.
Let Y be a hypersurface in a 2n-dimensional holomorphic symplectic manifold X. The restriction $σ|_Y$ of the holomorphic symplectic form induces a rank one foliation on Y. We investigate situations where this foliation has compact leaves; in such cases we obtain a space of leaves Y/F which has dimension 2n-2 and admits a holomorphic symplectic form.
Let $X\to¶^n$ be an irreducible holomorphic symplectic manifold of dimension $2n$ fibred over $¶^n$. Matsushita proved that the generic fibre is a holomorphic Lagrangian abelian variety. In this article we study the discriminant locus $Δ\subset¶^n$ parametrizing singular fibres. Our main result is a formula for the degree of $Δ$, leading to bounds on the degree when $X$ is a four-fold.
Let $\mathrm{Hilb}^gS$ be the Hilbert scheme of $g$ points on a K3 surface $S$. Suppose that $\mathrm{Pic}S\cong\Z C$ where $C$ is a smooth curve with $C^2=2(g-1)n^2$. We prove that $\mathrm{Hilb}^gS$ is a Lagrangian fibration.
We apply the methods of C{ă}ld{ă}raru to construct a twisted Fourier-Mukai transform between a pair of holomorphic symplectic four-folds. More precisely, we obtain an equivalence between the derived category of coherent sheaves on a certain four-fold and the derived category of twisted sheaves on its `mirror' partner. As corollaries, we show that the two spaces are connected by a one-parameter family of deformations through Lagrangian fibrations, and we extend the original Fourier-Mukai transform to degenerations of abelian surfaces.
Let $X\to¶^n$ be a $2n$-dimensional projective holomorphic symplectic manifold admitting a Lagrangian fibration over $¶^n$. Matsushita proved that the fibration can be deformed in a codimension one family in the moduli space $\mathrm{Def}(X)$ of deformations of $X$. We extend his result by proving that if the Lagrangian fibration admits a section, then there is a codimension two family of deformations which also preserve the section.
We investigate invariants of compact hyperk{ä}hler manifolds introduced by Rozansky and Witten: they associate an invariant to each graph homology class. It is obtained by using the graph to perform contractions on a power of the curvature tensor and then integrating the resulting scalar-valued function over the manifold, arriving at a number. For certain graph homology classes, the invariants we get are Chern numbers, and in fact all characteristic numbers arise in this way. We use relations in graph homology to study and compare these hyperk{ä}hler manifold invariants. For example, we show that the norm of the Riemann curvature can be expressed in terms of the volume and characteristic numbers of the hyperk{ä}hler manifold. We also investigate the question of whether the Rozansky-Witten invariants give us something more general than characteristic numbers. Finally, we introduce a generalization of these invariants which incorporates holomorphic vector bundles into the construction.
We study holomorphic symplectic manifolds which are fibred by abelian varieties. This structure is a higher dimensional analogue of an elliptic fibration on a K3 surface. We investigate when a holomorphic symplectic manifold is fibred in this way, and are led to several natural conjectures. We then study the geometry of these fibrations. The expectation is that this point of view will prove useful in understanding holomorphic symplectic manifolds, and possibly lead to a classification.
We use twisted Fourier-Mukai transforms to study the relation between an abelian fibration on a holomorphic symplectic manifold and its dual fibration. Our reasoning leads to an equivalence between the derived category of coherent sheaves on one space and the derived category of twisted sheaves on the other space.
We survey briefly the definition of the Rozansky-Witten invariants, and review their relevance to the study of compact hyperkahler manifolds. We consider how various generalisations of the invariants might prove useful for the study of non-compact hyperkahler manifolds, of quaternionic-Kahler manifolds, and of relations between hyperkahler manifolds and Lie algebras. The paper concludes with a list of additional problems.
Rozansky and Witten proposed a 3-dimensional sigma-model whose target space is a hyperkähler manifold. They conjectured that this theory has an associated TQFT, with Hilbert spaces given by certain cohomology groups of the hyperkähler manifold. On the other hand, there is a certain modified TQFT constructed by Murakami and Ohtsuki using the universal quantum invariant. We explain how the Rozansky-Witten TQFT can be obtained from the latter by applying a `hyperkähler weight system'.
A weight system on graph homology was constructed by Rozansky and Witten using a compact hyperkähler manifold. A variation of this construction utilizing holomorphic vector bundles over the manifold gives a weight system on chord diagrams. We investigate these weights from the hyperkähler geometry point of view.
We express characteristic numbers of compact hyperkähler manifolds in graph-theoretical form, considering them as a special case of the curvature invariants introduced by Rozansky and Witten. The appropriate graphs are generated by ``wheels'' and we use the recently proved Wheeling Theorem to give a formula for the L2 norm of the curvature of an irreducible hyperkähler manifold in terms of the volume and Pontryagin numbers. The formula involves the multiplicative sequence which is the square root of the A-hat polynomial.