On Fredholm index, transversal approximations and Quillen's geometric complex cobordism of Hilbert manifolds with some applications to flag varieties of loop groups

In [Contemp. Math. 258 (2000) 1-19], by using Fredholm index we developed a version of Quillen's geometric cobordism theory for infinite dimensional Hilbert manifolds. This cobordism theory has a graded group structure under topological union operation and has push-forward maps for complex orientable Fredholm maps. In this work, by using Quinn's Transversality Theorem [Proc. Sympos. Pure. Math. 15 (1970) 213-222], it will be shown that this cobordism theory has a graded ring structure under transversal intersection operation and has pull-back maps for smooth maps. It will be shown that the Thom isomorphism in this theory will be satisfied for finite dimensional vector bundles over separable Hilbert manifolds and the projection formula for Gysin maps will be proved. After we discuss the relation between this theory and classical cobordism, we describe some applications to the complex cobordism of flag varieties of loop groups and we do some calculations.     

The loop-product spectral sequence

The purpose of this paper is to prove that the shriek map associated to a finite codimensional sub-fiberwise embedding between Hilbert manifolds behaves properly in regard of the associated Serre Spectral sequences. We apply this result to evaluate the Chas–Sullivan loop product of the total space of a fibration. Then, we compute up to extension issues the loop homology of sphere bundle of spheres.     

On string topology of three manifolds

Let M be a closed, oriented and smooth manifold of dimension d. Let LM be the space of smooth loops in M. In [String topology, preprint math.GT/9911159] Chas and Sullivan introduced the loop product, a product of degree -d on the homology of LM. We aim at identifying the three manifolds with “nontrivial” loop product. This is an application of some existing powerful tools in three-dimensional topology such as the prime decomposition, torus decomposition, Seifert fiber space theorem, torus theorem.     

On cobordism of manifolds with corners

This work sets up a cobordism theory for manifolds with corners and gives an identification with the homotopy of a certain limit of Thom spectra. It thereby creates a geometrical interpretation of Adams-Novikov resolutions and lays the foundation for investigating the chromatic status of the elements so realized. As an application, Lie groups together with their left invariant framings are calculated by regarding them as corners of manifolds with interesting Chern numbers. The work also shows how elliptic cohomology can provide useful invariants for manifolds of codimension 2.

     

Loop coproducts in string topology and triviality of higher genus TQFT operations

Cohen and Godin constructed a positive boundary topological quantum field theory (TQFT) structure on the homology of free loop spaces of oriented closed smooth manifolds by associating certain operations called string operations to orientable surfaces with parametrized boundaries. We show that all TQFT string operations associated to surfaces of genus at least one vanish identically. This is a simple consequence of properties of the loop coproduct which will be discussed in detail. One interesting property is that the loop coproduct is nontrivial only on the degree d homology group of the connected component of LM consisting of contractible loops, where d=dimM, with values in the degree 0 homology group of constant loops. Thus the loop coproduct behaves in a dramatically simpler way than the loop product.     

The AS–Cohen–Macaulay property for quantum flag manifolds of minuscule weight

It is shown that quantum homogeneous coordinate rings of generalised flag manifolds corresponding to minuscule weights, their Schubert varieties, big cells, and determinantal varieties are AS–Cohen–Macaulay. The main ingredient in the proof is the notion of a quantum graded algebra with a straightening law, introduced by T.H. Lenagan and L. Rigal [T.H. Lenagan, L. Rigal, Quantum graded algebras with a straightening law and the AS–Cohen–Macaulay property for quantum determinantal rings and quantum Grassmannians, J. Algebra 301 (2006) 670–702]. Using Stanley's Theorem it is moreover shown that quantum generalised flag manifolds of minuscule weight and their big cells are AS–Gorenstein.     

A stable approach to the equivariant Hopf theorem

Let G be a finite group. For semi-free G-manifolds which are oriented in the sense of Waner [S. Waner, Equivariant RO(G)-graded bordism theories, Topology and its Applications 17 (1984) 1-26], the homotopy classes of G-equivariant maps into a G-sphere are described in terms of their degrees, and the degrees occurring are characterised in terms of congruences. This is first shown to be a stable problem, and then solved using methods of equivariant stable homotopy theory with respect to a semi-free G-universe.     

A homotopy theoretic realization of string topology

