Related papers: Duals of non-zero square

We give a different and possibly more accessible proof of a general Borsuk--Ulam theorem for a product of spheres, originally due to Ramos. That is, we show the non-existence of certain $(\mathbb{Z}/2)^k$-equivariant maps from a product of…

This note shows that for each $n\geq 5$ with only $n\not= 6$, there exists a $2n$-dimensional specially omnioriented quasitoric manifold $M^{2n}$ which represents a nonzero element in $\Omega_*^U$. This provides the counterexamples of…

From a handlebody-theoretic perspective, the simplest compact, contractible 4-manifolds, other than the 4-ball, are Mazur manifolds. We produce the first pairs of Mazur manifolds that are homeomorphic but not diffeomorphic. Our…

We prove a discrete analog of a certain four-vertex theorem for space curves. The smooth case goes back to the work of Beniamino Segre and states that a closed and smooth curve whose tangent indicatrix has no self-intersections admits at…

We characterise, in the setting of the Kodaira-Spencer deformation theory, the twistor spaces of (co-)CR quaternionic manifolds. As an application, we prove that, locally, the leaf space of any nowhere zero quaternionic vector field on a…

We show that if we suppose n>3 and the (2n-1)-stem in the stable homotopy groups of spheres has no 2-torsion, then the Whitehead squares of the identity maps of (2n+1) and (4n+3)-spheres are divisible by 2. Applying the result of G. Wang…

We show that there are two supersymmetric completions of the three-dimensional Chern-Simons theory of level k with gauge group U(N)xU(N) coupled to four sets of massless scalars and spinors in the bi-fundamental representation, if we…

For each nonnegative integer m we show that any closed, oriented topological four-manifold with fundamental group Z_{4m+2} and odd intersection form, with possibly seven exceptions, either admits no smooth structure or admits infinitely…

Let X be an algebraic curve, defined over a perfect field, and G a divisor on X. If X has sufficiently many points, we show how to construct a divisor D on X such that l(2D-G)=0, of essentially any degree such that this is compatible the…

We characterize normal $3$-pseudomanifolds with $g_2\leq4$. We know that if a $3$-pseudomanifold with $g_2\leq4$ does not have any singular vertices then it is a $3$-sphere. We first prove that a normal $3$-pseudomanifold with $g_2\leq4$…

We work on a projective threefold $X$ which satisfies the Bogomolov-Gieseker conjecture of Bayer-Macr\`i-Toda, such as $\mathbb P^3$ or the quintic threefold. We prove certain moduli spaces of 2-dimensional torsion sheaves on $X$ are smooth…

We give an elementary proof of the first fundamental theorem of the invariant theory for the orthosymplectic supergroup by generalising the method of Atiyah, Bott and Patodi to the supergroup context. We use methods from super-algebraic…

In this paper we provide a sharp characterization of the smooth four-dimensional sphere. The assumptions of the theorem are conformally invariant, and can be reduced to an L^2 inequality of the Weyl tensor and positivity of the Yamabe…

We introduce a version of discrete Morse theory specific for manifolds with boundary. The idea is to consider Morse functions for which all boundary cells are critical. We obtain "Relative Morse Inequalities" relating the homology of the…

We consider closed manifolds that admit a metric locally isometric to a product of symmetric planes. For such manifolds, we prove that the Euler characteristic is an obstruction to the existence of flat structures, confirming an old…

We introduce the $\mathbb{Z}_N$-twisted trigonometric sigma models, a new class of integrable deformations of the principal chiral model. Starting from 4d Chern-Simons theory on a cylinder, the models are constructed by introducing a…

We study orbits of semigroups of $\text{SL}(2,\mathbb{Z})$, and demonstrate reciprocity obstructions: we show that certain such orbits avoid squares, but not as a consequence of obstructions inherited from an algebraic set, and not as a…

Tur\'an problems in extremal combinatorics ask to find asymptotic bounds on the edge densities of graphs and hypergraphs that avoid specified subgraphs. The theory of flag algebras proposed by Razborov provides powerful methods based on…

Recently, the authors have proved the finiteness of common zeros of two iterated rational maps under some compositional independence assumptions. In this article, we advance towards a question of Hsia and Tucker on a Zariski non-density of…

We construct several examples of (2+1) dimensional N=2 supersymmetric Chern-Simons theories, whose moduli space is given by non-compact toric Calabi-Yau four-folds, which are not derivable from any (3+1) dimensional CFT. One such example is…