It is well known that the Hochschild cohomology of an associative algebra admits a G-algebra structure. In this paper we show that the dialgebra cohomology of an associative dialgebra has a similar structure, which is induced from a homotopy G-algebra structure on the dialgebra cochain complex .
We outline a twisted analogue of the Mishchenko–Kasparov approach to prove the Novikov conjecture on the homotopy invariance of the higher signatures. Using our approach, we give a new and simple proof of the homotopy invariance of the higher signatures associated to all cohomology classes of the classifying space that belong to the subring of the cohomology ring of the classifying space that is generated by cohomology classes of degree less than or equal to 2, a result that was first established by Connes and Gromov and Moscovici using other methods. A key new ingredient is the construction of a tautological C*r(, )-bundle and connection, which can be used to construct a C*r(, )-index that lies in the Grothendieck group of C*r(, ), where is a multiplier on the discrete group corresponding to a degree 2 cohomology class. We also utilise a main result of Hilsum and Skandalis to establish our theorem. 相似文献
Let be a compact Lie group, a metric -space, and the hyperspace of all nonempty compact subsets of endowed with the Hausdorff metric topology and with the induced action of . We prove that the following three assertions are equivalent: (a) is locally continuum-connected (resp., connected and locally continuum-connected); (b) is a -ANR (resp., a -AR); (c) is an ANR (resp., an AR). This is applied to show that is an ANR (resp., an AR) for each compact (resp., connected) Lie group . If is a finite group, then is a Hilbert cube whenever is a nondegenerate Peano continuum. Let be the hyperspace of all centrally symmetric, compact, convex bodies , , for which the ordinary Euclidean unit ball is the ellipsoid of minimal volume containing , and let be the complement of the unique -fixed point in . We prove that: (1) for each closed subgroup , is a Hilbert cube manifold; (2) for each closed subgroup acting non-transitively on , the -orbit space and the -fixed point set are Hilbert cubes. As an application we establish new topological models for tha Banach-Mazur compacta and prove that and have the same -homotopy type.
A standing conjecture in -cohomology says that every finite -complex is of -determinant class. In this paper, we prove this whenever the fundamental group belongs to a large class of groups containing, e.g., all extensions of residually finite groups with amenable quotients, all residually amenable groups, and free products of these. If, in addition, is -acyclic, we also show that the -determinant is a homotopy invariant -- giving a short and easy proof independent of and encompassing all known cases. Under suitable conditions we give new approximation formulas for -Betti numbers.
Consider the multi-homogeneous homotopy continuation method for solving a system of polynomial equations. For any partition of variables, the multi-homogeneous Bézout number bounds the number of isolated solution curves one has to follow in the method. This paper presents a local search method for finding a partition of variables with minimal multi-homogeneous Bézout number. As with any other local search method, it may give a local minimum rather than the minimum over all possible homogenizations. Numerical examples show the efficiency of this local search method.
We introduce different model structures on the categories of simplicial presheaves and simplicial sheaves on some essentially small Gro-then-dieck site T and give some applications of these simplified model categories. In particular, we prove that the stable homotopy categories SH((Sm/k)Nis,A1) and SH((Sch/k)cdh,A1) are equivalent. This result was first proven by Voevodsky and our proof uses many of his techniques, but it does not use his theory of -closed classes. 相似文献
We develop an axiomatic homotopy theory for categories with a family of natural cylinders indexed by a set with relations, generalizing Baues I-categories. The main examples of -cofibration categories are the categories of global actions and simplicial complexes. 相似文献
If X is a Hausdorff space we construct a 2-groupoid G2X with the following properties. The underlying category of G2X is the `path groupoid" of X whose objects are the points of X and whose morphisms are equivalence classes f, g of paths f, g in X under a relation of thin relative homotopy. The groupoid of 2-morphisms of G2X is a quotient groupoid X / N X, where X is the groupoid whose objects are paths and whose morphisms are relative homotopy classes of homotopies between paths. N X is a normal subgroupoid of X determined by the thin relative homotopies. There is an isomorphism G2X(f,f) 2(X, f(0)) between the 2-endomorphism group of f and the second homotopy group of X based at the initial point of the path f. The 2-groupoids of function spaces yield a 2-groupoid enrichment of a (convenient) category of pointed spaces.We show how the 2-morphisms may be regarded as 2-tracks. We make precise how cubical diagrams inhabited by 2-tracks can be pasted. 相似文献