Let M be a closed, oriented manifold of dimension d. Let LM be the space of smooth loops in M. In [2] Chas and Sullivan defined a product on the homology H _* (LM) of degree -d. They then investigated other structure that this product induces, including a Batalin -Vilkovisky structure, and a Lie algebra structure on the S¹ equivariant homology H _* ^{S 1} (LM). These algebraic structures, as well as others, came under the general heading of the ”string topology” of M. In this paper we will describe a realization of the Chas-Sullivan loop product in terms of a ring spectrum structure on the Thom spectrum of a certain virtual bundle over the loop space. We also show that an operad action on the homology of the loop space discovered by Voronov has a homotopy theoretic realization on the level of Thom spectra. This is the ” cactus operad” defined in [6] which is equivalent to operad of framed disks in . This operad action realizes the Chas - Sullivan BV structure on H _* (LM). We then describe a cosimplicial model of this ring spectrum, and by applying the singular cochain functor to this cosimplicial spectrum we show that this ring structure can be interpreted as the cup product in the Hochschild cohomology, HH ^* (C ^* (M); C ^* (M)). Received: 31 July 2001 / Revised version: 11 September 2001 Published online: 5 September 2002     

Manifolds of positive scalar curvature and conformal cobordism theory

For a supergoup , we study closed -manifolds with positive conformal classes. We use the relative Yamabe invariant from [2] to define the conformal cobordism relation on the category of such manifolds. We prove that the corresponding conformal cobordism groups are isomorphic to the cobordism groups defined by Stolz in [19]. As a corollary, we show that the conformal concordance relation on positive conformal classes coincides with the standard concordance relation on positive scalar curvature metrics. Our main technical tools come from analysis and conformal geometry. Received: 22 August 2000 / Published online: 5 September 2002     

Thom polynomials, symmetries and incidences of singularities

As an application of the generalized Pontryagin-Thom construction [RSz] here we introduce a new method to compute cohomological obstructions of removing singularities — i.e. Thom polynomials [T]. With the aid of this method we compute some sample results, such as the Thom polynomials associated to all stable singularities of codimension ≤8 between equal dimensional manifolds, and some other Thom polynomials associated to singularities of maps N ⁿ ?P ^n+k for k>0. We also give an application by reproving a weak form of the multiple point formulas of Herbert and Ronga ([H], [Ro2]). As a byproduct of the theory we define the incidence class of singularities, which — the author believes — may turn to be an interesting, useful and simple tool to study incidences of singularities. Oblatum 4-II-1999 & 19-VII-2000?Published online: 30 October 2000     

Equivariant fixed-point indices of iterated maps

We describe an equivariant version (for actions of a finite group G) of Dold’s index theory, [10], for iterated maps. Equivariant Dold indices are defined, in general, for a G-map U → X defined on an open G-subset of a G-ANR X (and satisfying a suitable compactness condition). A local index for isolated fixed-points is introduced, and the theorem of Shub and Sullivan on the vanishing of all but finitely many Dold indices for a continuously differentiable map is extended to the equivariant case. Homotopy Dold indices, arising from the equivariant Reidemeister trace, are also considered.      

Homotopy theory of associative rings

A kind of unstable homotopy theory on the category of associative rings (without unit) is developed. There are the notions of fibrations, homotopy (in the sense of Karoubi), path spaces, Puppe sequences, etc. One introduces the notion of a quasi-isomorphism (or weak equivalence) for rings and shows that—similar to spaces—the derived category obtained by inverting the quasi-isomorphisms is naturally left triangulated. Also, homology theories on rings are studied. These must be homotopy invariant in the algebraic sense, meet the Mayer-Vietoris property and plus some minor natural axioms. To any functor X from rings to pointed simplicial sets a homology theory is associated in a natural way. If X=GL and fibrations are the GL-fibrations, one recovers Karoubi-Villamayor's functors KVi, i>0. If X is Quillen's K-theory functor and fibrations are the surjective homomorphisms, one recovers the (non-negative) homotopy K-theory in the sense of Weibel. Technical tools we use are the homotopy information for the category of simplicial functors on rings and the Bousfield localization theory for model categories. The machinery developed in the paper also allows to give another definition for the triangulated category kk constructed by Cortiñas and Thom [G. Cortiñas, A. Thom, Bivariant algebraic K-theory, preprint, math.KT/0603531]. The latter category is an algebraic analog for triangulated structures on operator algebras used in Kasparov's KK-theory.     

Proximal subgradient and a characterization of Lipschitz function on Riemannian manifolds

A characterization of Lipschitz behavior of functions defined on Riemannian manifolds is given in this paper. First, it is extended the concept of proximal subgradient and some results of proximal analysis from Hilbert space to Riemannian manifold setting. A technique introduced by Clarke, Stern and Wolenski [F.H. Clarke, R.J. Stern, P.R. Wolenski, Subgradient criteria for monotonicity, the Lipschitz condition, and convexity, Canad. J. Math. 45 (1993) 1167-1183], for generating proximal subgradients of functions defined on a Hilbert spaces, is also extended to Riemannian manifolds in order to provide that characterization. A number of examples of Lipschitz functions are presented so as to show that the Lipschitz behavior of functions defined on Riemannian manifolds depends on the Riemannian metric.     

A generalization of Quillen's small object argument

