Related papers: Real structures and the $\mathrm{Pin}^-(2)$-monopo…
This paper develops a discrete theory of real Riemann surfaces based on quadrilateral cellular decompositions (quad-graphs) and a linear discretization of the Cauchy-Riemann equations. We construct a discrete analogue of an antiholomorphic…
A hypersymplectic structure on a 4-manifold is a triple of symplectic forms for which any non-zero linear combination is again symplectic. In 2006, Donaldson conjectured that on a compact 4-manifold any hypersymplectic structure can be…
A study of symplectic actions of a finite group $G$ on smooth 4-manifolds is initiated. The central new idea is the use of $G$-equivariant Seiberg-Witten-Taubes theory in studying the structure of the fixed-point set of these symmetries.…
Harer, Kas and Kirby have conjectured that every handle decomposition of the elliptic surface $E(1)_{2,3}$ requires both 1- and 3-handles. In this article, we construct a smooth 4-manifold which has the same Seiberg-Witten invariant as…
We study K3 surfaces with a pair of commuting involutions that are non-symplectic with respect to two anti-commuting complex structures that are determined by a hyper-K\"ahler metric. One motivation for this paper is the role of such…
Let $X$ be an oriented 4-manifold which does not have simple SW-type, for example a blow-up of a rational or ruled surface. We show that any two cohomologous and deformation equivalent symplectic forms on $X$ are isotopic. This implies that…
We prove that a positive definite smooth four-manifold with $b_2^+ \geq 2$ and having either no 1-handles or no 3-handles cannot admit a symplectic structure.
We prove that a compact, connected, and oriented 4-dimensional gradient $m$-quasi-Einstein manifold with $m\in [1, \infty]$ which is additionally a spin manifold must satisfy the Hitchin-Thorpe Inequality. We show further that the…
We prove some basic properties of Donaldson's flow of surfaces in a hyperkahler 4-manifold. When the initial submanifold is symplectic with respect to one K\"ahler form and Lagrangian with respect to another, we show that certain kinds of…
We present the various constructions of new symplectic $4$-manifolds with non-negative signatures using the complex surfaces on the BMY line $c_1^2 = 9\chi_h$, the Cartwright-Steger surfaces, the quotients of Hirzebruch's certain…
Using Real Seiberg--Witten theory, Miyazawa introduced an invariant of certain 4-manifolds with involution and used this invariant to construct infinitely many exotic involutions on $\mathbb{CP}^2$ and infinitely many exotic smooth…
We prove that symplectic cohomology for open convex symplectic manifolds is invariant when the symplectic form undergoes deformations which may be non-exact and non-compactly supported, provided one uses the correct local system of…
We study 4-dimensional Poincar\'e-Einstein manifolds whose conformal class contains a K\"ahler metric. Such Einstein metrics are non-K\"ahler and admit a Killing field extending to the conformal infinity, and the Einstein equation reduces…
In the construction of spectral manifolds in noncommutative geometry, a higher degree Heisenberg commutation relation involving the Dirac operator and the Feynman slash of real scalar fields naturally appears and implies, by equality with…
We prove that when Hodge theory survives on non-compact symplectic manifolds, a compact symplectic Lie group action having fixed points is necessarily Hamiltonian, provided the associated almost complex structure preserves the space of…
We complete the classification of order $5$ nonsymplectic automorphisms on hyper-K\"ahler fourfolds deformation equivalent to the Hilbert square of a K3 surface. We then compute the topological Lefschetz number of natural automorphisms of…
Despite spectacular advances in defining invariants for simply connected smooth and symplectic 4-dimensional manifolds and the discovery of effective surgical techniques, we still have been unable to classify simply connected smooth…
A geometric quantization of a K\"{a}hler manifold, viewed as a symplectic manifold, depends on the complex structure compatible with the symplectic form. The quantizations form a vector bundle over the space of such complex structures.…
Using Seiberg-Witten theory, it is shown that any Kaehler metric of constant negative scalar curvature on a compact 4-manifold M minimizes the L^2-norm of scalar curvature among Riemannian metrics compatible with a fixed decomposition…
In this article we complete the proof---for a broad class of four-manifolds---of Witten's conjecture that the Donaldson and Seiberg-Witten series coincide, at least through terms of degree less than or equal to c-2, where c is a linear…