Projective sup-algebras: a general view

We begin with the notion of K-flat projectivity. For each sup-algebra L we then introduce a binary relation L_? on it. The K-flat projective sup-algebras are exactly such sup-algebras with each element a approximated by the element x, xL_?a and the relation L_? being stable with respect to the operations on L. Further on, we introduce the notion of a K-comonad and characterize K-flat projective sup-algebras as such sup-algebras having a coalgebra structure for the K-comonad.     

Nonstable <Emphasis Type="Italic">K</Emphasis>-theory for Graph Algebras

We compute the monoid V(L _K (E)) of isomorphism classes of finitely generated projective modules over certain graph algebras L _K (E), and we show that this monoid satisfies the refinement property and separative cancellation. We also show that there is a natural isomorphism between the lattice of graded ideals of L _K (E) and the lattice of order-ideals of V(L _K (E)). When K is the field of complex numbers, the algebra is a dense subalgebra of the graph C ^*-algebra C ^*(E), and we show that the inclusion map induces an isomorphism between the corresponding monoids. As a consequence, the graph C*-algebra of any row-finite graph turns out to satisfy the stable weak cancellation property. The first author was partially supported by the DGI and European Regional Development Fund, jointly, through Project BFM2002-01390, the second and the third by the DGI and European Regional Development Fund, jointly, through Project MTM2004-00149 and by PAI III grant FQM-298 of the Junta de Andalucía. Also, the first and third authors are partially supported by the Comissionat per Universitats i Recerca de la Generalitat de Catalunya.     

Elements of Small Orders in K2F Ⅱ

In "Elements of small orders in K2(F)" (Algebraic K-Theory, Lecture Notes in Math., 966, 1982, 1-6.), the author investigates elements of the form {a, Φn(a)} in the Milnor group K2F of a field F, where Φn(x) is the n-th cyclotomic polynomial. In this paper, these elements are generalized. Applying the explicit formulas of Rosset and Tate for the transfer homomorphism for K2, the author proves some new results on elements of small orders in K2F.     

Idempotency of Extensions via the Bicompletion

Let Top ₀ be the category of topological T ₀-spaces, QU ₀ the category of quasi-uniform T ₀-spaces, T : QU ₀ → Top ₀ the usual forgetful functor and K : QU ₀ → QU ₀ the bicompletion reflector with unit k : 1 → K. Any T-section F : Top ₀ → QU ₀ is called K-true if KF = FTKF, and upper (lower) K-true if KF is finer (coarser) than FTKF. The literature considers important T-sections F that enjoy all three, or just one, or none of these properties. It is known that T(K,k)F is well-pointed if and only if F is upper K-true. We prove the surprising fact that T(K,k)F is the reflection to Fix(TkF) whenever it is idempotent. We also prove a new characterization of upper K-trueness. We construct examples to set apart some natural cases. In particular we present an upper K-true F for which T(K,k)F is not idempotent, and a K-true F for which the coarsest associated T-preserving coreflector in QU ₀ is not stable under K. We dedicate this paper to the memory of Sérgio de Ornelas Salbany (1941–2005).     

Construction and Spectral Topology on Hyperlattices

In this paper by considering the notion of hyperlattice, we introduce good and s-good hyperlattices, homomorphism of hyperlattices and s-reflexives. We give some examples of them and we study their structures. We show that there exists a hyperlattice L such that ${x \vee x = \{x\}}In this paper by considering the notion of hyperlattice, we introduce good and s-good hyperlattices, homomorphism of hyperlattices and s-reflexives. We give some examples of them and we study their structures. We show that there exists a hyperlattice L such that x úx = {x}{x \vee x = \{x\}} for all x ? L{x \in L} and there exist x, y ? L{x, y \in L} which card(x úy) 1 1{card(x \vee y) \ne 1}. Also, we define a topology on the set of prime ideals of a distributive hyperlattice L and we will call it S(L){{{\mathcal S}(L)}}, then we show that S(L){{{\mathcal S}(L)}} is a T ₀-space. At the end, we obtain that each complemented distributive hyperlattice is a T ₁-space.     

