A Delocalization Property for Assembly Maps and an Application in Algebraic K-Theory of Group Rings

Let be a group, F the free -module on the set of finite order elements in , with acting by conjugation, and the ring extension of by % MathType!MTEF!2!1!+-% feaafiart1ev1aaatCvAUfeBSjuyZL2yd9gzLbvyNv2CaerbuLwBLn% hiov2DGi1BTfMBaeXatLxBI9gBaerbd9wDYLwzYbItLDharqqtubsr% 4rNCHbGeaGqiVu0Je9sqqrpepC0xbbL8F4rqqrFfpeea0xe9Lq-Jc9% vqaqpepm0xbba9pwe9Q8fs0-yqaqpepae9pg0FirpepeKkFr0xfr-x% fr-xb9adbaqaaeaacaGaaiaabeqaamaabaabaaGcbaWaaiWaaeaada% WcaaqaaiaaigdaaeaatCvAUfKttLearyGqLXgBG0evaGqbciab-5ga% UbaaieaacaGFLbGaaGOmaiaabc8acqWFPbqAcaqGVaGae8NBa42aaq% qaaeaacqGHdicjcqaHZoWzcqGHiiIZcqqHtoWrcaqGGaGaae4Baiaa% bAgacaqGGaGaae4BaiaabkhacaqGKbGaaeyzaiaabkhacaqGGaGae8% NBa4gacaGLhWoaaiaawUhacaGL9baaaaa!563E!\[\left\{ {\frac{1}{n}e2{\text{\pi }}i{\text{/}}n\left| {\exists \gamma \in \Gamma {\text{ of order }}n} \right.} \right\}\]. For a ring R with , we build an injective assembly map , detected by the Dennis trace map. This is proved by establishing a delocalization property for the assembly map in Hochschild homology, namely providing a gluing of simpler assembly maps (i.e. localized at the identity of ) to build , and by delocalizing a known assembly map in K-theory to define . We also prove the delocalization property in cyclic homology and in related theories.     

Differentiable Connections with Poincar{e} Groups of Local Transformations. {III}

In the canonical smooth fiber bundles :ⁿ⁺¹ⁿ, we study generalized differentiable connections constructed by the author in papers [4] and [5]. Special emphasis is laid on the investigation of the behavior of these connections under local transformations of the classical Poincar{e} groups (1,n) and extended Poincar{e} groups canonically acting in the given connections. We found all first-order nonholonomic affine, ₁, ₂, and _1,2-connections with the groups (1,n) and of local transformations and also constructed classes of the corresponding invariant second-order connections.     

Notes on Brown-McCoy-radicals for Γ-near-rings

The Brown-McCoy radical is known to be an ideal-hereditary Kurosh-Amitsur radical in the variety of zerosymmetric near-rings. We define the Brown-McCoy and simplical radicals, and , respectively, for zerosymmetric -near-rings. Both and are ideal-hereditary Kurosh-Amitsur radicals in that variety. IfM is a zerosymmetric -near-ring with left operator near-ringL, it is shown that , with equality ifM has a strong left unity. is extended to the variety of arbitrary near-rings, and and are extended to the variety of arbitrary -near-rings, in a way that they remain Kurosh-Amitsur radicals. IfN is a near-ring andA N, then , with equality ifA if left invariant.     

On Locally Projective Graphs of Girth 5

Let be a graph and G be a 2-arc transitive automorphism group of . For a vertex x let G(x)^(x) denote the permutation group induced by the stabilizer G(x) of x in G on the set (x) of vertices adjacent to x in . Then is said to be a locally projective graph of type (n,q) if G(x)^(x) contains PSL_n(q) as a normal subgroup in its natural doubly transitive action. Suppose that is a locally projective graph of type (n,q), for some n 3, whose girth (that is, the length of a shortest cycle) is 5 and suppose that G(x) acts faithfully on (x). (The case of unfaithful action was completely settled earlier.) We show that under these conditions either n=4, q=2, has 506 vertices and , and contains the Wells graph on 32 vertices as a subgraph. In the latter case if, for a given n, at least one graph satisfying the conditions exists then there is a universal graph W(n) of which all other graphs for this n are quotients. The graph W(3) satisfies the conditions and has 2²⁰ vertices.     

Zur Interpolation und Integration differenzierbarer periodischer Funktionen

Summary Letx ₀<x ₁<...<x _n–1<x ₀+2 be nodes having multiplicitiesv ₀,...,v _n–1, 1v _k r (0k<n). We approximate the evaluation functional ,x fixed, and the integral respectively by linear functionals of the form and determine optimal weights for the Favard classesW _r C ₂. In the even case of optimal interpolation these weights are unique except forr=1,x(x _k +x _k–1)/2 mod 2. Moreover we get periodic polynomial splinesw _{k, j} (0k<n, 0j<v _k ) of orderr such that are the optimal weights. Certain optimal quadrature formulas are shown to be of interpolatory type with respect to these splines. For the odd case of optimal interpolation we merely have obtained a partial solution.

