Extending modules relative to a torsion theory

An R-module M is said to be an extending module if every closed submodule of M is a direct summand. In this paper we introduce and investigate the concept of a type 2 τ-extending module, where τ is a hereditary torsion theory on Mod-R. An R-module M is called type 2 τ-extending if every type 2 τ-closed submodule of M is a direct summand of M. If τ _I is the torsion theory on Mod-R corresponding to an idempotent ideal I of R and M is a type 2 τ _I -extending R-module, then the question of whether or not M/MI is an extending R/I-module is investigated. In particular, for the Goldie torsion theory τ _G we give an example of a module that is type 2 τ _G -extending but not extending.     

The finiteness obstruction for loop spaces

For finitely dominated spaces, Wall constructed a finiteness obstruction, which decides whether a space is equivalent to a finite CW-complex or not. It was conjectured that this finiteness obstruction always vanishes for quasi finite H-spaces, that are H-spaces whose homology looks like the homology of a finite CW-complex. In this paper we prove this conjecture for loop spaces. In particular, this shows that every quasi finite loop space is actually homotopy equivalent to a finite CW-complex. Received: March 25, 1999.     

Equivalence of higher torsion invariants

We show that the smooth torsion of bundles of manifolds constructed by Dwyer, Weiss, and Williams satisfies the axioms for higher torsion developed by Igusa. As a consequence we obtain that the smooth Dwyer–Weiss–Williams torsion is proportional to the higher torsion of Igusa and Klein.     

The de Rham homotopy theory of complex algebraic varieties II

We show that the local system of homotopy groups, associated with a topologically locally trivial family of smooth pointed varieties, underlies a good variation of mixed Hodge structure. In particular we show that there is a limit mixed Hodge structure on homotopy associated with a degeneration of such varieties.Supported in part by the National Science Foundation grant DMS-8401175.     

The Reidemeister zeta function with applications to Nielsen theory and a connection with Reidemeister torsion

In this paper we study, the Reidemeister zeta function. We prove rationality and functional equations of the Reidemeister zeta function of an endomorphism of finite group. We also obtain these results for eventually commutative endomorphisms. These results are applied to the theory of Reidemeister and Nielsen numbers of self-maps of topological spaces. Our method is to identify the Reidemeister number of a group endomorphism with the number of fixed points in the unitary dual. As a consequence, we show that the Reidemeister torsion of the mapping torus of the unitary dual is a special value of the Reidemeister zeta function. We also prove certain congruences for Reidemeister numbers which are equivalent to a Euler product formula for the Reidemeister zeta function. The congruences are the same as those found by Dold for Lefschetz numbers.     

Smooth parametrized torsion: A manifold approach

We present a construction of a torsion invariant of bundles of smooth manifolds which is based on the work of Dwyer, Weiss and Williams on smooth structures on fibrations.     

Small Cycle Double Covers of Products II: Categorical and Strong Products with Paths and Cycles

We continue the study of small cycle double covers of products of graphs that began in [7], concentrating here on the categorical product and the strong product. Under the assumption that G has an SCDC, we show that G × P _m has an SCDC for all m ≠ 3, and that G × C _m has an SCDC for all m ≥ 3. For the strong product we use results about the categorical product and the Cartesian product [7] to show that if G has an SCDC, then so does G ⊠ C _m , m ≥ 5. Some results are also given for G ⊠ P _m , but require additional assumptions about the SCDC of G. The authors gratefully acknowledge the support of the Natural Sciences and Engineering Research Council of Canada.     

Uniform boundedness of torsion subgroups of linear groups

The torsion conjecture says： for any abelian variety A defined over a number field k, the order of the torsion subgroup of A（k） is bounded by a constant C（k,d） which depends only on the number field k and the dimension d of the abelian variety. The torsion conjecture remains open in general. However, in this paper, a short argument shows that the conjecture is true for more general fields if we consider linear groups instead of abelian varieties. If G is a connected linear algebraic group defined over a field k which is finitely generated over Q,Г is a torsion subgroup of G（k）. Then the order of Г is bounded by a constant C＇（k, d） which depends only on k and the dimension d of G.     