Finiteness obstructions and Euler characteristics of categories

We introduce notions of finiteness obstruction, Euler characteristic, L²-Euler characteristic, and Möbius inversion for wide classes of categories. The finiteness obstruction of a category Γ of type (FPR) is a class in the projective class group K₀(RΓ); the functorial Euler characteristic and functorial L²-Euler characteristic are respectively its RΓ-rank and L²-rank. We also extend the second author's K-theoretic Möbius inversion from finite categories to quasi-finite categories. Our main example is the proper orbit category, for which these invariants are established notions in the geometry and topology of classifying spaces for proper group actions. Baez and Dolan's groupoid cardinality and Leinster's Euler characteristic are special cases of the L²-Euler characteristic. Some of Leinster's results on Möbius–Rota inversion are special cases of the K-theoretic Möbius inversion.     

Semi-Topological K-Homology and Thomason''s Theorem

In this paper, we introduce the 'semi-topological K-homology' of complex varieties, a theory related to semi-topological K-theory much as connective topological K-homology is related to connective topological K-theory. Our main theorem is that the semi-topological K-homology of a smooth, quasi-projective complex variety Y coincides with the connective topological K-homology of the associated analytic space Y ^an. From this result, we deduce a pair of results relating semi-topological K-theory with connective topological K-theory. In particular, we prove that the 'Bott inverted' semi-topological K-theory of a smooth, projective complex variety X coincides with the topological K-theory of X ^an. In combination with a result of Friedlander and the author, this gives a new proof, in the special case of smooth, projective complex varieties, of Thomason's celebrated theorem that 'Bott inverted' algebraic K-theory with /n coefficients coincides with topological K-theory with /n coefficients.     

On 2-spannedness for the adjunction mapping

LetL be a line bundle on a smooth connected projective manifold X of dimension n. We extend to any dimension the definition of k-spannedness forL; this is a notion of k-th order embedding which was recently given in the case of curves and surfaces. Then, by a reduction to the surfaces case, we prove that the adjoint bundle K_x+(n–1)L is 2-spanned ifL is (at least) 3-spanned.     

On Complementable Semihypergroups

In this article, we first introduce the notion of complementable semihypergroup, proving that the classes of simplifiable semigroups, groups, simplifiable semihypergroups, and complete hypergroups are examples of complementable semihypergroups. Then we define when two semihypergroups are disjoint and find examples of such semihypergroups. Finally, we discuss on the complementable property of K_H-hypergroups.     

Projective contact manifolds

The present work is concerned with the study of complex projective manifolds X which carry a complex contact structure. In the first part of the paper we show that if K _X is not nef, then either X is Fano and b ₂(X)=1, or X is of the form ℙ(T _Y ), where Y is a projective manifold. In the second part of the paper we consider contact manifolds where K _X is nef. Oblatum 15-X-1999 & 3-II-2000?Published online: 8 May 2000     

Semi-exactitude du bifoncteur de Kasparov équivariant

We define a notion of strong K-theoretic amenability for a locally compact group G. This notion coincides with the K-theoretic amenability of many groups. We prove that all results obtained concerning the behavior of KK(.,.) with respect to exact sequences are generalized to the case of KK _G (.,.) for G strongly K-amenable.     

STRONG ZERO-DIMENSIONALITY OF BIFRAMES AND BISPACES

Abstract

A bispace is called strongly zero-dimensional if its bispace Stone—?ech compactification is zero—dimensional. To motivate the study of such bispaces we show that among those functorial quasi—uniformities which are admissible on all completely regular bispaces, some are and others are not transitive on the strongly zero-dimensional bispaces. This is in contrast with our result that every functorial admissible uniformity on the completely regular spaces is transitive precisely on the strongly zero-dimensional spaces.

