arXiv research

Generalizes Riemann-Hilbert correspondence for curved local systems.

We present a framework to derive risk bounds for vector-valued learning with a broad class of feature maps and loss functions. Multi-task learning and one-vs-all multi-category learning are treated as examples. We discuss in detail vector-valued functions with one hidden layer, and demonstrate that the conditions under…

Let $X$ be a compact real analytic manifold, and let $T^*X$ be its cotangent bundle. Let $Sh(X)$ be the triangulated dg category of bounded, constructible complexes of sheaves on $X$. In this paper, we develop a Fukaya $A_\infty$-category $Fuk(T^*X)$ whose objects are exact, not necessarily compact Lagrangian branes in…

The study provides a sample complexity estimate for multi-category classifiers with bounded variation.

Geometrically classifies total stability spaces for Dynkin diagrams.

We study two kinds of categorical traces of (monoidal) dg categories, with particular interest in categories of Soergel bimodules. First, we explicitly compute the usual Hochschild homology, or derived vertical trace, of the category of Soergel bimodules in arbitrary types. Secondly, we introduce the notion of derived …

One of the main open problems in the theory of multi-category margin classification is the form of the optimal dependency of a guaranteed risk on the number C of categories, the sample size m and the margin parameter gamma. From a practical point of view, the theoretical analysis of generalization performance contribut…

Let X be a C-infinity manifold. We construct a microlocalization functor $μ_X$ from the derived category of bounded complexes of ind-sheaves on X to the one on the cotangent bundle of X. This functor generalizes the classical theory of microlocalization.

Monoidal categorifies genus zero skein algebra using K-theory.

Inspired by a work of Kapranov, we define the notion of Dolbeault complex of the formal neighborhood of a closed embedding of complex manifolds. This construction allows us to study coherent sheaves over the formal neighborhood via complex analytic approach, as in the case of usual complex manifolds and their Dolbeault…

The distributional category bounds manifold invariants and imposes constraints.

Let X be a compact complex manifold, $D_c^b(X)$ be the bounded derived category of constructible sheaves on $X$, and $Fuk(T^*X)$ be the Fukaya category of $T^*X$. A Lagrangian brane in $Fuk(T^*X)$ is holomorphic if the underlying Lagrangian submanifold is complex analytic in $T^*X_{\mathbb{C}}$, the holomorphic cotange…

New model for Calabi-Yau-$\mathbb{X}$ categories using decorated marked surfaces.

Formulates a new connection between topological and geometric categories.

This paper proves equivalence between derived manifolds and differential graded manifolds.

Our main result offers a new (quite systematic) way of deriving bounds for the cup-length of Poincare spaces over fields; we outline a general research program based on this result. For the oriented Grassmann manifolds, already a limited realization of the program leads, in many cases, to the exact values of the cup-le…

Study probabilistic category and complexity bounds, comparing with classical invariants.

Study shows a modified cobordism category's first derivative is equivalent to a Thom spectrum.

This paper gives a description of the full space of Bridgeland stability conditions on the bounded derived category of a contraction algebra associated to a 3-fold flop. The main result is that the stability manifold is the universal cover of a naturally associated hyperplane arrangement, which is known to be simplicia…

We construct the Fukaya category of a closed surface equipped with an area form using only elementary (essentially combinatorial) methods. We also compute the Grothendieck group of its derived category.

Propose a model-independent axiomatic framework for derived skein theory.

We prove that a positive allowable Lefschetz fibration, PALF in short, admits a structure of exact Lefschetz fibration in the sense of Seidel \cite{Se08}. If the two-fold first Chern class of the total space is zero, we obtain the Fukaya-Seidel category. We prove that the derived Fukaya-Seidel category of PALF is indep…

This is the second in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we extend the classical notion of a dg-algebra to define, in particular, the notion of a differential graded algebra in the wo…

We will provide a lower bound for the equivariant Lusternik-Schnirelmann category of an arbitrary proper action in terms of the stratification by orbit types, and an upper bound for proper polar actions in terms of the equivariant Lusternik-Schnirelmann category of its generalized Weyl group. As an application we repro…

Adapts category theory to manifold learning for better understanding and stability.

