Polynomial and Regular Maps into Grassmannians

We find a regular deformation retraction _n,r (K): Idem _n,r (K) G _n,r (K) from the manifold Idem _n,r (K) of idempotent n × n matrices with rank r to the Grassmannian manifold G _n,r (K) over K the reals, complex numbers or quaternions. Then we derive an injection from the sets of homotopy classes of complex-valued polynomial to such a set of real-valued regular maps, where denotes the Zariski closure in the affine space ⁿ of a subset ⁿ . Furthermore, we list complex-valued polynomial maps ^{2 2} of any Brouwer degree and deduce that the map ()_2,1: Idem()_2,1 G()_2,1 yields an isomorphism [ ² ] [ ², ²] of cyclic infinite homotopy groups. Finally, we show that every nonzero even Brouwer degree of the spheres ⁿ and ⁿ cannot be realized by a real-valued (resp. complex-valued) homogeneous polynomial map provided that n is even.     

K-theory of twisted differential operators on flag varieties

Let be a semisimple Lie algebra overk, an algebraically closed field of characteristic zero, and let be a Cartan subalgebra inside a Borel subalgebra of . LetU be the enveloping algebra of . For letM() denote the corresponding Verma modúle and letU _u=U/AnnM(). LetW be the Weyl group and letW ⁰ be the stabiliser of inW. We prove the following theorem, which affirms a conjecture of T.J. Hodges.Oblatum 16-XII-1994     

Transfinite interpolation on the medians of a triangle and best L 1-approximation

Let be a triangle in and let be the set of its three medians. We construct interpolants to smooth functions using transfinite (or blending) interpolation on The interpolants are of type f(₁)+g(₂)+h(₃), where (₁,₂,₃) are the barycentric coordinates with respect to the vertices of . Based on an error representation formula, we prove that the interpolant is the unique best L¹-approximant by functions of this type subject the function to be approximated is from a certain convexity cone in C³().Received: 17 December 2003     

The Homology of Partitions with an Even Number of Blocks

Let denote the subposet obtained by selecting even ranks in the partition lattice . We show that the homology of has dimension , where is the tangent number. It is thus an integral multiple of both the Genocchi number and an André or simsun number. Using the general theory of rank-selected homology representations developed in [22], we show that, for the special case of , the character of the symmetric group S _2n on the homology is supported on the set of involutions. Our proof techniques lead to the discovery of a family of integers b _i(n), 2 i n, defined recursively. We conjecture that, for the full automorphism group S _2n, the homology is a sum of permutation modules induced from Young subgroups of the form , with nonnegative integer multiplicity b _i(n). The nonnegativity of the integers b _i(n) would imply the existence of new refinements, into sums of powers of 2, of the tangent number and the André or simsun number a _n(2n).Similarly, the restriction of this homology module to S _2n–1 yields a family of integers d _i(n), 1 i n – 1, such that the numbers 2^–i d _i(n) refine the Genocchi number G _2n . We conjecture that 2^–i d _i(n) is a positive integer for all i.Finally, we present a recursive algorithm to generate a family of polynomials which encode the homology representations of the subposets obtained by selecting the top k ranks of , 1 k n – 1. We conjecture that these are all permutation modules for S _2n .     

Summierbarkeit der geometrischen Reihe auf vorgeschriebenen Mengen

In this paper we are concerned with the summability of the geometric series by matrix methods. We prove the following theorem: Suppose M_o:={z:|z|<1}, M₁, M₂, is a collection of countably many Lebesgue measureable, disjoint sets. For k=1,2, let f_k be a prescribed function, analytic on . Then there exists a triangular matrix , such that the V-transform {_n(z)} of the geometric series has the following properties: {_n(z)} converges compactly to on M_o; for k=1,2, there are sets B_k, such that has Lebesgue-measure zero and _n(z)f_k(z) for zB_k; if there is a set B^*, such that B^*M^* has Lebesgue-measure zero and {_n(z)} diverges for zB^*.     

General Blowings-up of ℙ2 and Injectivity of Gauss Maps

We consider the blowing-up Y _k of the projective plane along k general points P ₁,...,P _k . Let _k : Y _k ² be the projection map and E _i the exceptional divisor corresponding to P _i for 1ik. For m2 and km(m+3)/2–4 let _k be the invertible sheaf _k ^*( ²(m)) _{Y k} (–E ₁–···–E _k ) on Y _k , and let _k: Y _k ^N be the morphism corresponding to _k . As _k is a local embedding, the Gauss map _k corresponding to _k is defined on Y _k by _k (x)=(d _{x k} )(T _x (Y _k )) for all xY _k . We prove that this Gauss map _k is injective.     

On Kolmogorov-Type Inequalities Taking into Account the Number of Changes in the Sign of Derivatives

