相关论文: Homotopy Transition Cocycles

Let $H$ be a Hopf algebra over a field $K$ of characteristic $0$ and let $A$ be a bialgebra or Hopf algebra such that $H$ is isomorphic to a sub-Hopf algebra of $A$ and there is an $H$-bilinear coalgebra projection $\pi$ from $A$ to $H$…

Let F_0=B,...,F_n be a sequence of differentiable manifolds, G_i a Lie subgroup of diffeomorphisms of F_i, and H_i a subgroup of G_i central in G_i. We suppose also given a locally trivial bundle p_{K_i} over F_{i-1} which typical fiber is…

Homotopy Quantum Field Theories (HQFTs) were introduced by the second author to extend the ideas and methods of Topological Quantum Field Theories to closed $d$-manifolds endowed with extra structure in the form of homotopy classes of maps…

This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen's Theorem B and Thomason's Homotopy Colimit…

This is the second in a series of papers. Here we develop here an intersection theory for manifolds equipped with an action of a finite group. As in our previous paper, our approach will be homotopy theoretic, enabling us to circumvent the…

Our main result is a generalization of Cappell's 5-dimensional splitting theorem. As an application, we analyze, up to internal s-cobordism, the smoothable splitting and fibering problems for certain 5-manifolds mapping to the circle. For…

We classify the topological terms (in a sense to be made precise) that may appear in a non-linear sigma model based on maps from an arbitrary worldvolume manifold to a homogeneous space $G/H$ (where $G$ is an arbitrary Lie group and $H…

This is a (slightly edited) version of the PhD dissertation of the author, submitted to Brown University in July 2005. We construct a homotopy calculus of functors in the sense of Goodwillie for the categories of rational homotopy theory.…

We investigate inductive types in type theory, using the insights provided by homotopy type theory and univalent foundations of mathematics. We do so by introducing the new notion of a homotopy-initial algebra. This notion is defined by a…

Given a diagram of rings, one may consider the category of modules over them. We are interested in the homotopy theory of categories of this type: given a suitable diagram of model categories M(s) (as s runs through the diagram), we…

We prove a Liv\v{s}ic-type theorem for H\"older continuous and matrix-valued cocycles over non-uniformly hyperbolic systems. More precisely, we prove that whenever $(f,\mu)$ is a non-uniformly hyperbolic system and $A:M \to GL(d,\mathbb{R})…

In [math.AT/9907138] we proved that strongly homotopy algebras are homotopy invariant concepts in the category of chain complexes. Our arguments were based on the fact that strongly homotopy algebras are algebras over minimal cofibrant…

Globular complexes were introduced by E. Goubault and the author in arXiv:math/0107060 to model higher dimensional automata. Globular complexes are topological spaces equipped with a globular decomposition which is the directed analogue of…

In condensed matter physics and related areas, topological defects play important roles in phase transitions and critical phenomena. Homotopy theory facilitates the classification of such topological defects. After a pedagogic introduction…

In this paper we introduce a generalisation of a covariant Grothendieck construction to the setting of sites. We study the basic properties of defined site structures on Grothendieck constructions as well as we treat the cohomological…

Higher Homotopy van Kampen Theorems allow the computation as colimits of certain homotopical invariants of glued spaces. One corollary is to describe homotopical excision in critical dimensions in terms of induced modules and crossed…

Simplicial presheaves on cartesian spaces provide a general notion of smooth spaces. There is a corresponding smooth version of the singular complex functor, which maps smooth spaces to simplicial sets. We consider the localisation of the…

For $\Cc$ a $G$-category, we give a condition on a diagram of simplicial sets indexed on $\Cc$ that allows us to define a natural $G$-action on its homotopy colimit, and in some other simplicial sets and categories defined in terms of the…

A homeomorphism f of a manifold M is called H_1-transitive if there is a transitive lift of an iterate of f to the universal Abelian cover \tM. Roughly speaking, this means that f has orbits which repeatedly and densely explore all elements…

This paper is a generalization of arXiv:0810.0808. We develop the de Rham homotopy theory of not necessarily nilpotent spaces, using closed dg-categories and equivariant dg-algebras. We see these two algebraic objects correspond in a…