We then extend the notion of strong zero-dimensionality to frames and biframes, and introduce a De Morgan property for biframes. The Stone—Cech compactification of a De Morgan biframe is again De Morgan. In consequence, the congruence biframe of any frame and the Skula biframe of any topological space are De Morgan and hence strongly zero-dimensional. Examples show that the latter two classes of biframes differ essentially.     

Two remarks on the topology of projective surfaces

We will prove two results about the topology of complex projective surfaces. The first result says that if the Shafarevich Conjecture has an affirmative answer in dimension two then the second homotopy group of a smooth projective surface is a torsion-free abelian group. The second result is that for any 2-dimensional function field K/C there is a normal projective simply-connected surface with function field K.     

On the weak non-defectivity of veronese embeddings of projective spaces

Fix integers n, x, k such that n≥3, k>0, x≥4, (n, x)≠(3, 4) and k(n+1)<( _n ^n+x ). Here we prove that the order x Veronese embedding ofP ⁿ is not weakly (k−1)-defective, i.e. for a general S⊃P ⁿ such that #(S) = k+1 the projective space | I _2S (x)| of all degree t hypersurfaces ofP ⁿ singular at each point of S has dimension ( _n ^/n+x )−1− k(n+1) (proved by Alexander and Hirschowitz) and a general F∈| I _2S (x)| has an ordinary double point at each P∈ S and Sing (F)=S. The author was partially supported by MIUR and GNSAGA of INdAM (Italy).     

The Smallest Degree Sum That Yields Potentially Kr＋1 - K3-Graphic Sequences

Let a（Kr,＋1 - K3,n） be the smallest even integer such that each n-term graphic sequence п= （d1,d2,…dn） with term sum σ（п） = d1 ＋ d2 ＋…＋ dn 〉 σ（Kr＋1 -K3,n） has a realization containing Kr＋1 - K3 as a subgraph, where Kr＋1 -K3 is a graph obtained from a complete graph Kr＋1 by deleting three edges which form a triangle. In this paper, we determine the value σ（Kr＋1 - K3,n） for r ≥ 3 and n ≥ 3r＋ 5.     

Gorenstein Injective and Projective Complexes with Respect to a Semidualizing Module

Let R be a commutative (possibly non-Noetherian) ring (in order to make things less technical) and C a semidualizing R-module. In this article, we introduce and investigate the notion of G _C -injective (G _C -projective) complexes. This extends Enochs and García Rozas's notion of Gorenstein injective (Gorenstein projective) complexes. We then show that a complex X is G _C -injective (G _C -projective) if and only if X ^m is a G _C -injective (G _C -projective) module for each m ∈ ?.     

ON RELATIVE FLATNESS

Abstract

For a torsion radical, δ, we study various types of relative flatness and regularity. We obtain conditions valid when every R-module is δ-flat, when every R-module is semi-δ-flat and when every R-module is semi-δ-injective, and hence we characterize quasi-Frobenius rings R together with any torsion radical, δ, on R-mod. We define a ring to be δ perfect whenever every δ-flat module is projective and obtain extensions of some known results on perfect rings. We also introduce a relative form of the Jacobson Radical defined in terms of δ-flatness.     

Semistable and numerically effective principal (Higgs) bundles

We study Miyaoka-type semistability criteria for principal Higgs G-bundles E on complex projective manifolds of any dimension. We prove that E has the property of being semistable after pullback to any projective curve if and only if certain line bundles, obtained from some characters of the parabolic subgroups of G, are numerically effective. One also proves that these conditions are met for semistable principal Higgs bundles whose adjoint bundle has vanishing second Chern class.In a second part of the paper, we introduce notions of numerical effectiveness and numerical flatness for principal (Higgs) bundles, discussing their main properties. For (non-Higgs) principal bundles, we show that a numerically flat principal bundle admits a reduction to a Levi factor which has a flat Hermitian–Yang–Mills connection, and, as a consequence, that the cohomology ring of a numerically flat principal bundle with coefficients in R is trivial. To our knowledge this notion of numerical effectiveness is new even in the case of (non-Higgs) principal bundles.