Bojanov hat in [4, 5] ähnliche Resultate wie wir erzielt. Um Wiederholungen zu vermeiden, werden Resultate, deren Beweise man bereits in [4, 5] findet, nur zitiert     

Foliations with One-Sided Branching

We generalize the main results from the author's paper in Geom. Topol. 4 (2000), 457–515 and from Thurston's eprint math.GT/9712268 to taut foliations with one-sided branching. First constructed by Meigniez, these foliations occupy an intermediate position between -covered foliations and arbitrary taut foliations of 3-manifolds. We show that for a taut foliation with one-sided branching of an atoroidal 3-manifold M, one can construct a pair of genuine laminations ^± of M transverse to with solid torus complementary regions which bind every leaf of in a geodesic lamination. These laminations come from a universal circle, a refinement of the universal circles proposed by Thurston (unpublished), which maps monotonely and ₁(M)-equivariantly to each of the circles at infinity of the leaves of , and is minimal with respect to this property. This circle is intimately bound up with the extrinsic geometry of the leaves of . In particular, let denote the pulled-back foliation of the universal cover, and co-orient so that the leaf space branches in the negative direction. Then for any pair of leaves of with , the leaf is asymptotic to in a dense set of directions at infinity. This is a macroscopic version of an infinitesimal result from Thurston and gives much more drastic control over the topology and geometry of , than is achieved by him. The pair of laminations ^± can be used to produce a pseudo-Anosov flow transverse to which is regulating in the nonbranching direction. Rigidity results for ^± in the -covered case are extended to the case of one-sided branching. In particular, an -covered foliation can only be deformed to a foliation with one-sided branching along one of the two laminations canonically associated to the -coveredfoliation constructed in Geom. Topol. 4 (2000), 457–515, and these laminations become exactly the laminations ^± for the new branched foliation. Other corollaries include that the ambient manifold is -hyperbolic in the sense of Gromov, and that a self-homeomorphism of this manifold homotopic to the identity is isotopic to the identity.     

QUADRATIC ESTIMATORS OF QUADRATIC FUNCTIONS WITH PARAMETERS IN NORMAL LINEAR MODELS

ＱＵＡＤＲＡＴＩＣＥＳＴＩＭＡＴＯＲＳＯＦＱＵＡＤＲＡＴＩＣＦＵＮＣＴＩＯＮＳＷＩＴＨＰＡＲＡＭＥＴＥＲＳＩＮＮＯＲＭＡＬＬＩＮＥＡＲＭＯＤＥＬＳ￥ＷＵＱＩＧＵＡＮＧ（吴启光）（ＩｎｓｔｉｔｕｔｅｏｆＳｙｓｔｅｍｅＳｃｉｅｎｃｅ,ｔｈｅＣｈｉｎｅｓｅ...     

A majorizing semantics for hyperarithmetic sentences

A hyperarithmetic language is considered, obtained by adding to the arithmetic language a special ternary predicateH which acts as the universal predicate for (for some scale of constructive ordinals ). The language expresses a hierarchy {}_< of classes of formulas which is the constructive analog of the initial -section of the classical hyperarithmetic hierarchy. Some properties of this hierarchy are introduced which give a convenient constructive theoryT . It is shown that the majorizing semantics introduced in [1] (for an equivalent variant see [2]) can be extended to the sentences of the language for sentences of the arithmetic language. The basis for the construction of the majorant is the idea (stated in [2]) of relating the majorant to deducibility in systems with an -rule.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 68, pp. 30–37, 1977.     

Nonnegative Hall Polynomials

The number of subgroups of type and cotype in a finite abelian p-group of type is a polynomialg with integral coefficients. We prove g has nonnegative coefficients for all partitions and if and only if no two parts of differ by more than one. Necessity follows from a few simple facts about Hall-Littlewood symmetric functions; sufficiency relies on properties of certain order-preserving surjections that associate to each subgroup a vector dominated componentwise by . The nonzero components of (H) are the parts of , the type of H; if no two parts of differ by more than one, the nonzero components of – (H) are the parts of , the cotype of H. In fact, we provide an order-theoretic characterization of those isomorphism types of finite abelian p-groups all of whose Hall polynomials have nonnegative coefficients.     

Décroissance rapide de la distribution fλ

Let X be an open subset of ⁿ and (f₁, ...,f_p): X ^p be a holomorphic mapping. We prove that if (x⁰,0, ⁰) T^* × ^p does not belong to the characteristic variety of the _X []-module _X[]f, then there exists a conic neighborhood V × of (x⁰, ⁰) such the function is rapidely decreasing in | Im | for with Re bounded, for any (n,n)-form of class C with compact support in V. The following partial converse of this result is also established: if for all (n,n)-forms of class C with compact support in X, then .     

