arXiv research

Proves simple type conjecture for mod 2 Seiberg-Witten invariants.

Let $X$ be a smooth, closed, connected, orientable four-manifold with $b^1(X)=0$ and $b^+(X)\geq 3$ and odd. We show that if $X$ has Seiberg-Witten simple type, then the SO(3)-monopole cobordism formula of Feehan and Leness (2002) implies Witten's Conjecture relating the Donaldson and Seiberg-Witten invariants.

We propose an explicit formula connecting Donaldson invariants and Seiberg-Witten invariants of a 4-manifold of simple type via Nekrasov's deformed partition function for the N=2 SUSY gauge theory with a single fundamental matter. This formula is derived from Mochizuki's formula, which makes sense and was proved when t…

In this article we show that some of the recent results of Marino, Moore, and Peradze (math.DG/9812042, hep-th/9812055) -- in particular their conjecture that all closed, smooth four-manifolds with b_2^+ > 1 (and Seiberg-Witten simple type) are of `superconformal simple type' -- can be understood using a simple mathema…

We prove that Witten's Conjecture [arXiv:hep-th/9411102] on the relationship between the Donaldson and Seiberg-Witten series for a four-manifold of Seiberg-Witten simple type with $b_1=0$ and odd $b_2^+\geq 3$ follows from our $\mathrm{SO}(3)$-monopole cobordism formula [arXiv:math/0203047] when the four-manifold has $…

We show that the SO(3) monopole cobordism formula from Feehan and Leness (2002) implies that all smooth, closed, oriented four-manifolds with $b^1=0$ and $b^+\geq 3$ and odd with Seiberg-Witten simple type satisfy the superconformal simple type condition defined by Marino, Moore, and Peradze (1999) This implies the low…

We find the shape of the Donaldson invariants of a 4-manifold with b_1=0 and b^+>1, which may be not of simple type. The invariants appear as the q^0 coefficient of a expression given in terms of modular forms (as was predicted by Moore and Witten). We re-express the formula using complete elliptic integrals to prove a…

Witten's conjecture suggests that the polynomial invariants of Donaldson are expressible in terms of the Seiberg-Witten invariants if the underlying four-manifold is of simple type. A higher rank version of the Donaldson invariants was introduced by Kronheimer. Before even having been defined, the physicists Mariño and…

We generalize Witten's conjectured formula relating Donaldson and Seiberg-Witten invariants to manifolds of non-simple type, via equivariant localization techniques. This approach does not use the theory of non-abelian monopoles, but works directly on the Donaldson-Witten and Seiberg-Witten moduli spaces. We give a for…

Study shows nonexistence of certain geometric structures in complex geometries.

We solve a conjecture of Morgan and Szabo (Embedded genus 2 surfaces in four-manifolds, Preprint) about the relationship of the basic classes of two four-manifolds $X_i$ of simple type with $b_1=0$, $b^+>1$, such that there are embedded Riemann surfaces of genus $g \geq 2$ and self-intersection zero (and representing o…

A famous conjecture in gauge theory mathematics, attributed to Witten, suggests that the polynomial invariants of Donaldson are expressible in terms of the Seiberg-Witten invariants if the underlying four-manifold is of simple type. Mathematicians have sought a proof of the conjecture by means of a `cobordism program' …

The paper is on the vanishing topology of singular Milnor fibres of holomorphic families of arbitrary square, symmetric and skew-symmetric matrices with sufficiently many parameters. We define vanishing cycles on such fibres, prove an extended form of the Damon-Pike $μ=τ$ conjecture about the families of a special type…

We conjecturally extract the triply graded Khovanov-Rozansky homology of the (m, n) torus knot from the unique finite dimensional simple representation of the rational DAHA of type A, rank n - 1, and central character m/n. The conjectural differentials of Gukov, Dunfield and the third author receive an explicit algebra…

We classify all fusion categories for a given set of fusion rules with three simple object types. If a conjecture of Ostrik is true, our classification completes the classification of fusion categories with three simple object types. To facilitate the discussion we describe a convenient, concrete and useful variation o…

We describe a simple locally CAT(0) classifying space for extra extra large type Artin groups (with all labels at least 5). Furthermore, when the Artin group is not dihedral, we describe a rank 1 periodic geodesic, thus proving that extra large type Artin groups are acylindrically hyperbolic. Together with Property RD …

We present a new method to produce simple formulas for 1-cocycles of knots over the integers, inspired by Polyak-Viro's formulas for finite-type knot invariants. We conjecture that these formulas always represent finite-type cohomology classes in the sense of Vassiliev. An example of degree 3 is studied, and shown to c…

By making use of the classification of real simple Lie algebra, we get the maximum of the squared length of restricted roots case by case, thus we get the upper bounds of sectional curvature for irreducible Riemannian symmetric spaces of compact type. As an application, we verify Sampson's conjecture in all cases for i…

Simple loop conjecture proven for certain discrete representations.

Complex projective manifolds without rational curves are quotients of Abelian varieties.

The paper confirms conjectures about the topology of triangulated polyhedra and geodesic triangulations on spheres.

Study finds counterexamples to simple loop conjecture in higher dimensions.