The Hodge theory of algebraic maps

We give a geometric proof of the Decomposition Theorem of Beilinson, Bernstein, Deligne and Gabber for the direct image of the intersection cohomology complex under a proper map of complex algebraic varieties. The method rests on new Hodge-theoretic results on the cohomology of projective varieties which extend naturally the classical theory and provide new applications.     

Diametral theory of algebraic surfaces and geometric theory of invariants of groups generated by reflections. II

We systematically present the basic principles of the geometric theory of invariants of infinite groups generated by skew reflections with respect to hyperplanes in the real Euclidean space. Translated from Ukrainskii Matematicheskii Zhurnal, Vol.50, No. 6, pp. 792–802, June, 1998.     

Total torsion of curves in three-dimensional manifolds

A classical result in differential geometry assures that the total torsion of a closed spherical curve in the three-dimensional space vanishes. Besides, if a surface is such that the total torsion vanishes for all closed curves, it is part of a sphere or a plane. Here we extend these results to closed curves in three dimensional Riemannian manifolds with constant curvature. We also extend an interesting companion for the total torsion theorem, which was proved for surfaces in by L. A. Santaló, and some results involving the total torsion of lines of curvature. Dedicated to Professor Manfredo P. do Carmo on his 80th birthday.     

Analytic torsion of Hirzebruch surfaces

Using different forms of the arithmetic Riemann-Roch theorem and the computations of Bott-Chern secondary classes, we compute the analytic torsion and the height of Hirzebruch surfaces.     

The algebraic theory of the fundamental germ

This paper introduces a notion of fundamental group appropriate for laminations.     

图乘积的星色数

星色数的概念最早是由Vince作为图的色数的推广而引入的.本文研究了两类图乘积G×H,G[H]的星色数.     

Homotopical algebraic geometry I: topos theory

This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts. In this first part we investigate a notion of higher topos.For this, we use S-categories (i.e. simplicially enriched categories) as models for certain kind of ∞-categories, and we develop the notions of S-topologies, S-sites and stacks over them. We prove in particular, that for an S-category T endowed with an S-topology, there exists a model category of stacks over T, generalizing the model category structure on simplicial presheaves over a Grothendieck site of Joyal and Jardine. We also prove some analogs of the relations between topologies and localizing subcategories of the categories of presheaves, by proving that there exists a one-to-one correspondence between S-topologies on an S-category T, and certain left exact Bousfield localizations of the model category of pre-stacks on T. Based on the above results, we study the notion of model topos introduced by Rezk, and we relate it to our model categories of stacks over S-sites.In the second part of the paper, we present a parallel theory where S-categories, S-topologies and S-sites are replaced by model categories, model topologies and model sites. We prove that a canonical way to pass from the theory of stacks over model sites to the theory of stacks over S-sites is provided by the simplicial localization construction of Dwyer and Kan. As an example of application, we propose a definition of étale K-theory of ring spectra, extending the étale K-theory of commutative rings.     

Coordinate rings of topological Klingenberg planes II: the algebraic foundation for a projective theory

Ternary fields are the coordinate rings of affine and projective planes; however, the planes constructed over topological ternary fields are not necessarily topological. Surprisingly, the explanation of this phenomenon becomes evident in the more general theory of topological Klingenberg planes as we exhibited in [3] for the affine case. However, in the projective setting, we have a more formidable task. We must develop a new coordinate ring that admits a topological structure suitable for coordinatizing topological PK-planes. We accomplish this in two stages. In this paper, we revisit the standard coordinate rings [1, 11], discuss and resolve their deficiencies by developing a new coordinate ring as a unique extension of these refined standard rings. In a subsequent paper [4], we show that this new ring can be suitably topologized to coordinatize a topological PK-plane. This last result can then be used to explain why topological ternary fields do not necessarily coordinatize topological projective planes. Received 17 February 2000; revised 10 June 2000.