相关论文: Parametrized homotopy 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…

We first want to consider the formal deformation of a fibered manifold $P \rightarrow M$ as a (bi-)module or subalgebra, where $M$ has a given differential star product. Consequently we want to find obstructions for the existence of a…

In this paper we give an elementary proof of the proper homotopy invariance of the equivariant stable homotopy type of the configuration space $F(M,k)$ for a topological manifold $M$. Our technique is to compute the Spanier-Whitehead dual…

Linear complementarity problems provide a powerful framework to model nonsmooth phenomena in a variety of real-world applications. In dynamical control systems, they appear coupled to a linear input-output system in the form of linear…

Homotopy is an important feature of associative and Jordan algebraic structures: such structures always come in families whose members need not be isomorphic among other, but still share many important properties. One may regard homotopy as…

We develop a geometric framework that characterizes the synchronization problem --- the problem of consistently registering or aligning a collection of objects. The theory we formulate characterizes the cohomological nature of…

For the associative algebra $A(\mathfrak g)$ of an infinite-dimensional Lie algebra $\mathfrak g$, we introduce twisted fiber bundles over arbitrary compact topological spaces. Fibers of such bundles are given by elements of algebraic…

In this paper, we develop the notion of presentability in the parametrised homotopy theory framework of Barwick-Dotto-Glasman-Nardin-Shah over orbital categories. We formulate and prove a characterisation of parametrised presentable…

In general the processes of taking a homotopy inverse limit of a diagram of spectra and smashing spectra with a fixed space do not commute. In this paper we investigate under what additional assumptions these two processes do commute. In…

Space group theory is pivotal in the design of nanophotonics devices, enabling the characterization of periodic optical structures such as photonic crystals. The aim of this study is to extend the application of nonsymmorphic space groups…

Homotopy type theory is a formal language for doing abstract homotopy theory -- the study of identifications. But in unmodified homotopy type theory, there is no way to say that these identifications come from identifying the path-connected…

Band theory provides the foundation for understanding electronic structure in crystalline materials, but its reliance on exact translational symmetry limits its applicability to systems with defects, disorder, incommensurate modulations, or…

Generally, natural scientific problems are so complicated that one has to establish some effective perturbation or nonperturbation theories with respect to some associated ideal models. In this Letter, a new theory that combines…

We provide base change theorems, projection formulae and Verdier duality for both cohomology and homology in the context of finite topological spaces

We establish an unfolding theorem for equivariant F-bundles (a variant of Frobenius manifolds), generalizing Hertling-Manin's universal unfolding of meromorphic connections. As an application, we obtain the mirror symmetry theorem for the…

In this paper we develop the theory of equisingular deformations of plane curve singularities in arbitrary characteristic. We study equisingular deformations of the parametrization and of the equation and show that the base space of its…

Homotopic morphisms of $\mathbb E$-triangles in extriangulated categories are introduced. Any morphism of $\mathbb E$-triangles is a composition of homotopic morphisms. Any morphism $(\alpha_1, \alpha_2, \alpha_3)$ of $\mathbb E$-triangles…

Equivariant homotopy methods developed over the last 20 years lead to recent breakthroughs in the Borel isomorphism conjectures for Loday assembly maps in K- and L-theories. An important consequence of these algebraic conjectures is the…

We associate to a 2-vector bundle over an essentially finite groupoid a 2-vector space of parallel sections, or, in representation theoretic terms, of higher invariants, which can be described as homotopy fixed points. Our main result is…

In this paper we give an explicit parametrisation of the moduli space of equivariant harmonic maps from a 2-torus to the 3-sphere. As Hitchin proved, a harmonic map of a 2-torus is described by its spectral data, which consists of a…