Rotation numbers for curves on a torus

We define a regular homotopy invariant of closed curves on a surface, and give a formula for the rotation number of closed curves on torus, which is analogous to the Whitney formula for planar curves. As an application, we show a necessary condition for a Gauss word to be realized on torus.     

Lectures on topology of words

We discuss a topological approach to words introduced by the author in [Tu2]–[Tu4]. Words on an arbitrary alphabet are approximated by Gauss words and then studied up to natural modifications inspired by the Reidemeister moves on knot diagrams. This leads us to a notion of homotopy for words. We introduce several homotopy invariants of words and give a homotopy classification of words of length five. Based on notes by Eri Hatakenaka, Daniel Moskovich, and Tadayuki Watanabe     

Lie algebroid modules and representations up to homotopy

We establish a relationship between two different generalizations of Lie algebroid representations: representation up to homotopy and Vaĭntrob’s Lie algebroid modules. Specifically, we show that there is a noncanonical way to obtain a representation up to homotopy from a given Lie algebroid module, and that any two representations up to homotopy obtained in this way are equivalent in a natural sense. We therefore obtain a one-to-one correspondence, up to equivalence.     

Topology of words

We introduce a topological approach to words. Words are approximatedby Gauss words and then studied up to modifications inspiredby homotopy of plane curves.     

Finite type invariants of nanowords and nanophrases

Homotopy classes of nanowords and nanophrases are combinatorial generalizations of virtual knots and links. Goussarov, Polyak and Viro defined finite type invariants for virtual knots and links via semi-virtual crossings. We extend their definition to nanowords and nanophrases. We study finite type invariants of low degrees. In particular, we show that the linking matrix and T invariant defined by Fukunaga are finite type of degree 1 and degree 2 respectively. We also give a finite type invariant of degree 4 for open homotopy of Gauss words.     

A Cartan-Eilenberg approach to homotopical algebra

In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension property analogous to the classical lifting property of projective modules. We define a Cartan-Eilenberg category as a category with strong and weak equivalences such that there is an equivalence of categories between its localisation with respect to weak equivalences and the relative localisation of the subcategory of cofibrant objects with respect to strong equivalences. This equivalence of categories allows us to extend the classical theory of derived additive functors to this non additive setting. The main examples include Quillen model categories and categories of functors defined on a category endowed with a cotriple (comonad) and taking values on a category of complexes of an abelian category. In the latter case there are examples in which the class of strong equivalences is not determined by a homotopy relation. Among other applications of our theory, we establish a very general acyclic models theorem.     

Three models for the homotopy theory of homotopy theories

Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the “homotopy theory” of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a “homotopy theory of homotopy theories”. In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with the respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk’s complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory.     

When are Fredholm triples operator homotopic?

Fredholm triples are used in the study of Kasparov's -groups, and in Connes's noncommutative geometry. We define an absorption property for Fredholm triples, and give an if and only if condition for a Fredholm triple to be absorbing. We study the interaction of the absorption property with several of the more common equivalence relations for Fredholm triples. In general these relations are coarser than homotopy in the norm topology. We give simple conditions for an equivalence of triples to be implemented by an operator homotopy (i.e. a homotopy with respect to the norm topology). This can be expected to have applications in index theory, as we illustrate by proving two theorems of Pimsner-Popa-Voiculescu type. We show that there is some relationship with the interesting Toms-Winter characterization of -absorbing algebras, recently obtained as part of Elliott's classification program.

     

Models for homotopy n-types in diagram categories

The classical Mac Lane-Whitehead equivalence showing that crossed modules of groups are algebraic models of connected homotopy 2-types has found a corresponding equivariant version by Moerdijk and Svensson ([22]). In this paper we show that this equivariant result has a higher-dimensional version which gives an equivalence between the homotopy category of diagrams of certain objects indexed by the orbit category of a group H and H-equivariant homotopy n-types for n1.Supported by DGICYT:PS90-0226     

On Quillen?s Theorem A for posets

A theorem of McCord of 1966 and Quillen?s Theorem A of 1973 provide sufficient conditions for a map between two posets to be a homotopy equivalence at the level of complexes. We give an alternative elementary proof of this result and we deduce also a stronger statement: under the hypotheses of the theorem, the map is not only a homotopy equivalence but a simple homotopy equivalence. This leads then to stronger formulations of the simplicial version of Quillen?s Theorem A, the Nerve Lemma and other known results. In particular we establish a conjecture of Kozlov on the simple homotopy type of the crosscut complex and we improve a well-known result of Cohen on contractible mappings.     

IDEAL PERTURBATION LEMMA

We explain the essence of perturbation problems. The key to understanding is the structure of chain homotopy equivalence – the standard one must be replaced by a finer notion which we call a strong chain homotopy equivalence.

We formulate an Ideal Perturbation Lemma and show how both new and classical (including the Basic Perturbation Lemma) results follow from this ideal statement.     

Brown representability for space-valued functors