For 2-periodic functions and arbitrary q [1, ] and p (0, ], we obtain the new exact Kolmogorov-type inequality which takes into account the number of changes in the sign of the derivatives (x ^(k)) over the period. Here, = (r – k + 1/q)/(r + 1/p), _r is the Euler perfect spline of degree r, and . The inequality indicated turns into the equality for functions of the form x(t) = a _r (nt + b), a, b R, n N. We also obtain an analog of this inequality in the case where k = 0 and q = and prove new exact Bernstein-type inequalities for trigonometric polynomials and splines.     

On computing the number of subgroups of a finite Abelian group

We consider the numberN _A (r) of subgroups of orderp ^r ofA, whereA is a finite Abelianp-group of type =₁,₂,..., _l ()), i.e. the direct sum of cyclic groups of order ⁱⁱ. Formulas for computingN _A (r) are well known. Here we derive a recurrence relation forN _A (r), which enables us to prove a conjecture of P. E. Dyubyuk about congruences betweenN _A (r) and the Gaussian binomial coefficient .     

Multiple Wick Product Chaos Processes

Let u(x) xR ^q be a symmetric nonnegative definite function which is bounded outside of all neighborhoods of zero but which may have u(0)=. Let p _x, (·) be the density of an R ^q valued canonical normal random variable with mean x and variance and let {G _x, ; (x, )R ^q ×[0,1 ]} be the mean zero Gaussian process with covariance

Lower bounds for heights on finitely generated groups

LetG be a finitely generated subgroup of rankr of the multiplicative groupK ^* of a number field. We construct a basis ₁,..., _r ofG such that for G, writing where is a root of unity and where thex _i are integers, we get a lower bound for the absolute heighth() in terms ofr and max .     

Conditions of Local Asymptotic Normality for Gaussian Stationary Processes

Let {\bold x}[] be a stationary Gaussian process with zero mean and spectral density f, let be the -algebra induced by the random variables {\bold x}[], D(R¹), and let _t, t > 0, be the -algebra induced by the random variables x[],supp [-t,t]. Denote by (f) the Gaussian measure on generated by {\bold x}. Let _t(f) be the restriction of (f) to _t. Let f and g be nonnegative functions such that the measures _t(f) and _t(g) are absolutely continuous. Put

A remark concerning the modulus of smoothness introduced by Ditzian and Totik

For each functionf(x) continuous on the segment [–1, 1], we set . We study the relationship between the ordinarykth modulus of continuity of therth derivative of the function and thekth modulus of continuity with weight _r of the rth derivativef ^(r) of the functionf introduced by Ditzian and Totik. Thus, ifr is odd andk is even, we prove that these moduli are equivalent ast0.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 47, No. 12, pp. 1627–1638, December, 1995.     

On convergence of types and processes in Euclidean space

Let be an Euclidean space; Y _n , Z, U random vectors in ; h _n , g _n affine transformations and let þ be a subgroup of the group G of all the in vertible affine transformations, closed relative to G. Suppose that g_n and where Z is nonsingular. The behaviour of _n = h _n g _n ^–1 as n is discussed first. The results are used then to prove that if for all t(0, ), where h _n þ and Z ₁ is nonsingular and nonsymmetric with respect to þ then H, for all t(0,) and is a continuous homomorphism of the multiplicative group of (0, ) into þ. The explicit forms of the possible are shown.     

Lower Bounds for Finite Wavelet and Gabor Systems

Given L ²(R) and a finite sequence {(a _r , _r )} _rR⁺XR consisting of distinct points, the corresponding wavelet system is the set of functions . We prove that for a dense set of functions L ²(R) the wavelet system corresponding to any choice of {(a _r , _r )} _r is linearly independent, and we derive explicite estimates for the corresponding lower (frame) bounds. In particular, this puts restrictions on the choice of a scaling function in the theory for multiresolution analysis. We also obtain estimates for the lower bound for Gabor systems for functions g in a dense subset of L ²(R).     

Convergence of series of translations

For a mean zero norm one sequence (f _n )L ₂[0, 1], the sequence (f _n {nx+y}) is an orthonormal sequence inL ₂([0, 1]²); so if , then converges for a.e. (x, y)[0, 1]² and has a maximal function inL ₂([0, 1]²). But for a mean zerofL ₂[0, 1], it is harder to give necessary and sufficient conditions for theL ₂-norm convergence or a.e. convergence of . Ifc _n 0 and , then this series will not converge inL ₂-norm on a denseG subset of the mean zero functions inL ₂[0, 1]. Also, there are mean zerofL[0, 1] such that never converges and there is a mean zero continuous functionf with a.e. However, iff is mean zero and of bounded variation or in some Lip() with 1/2<1, and if |c _n | = 0(n ^–) for >1/2, then converges a.e. and unconditionally inL ₂[0, 1]. In addition, for any mean zerof of bounded variation, the series has its maximal function in allL _p[0, 1] with 1p<. Finally, if (f _n )L [0, 1] is a uniformly bounded mean zero sequence, then is a necessary and sufficient condition for to converge for a.e.y and a.e. (x _n )[0, 1]. Moreover, iffL [0, 1] is mean zero and , then for a.e. (x _n )[0, 1], converges for a.e.y and in allL _p [0, 1] with 1p<. Some of these theorems can be generalized simply to other compact groups besides [0, 1] under addition modulo one.     

