Higher gauge theory via differential nonabelian cohomology
problem Global infrared completion of higher gauge fields
method Maxwell-type higher gauge fields
result Electromagnetic flux quantization
Unified classification of equivariant principal bundles using higher homotopy theory.
problem Unified classification of equivariant principal bundles.
method Smooth Oka principle, singular-cohesive homotopy theory, internally describing principal bundles.
result Unified classification results for equivariant principal bundles.
Cyclification of orbifolds explained in cohesive higher topos theory.
problem Understanding cyclification of orbifolds in geometric and algebraic contexts.
method Cohesive higher topos theory and transgression of cohomological charges.
result Cyclification of orbifolds is a fundamental base-change construction.
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…
The paper studies deformations of cohesive modules on complex manifolds.
problem Deformation theory of cohesive modules on compact complex manifolds.
method Development of Kuranishi maps and obstructions for deformations of cohesive modules.
result Generalization of deformation theory for holomorphic vector bundles and coherent sheaves.
This is a survey of motivations, constructions and applications of higher prequantum geometry. In section 1 we highlight the open problem of prequantizing local field theory in a local and gauge invariant way, and we survey how a solution to this problem exists in higher differential geometry. In section 2 we survey ex…
Synthetic theory defines orbifolds as microlinear types with finite identifications.
problem Defining orbifolds in traditional set-level foundations with internal symmetries.
method Synthetic differential cohesive homotopy type theory, microlinearity, finite identifications.
result Proper étale groupoids are orbifolds in synthetic theory.
We formulate differential cohomology and Chern-Weil theory -- the theory of connections on fiber bundles and of gauge fields -- abstractly in the context of a certain class of higher toposes that we call "cohesive". Cocycles in this differential cohomology classify higher principal bundles equipped with cohesive struct…
The paper develops residue currents for cohesive modules and proves a generalized Poincaré-Lelong formula.
problem Analyzing coherent sheaves on complex manifolds using global analytic methods.
method Developing residue currents for cohesive modules and proving their properties.
result Proves a generalized Poincaré-Lelong formula for cohesive modules.
Introduces a new geometric framework for non-perturbative BV-theory.
problem Non-perturbative generalization of BV-theory in infinite-dimensional spaces.
method Derived differential geometry and homotopical algebraic geometry.
result Concrete model of derived smooth stacks for encoding non-perturbative BV-theory.
Unified theory of orbifolds and cohomology.
problem Formulating a general theory of orbifolds unifying differential and equivariant cohomology.
method Abstract axiomatization in higher topos theory and concrete models for various orbifolds.
result Fully faithful embedding of orbifolds into a cohesive infinity-topos with proper equivariant cohomology.
Policy-gradient method controls multiple non-cohesive targets.
problem Controlling multiple non-cohesive targets in a decentralized manner.
method Proximal Policy Optimization for target selection and driving.
result Effective control of non-cohesive targets without prior dynamics knowledge.
Motivated by recent financial crises significant research efforts have been put into studying contagion effects and herding behaviour in financial markets. Much less has been said about influence of financial news on financial markets. We propose a novel measure of collective behaviour in financial news on the Web, New…
The paper generalizes current constructions to cohesive modules and characteristic forms.
problem Constructing currents for characteristic forms of cohesive modules.
method Generalized construction of pseudomeromorphic currents for de-Rham characteristic classes and characteristic forms of cohesive modules.
result Currents representing characteristic forms can be constructed using the degree-0 and degree-1 parts of the superconnection.
Study examines how business units can benefit from group cohesion under regulatory constraints.
problem Regulatory constraints limit business units' ability to form a single cohesive group.
method Defined and analyzed cohesive risk measures to minimize capital costs.
result Cohesive risk measures allow groups to achieve minimal capital costs without altering individual liabilities.
A new method improves graph node embeddings by considering both nearby and distant node similarities.
problem Improving graph node embeddings by considering both nearby and distant node similarities.
method Distance-aware Negative Sampling (DNS) which maximizes cohesion at nearby node-pairs and separation at distant node-pairs.
result DNS outperforms baseline methods in downstream node classification tasks on various datasets and GRL algorithms.
V. Turaev introduced the theory of topology of words and phrases in 2005. This is a combinatorialy extension of the theory of virtual knots and links. In this paper we generalize the notion of homotopy of words and phrases and we give geometric meanings of the generalized homotopy of words. Moreover using the generaliz…
Coarse homotopy theory connects Euclidean cones to shape theory of compact spaces.
problem Establishing connections between coarse homotopy theory and shape theory.
method Using pointed shape invariants and inverse mapping telescopes.
result Proving two compact spaces are strong shape equivalent if their Euclidean cones are coarsely homotopy equivalent.
Enhances kernel regression with network data for better predictions.
problem Improving predictive power in high-dimensional data.
method Combines kernel regression with network cohesion data to model nonlinearities.
result Significantly better predictive performances in high-dimensional data.
Classifies colored links and spatial graphs up to colored link-homotopy.
problem Classifying colored links and spatial graphs up to colored link-homotopy.
method Using Habegger-Lin theory for colored string links, and extending to colored links and spatial graphs.
result Classification of colored links and spatial graphs up to colored link-homotopy.
This paper refines homotopy theory for cubical sets and uniform spaces.
problem Classical homotopy theory limitations in cubical sets and uniform spaces.
method Develops a uniform-theoretic refinement for cubical sets and uniform spaces, lifting to a full and faithful embedding.
result Lifts classical homotopy categories to new uniform homotopy categories, generalizing cohomology theories.
We survey some topics in A1-homotopy theory. Our main goal is to highlight the interplay between A1-homotopy theory and affine algebraic geometry, focusing on the varieties that are "contractible" from various standpoints.
Study homotopy types of free racks and quandles, proving analogs of Milnor's theorem.
problem Understanding the homotopy types of free racks and quandles.
method Proved analogs of Milnor's theorem for racks and quandles and their pointed variants.
result Identified the homotopy types of free racks and quandles on spaces of generators.
We explore homotopies in quantum field theory formalism.
problem Constructing homotopies in Batalin-Vilkovisky formalism.
method Review and construction of homotopies from renormalization group flow and gauge fixing changes.
result Constructing spans of quantum master actions with isomorphic effective actions using homotopies.
New examples of manifolds that are homotopy but not simple homotopy equivalent.
problem Characterizing simple homotopy types of even dimensional manifolds.
method Using algebraic K-theory, surgery obstruction map, and homotopy automorphisms.
result Construction of infinite families of manifolds that are homotopy equivalent but not simple homotopy equivalent.
We introduce a method to predict which correlation matrix coefficients are likely to change their signs in the future in the high-dimensional regime, i.e. when the number of features is larger than the number of samples per feature. The stability of correlation signs, two-by-two relationships, is found to depend on thr…
Intuitive clustering algorithm balances cluster size and cohesion.
problem Cluster definition and selection in data analysis.
method Nearest neighbours equilibrium condition for clustering.
result High-quality clustering solutions compared to benchmarks.
Proves Poincaré surgery theorem using homotopy theory.
problem Fundamental Theorem of Poincaré surgery in simply connected spaces.
method Homotopy theoretic proof.
result Deduced Poincaré transversality exact sequence.
In 2005 V. Turaev introduced the theory of topology of words and phrases. Turaev defined an equivalence relation on generalized words and phrases which is called homotopy. This is suggested by the Reidemeister moves in the knot theory. Then Turaev gave the homotopy classification of generalized words with less than or …
Two approaches study the homotopy of blow ups in algebraic and symplectic geometry.
problem Investigate the homotopy of blow ups in algebraic and symplectic geometry.
method Develops fibrewise surgery theory and a purely homotopy theoretic approach.
result Obtained homotopy decompositions of the based loop space on blow ups.
Generalizes Floer homotopy via Morse-Bott theory.
problem Constructing equivariant models in Floer theory.
method Morse-Bott theory, flow categories, stable homotopy types.
result Equivalence of Borel equivariant spectra for certain Lagrangians.
Notes on Khovanov and knot Floer theories' stable homotopy types.
problem Understanding stable homotopy types in Khovanov and knot Floer theories.
method Introduction to Khovanov and knot Floer theories' stable homotopy types.
result Introduction of stable homotopy types in Khovanov and knot Floer theories.
Refines Khovanov homology using signed Burnside categories.
problem Stable homotopy refinement of Khovanov homology.
method Signed Burnside category approach to compare Blanchet and Khovanov chain complexes.
result Stable homotopy type construction for link diagrams.
Discriminative clustering uses mutual information to cluster data.
problem Clustering data into cohesive groups.
method Discriminative clustering using mutual information.
result Mutual information has been a cornerstone of discriminative clustering.
Derived differential manifolds are constructed using the usual homotopy theory of simplicial rings of smooth functions. They are proved to be equivalent to derived differential manifolds of finite type, constructed using homotopy sheaves of homotopy rings (D.Spivak), thus preserving the classical cobordism ring. This r…
We set up foundations of representation theory over S, the sphere spectrum, which is the `initial ring' of stable homotopy theory. In particular, we treat S-Lie algebras and their representations, characters, gln(S)-Verma modules and their duals, Harish-Chandra pairs and Zuckermann functors. As an application, w…
This paper argues that the fundamental principle of contemporary financial economics is balanced reciprocity, not the principle of utility maximisation that is important in economics more generally. The argument is developed by analysing the mathematical Fundamental Theory of Asset Pricing with reference to the emergen…
This article constructs the moduli stack of torsionfree G-jet-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for any ∞-topos equipped with any stable factorization systems. In the intended applications of this theory, the factorization systems are …
Smooth actions of infinite groups linked to homotopy theory.
problem Connecting infinite-dimensional smooth groups to homotopy theory.
method Two computations: diffeological homotopy groups and localization of a strict category.
result Natural constructions yield homotopically coherent group actions of G.
Cohesion uses deep Koopman operators to generate long-range forecasts of chaotic dynamics.
problem Challenges in data-driven emulation of chaotic dynamics, especially long-range skill decay.
method Generative modeling with coherent priors estimated using reduced-order models.
result Superior long-range forecasting skill on chaotic systems, including climate dynamics.
We introduce a framework, twisted parametrized stable homotopy theory, for describing semi-infinite homotopy types. A twisted parametrized spectrum is a section of a bundle whose fibre is the category of spectra. We define these bundles in terms of modules over a stack of parametrized spectra and in terms of diagrams o…
Characterizes a specific type of Courant algebroid with a Calabi-Yau structure.
problem Understanding specific types of Courant algebroids with Calabi-Yau structures.
method Explains how a homotopy BV algebra with certain properties characterizes these algebroids.
result A Courant algebroid with a Calabi-Yau structure is a homotopy BV algebra with specific properties.
The homotopy theory of gauge groups has received considerable attention in recent decades. In this work, we study the homotopy theory of gauge groups over some high dimensional manifolds. To be more specific, we study gauge groups of bundles over (n−1)-connected closed 2n-manifolds, the classification of which was …
This is the second of a series of papers which are devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the construction of a set of algebraic invariants -- the homotopy groups, and (2) an analog o…
Analyzes string topology operations using Chen's integrals and homotopy transfer.
problem Relating string topology to perturbative Chern-Simons theory.
method Develops integrals over configuration spaces and applies homotopy transfer.
result Intertwines involutive Lie bialgebra structures on homology.
Classifies compact spaces by shape, finite spaces by weak homotopy.
problem Classifying compact Hausdorff spaces and finite topological spaces.
method Constructs a category that classifies spaces by shape and weak homotopy.
result Classifies compact spaces by shape, finite spaces by weak homotopy.
In "On the homotopy theory of arrangements," published in 1986, the authors gave a comprehensive survey of the subject. This article updates and continues the earlier article, noting some key open problems.
Satellite formula connects knot concordance invariants to surgery.
problem Understanding knot concordance invariants.
method Excision theorem for real Floer homotopy types.
result Concordance invariants depend only on zero-framed surgery.