Related papers: Bauer-Furuta invariants under Z_2-actions

Fintushel and Stern have proved that if S \subset X is a symplectic surface in a symplectic 4-manifold such that S has simply-connected complement and nonnegative self-intersection, then there are infinitely many topologically equivalent…

In this note we prove that, for any integer n, there exist a smooth 4-manifold, homotopic to a K3 surface, defined by applying the link surgery method of Fintushel-Stern to a certain 2-component graph link, which admits n inequivalent…

Given an action of a Lie group on a smooth manifold, we discuss the induced action on the Hochschild cohomology of smooth functions, and notions of invariance on this space. Depending on whether one considers invariance of cochains or…

Using deep analytic methods, Cheeger and Gromov showed that for any smooth (4k-1)-manifold there is a universal bound for the von Neumann $L^2$ $\rho$-invariants associated to arbitrary regular covers. We present a proof of the existence of…

We define the zeta function of a noncommutative K3 surface over a finite field, an invariant under Fourier-Mukai equivalence that can be used to define point counts in this noncommutative setting. These point counts can be negative, and can…

We establish an S^1-equivariant index theorem for Dirac operators on Z/k-manifolds. As an application, we generalize the Atiyah-Hirzebruch vanishing theorem for S^1-actions on closed spin manifolds to the case of Z/k-manifolds.

We develop a geometrical structure of the manifolds $\Gamma$ and $\hat\Gamma$ associated respectively to the gauge symmetry and to the BRST symmetry. Then, we show that ($\hat\Gamma,\hat\zeta,\Gamma$), where $\hat\zeta$ is the group of BRST…

We study the SU(2) Witten--Reshetikhin--Turaev invariant for the Seifert fibered homology spheres with M-exceptional fibers. We show that the WRT invariant can be written in terms of (differential of) the Eichler integrals of modular forms…

We extend a construction of Stipsicz-Szab\'{o} of infinitely many irreducible exotic smooth structures of some closed four-manifolds with even $b_2^+$ and fundamental group $\mathbb{Z}/2\mathbb{Z}$. We use the double node surgery and…

In this paper, we construct gauge bundles on a noncommutative toroidal orbifold $T^4_\theta/Z_2$. First, we explicitly construct a bundle with constant curvature connections on a noncommutative $T^4_\theta$ following Rieffel's method. Then,…

Techniques of gauge theory are used to define and compute an invariant of certain diffeomorphisms of 4-manifolds. The invariant vanishes for any diffeomorphism which is smoothly isotopic to the identity. As an application, we give the first…

We recently defined invariants of contact 3-manifolds using a version of instanton Floer homology for sutured manifolds. In this paper, we prove that if several contact structures on a 3-manifold are induced by Stein structures on a single…

By work of Kirby-Siebenmann \cite{KirbySiebenmann} and Kervaire-Milnor \cite{KervaireMilnor}, there are only finitely many smooth manifolds homeomorphic to a given closed topological manifold. A construction involving Whitehead torsion…

We recast the action of pure gravity into a form that is invariant under a twofold Lorentz symmetry. To derive this representation, we construct a general parameterization of all theories equivalent to the Einstein-Hilbert action up to a…

This is the second in a series of papers studying the relationship between Rohlin's theorem and gauge theory. We discuss an invariant of a homology S^1 cross S^3 defined by Furuta and Ohta as an analogue of Casson's invariant for homology…

A 2-torus manifold is a closed connected smooth n-manifold with a non-free effective smooth $\mathbb{Z}^n_2$-action. In this paper, we prove that a 2-torus manifold is equivariantly formal if and only if the $\mathbb{Z}^n_2$-action is…

For every rational homology 3-sphere with 2-torsion only we construct a unified invariant (which takes values in a certain cyclotomic completion of a polynomial ring), such that the evaluation of this invariant at any odd root of unity…

We prove that the only Bott manifolds such that the Futaki invariant vanishes for any K\"ahler class are isomorphic to the products of the projective lines.

Let $X\to S$ be a smooth projective morphism. Katz proved the Grothendieck-Katz $p$-curvature conjecture for the Gauss-Manin connection on the $i$-th cohomology of $X/S$: if its $p$-curvature vanishes mod $p$ for infinitely many $p$, then…

We prove that semisimple 4-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented smooth 4-manifolds and homotopy equivalent simply connected…