First Exit Time from a Bounded Interval for a Certain Class of Additive Functionals of Brownian Motion

Let (B _t) _t0 be standard Brownian motion starting at y, X _t = x + ^t ₀ V(B _s) ds for x (a, b), with V(y) = y if y0, V(y)=–K(–y) if y0, where >0 and K is a given positive constant. Set _ab=inf{t>0: X _t(a, b)} and ₀=inf{t>0: B _t=0}. In this paper we give several informations about the random variable _ab. We namely evaluate the moments of the random variables , and also show how to calculate the expectations . Then, we explicitly determine the probability laws of the random variables as well as the probability by means of special functions.     

Lattices of interpretability types of varieties

Let be the set of all primes, the field of all algebraic numbers, and Z the set of square-free natural numbers. We consider partially ordered sets of interpretability types such as , and , where AD is a variety of -divisible Abelian groups with unique taking of the pth root _p(x) for every p , is a variety of -modules over a normal field , contained in , and G_n is a variety of n-groupoids defined by a cyclic permutation (12 ...n). We prove that , and are distributive lattices, with and where ub and ub_f are lattices (w.r.t. inclusion) of all subsets of the set and of finite subsets of , respectively.Deceased.__________Translated from Algebra i Logika, Vol. 44, No. 2, pp. 198–210, March–April, 2005.     

The Invariants of the Clifford Groups

The automorphism group of the Barnes-Wall lattice L _m in dimension 2 ^m (m ; 3) is a subgroup of index 2 in a certain Clifford group of structure 2 ₊ ^1+2m . O ⁺(2m,2). This group and its complex analogue of structure .Sp(2m, 2) have arisen in recent years in connection with the construction of orthogonal spreads, Kerdock sets, packings in Grassmannian spaces, quantum codes, Siegel modular forms and spherical designs. In this paper we give a simpler proof of Runge@apos;s 1996 result that the space of invariants for of degree 2k is spanned by the complete weight enumerators of the codes , where C ranges over all binary self-dual codes of length 2k; these are a basis if m k - 1. We also give new constructions for L _m and : let M be the -lattice with Gram matrix . Then L _m is the rational part of M ^m, and = Aut(M^m). Also, if C is a binary self-dual code not generated by vectors of weight 2, then is precisely the automorphism group of the complete weight enumerator of . There are analogues of all these results for the complex group , with doubly-even self-dual code instead of self-dual code.     

Le théorème limite central pour des sommes de Riesz-Raikov

Summary Let be an algebraic number greater than 1 andf a real 1-periodic function; ifF _N denotes the random variable defined on [0, 1] byF _N (t) , it is proved here that under sufficiently broad assumptions onf: 1) the sequence converges to a finite ²(0); 2) if >0, the sequence {F _N } converges in law to . We give an explicit computation of with respect to and a characterisation of functions for which =0.(Our results are also valid for almost every real >1).     

Partial t-Spreads in PG(2t+1,q)

This article first of all discusses the problem of the cardinality of maximal partial spreads in PG(3,q), q square, q>4. Let r be an integer such that 2rq+1 and such that every blocking set of PG(2,q) with at most q+r points contains a Baer subplane. If S is a maximal partial spread of PG(3,q) with q ²-1-r lines, then r=s( +1) for an integer s2 and the set of points of PG(3,q) not covered byS is the disjoint union of s Baer subgeometriesPG(3, ). We also discuss maximal partial spreads in PG(3,p ³), p=p ₀ ^h , p ₀ prime, p ₀ 5, h 1, p 5. We show that if p is non-square, then the minimal possible deficiency of such a spread is equal to p ²+p+1, and that if such a maximal partial spread exists, then the set of points of PG(3,p ³) not covered by the lines of the spread is a projected subgeometryPG(5,p) in PG(3,p ³). In PG(3,p ³),p square, for maximal partial spreads of deficiency p ²+p+1, the combined results from the preceding two cases occur. In the final section, we discuss t-spreads in PG(2t+1,q), q square or q a non-square cube power. In the former case, we show that for small deficiencies , the set of holes is a disjoint union of subgeometries PG(2t+1, ), which implies that 0 (mod +1) and, when (2t+1)( -1) <q-1, that 2( +1). In the latter case, the set of holes is the disjoint union of projected subgeometries PG(3t+2, ) and this implies 0 (mod q ^2/3+q ^1/3+1). A more general result is also presented.