arXiv research

Develops Hodge theory on ALG$^*$ manifolds, proving existence and vanishing results.

The paper constructs gravitational instantons with unique collapse patterns.

The paper constructs Ricci-flat Kähler manifolds with specific decay properties.

Proves positive mass theorems for specific ALF and ALG manifolds.

Classifies gravitational instantons with quadratic volume growth.

The paper proves unique characterization of gravitational instantons with specific volume growth.

In this paper, we study gravitational instantons (i.e., complete hyperkäler 4-manifolds with faster than quadratic curvature decay). We prove three main theorems: 1.Any gravitational instanton must have known end----ALE, ALF, ALG or ALH. 2.In ALG and ALH-non-splitting cases, it must be biholomorphic to a compact comple…

The goal of this paper is to find a close to isomorphic presentation of 3-manifolds in terms of Hopf algebraic expressions. To this end we define and compare three different braided tensor categories that arise naturally in the study of Hopf algebras and 3-dimensional topology. The first is the category \Cob of connect…

Holomorphic splitting theorem for Calabi-Yau manifolds with specific properties.

Study on the asymptotic geometry of Higgs bundles over projective line.

A canonical hyperkaehler metric on the total space $T^*M$ of a cotangent bundle to a complex manifold $M$ has been constructed recently by the author (see alg-geom/9710026). This paper presents the results of alg-geom/9710026 in a streamlined and simplified form. The only new result is an explicit formula obtained for …

This is our third paper in a series on the gravitational instantons. In this paper, we classify ALG and ALH gravitational instantons. In ALG case, we extend Hein's construction slightly and show that it's the only ALG gravitational instanton. In ALH case, we prove a Torelli-type theorem.

This paper proves Hitchin moduli spaces are ALG gravitational instantons.

Let $G$ be a simple complex Lie group, $\alg{g}$ be its Lie algebra, $K$ be a maximal compact form of $G$ and $\alg{k}$ be a Lie algebra of $K$. We denote by $X\rightarrow \overline{X}$ the anti-involution of $\alg{g}$ which singles out the compact form $\alg{k}$. Consider the space of flat $\alg{g}$-valued connections…

The paper connects hyperpolygon spaces to Higgs bundle moduli spaces via degenerations.

We show that recently constructed invariants of 3-dimensional manifolds and of hyperkaehler manifolds (L.Rozansky and E.Witten, hep-th/9612216) come from characteristic classes of foliations and from Gelfand-Fuks cohomology. In particular, any symplectic foliation gives invariants of 3-manifolds. Our preprint has many …

Period maps surjective for certain gravitational instantons.

We give a simple and uniform construction of essentially all known deformation classes of gravitational instantons with ALF, ALG or ALH asymptotics and nonzero injectivity radius. We also construct new ALH Ricci flat metrics asymptotic to the product of a real line with a flat 3-manifold.

New algebraic presentations for 3D cobordisms and 4D 2-handlebodies.

In this paper we analyze supergeometric locally covariant quantum field theories. We develop suitable categories SLoc of super-Cartan supermanifolds, which generalize Lorentz manifolds in ordinary quantum field theory, and show that, starting from a few representation theoretic and geometric data, one can construct a f…

Alternative algebraic characterization of 3D cobordisms category.

See q-alg/9710003 for the corrected version of this paper.

We consider a sparse high dimensional regression model where the goal is to recover a $k$-sparse unknown vector $β^*$ from $n$ noisy linear observations of the form $Y=Xβ^*+W \in \mathbb{R}^n$ where $X \in \mathbb{R}^{n \times p}$ has iid $N(0,1)$ entries and $W \in \mathbb{R}^n$ has iid $N(0,σ^2)$ entries. Under certa…

Let M be a hyperkaehler manifold, not necessarily compact, and $S\cong CP^1$ the set of complex structures induced by the quaternionic action. Trianalytic subvariety of M is a subvariety which is complex analytic with respect to all $I \in CP^1$. We show that for all $I \in S$ outside of a countable set, all compact co…

