arXiv research

Study Lagrangian Floer theory in smooth divisor complements.

Abstract reviews geometric theories of smooth and F-smooth systems.

Theory of smooth relative connections on quiver bundles developed.

We give a concise proof of the fundamental theorem of smoothing theory in the special case when a smoothing exists.

We construct an analytic multiplicative model of smooth K-theory. We further introduce the notion of a smooth K-orientation of a proper submersion and define the associated push-forward which satisfies functoriality, compatibility with pull-back diagrams, and projection and bordism formulas. We construct a multiplicati…

Extends curve theory to non-smooth data with finite curvature and torsion.

Develops differential K-theory for noncommutative algebras.

Study K-theory of Etesi $C^*$-algebras to understand smooth manifolds.

We consider spectral sequences in smooth generalized cohomology theories, including differential generalized cohomology theories. The main differential spectral sequences will be of the Atiyah-Hirzebruch (AHSS) type, where we provide a filtration by the Cech resolution of smooth manifolds. This allows for systematic st…

In this article we prove that any unitary, axiomatic topological quantum field theory in four-dimensions can not detect changes in the smooth structure of M, a simply connected, closed (compact without boundary), oriented smooth manifold. However, as Donaldson-Witten theory (a topological quantum field theory but not a…

We prove that smooth 1-dimensional topological field theories over a manifold are equivalent to vector bundles with connection. The main novelty is our definition of the smooth 1-dimensional bordism category, which encodes cutting laws rather than gluing laws. We make this idea precise through a smooth version of Rezk'…

We construct differential equivariant K-theory of representable smooth orbifolds as a ring valued functor with the usual properties of a differential extension of a cohomology theory. For proper submersions (with smooth fibres) we construct a push-forward map in differential equivariant K-theory. Finally, we construct …

We introduce a smooth variant of the Hopkins-Singer model of differential K-theory. We prove that our model is naturally isomorphic to the Hopkins-Singer model and also to the Tradler-Wilson-Zeinalian model of differential K-theory.

We have developed a mathematical theory of the topological vertex--a theory that was original proposed by M. Aganagic, A. Klemm, M. Marino, and C. Vafa in hep-th/0305132 on effectively computing Gromov-Witten invariants of smooth toric Calabi-Yau threefolds derived from duality between open string theory of smooth Cala…

The proof of Theorem 7.12 of "Uniqueness of smooth cohomology theories" by the authors of this note is not correct. The said theorem identifies the flat part of a differential extension of a generalized cohomology theory E with ER/Z (there called "smooth extension"). In this note, we give a correct proof. Moreover, we …

Theory for capillary surfaces in 3-manifolds with smooth boundary.

A version of smooth K-theory is constructed, which is adapted to the total Chern class instead of the Chern character (contrarily to previous theories). Some total Chern class morphism from this K-theory to Cheeger-Simons differential characters is constructed. This answers a question raised by U. Bunke.

New method for analyzing multiparameter persistence modules from smooth functions.

We establish a relation between smooth 2-functors defined on the path 2-groupoid of a smooth manifold and differential forms on this manifold. This relation can be understood as a part of a dictionary between fundamental notions from category theory and differential geometry. We show that smooth 2-functors appear in se…

New Morse theory for shapes at distances.

Deep, wide ConvResNets can approximate functions and their smoothness.

A nonassociative generalization of the principal fiber bundles with a smooth loop mapping on the fiber is presented. Our approach allows us to construct a new kind of gauge theories that involve higher ''nonassociative'' symmetries.

On a compact, oriented, Riemannian manifold, the Hodge decomposition theorem associates a smooth primitive to any exact smooth form omega. In this paper, we show that given a smooth family of exact smooth forms omega(t), the family of associated primitives is also a smooth family with respect to t.

Extends field theory foundations to infinitesimal spaces, simplifying complex concepts.

The paper extends invariant theory to non-compact and non-reductive actions, classifying four regimes.

We show a de Rham theory for cubical manifolds, and study rational homotopy type of the classifying spaces of smooth quandles. We also show that secondary characteristic classes in \cite{Dup2,DK} produce cocycles of quandles.

Certain six-dimensional (1,0) supersymmetric little string theories, when compactified on $T^3$, have moduli spaces of vacua given by smooth K3 surfaces. Using ideas of Gaiotto-Moore-Neitzke, we show that this provides a systematic procedure for determining the Ricci-flat metric on a smooth K3 surface in terms of BPS d…

New theory for nonsmooth systems helps optimize and control complex functions.

Introduces a new geometric framework for non-perturbative BV-theory.

The main aim of this paper is the construction of a smooth (sometimes called differential) extension \hat{MU} of the cohomology theory complex cobordism MU, using cycles for \hat{MU}(M) which are essentially proper maps W\to M with a fixed U(n)-structure and U(n)-connection on the (stable) normal bundle of W\to M. Cruc…

In the case of smooth manifolds, we use Forman's discrete Morse theory to realize combinatorially any Thom-Smale complex coming from a smooth Morse function by a couple triangulation-discrete Morse function. As an application, we prove that any Euler structure on a smooth oriented closed 3-manifold has a particular rea…

Smooth bundles with rough data maintain Hodge kernel isomorphism.

Introduces a new geometric framework for field theories.

Smooth actions of infinite groups linked to homotopy theory.

We study a smooth analogue of jumping curves of a holomorphic vector bundle, and use Yang-Mills theory over $S ^{2}$ to show that any non-trivial, smooth Hermitian vector bundle $E$ over a smooth simply connected manifold, must have such curves. This is used to give new examples complex manifolds for which a non-tri…

For G a complex reductive group and X a smooth projective or convex quasi-projective polarized G-variety we construct a formal map in quantum K-theory from the equivariant quantum K-theory $QK^G(X)$ to the quantum K-theory of the git quotient $QK(X//G)$ assuming the quotient $X//G$ is a smooth Deligne-Mumford stack wit…

Variant of previous work on smooth algebraic functions with compact and non-compact preimages.

We develop a theory of parametrized geometric cobordism by introducing smooth Thom stacks. This requires identifying and constructing a smooth representative of the Thom functor acting on vector bundles equipped with extra geometric data, leading to a geometric refinement of the the Pontrjagin-Thom construction in stac…

We prove that semisimple 4-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented smooth 4-manifolds and homotopy equivalent simply connected closed oriented smooth 4-manifolds. We show that all currently known 4-dimensiona…

Over the last two decades, many unexpected relations between exotic smoothness, e.g. exotic $\mathbb{R}^{4}$, and quantum field theory were found. Some of these relations are rooted in a relation to superstring theory and quantum gravity. Therefore one would expect that exotic smoothness is directly related to the quan…

Label smoothing improves generalization by controlling generalization loss.

We survey several mathematical developments in the holonomy approach to gauge theory. A cornerstone of this approach is the introduction of group structures on spaces of based loops on a smooth manifold, relying on certain homotopy equivalence relations -- such as the so-called thin homotopy -- and the resulting interp…

Proves compact Cauchy horizons have constant surface gravity under null energy condition.

Using the theory of extensors developed in a previous paper we present a theory of the parallelism structure on arbitrary smooth manifold. Two kinds of Cartan connection operators are introduced and both appear in intrinsic versions (i.e., frame independent) of the first and second Cartan structure equations. Also, the…

Proves a generalized vanishing theorem for quasi-smooth stacks, with applications in K-theory and birational geometry.

The paper proves a smooth Birman-Hilden theorem for hyperkähler manifolds.

The aim of this article is to introduce invariants of oriented, smooth, closed four-manifolds, built using the Floer homology theories defined in two earlier papers (math.SG/0101206 and math.SG/0105202). This four-dimensional theory also endows the corresponding three-dimensional theories with additional structure: an …

Develops wavelet-based neural network approximation theory.