Related papers: The strong Kervaire invariant problem in dimension…

For a square-free integer $t$, Byeon \cite{byeon} proved the existence of infinitely many pairs of quadratic fields $\mathbb{Q}(\sqrt{D})$ and $\mathbb{Q}(\sqrt{tD})$ with $D > 0$ such that the class numbers of all of them are indivisible…

We construct an analogue of the classical theta-function on an Abelian variety for closed 4-dimensional symplectic manifolds which are T^2-bundles over T^2 with the zero Euler class. We use our theta-functions for a canonical symplectic…

This paper contains the strongest and at the same time most calculable knot invariant ever. Let $\Theta$ be the topological moduli space of all ordered oriented tangles in 3-space. We construct a non-trivial combinatorial 1-cocycle…

In a contact manifold (M^5, alpha), we consider almost complex structures J which satisfy, for any vector v in the horizontal distribution, d alpha (v,Jv) = 0. We prove that integral cycles whose approximate tangent planes have the property…

We give the complete stably rational classification of algebraic tori of dimensions $4$ and $5$ over a field $k$. In particular, the stably rational classification of norm one tori whose Chevalley modules are of rank $4$ and $5$ is given.…

Hochster's theta invariant is defined for a pair of finitely generated modules on a hypersurface ring having only an isolated singularity. Up to a sign, it agrees with the Euler invariant of a pair of matrix factorizations. Working over the…

The invariant $\Theta$ is an invariant of rational homology 3-spheres $M$ equipped with a combing $X$ over the complement of a point. It is related to the Casson-Walker invariant $\lambda$ by the formula $\Theta(M,X)=6\lambda(M)+p_1(X)/4$,…

We compute structure constants in N=4 SYM at one loop using Integrability. This requires having full control over the two loop eigenvectors of the dilatation operator for operators of arbitrary size. To achieve this, we develop an algebraic…

The (4k+2)-dimensional Kervaire manifold is a closed, piecewise linear (PL) manifold with Kervaire invariant 1 and the same homology as the product of two (2k+1)-dimensional spheres. We show that a finite group of odd order acts freely on a…

We shall prove a new non-vanishing theorem for the stable cohomotopy Seiberg-Witten invariant of connected sums of 4-manifolds with positive first Betti number. The non-vanishing theorem enables us to find many new examples of 4-manifolds…

The structure of on-shell and off-shell 2D, (4,4) supersymmetric scalar multiplets is investigated, in components and in superspace. We reach the surprising result that there exist eight {\underline {distinct}} on-shell versions and an even…

This paper addresses several isotopy problems on $4$-manifolds. First, we classify the isotopy classes of embeddings of $\Sigma$ in $\Sigma\times S^2$ that are geometrically dual to $\{\mbox{pt}\}\times S^2$, where $\Sigma$ is a closed…

We prove nonhalting of the Turing machine dubbed "Skelet #17", known to be one of the toughest 5-state, 2-symbol Turing machines to analyze. Combined with the efforts of The Busy Beaver Challenge, we are therefore able to show that BB(5),…

For every complex number $x$, let $\Vert x\Vert_{\mathbb{Z}}:=\min\{|x-m|:\ m\in\mathbb{Z}\}$. Let $K$ be a number field, let $k\in\mathbb{N}$, and let $\alpha_1,\ldots,\alpha_k$ be non-zero algebraic numbers. In this paper, we completely…

Fix a field $k$. When $\Delta$ is a simplicial complex on $n$ vertices with Stanley-Reisner ideal $I_\Delta$, we define and study an invariant called the $\textit{type defect}$ of $\Delta$. Except when $\Delta$ is of a single simplex, the…

Let $G$ be a linear algebraic group over a field $k$, and let $V$ be a $G$-module. Recall that the nullcone of $(G,V)$ is the set of points $v$ in $V$ with the property that $f(v)=0$ for every positive degree homogeneous invariant $f$ in…

The demand to know the structure of functionally independent invariants of tensor fields arises in many problems of theoretical and mathematical physics, for instance for the construction of interacting higher-order tensor field actions. In…

We study Hilbert schemes of points on a smooth projective Calabi-Yau 4-fold $X$. We define $\mathrm{DT}_4$ invariants by integrating the Euler class of a tautological vector bundle $L^{[n]}$ against the virtual class. We conjecture a…

We prove that the examples by Smith and McMullen-Taubes provide infinitely many counterexamples to one direction of Donaldson's 4-6 question and the closely related Stabilising Conjecture. These are the first known counterexamples. In the…

This paper pursues the study of the Calabi-Yau equation on certain symplectic non-Kaehler 4-manifolds, building on a key example of Tosatti-Weinkove in which more general theory had proved less effective. Symplectic 4-manifolds admitting a…