We determine the quantum cohomology of the moduli space of odd degree rank two stable vector bundles over a Riemann surface $Σ$ of any genus. This work together with dg-ga/9710029 prove that this quantum cohomology is isomorphic to the instanton Floer cohomology of the three manifold $Σ\times S^1$. (Note: There is some…

This paper opens the series of articles supplemental to the series (hep-th/9405050,q-alg/9610026,q-alg/9611003,q-alg/9611019,funct-an/9611003), which also lies in lines of general ideology exposed in the review (mp_arc/96-477). The main purpose of the activity, which has its origin and motivation presumably in the auth…

Study shows crossing numbers for algebraic knots can differ by arbitrarily large amounts.

For a complex projective manifold Gromov-Witten invariants can be constructed either algebraically or symplectically. Using the versions of Gromov-Witten theory by Behrend and Fantechi on the algebraic side and by the author on the symplectic side, we prove that both points of view give the same results. A similar stat…

New Spin(7) manifolds created from Calabi-Yau bundles.

For a smooth projective toric surface we determine the Donaldson invariants and their wallcrossing in terms of the Nekrasov partition function. Using the solution of the Nekrasov conjecture math.AG/0306198, hep-th/0306238, math.AG/0409441 and its refinement math.AG/0311058, we apply this result to give a generating fun…

Involutory Hopf group-coalgebras provide new invariants for 4-manifold bundles.

We prove an analogue of the Kotschick-Morgan conjecture in the context of SO(3) monopoles, obtaining a formula relating the Donaldson and Seiberg-Witten invariants of smooth four-manifolds using the SO(3)-monopole cobordism. The main technical difficulty in the SO(3)-monopole program relating the Seiberg-Witten and Don…

Continuing the work started in Part I and II of this series (see q-alg/9706004 and math.QA/9801049), we prove the relationship between the Aarhus integral and the invariant $Ω$ (henceforth called LMO) defined by T.Q.T. Le, J. Murakami and T. Ohtsuki in q-alg/9512002. The basic reason for the relationship is that both c…

The paper explores mapping class groups of simply connected Kaehler manifolds, highlighting a significant difference from curves.

We exploit the Fedosov-Weinstein-Xu (FWX) resolution proposed in q-alg/9709043 to establish an isomorphism between the ring of Hochschild cohomology of the quantum algebra of functions on a symplectic manifold M and the ring H(M, C((h))) of De Rham cohomology of M with the coefficient field C((h)) without making use of…

We propose and study a row-and-column affine measurement scheme for low-rank matrix recovery. Each measurement is a linear combination of elements in one row or one column of a matrix $X$. This setting arises naturally in applications from different domains. However, current algorithms developed for standard matrix rec…

We construct a new minimal complex surface of general type with $p_g=0$, $K^2=2$ and $H_1=\mathbb{Z}/4\mathbb{Z}$ (in fact $π_1^{\text{alg}}=\mathbb{Z}/4\mathbb{Z}$), which settles the existence question for numerical Campedelli surfaces with all possible algebraic fundamental groups. The main techniques involved in th…

The paper proves conditions for positive scalar curvature metrics on manifolds with incompressible hypersurfaces.

New MCMC method samples from lattice distributions efficiently.

We obtain a combinatorial formula for the Miller-Morita-Mumford classes for the mapping class group of punctured surfaces and prove Witten's conjecture that they are proportional to the dual to the Witten cycles. The proportionality constant is shown to be exactly as conjectured by Arbarello and Cornalba [J. Alg. Geom.…

A detailed version of preprint "Self-linking number of a real algebraic link" by the same author, alg-geom/9410030. For a nonsingular real algebraic curve in 3-dimensional projective space or 3-sphere, a new integer-valued characteristic is introduced. It is invariant under rigid isotopy and multiplied by -1 under mirr…

We prove a \emph{query complexity} lower bound for approximating the top $r$ dimensional eigenspace of a matrix. We consider an oracle model where, given a symmetric matrix $\mathbf{M} \in \mathbb{R}^{d \times d}$, an algorithm $\mathsf{Alg}$ is allowed to make $\mathsf{T}$ exact queries of the form $\mathsf{w}^{(i)} =…

We reconsider the su(3) link homology theory defined by Khovanov in math.QA/0304375 and generalized by Mackaay and Vaz in math.GT/0603307. With some slight modifications, we describe the theory as a map from the planar algebra of tangles to a planar algebra of (complexes of) `cobordisms with seams' (actually, a `canopo…

Interpretability has become an important topic of research as more machine learning (ML) models are deployed and widely used to make important decisions. Most of the current explanation methods provide explanations through feature importance scores, which identify features that are important for each individual input. …

We use Klyachko's methods [A funny property of sphere and equations over groups, Comm. in Alg. 21 (1993) 2555--2575] (see also Fenn-Rourke, L'Enseignment Math. 42 (1996) 49--74 and math.GR/9810184 and Cohen-Rourke, math.GR/0009101) to prove that, if a 1-cell and a 2-cell are added to a complex with torsion-free fundame…

Let $X$ be a smooth variety and let $L$ be an ample line bundle on $X$. If $π^{alg}_{1}(X)$ is large, we show that the Seshadri constant $ε(p^{*}L)$ can be made arbitrarily large by passing to a finite étale cover $p:X'\rightarrow X$. This result answers affirmatively a conjecture of J.-M. Hwang. Moreover, we prove an …

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 …

Given a generic stable strongly parabolic $SL(2,\mathbb{C})$-Higgs bundle $(\mathcal{E}, \varphi)$, we describe the family of harmonic metrics $h_t$ for the ray of Higgs bundles $(\mathcal{E}, t \varphi)$ for $t\gg0$ by perturbing from an explicitly constructed family of approximate solutions $h_t^{\mathrm{app}}$. We t…