We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several important examples of model categories which were proven to be non-cofibrantly generated [J. Adámek, H. Herrlich, J. Rosický, W. Tholen, Weak factorization systems and topological functors, Appl. Categ. Structures 10 (3) (2002) 237-249 [2]; Papers in honour of the seventieth birthday of Professor Heinrich Kleisli (Fribourg, 2000); B. Chorny, The model category of maps of spaces is not cofibrantly generated, Proc. Amer. Math. Soc. 131 (2003) 2255-2259; J.D. Christensen, M. Hovey, Quillen model structures for relative homological algebra, Math. Proc. Cambridge Philos. Soc. 133 (2) (2002) 261-293; D.C. Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc. 353 (2001) 2805-2841]. Our current approach allows for construction of functorial factorizations and localizations in the equivariant model structures on diagrams of spaces [E.D. Farjoun, Homotopy theories for diagrams of spaces, Proc. Amer. Math. Soc. 101 (1987) 181-189] and diagrams of chain complexes. We also formulate a non-functorial version of the argument, which applies in two different model structures on the category of pro-spaces [D.A. Edwards, H.M. Hastings, ?ech and Steenrod homotopy theories with applications to geometric topology, Lecture Notes in Mathematics, vol. 542, Springer, Berlin, 1976; D.C. Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc. 353 (2001) 2805-2841].The examples above suggest a natural extension of the framework of cofibrantly generated model categories. We introduce the concept of a class-cofibrantly generated model category, which is a model category generated by classes of cofibrations and trivial cofibrations satisfying some reasonable assumptions.     

On the string topology category of compact Lie groups

We answer a question of Blumberg, Cohen and Teleman, showing that the Chas–Sullivan loop homology is the Hochschild cohomology of any object in the rational string topology category of a compact, simply connected, Lie group G. Moreover, we show that the answer follows from the classification of the localizing subcategories of the derived category of chains on the based loops of G, which we achieve using the stratification machinery of Benson, Iyengar and Krause. For integral coefficients we get similar results for G a simply-connected special unitary group.     

Semi-slant Riemannian map

As a generalization of slant submersions [18], semi-slant submersions [15], and slant Riemannian maps [21], we define the notion of semi-slant Riemannian maps from almost Hermitian manifolds to Riemannian manifolds. We study the integrability of distributions, the geometry of fibers, the harmonicity of such maps, etc. We also find a condition for such maps to be totally geodesic and investigate some decomposition theorems. Moreover, we give examples.     

Geometric BVPs, Hardy spaces, and the Cauchy integral and transform on regions with corners

In this paper we give a new perspective on the Cauchy integral and transform and Hardy spaces for Dirac-type operators on manifolds with corners of codimension two. Instead of considering Banach or Hilbert spaces, we use polyhomogeneous functions on a geometrically “blown-up” version of the manifold called the total boundary blow-up introduced by Mazzeo and Melrose [R.R. Mazzeo, R.B. Melrose, Analytic surgery and the eta invariant, Geom. Funct. Anal. 5 (1) (1995) 14-75]. These polyhomogeneous functions are smooth everywhere on the original manifold except at the corners where they have a “Taylor series” (with possible log terms) in polar coordinates. The main application of our analysis is a complete Fredholm theory for boundary value problems of Dirac operators on manifolds with corners of codimension two.     

Multiplicative Decompositions of Holomorphic Fredholm Functions and ψ*-Algebras

In this article we construct multiplicative decompositions of holomorphic Fredholm operator valued functions on Stein manifolds with values in various algebras of differential and pseudo differential operators which are submultiplicative ψ* - algebras, a concept introduced by the first author. For Fredholm functions T(z) satisfying an obvious topological condition we. Prove (0.1) T(z) = A(z)(I + S(z)), where A(z) is holomorphic and invertible and S(z) is holomorphic with values in an “arbitrarily small” operator ideal. This is a stronger condition on S(z) than in the authors' additive decomposition theorem for meromorphic inverses of holomorphic Fredholm functions [12], where the smallness of S(z) depends on the number of complex variables. The Multiplicative Decomposition theorem (0.1) sharpens the authors' Regularization theorem [11]; in case of the Band algebra L(X) of all bounded linear operators on a Band space, (0.1) has been proved by J. Letterer [20] for one complex variable and by M. 0. Zaidenberg, S. G. Krein, P. A. Kuchment and A. A. Pankov [26] for the Banach ideal of compact operators.     

Anderson Duality in K-Theory and Im(J)-Theory

We study Anderson duality for connective K-theory l and Im(J)-theory A, the latter being the p-localization of Quillen's algebraic K-theory of a suitably chosen finite field. The interplay between Anderson duality and Postnikov decomposition results in a construction of two families of natural transformations from ordinary cohomology theory to l^* and A^*-theory, which are related to the Chern character. These operations are then used to study l^*(l) and A^*(A), the cohomology operations of connective K-theory and Im(J)-theory.