Statistical Cluster Points of Sequences in Finite Dimensional Spaces

In this paper we study the set of statistical cluster points of sequences in m-dimensional spaces. We show that some properties of the set of statistical cluster points of the real number sequences remain in force for the sequences in m-dimensional spaces too. We also define a notion of -statistical convergence. A sequence xis -statistically convergent to a set Cif Cis a minimal closed set such that for every > 0 the set has density zero. It is shown that every statistically bounded sequence is -statistically convergent. Moreover if a sequence is -statistically convergent then the limit set is a set of statistical cluster points.     

Estimates of the Kolmogorov Widths of Classes of Analytic Functions Representable by Cauchy-Type Integrals. I

In the Banach space of functions analytic in a Jordan domain , we establish order estimates for the Kolmogorov widths of certain classes of functions that can be represented in by Cauchy-type integrals along the rectifiable curve = and can be analytically continued to or to .     

On graphs and Lie rings

From a finite oriented graph , finite-dimensional graded nilpotent Lie rings () and () are naturally constructed; these rings are related to subtrees and connected subgraphs of , respectively. Diverse versions of these constructions are also suggested. Moreover, an embedding of Lie rings of the form () in the adjoint Lie rings of finite-dimensional associative rings (also determined by the graph ) is indicated.Translated from Matematicheskie Zametki, vol. 77, no. 3, 2005, pp. 449–459.Original Russian Text Copyright © 2005 by Yu. S. Sernenov.This revised version was published online in April 2005 with a corrected issue number.     

Equidistribution of Kronecker sequences along closed horocycles

It is well known that (i) for every irrational number the Kronecker sequence m (m = 1,...,M) is equidistributed modulo one in the limit , and (ii) closed horocycles of length become equidistributed in the unit tangent bundle of a hyperbolic surface of finite area, as . In the present paper both equidistribution problems are studied simultaneously: we prove that for any constant the Kronecker sequence embedded in along a long closed horocycle becomes equidistributed in for almost all , provided that . This equidistribution result holds in fact under explicit diophantine conditions on (e.g. for = 2) provided that , with additional assumptions on the Fourier coefficients of certain automorphic forms. Finally, we show that for , our equidistribution theorem implies a recent result of Rudnick and Sarnak on the uniformity of the pair correlation density of the sequence n² modulo one.     

A quantitative refinement of Rado's theorem

The fundamental result of the paper is the following. Theorem: Let be a k-quasiconformal Jordan curve and let be another Jordan curve (not necessarily quasiconformal). Assume that f maps conformallyext ontoext , f()=, f()>0. We assume that there exists a homeomorphism between and such that Then there exist numbers =(k)>0 and A=A(k), such that f(())– A, .Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 157, pp. 103–112, 1987.     

On Distance-Regular Graphs with Height Two

Let be a distance-regular graph with diameter at least three and height h = 2, where . Suppose that for every in and in _d(), the induced subgraph on _d() ₂() is a clique. Then is isomorphic to the Johnson graph J(8, 3).     

On the topology of foliations with a first integral

The main objective of this article is to study the topology of the fibers of a generic rational function of the type in the projective space of dimension two. We will prove that the action of the monodromy group on a single Lefschetz vanishing cycle generates the first homology group of a generic fiber of . In particular, we will prove that for any two Lefschetz vanishing cycles ₀ and ₁ in a regular compact fiber of , there exists a mondromyh such thath( ₀)=± ₁.Partially supported by CNPq-Brazil.     

Subsets with Restricted Movement

Let G be a finite permutation group on a set with no fixed points in and let m and k be integers with 0 < m < k. For a finite subset of the movement of is defined as move() = max_gG| ^g \ |. Suppose further that G is not a 2-group and that p is the least odd prime dividing |G| and move() m for all k-element subsets of . Then either || k + m or k (7m – 5) / 2, || (9m – 3)/2. Moreover when || > k + m, then move() m for every subset of .     

An existence theorem for generalized quasi-variational inequalities

In this paper, we deal with the following generalized quasi-variational inequality problem: given a closed convex subsetX ⁿ , a multifunction :X 2 ⁿ and a multifunction :X 2 ^X , find a point ( ) X × ⁿ such that We prove an existence theorem in which, in particular, the multifunction is not supposed to be upper semicontinuous.     

Sur l'homotopie rationnelle des espaces fonctionnels

Let X be a nilpotent space such that it exists k1 with H^p (X,) = 0 p > k and H^k (X,) 0, let Y be a (m–1)-connected space with mk+2, then the rational homotopy Lie algebra of Y^X (resp. is isomorphic as Lie algebra, to H^* (X,) (_* (Y) ) (resp.⁺ (X,) (_* (Y) )). If X is formal and Y -formal, then the spaces Y^X and are -formal. Furthermore, if dim _* (Y) is infinite and dim H^* (Y,Q) is finite, then the sequence of Betti numbers of grows exponentially.