Anabelian geometry reformulated using Hodge theory for hyperbolic curves.
problem Determining varieties over number fields using their étale fundamental groups.
method Formulating a Hodge-theoretic version of anabelian conjecture, replacing Galois action with Cimes-action. result Proved a Hodge-theoretic analog of Mochizuki's theorem for smooth projective hyperbolic curves over C. Survey of methods for computing volumes of moduli spaces.
problem Computing volumes of moduli spaces for Riemann surfaces with different metrics.
method Combinatorial enumeration, intersection theory, recursion relations.
result Review of key results and methods in computing both Weil-Petersson and Masur-Veech volumes.
Lecture notes on linear neural networks for deep learning optimization and generalization.
problem Understanding optimization and generalization in deep learning models.
method Mathematical tools and dynamical systems theory.
result Potential of mathematical tools to enhance understanding of deep learning.
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.
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.
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.
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 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.
Morse theory extended to noncompact manifolds with complex geometric data.
problem Extending Morse theory to noncompact manifolds with intricate geometric and homotopy data.
method Defining Morse homology for pairs of manifolds and related geometric/homotopy data, constructing a homotopy coherent diagram of linear maps, and showing it computes Morse homology.
result Morse homology can be computed using a chain complex derived from a homotopy coherent diagram.
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…
Bayesian methods often misinterpret data and asymptotic concepts.
problem Misunderstandings in Bayesian predictive inference.
method Discussion of two specific misunderstandings.
result Consequences of misinterpretations illustrated through examples.
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.
Tangle machines are a topologically inspired diagrammatic formalism to describe information flow in networks. This paper begins with an expository account of tangle machines motivated by the problem of describing `covariance intersection' fusion of Gaussian estimators in networks. It then gives two examples in which ta…
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.
An orbifold is a Morita equivalence class of a proper {\' e}tale Lie groupoid. A unitary equivalence class of spectral triples over the algebra of smooth invariant functions are associated with any compact spin orbifold. In the case of an effective spin orbifold we construct a collection of spectral triples over the sm…
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.
Study fractional structures on bundle gerbe modules using rational homotopy theory.
problem Understanding twisted Chern classes of torsion bundle gerbe modules.
method Sullivan's rational homotopy theory to realize twisted Chern classes at the level of classifying spaces.
result Introduction of fractional U-structures as a universal framework.
The paper proves homotopy equivalences for spaces of unbounded Fredholm operators.
problem Spaces of unbounded Fredholm operators and their properties.
method Analyzing the spaces and proving homotopy equivalences.
result Natural maps between four spaces of unbounded Fredholm operators are homotopy equivalences.
New algebra models refine complex manifold homotopy groups.
problem Understanding complex manifold homotopy groups better.
method Free, bigraded bidifferential algebra models with quasi-isomorphism.
result Obtained minimal models unique up to isomorphism.
A 3-dimensional homotopy quantum field theory (HQFT) can be described as a TQFT for surfaces and 3-cobordisms endowed with homotopy classes of maps into a given space. For a group π, we introduce a notion of a modular crossed π-category and show that such a category gives rise to a 3-dimensional HQFT with target sp…
The theory of link-homotopy, introduced by Milnor, is an important part of the knot theory, with Milnor's mu-bar-invariants being the basic set of link-homotopy invariants. Skein relations for knot and link invariants played a crucial role in the recent developments of knot theory. However, while skein relations for Al…
The pattern theory of Grenander is a mathematical framework where patterns are represented by probability models on random variables of algebraic structures. In this paper, we review three families of probability models, namely, the discriminative models, the descriptive models, and the generative models. A discriminat…
The paper extends stabilization methods to Poincaré Duality complexes.
problem Stabilization of Poincaré Duality complexes and homotopy gyrations.
method Develops new methods for stabilization of Poincaré Duality complexes, including a homotopy theoretic generalization of a gyration.
result Shows there are only finitely many possible homotopy types of gyrations for a fixed Poincaré Duality complex.
The study shows how stabilizing manifolds with projective spaces affects their homotopy structure.
problem Understanding the homotopy of manifolds stabilized by projective spaces.
method Trace the effect of surgery on product manifolds, showing a loop homotopy decomposition after localization.
result A loop homotopy decomposition of a manifold after stabilization by a projective space is provided.
Study of embedding spaces using homotopy theory and operads.
problem Understanding the stable homotopy type of embedding spaces.
method Analysis of cubes of framed configuration spaces, homotopy theory of presheaves, operadic structures.
result Induced action of the Poisson operad on the homology of configuration spaces is a homotopy invariant.
Researchers compute differential K-theory for moduli stacks.
problem Computing differential K-theory for moduli stacks of principal G-bundles.
method Using homotopy theory of presheaves of spaces and spectra, they formulate results in terms of invariant polynomials and representation rings.
result They successfully compute the connective differential K-theory and differential cohomology of moduli stacks.
3D HQFTs constructed using graded monoidal categories.
problem Constructing 3D HQFTs with specific targets.
method Using spherical χ-fusion categories and the state sum method.
result 3D HQFTs constructed with target Bχ.
Given a discrete group G and a spherical G-fusion category whose neutral component has invertible dimension, we use the state-sum method to construct a 3-dimensional Homotopy Quantum Field Theory (HQFT) with target the Eilenberg-MacLane space K(G,1).
In this note, we answer positively a question by Belegradek and Kapovitch about the relation between rational homotopy theory and a problem in Riemannian geometry which asks that total spaces of which vector bundles over compact nonnegative curved manifolds admit (complete) metrics with nonnegative curvature.
The thesis defines and proves invariants for manifolds of bounded geometry.
problem Lipschitz-homotopy invariants for manifolds of bounded geometry.
method Definition of a controvariant functor and invariance of the Roe index and ρ-class.
result Lipschitz-homotopy invariants are defined and proven for manifolds of bounded geometry.
This paper improves bounds on how many Delta-moves are needed to trivialize a link.
problem Counting the minimum number of Delta-moves to make a link homotopy trivial.
method Classification of link homotopy and extremal graph theory.
result Quadratic and cubic upper bounds on the homotopy trivializing numbers of links.