Une variante à la Coxeter du groupe de Steinberg

LetG _n ()be the semi-direct product of the symmetric groupS _n by the Steinberg groupSt _n ()of a ringWe first prove thatG _n ()has a Coxeter-type presentation. The canonical morphism St _n () GL _n ()extends to a group homo G_n() GL _n ()We next determine the kernel of for n = We also give an expression for the generator of the algebraic K group K ₂(Z)of the integers in terms of permutation matrices.     

Some expansion formulae for Fox'sH-function of two variables involving associated Legendre functions

H- .     

Orthogonal systems invariant under an automorphism

, , - ( ) . , - , ( ) .     

On equivalence of rearrangements of the Haar system in dyadic Hardy and BMO spaces

H={h ₁,I } — , . : , I ¦(I)¦=¦I¦, ¦I¦ — I. H H ={h _(I),I} . , , . L ^p .

---

---

Dedicated to Professor B. Szökefalvi-Nagy on his 75th birthday

---

This research was supported in part by MTA-NSF Grants INT-8400708 and 8620153.     

Improvement of the Nash-Tognoli theorem

Let be a smooth closed manifold in ⁿ. The Nash-Tognoli theorem says that M can be arbitrarily well approximated (in the C^r-topology with r < ) in ⁿ by a nonsingular real algebraic set under the condition that dim <(n-1)/2 There is a familiar conjecture, going back at least to Nash, that the restriction on dim in the Nash-Tognoli theorem is unnecessary. However, up to now in unstable dimensions [i.e., for dim (n-1)/2 ] the possibility of approximating was known only for orientable of codimension (in ⁿ) 1 or 2. The goal of the paper is to prove the following theorem, relaxing the restriction on dim in the Nash-Tognoli theorem to dim M<(2n-1)/3. If is a smooth closed manifold in IK and dim M<(2n–1)/3, then can be arbitrarily well approximated in ⁿ by a nonsingular real algebraic set.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 122, pp. 66–71, 1982.     

Zeros of the densities of infinitely divisible measures on R n

Let be an infinitely divisible probability measure onR ⁿ without Gaussian component and let be its Lévy measure. Suppose that is absolutely continuous with respect to the Lebesgue measure . We investigate the structure of the set ⁿ of admissible translates of . This yields a unified presentation of previously known results. We also show that if(S)>0 then is equivalent to , under the assumption that supp =R ⁿ , whereS is the closure of the semigroup generated by the support of .The research of this author is supported by KBN Grant.The research of this author is supported by AFSOR Grant No. 90-0168, and the University of Tennessee Science Alliance, a State of Tennessee Center of Excellence.     

Fibred links and a construction of real singularities via complex geometry

This note gives a method for constructing real analytic maps from ²ⁿ into ², with an isolated critical point at 0 ²ⁿ , for alln>1. This provides infinite families of real singularities which fiber a la Milnor.Research partially supported by CONACYT, Mexico, grant 1206-E92103.     

Topological classification of nonhomogeneous differential equations

For topological classification of nonhomogeneous equations, a new definition of the topological equivalence of nonautonomous equations is introduced. It is proved that a nonhomogeneous equation is topologically equivalent to the standard equation x=–x, y=y, (x, y)ⁿ, under the condition of the -dichotomy of the homogeneous equation.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 42, No. 3, pp. 423–426, March, 1990.     

Rate of approximation by rectangular partial sums of double orthogonal series

( ) . .

---

---

Dedicated to Professor K. Tandori on his seventieth birthday

---

This research was supported in part by Grant # K41 100 of the Joint Fund of the Government of Ukraine and the International Science Foundation.     

Controllability of linear systems,differential geometry curves in grassmannians and generalized grassmannians,and riccati equations

We study the linear system =Ax+Bu from a differential geometric point of view. It is well-known that controllability of the system is related to the one-parameter family of operators e^t B. We use this to give a proof of the classical controllability conditions in terms of the differential geometry of certain curves in ⁿ. We then view (t)=Im(e^t B) as a curve in appropriate Grassmannian and see that, in local coordinates, is an integral curve of the flow induced by a matrix Riccati equation. We obtain qualitative geometric conditions on that are equivalent to the controllability of the system. To get quantitiative results, we lift to a curve l' in a splitting space, a generalized Grassmannian, which has the advantage of being a reductive homogeneous space of the general linear group, GL(ⁿ). Explicit and simple expressions concerning the geometry of are computed in terms of the Lie algebra of GL(ⁿ), and these are related to the controllability of the system.James Wolper was a visiting professor in the Department of Mathematics at Texas Tech University while much of this research was conducted. He would like to express appreciation for the hospitality he received during his visit.     

Variations on the theme of repeated distances

