Related papers: A simple model of 4d-TQFT

We prove that every compact K\"ahler threefold $X$ of Kodaira dimension $\kappa = 0$ or $1$ has a $\mathbf{Q}$-factorial bimeromorphic model $X'$ with at worst terminal singularities such that for each curve $C \subset X'$, the pair…

We use the Sigma^1_3 absoluteness theorem to show that the complexity of the statement "(omega,E)$ is isomorphic to an initial segment of the core model" is Pi^1_4, and that the complexity of the statement "(omega,E)$ is isomorphic to a…

We show the problem of counting homomorphisms from the fundamental group of a homology $3$-sphere $M$ to a finite, non-abelian simple group $G$ is #P-complete, in the case that $G$ is fixed and $M$ is the computational input. Similarly,…

A compact oriented 4-manifold is defined to be of ``superconformal simple type'' if certain polynomials in the basic classes (constructed using the Seiberg-Witten invariants) vanish identically. We show that all known 4-manifolds of…

We prove that for q not a nontrivial root of unity any symmetric invariant 2-cocycle for a completion of Uq(g) is the coboundary of a central element. Equivalently, a Drinfeld twist relating the coproducts on completions of Uq(g) and U(g)…

We show that the number of double points of smoothly immersed 2-spheres representing certain homology classes of an oriented, smooth, closed, simply-connected 4-manifold X must increase with the complexity of corresponding h-cobordisms from…

We introduce and study a new 3d Topological Field Theory which can be associated to any compact real manifold X. This TFT is analogous to the 2d A-model and reduces to it upon compactification on an interval with suitable boundary…

Let~$X=\Po/\Gamma$ be an~$n$-punctured sphere, $n>3$. We introduce and study~$n-3$ deformation operators on the space of modular forms~$M_*(\Gamma)$ based on the classical theory of uniformizing differential equations and accessory…

For any quartic number field $K$ generated by a root $\alpha$ of an irreducible trinomial of type $x^4+ax^2+b\in Z[x]$, we characterize when $Z[\alpha]$ is integrally closed. Also for $p=2,3$, we explicitly give the highest power of $p$…

Let $X$ be an elliptic surface over ${\bf P}^1$ with $\kappa(X)=1$, and $M=M(c_2)$ be the moduli scheme of rank-two stable sheaves $E$ on $X$ with $(c_1(E),c_2(E))=(0,c_2)$ in $\operatorname{Pic}(X)\times\mathbb{Z}$. We look into defining…

Let a $k$-dimensional torus $T^k$ act on a $2n$-dimensional compact connected almost complex manifold $M$ with isolated fixed points. As for circle actions, we show that there exists a (directed labeled) multigraph that encodes weights at…

Let $\omega$ be a differential 1-form defining an algebraic foliation of codimension 1 in projective space. In this article we use commutative algebra to study the singular locus of $\omega$ through its ideal of definition. Then, we expose…

This note revisits the ideas in an earlier (2007) paper on orbifolds and branched manifolds, showing how the constructions can be simplified by using a version of the Kuranishi atlases recently developed by McDuff--Wehrheim. We first show…

We characterize the entire functions $P$ of $d$ variables, $d\ge 2,$ for which the $\mzd$-translates of $P\chi_{[0,N]^d}$ satisfy the partition of unity for some $N\in \mn.$ In contrast to the one-dimensional case, these entire functions…

We examine the equation \[\Delta^2 u = \lambda f(u) \qquad \Omega, \] with either Navier or Dirichlet boundary conditions. We show some uniqueness results under certain constraints on the parameter $ \lambda$. We obtain similar results for…

This study introduces a new unified structural framework for orbifold sigma models that incorporates twisted sectors, singularities, and smooth regions into a single algebraic object. Traditional approaches to orbifold theories often treat…

This paper studies existence of $n=4k (k>1)$ dimensional simply-connected closed almost complex manifold with Betti number $ b_i=0$ except $i=0, n/2, n$. We characterize all the rational cohomology rings of such manifolds and show they must…

We give a new and simple proof for the computation of the oriented and the unoriented fold cobordism groups of Morse functions on surfaces. We also compute similar cobordism groups of Morse functions based on simple stable maps of…

Let (M,\omega) be a four dimensional compact connected symplectic manifold. We prove that (M,\omega) admits only finitely many inequivalent Hamiltonian effective 2-torus actions. Consequently, if M is simply connected, the number of…

Exploiting the fact that Kaluza-Klein monopoles and the associated generalized orbifold planes are sources for geometrical fluxes, omega, we show that the standard constraint omega.omega=0, valid for superstring compactifications on twisted…