Mackey structures on equivariant algebraic K-theory

We study the Mackey structure of the G-spectrum K _G C associated to a monoidal G-category C. It is proved that the coefficient system of K _G C coincides, as a (graded) Mackey functor, with the system of equivariant K-groups in the sense of Fröhlich and Wall. It is also shown that for any exact category U, there exists a G-spectrum Q _G U representing the equivariant K-theory of U in the sense of Dress and Kuku, and that Q _G U is naturally G-homotopy equivalent to K _G IsoU if every short exact sequence in U splits.     

The Volodin model for hermitian algebraic K-theory

We define the Volodin hermitian algebraic K-theory for a (discrete) ring with an involution and show that it is isomorphic to Karoubi's hermitian algebraic K-theory. We also construct the Volodin model X(R _*) of hermitian algebraic K-theory for a simplicial ring R _* and show that it is a homotopy fiber of the map B Ô(R _*)B Ô(R _*)⁺. We also prove the general linear version of this result, which has been claimed in the existing literature, but whose proof was overlooked.     

Stability for Quadratic K1

The general quadratic group GQ _2n and its elementary subgroup EQ _2n are analogs in the theory of quadratic forms of the general linear group GL _n and its elementary subgroup E _n . This article proves that the stabilization map GQ _2n /EQ _2n GQ _2(n+1) /EQ _2(n+1) is an isomorphism whenever n +1 and S denotes the -stable rank of rings with anti-involution. As a corollary, a result is obtained which has been anticipated since the late 1960s: over rings of finite Bass–Serre dimension d, the stabilization map is an isomorphism whenever n d + 2.     

Mouvement brownien et formule de Tanaka en analyse