We prove that the presentations $\langle x,y | [x,y],1 \rangle$ and $\langle x,y | [x,[x,y^{-1}]]^2y[y^{-1},x]y^{-1},[x,[[y^{-1},x],x]] \rangle$ are not $Q^*$-equivalent even though their standard complexes have the same simple homotopy type.

Efficient tests achieve best error rates in high-dimensional hypothesis testing.

The present article is the first in a series whose ultimate goal is to prove the Kotschick-Morgan conjecture concerning the wall-crossing formula for the Donaldson invariants of a four-manifold with b^+ = 1. The conjecture asserts that the wall-crossing terms due to changes in the metric depend at most on the homotopy …

Let D a divisor with simple normal crossings in a Kahler manifold X. The purpose of this short note is to show that the existence of a Poincare type metric with constant scalar curvature in on the complement of D implies for any component of the divisor that the scalar curvature of Poincare type metric outside of D is …

Final revision. To appear in the Journal of Differential Geometry. This paper studies knots that are transversal to the standard contact structure in $\reals^3$, bringing techniques from topological knot theory to bear on their transversal classification. We say that a transversal knot type $\cTK$ is {\it transversally…

We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of usi…

For a banded link $L$ in a surface times a circle, the Witten-Reshetikhin-Turaev invariants are topological invariants depending on a sequence of complex $2p$-th roots of unity $(A_p)_{p\in 2\mathbb{N}}$. We show that there exists a polynomial $P_L$ such that these normalized invariants converge to $P_L(u)$ when $A_p$ …

Proof of Knot Entropy Conjecture for tube lattice polygons.

In the paper we consider the following conjecture: if a finite group $G$ possesses a solvable $π$-Hall subgroup $H$, then there exist elements $x,y,z,t\in G$ such that the identity $H\cap H^x\cap H^y\cap H^z\cap H^t=O_π(G)$ holds. The minimal counter example is shown to be an almost simple group of Lie type.

Two Anosov metrics with same boundary distance are isometric.

In this short paper, we will give a simple and transcendental proof for Mok's theorem of the generalized Frankel conjecture. This work is based on the maximum principle in \cite{BS2} proposed by Brendle and Schoen.

We establish a new partial $C^{0}$-estimate along a continuity path mixed with conic singularities along a simple normal crossing divisor and a positive twisted $(1,1)$-form on Fano manifolds. As an application, this estimate enables us to show the reductivity of the automorphism group of the limit space, which leads t…

We prove Atiyah's conjecture for two special types of configurations of N points in the three-dimensional Euclidean space. For one of these types, it is shown that the stronger conjecture of Atiyah and Sutcliffe is valid.

Study proves Kotschick's conjecture for certain compact Kähler manifolds.

Let $M$ be a simple holomorphically symplectic manifold, that is, a simply connected holomorphically symplectic manifold of Kahler type with $h^{2,0}=1$. We prove that the group of holomorphic automorphisms of $M$ acts on the set of faces of its Kahler cone with finitely many orbits, whenever $b_2(M)\neq 5$. This is a …

We formulate the generalization of the Legendrian Low conjecture of Natario and Tod (proved by Nemirovski and myself before) to the case of causally simple spacetimes. We prove a weakened version of the corresponding statement. In all known examples, a causally simple spacetime $(X, g)$ can be conformally embedded as a…

The simple loop conjecture for 3-manifolds states that every 2-sided immersion of a closed surface into a 3-manifold is either injective on fundamental groups or admits a compression. This can be viewed as a generalization of the Loop Theorem to immersed surfaces. We prove the conjecture in the case that the target 3-m…

We formulate a conjecture that arithmetic locally symmetric manifolds have simple homotopy type, and prove it for the non-compact case. More precisely, we show that, for any symmetric space S of non-compact type without Euclidean de Rham factors, there are constants a=a(S) and d=d(S) such that any non-compact arithmeti…

We give counterexamples to a question of Bowditch that if a non-elementary type-preserving representation $ρ:π_1(Σ_{g,n})\rightarrow PSL(2;\mathbb R)$ of a punctured surface group sends every non-peripheral simple closed curve to a hyperbolic element, then must $ρ$ be Fuchsian. The counterexamples come from relative Eu…

Reformulated Markov's conjecture in combinatorial terms.

We give a simple and independent proof of the result of Jack Button and Paul Schmutz that the Markoff conjecture on the uniqueness of the Markoff triples (a,b,c), where a, b, and c are in increasing order, holds whenever $c$ is a prime power.

Study confirms conjecture on Hermitian manifolds with bounded mass.

We consider canonical metrics on Fano manifolds. First we introduce a norm-type functional on Fano manifolds, which has Kahler-Einstein or Kahler-Ricci soliton as its critical point and the Kahler-Ricci flow can be viewed as its (reduced) gradient flow. We then obtain a natural lower bound of this functional. As an app…

A counterexample is given for the Knaster-like conjecture of Makeev for functions on $S^2$. Some particular cases of another conjecture of Makeev, on inscribing a quadrangle into a smooth simple closed curve, are solved positively.

New findings on 3-manifolds using Heegaard Floer theory.

Submanifolds of finite type were introduced by the author during the late 1970s. The first results on this subject had been collected in author's book [Total mean curvature and sub manifolds of finite type, World Scientific, NJ, 1984]. A list of ten open problems and three conjectures on submanifolds of finite type was…