We give an asymptotically sharp estimate for the error term of the maximum number of unit distances determined byn points in ^{d, d}4. We also give asymptotically tight upper bounds on the total number of occurrences of the favourite distances fromn points in ^{d, d}4. Related results are proved for distances determined byn disjoint compact convex sets in ².At the time this paper was written, both authors were visiting the Technion — Israel Institute of Technology.     

Perturbation of the poles of the scattering matrix under variation of the boundary condition

The behavior of the poles z_n(), n=1,2,... of the scattering matrix of the operatorl u=–u(x), x , (u/n)+(x)u|=0 as 0 is considered. It is proved that |z_n()–z_n|=0(^(1/2)qn), where q_n is the order of the pole of the scattering matrix for the operator ₀u=–u, u/=0.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 117, pp. 183–191, 1981.     

Eine Bemerkung zu den höheren Pythagoraszahlen reeller Körper

Becker has shown in [1] that for the 4-th Pythagoras number of the field (X) the inequality P₄ ((X)) 36 holds. In this paper we will show P₄ ((X)) 24 and P₄ (K) 3 for all real pythagorean fields K.     

On a Class of Convex Sets and Functions

Given a convex subset C of ⁿ, the set-valued mapping C (where 0C is, by convention, the recession cone of C) is increasing on ₊ if and only if C contains the origin, and decreasing on ₊ if and only if C is contained in its recession cone. This simple fact enables us to define a binary operation which combines a concave or convex function on ^m with a convex subset of ⁿ to produce a convex subset of ^n+m. This binary operation is the set theoretic counterpart of a functional operation introduced by the author. In this paper, we present a detailed study of the class of convex subsets which are contained in their recession cones, and we establish some remarkable properties of our binary operation.Mathematics Subject Classifications (2000) 26A51, 26B25, 26E25.     

Exceptional Sequences in Hall Algebras and Quantum Groups

Let be a finite-dimensional hereditary algebra over a finite field k, () and () be, respectively, the Hall algebra and the composition algebra of , be the isomorphism classes of finite dimensional -modules and I the isomorphism classes of simple -modules. We define and , in , to be the right and left derivations of () respectively. By using these derivations and the action of the braid group on the set of exceptional sequences of -mod, we provide an effective algorithm of calculating the root vectors of real Schur roots. This means that we get an inductive method to express u as the combinations of elements u_i in the Hall algebra, where i I and in is any exceptional -module. Because of the canonical isomorphism between the Drinfeld–Jimbo quantum group and the generic composition algebra, our algorithm is applicable directly to quantum groups. In particular, all the root vectors are obtained in this way in the finite type cases.     

On the domain dependence of solutions to the two-phase Stefan problem

We prove that solutions to the two-phase Stefan problem defined on a sequence of spatial domains _n ^N converge to a solution of the same problem on a domain where is the limit of _n in the sense of Mosco. The corresponding free boundaries converge in the sense of Lebesgue measure on ^N.     

Interpolation and best polynomial approximation in the domain ofp-adic integers

, , . , . Lip

---

---

The authors are indebted to Professor R. Bojanic for his valuable remarks and suggestions, especially for the simplification of the proof of Theorem 4.     

Spectral pairs in cartesian coordinates

Let ^d have finite positive Lebesgue measure, and let () be the corresponding Hilbert space of -functions on . We shall consider the exponential functionse on given bye (x)=e ^i2·x . If these functions form an orthogonal basis for (), when ranges over some subset in ^d , then we say that (, ) is a spectral pair, and that is a spectrum. We conjecture that (, ) is a spectral pair if and only if the translates of some set by the vectors of tile ^d. In the special case of =I^d, the d-dimensional unit cube, we prove this conjecture, with =I^d, for d3, describing all the tilings by I^d, and for all d when is a discrete periodic set. In an appendix we generalize the notion of spectral pair to measures on a locally compact abelian group and its dual.Acknowledgements and Notes, Work supported by the National Science Foundation.Dedicated to the memory of Irving E. Segal     

Hardy spaces of predictable martingales

, P _p Q _p .

---

---

This research was partially supported by the Hungarian Scientific Foundation.     

Isomorphism of one-place functors Ext

Let be an associative ring with identity. One considers the category of left (unitary) -modules m and also the contravariant and the covariant functors Ext ¹ ( ,A) and Ext ¹ (A, ): M_z M. One proves the following results: (1) If the homomorphism of -modules A B induces an isomorphism Ext ¹ ( ,A)Ext ¹ ( ,B), then there exist injective -modules J₁ and J₂ such that AJ₁BJ₂. (2) Every functorial morphism Ext ¹ ( ,A)Ext ¹ ( ,B) induces a certain homomorphism of -modules AB. One also obtains a dual result.Translated from Zapiski Nauchnykh Seminarov Leningradskogo Otdeleniya Matematicheskogo Instituta im. V. A. Steklova AN SSSR, Vol. 112, pp. 71–74, 1981.