In our previous paper [5], we have obtained a decomposition of f, where f is a function defined on R ^d , that is analogous to the one proved by H. Tanaka in the early sixties for Brownian martingales (the so-called Tanaka formula). The original proofs use purely analytic methods (e.g. the Calderón–Zygmund theory, etc.). In this paper, we give a new proof of our `Tanaka formula in analysis, that is based on probabilistic arguments. The main tools here are Brownian motion, stochastic calculus and Burkholder–Gundy inequalities for martingales. These methods allow us to improve somewhat our previous results, by proving that some significant constants do not depend on the dimension d.     

Relative K homology and C* algebras

Let A be a separable nuclear C ⁺ algebra with unit. Let be a closed two-sided ideal in A. A relative K homology group K ⁰(A,) is defined. Closely related are topological definitions of properly supported K homology and of compactly supported relative K homology. Applications are to indices of Toeplitz operators and existence of coercive boundary conditions for elliptic differential operators.     

Asymptotic Behaviour of λ-Convex Sets in the Hyperbolic Plane

It is known that the limit Area/Length for a sequence of convex sets expanding over the whole hyperbolic plane is less than or equal 1, and exactly 1 when the sets considered are convex with respect to horocycles. We consider geodesics and horocycles as particular cases of curves of constant geodesic curvature with 0 1 and we study the above limit Area/Length as a function of the parameter .     

Study of Noetherian Γ-Semirings via Operator Semirings

In this paper we study Noetherian -semirings and obtain Cohens theorem for a special class of -semirings. Weak primary decomposition theorem for a particular type of -semirings is also obtained.Presently Lecturer in Mathematics, University of Burdwan, GOLAPBAG, W.B. INDIA.     

Indivisibility of Class Numbers and Iwasawa λ-Invariants of Real Quadratic Fields

Let D>0 be the fundamental discriminant of a real quadratic field, and h(D) its class number. In this paper, by refining Ono's idea, we show that for any prime p>3, {0<D<X|h(D)0(mod p)}>> _p (X)/logX.     

K-theory of braided tensor ring categories with higher commutativity

We show that theK-theory of a Waldhausen categoryC with anA-ring structure is anA ring spectrum. If theA structure onC supports anE _n structure, so thatBC group completes to ann-fold loop space, thenK (C) is anE _n ring spectrum. In particular, theK-theory of the category of crossedG-sets,G a finite group, is anE ₂ ring spectrum.     

An Algebraic View on Recursive Types

We present an algebraic framework that provides a general notion of recursive types. We characterize those type systems that guarantee the subject reduction property. Finally, we prove a strong normalization and a principle typing result.     

Some remarks on the product of two C α-compact subsets

For a cardinal , we say that a subset B of a space X is C -compact in X if for every continuous function is a compact subset of . If B is a C-compact subset of a space X, then (B, X) denotes the degree of C -compactness of B in X. A space X is called -pseudocompact if X is C -compact into itself. For each cardinal , we give an example of an -pseudocompact space X such that X × X is not pseudocompact: this answers a question posed by T. Retta in Some cardinal generalizations of pseudocompactness Czechoslovak Math. J. 43 (1993), 385–390. The boundedness of the product of two bounded subsets is studied in some particular cases. A version of the classical Glicksberg's Theorem on the pseudocompactness of the product of two spaces is given in the context of boundedness. This theorem is applied to several particular cases.     

λ-Automorphisms of a Riemannian foliation

We study geometric properties of -automorphisms of a Riemannian foliationF which is not harmonic. This notion was first introduced in [KTT] for the case whereF is harmonic. Transversal Killing, affine, conformal, projective fields are all examples of -automorphisms. We derive several general identities for a -automorphism. In particular, we extend the results on the transversal conformal and Killing fields obtained in [PrY], [NY1,2]. Furthermore, we analyse the geometric meaning of the condition appearing in our results.The present studies were supported (in part) by the Basic Science Research Institute Program, Ministry of Education, 1994, Project No. BSRI-94-1404     

Cardinal Invariants of λ-Topologies

We study the basic cardinal-valued invariants of C (X) such as weight, density, network weight, i-weight, and tightness, where C (X) is the space of all continuous real functions on X in the -topology.     

On <Emphasis Type="Italic">L</Emphasis><Subscript>α,ω</Subscript> complete extensions of complete theories of Boolean algebras

For a complete first order theory of Boolean algebras T which has nonisomorphic countable models, we determine the first limit ordinal = (T) such that We show that for some and for all other Ts, A nonprincipal ideal I of B is almost principal, if a is a principal ideal of B} is a maximal ideal of B. We show that the theory of Boolean algebras with an almost principal ideal has complete extensions and characterize them by invariants similar to the Tarskis invariants.Mathematics Subject Classification (2000): Primary 03C15, Secondary 03C35, 06E05Revised version: 2 February 2004     

On the K0 groups of nest algebras

In this paper we compute the K ₀ group of any nest subalgebra of ().     

Groups with many subgroups having a transitive normality relation

A group is said to be aT-group if all its subnormal subgroups are normal. The structure of groups satisfying the minimal condition on subgroups that do not have the propertyT is investigated. Moreover, locally soluble groups with finitely many conjugacy classes of subgroups which are notT-groups are characterized.     

An Illustration of the Power of Structure Theory

There is a hierarchy of concepts of compact semigroups according to the degree of continuity of their multiplications: One-sided continuity, separate continuity, continuity. Each level of generality has its own fields of application and its own peculiarities. This is illustrated in a discussion of three seemingly rather unrelated examples from different branches of mathematics: number theory, functional analysis, logic.     

(φ,ξ,η,λ)‐Structures of Parabolic Type

We consider (,,,)structures of parabolic type on hypersurfaces of dual spaces and study the rank of the affinor . We consider almost contact metric structures of parabolic type of the first kind on hypersurfaces of 4dimensional dual metric space. We study the properties of these structures and give examples of normal, integrable, and Sasakian parabolic structures.     

Metric σ-Frames versus Metric Lindelof Spaces

The adjoint relation between the category RegFrm, of regular -frames, Alex, of Alexandroff spaces, are studied in [9]. Here, we introduce the category MFrm, of metric -frames and give the adjoint relation between this category and the category MLSp, of metric Lindelof spaces, and show that MLSp is dually equivalent to the category of Alexandroff metric -frames.AMS Subject Classification: 06D99-54B30     

Coproducts in the Category <Emphasis Type="Bold">M</Emphasis>κ<Emphasis Type="Bold">Frm</Emphasis>

The purpose of this paper is to study coproducts in the category MFrm (resp. M_cFrm), of metric -frames and uniform (resp. contractive) -frame maps. First, by applying the same technic that was used to find coproducts in Frm, we construct coproducts in the category Frm of -frames and -frame maps. Then, we define a metric diameter on the coproduct in Frm of a family of metric -frames and show that coproduct in Frm preserves metrizability.Mathematics Subject Classifications (2000) 06B23, 06D22, 18A30.