In this paper we prove two theorems which resemble the classical cohomological and homological Brown representability theorems. The main difference is that our results classify contravariant functors from spaces to spaces up to weak equivalence of functors. In more detail, we show that every contravariant functor from spaces to spaces which takes coproducts to products up to homotopy, and takes homotopy pushouts to homotopy pullbacks is naturally weakly equivalent to a representable functor. The second representability theorem states: every contravariant continuous functor from the category of finite simplicial sets to simplicial sets taking homotopy pushouts to homotopy pullbacks is equivalent to the restriction of a representable functor. This theorem may be considered as a contravariant analog of Goodwillie’s classification of linear functors [14].     

Coarse homotopy groups

In this note on coarse geometry we revisit coarse homotopy. We prove that coarse homotopy indeed is an equivalence relation, and this in the most general context of abstract coarse structures. We introduce (in a geometric way) coarse homotopy groups. The main result is that the coarse homotopy groups of a cone over a compact simplicial complex coincide with the usual homotopy groups of the underlying compact simplicial complex. To prove this we develop geometric triangulation techniques for cones which we expect to be of relevance also in different contexts.     

Homotopy fiber products of homotopy theories

Given an appropriate diagram of left Quillen functors between model categories, one can define a notion of homotopy fiber product, but one might ask if it is really the correct one. Here, we show that this homotopy pullback is well-behaved with respect to translating it into the setting of more general homotopy theories, given by complete Segal spaces, where we have well-defined homotopy pullbacks.     

Visibility Complexes and the Baues Problem for Triangulations in the Plane

We give a positive answer for the special case of the Generalized Baues Problem which asks whether the complex of triangulations of a point set A in general position in the plane has the homotopy type of a sphere. In the process, we are led to define the visibility complex for a simplicial complex P whose vertices lie in A , and prove that this visibility complex has the same homotopy type as P . The main technique is a variant of deletion-contraction from matroid theory, along with a new method for proving homotopy equivalence of posets which we call the nerve-flag paradigm. Received January 23, 1997, and in revised form June 20, 1997.     

Monoidal Uniqueness of Stable Homotopy Theory

We show that the monoidal product on the stable homotopy category of spectra is essentially unique. This strengthens work of this author with Schwede on the uniqueness of models of the stable homotopy theory of spectra. Also, the equivalences constructed here give a unified construction of the known equivalences of the various symmetric monoidal categories of spectra (S-modules, -spaces, orthogonal spectra, simplicial functors) with symmetric spectra. As an application we show that with an added assumption about underlying model structures Margolis' axioms uniquely determine the stable homotopy category of spectra up to monoidal equivalence.     

Schreier theory for singular extensions of categorical groups and homotopy classification∗ ∗

If G is a categorical group, a G-module is defined to be a braided categorical group (A c) together with an action of G on (A,c). In this work we define the notions of singular extension of G by the G-module (A,c) and of 1-cocycle of G with coefficients in (A,c) and we obtain, first, a bijection between the set of equivalence classes of singular extensions of G by (Ac) and the set of equivalence classes of 1-cocycles. Next, we associate to any G-module (Ac) a Kan fibration of simplicial sets ?: Ner(GAc)) → Ner(G)and then we show that there is a bijection between the set of equivalence classes of singular extensions of G by (A,c) and Γ[Ner(G,A,c/Ner(G)]the set of fibre homotopy classes of cross-sections of the fibration ?.     

The behavior on fundamental group of a free pro-homotopy equivalence II

Our first paper with the above title was a study of when a morphism of pro-(pointed homotopy) which is invertible in pro-homotopy is invertible in pro-(pointed homotopy). In this note we give another sufficient condition for invertibility. In the language of shape theory, we are discussing when a pointed shape morphism which is an unpointed shape equivalence is a pointed shape equivalence. Developing methods of the previous paper, we prove that if pro-π₁ of the target is an inverse sequence all of whose bonds have finite ‘cokernel’, then the morphism is invertible in the pointed category. As one would expect, this apparently pointed property of pro-π₁ is an unpointed invariant.     

弱拟法锥条件下非凸优化问题的同伦算法

本文给出弱拟法锥条件的定义,并针对非线性组合同伦方程,得到在弱拟法锥条件下求解约束非凸优化问题的同伦内点算法.证明了该算法对于可行域的某个子集中几乎所有的点,同伦路径存在,并且同伦路径收敛于问题的K-K-T点,通过数值例子验证了该算法是有效的.     

The asymptotic blow-up of a surface in Euclidean 3-space

Given a smoothly immersed surface in Euclidean (or affine) 3-space, the asymptotic directions define a subset in the Grassmann bundle of unoriented one-dimensional subspaces over the surface. This links the Euler characteristic of the region where the Gauss curvature is nonpositive with the index of singularities in a natural line field defined on this subset. To apply this we need only identify mechanisms which restrict the index of the singularities. In Section 2.1 we show that specific configurations of nonpositive Gauss curvature cannot be realized by an immersed surface and that specific configurations in 2-sphere cannot be realized as Gauss images of surfaces. In Section 2.2 we prove an existence theorem for surfaces which satisfy regularity conditions and a Symplectic Monge Ampere PDE. In general, a PDE of this type will not restrict the indices of the singularities over a solution. However, we show that over a surface of nonzero constant mean curvature the indices are restricted and, hence, that specific configurations of nonpositive Gauss curvature cannot be realized by a constant mean curvature surface.