A celebrated theorem of Kapranov states that the Atiyah class of the tangent bundle of a complex manifold $X$ makes $T_X[-1]$ into a Lie algebra object in $D^+(X)$, the bounded below derived category of coherent sheaves on $X$. Furthermore Kapranov proved that, for a Kähler manifold $X$, the Dolbeault resolution $Ω^{\b…

Foundations of derived geometry in smooth settings.

The Bitcoin transaction graph is a public data structure organized as transactions between addresses, each associated with a logical entity. In this work, we introduce a complete probabilistic model of the Bitcoin Blockchain. We first formulate a set of conditional dependencies induced by the Bitcoin protocol at the bl…

This paper upgrades instanton TQFT to infinity-categories for better simplification.

Develops derived differential geometry theory.

New dg-algebras generalize Brauer graph algebras, with applications to stability conditions and quadratic differentials.

Given a symplectic manifold M, we consider a category with objects finite ordered families of Lagrangian submanifolds of M (subject to certain additional constraints) and with morphisms Lagrangian cobordisms relating them. We construct a functor that maps this category to a variant of the derived Fukaya category of M i…

Classical Ljusternik-Schnirelmann category is upper bounded by the number of critical points of any bounded from below differentiable functions of Palais-Smale type. Here we achieve an adaptation of this result for the tangential category of foliations. We introduce a weaker type of Palais-Smale function, obtaining a s…

New coarse LS-category introduced for groups and spaces.

The Serre-Swan theorem in differential geometry establishes an equivalence between the category of smooth vector bundles over a smooth compact manifold and the category of finitely generated projective modules over the unital ring of smooth functions. This theorem is here generalized to manifolds of bounded geometry. I…

This is the second in a series of papers intended to set up a framework to study categories of modules in the context of non-commutative geometries. In \cite{mem} we introduced the basic DG category $\Pc_{\A^\bullet}$, the perfect category of $\A^\bullet$, which corresponded to the category of coherent sheaves on a com…

A model structure is defined on the category of derived differentiable schemes, and it is used to analyse the truncation 2-functor from derived manifolds to d-manifolds. It is proved that the induced 1-functor between the homotopy categories is full and essentially surjective, giving a bijection between the sets of equ…

Novel $A_{\infty}$-categories derived from gauge theories for manifold homologies.

We prove a new systolic volume lower bound for non-orientable n-manifolds, involving the stable 1-systole and the codimension 1 systole with coefficients in Z_2. As an application, we prove that Lusternik-Schnirelmann category and systolic category agree for non-orientable closed manifolds of dimension 3, extending our…

We construct and discuss new numerical homotopy invariants of topological spaces that are suitable for the study of functions on loop and sphere spaces. These invariants resemble the Lusternik-Schnirelmann category and provide lower bounds for the numbers of critical orbits of SO(n)-invariant functions on spaces of n-s…

Unified framework connects deformation theory and derived categories for multiparameter persistence.

This is the second companion paper of arXiv:1601.03586. We consider the morphism from the variety of triples introduced in arXiv:1601.03586 to the affine Grassmannian. The direct image of the dualizing complex is a ring object in the equivariant derived category on the affine Grassmannian (equivariant derived Satake ca…

We study the transverse Lusternik-Schnirelmann category of a Riemannian foliation on a compact manifold. We obtain a necessary and sufficient condition when the transverse LS category is finite. We also introduce a variation on the concept of transverse LS category, the essential transverse category, and show that this…

Using the concept of a cohesive module defined by Block, we use the theory of superconnections in the sense of Quillen to construct natural superconnections on Hermitian cohesive modules. By the Chern-Weil construction, we obtain characteristic classes with values in Bott-Chern cohomology which refines the usual deRham…

Paper uses Turaev-Viro TQFT to estimate 3-manifold genus.

Homotopy Quantum Field Theories (HQFTs) generalize more familiar Topological Quantum Field Theories (TQFTs). In generalization of the surgery construction of 3-dimensional TQFTs from modular categories, we use surgery to derive 3-dimensional HQFTs from G-modular categories.

The paper defines a new metric space invariant and computes it for various manifolds.

This paper refines homotopy theory for cubical sets and uniform spaces.