Connected subgroups of SO(2, n) acting irreducibly on ?2,n

We classify all connected subgroups of SO(2, n) that act irreducibly on ℝ^{2, n} . Apart from SO ₀(2, n) itself these are U(1, n/2), SU(1, n/2), if n even, S ¹ · SO(1, n/2) if n even and n ≥ 2, and SO ₀(1, 2) for n = 3. Our proof is based on the Karpelevich Theorem and uses the classification of totally geodesic submanifolds of complex hyperbolic space and of the Lie ball. As an application we obtain a list of possible irreducible holonomy groups of Lorentzian conformal structures, namely SO ₀(2, n), SU(1, n), and SO ₀(1, 2).     

Asymptotics of the Best Polynomial Approximation of?|x|p and?of?the Best Laurent Polynomial Approximation of sgn(x) on Two Symmetric Intervals

We present a new method that allows us to get a direct proof of the classical Bernstein asymptotics for the error of the best uniform polynomial approximation of |x| ^p on two symmetric intervals. Note that, in addition, we get asymptotics for the polynomials themselves under a certain renormalization. Also, we solve a problem on asymptotics of the best approximation of sgn(x) on [−1,−a]∪[a,1] by Laurent polynomials.      

关于f+a(f(k))n值分布的一个注记

本文研究亚纯函数的值分布问题.利用值分布理论,获得了一个带精简密指量的模分布的不等式,改进了Xu和Yang等人的结果.     

On irreducible characters of the group Sn that are semiproportional on An or Sn?An. II

In the author’s previous paper, the hypothesis that the alternating groups A _n have no pairs of semiproportional irreducible characters is reduced to a hypothesis concerning the problem of describing the pairs of irreducible characters of the symmetric group S _n that are semiproportional on one of the sets A _n or S _n ∖A _n . In this hypothesis, properties of such a pair of characters are expressed in terms of Young’s diagrams corresponding to these characters. The theorem proved in this paper allows one to exclude from consideration some stages of the verification of this hypothesis.     

On the subspace L((x ∧ y)m) of Sm(∧2?4)

We take the exterior power ℝ⁴ ∧ ℝ⁴ of the space ℝ⁴, its mth symmetric power V = S ^m (∧²ℝ⁴) = (ℝ⁴ ∧ ℝ⁴) ∨ (ℝ⁴ ∧ ℝ⁴) ∨ ... ∨(ℝ⁴ ∧ ℝ⁴), and put V ₀ = L((x ∧ y)∨ ... ∨(x ∧ y): x, y ∈ ℝ⁴). We find the dimension of V ₀ and an algorithm for distinguishing a basis for V ₀ efficiently. This problem arose in vector tomography for the purpose of reconstructing the solenoidal part of a symmetric tensor field. Original Russian Text Copyright ? 2009 Gubarev V. Yu. The author was supported by the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grant NSh-344.2008.1). __________ Novosibirsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 50, No. 3, pp. 503–514, May–June, 2009.     

KO?i groups of G3(?n), n odd

We use the work of Karoubi and Mudrinski on the real Grothendieck's groups of certain complex projective bundles to show that the torsion of the KO ^–i groups of G ₃( ⁿ ), n odd, are related to the known torsion of the KO ^–i groups of G₂( ⁿ ).     

Complete description of invariant Einstein metrics on the generalized flag manifold SO(2n)/U(p)?× U(n ? p)

We find the precise number of non-K?hler SO(2n)-invariant Einstein metrics on the generalized flag manifold M = SO(2n)/U(p)×U(n−p) with n ≥ 4 and 2 ≤ p ≤ n−2. We use an analysis on parametric systems of polynomial equations and we give some insight towards the study of such systems. We also examine the isometric problem for these Einstein metrics.     

On the description of overgroups of E(m,R)?E(n,R)

The subgroups E(m,R) ⊗ E(n,R) ≤ H ≤ G = GL(mn,R) are studied under the assumption that the ring R is commutative and m, n ≥ 3. The group GL _m ⊗GL _n is defined by equations, the normalizer of the group E(m,R) ⊗ E(n,R) is calculated, and with each intermediate subgroup H it is associated a uniquely determined lower level (A,B,C), where A,B,C are ideals in R such that mA,A ² ≤ B ≤ A and nA,A ² ≤ C ≤ A. The lower level specifies the largest elementary subgroup satisfying the condition E(m, n,R, A,B,C) ≤ H. The standard answer to this problem asserts that H is contained in the normalizer N _G (E(m,n,R, A,B,C)). Bibliography: 46 titles.     

Extensions of the D(?k2)-triples {k2, k2 ± 1, 4k2 ± 1}

Let n be a nonzero integer. A set of m distinct positive integers is called a D(n)-m-tuple if the product of any two of them increased by n is a perfect square. Let k be a positive integer. In this paper, we show that if {k ², k ² + 1, 4k ² + 1, d} is a D(−k ²)-quadruple, then d = 1, and that if {k ² − 1, k ², 4k ² − 1, d} is a D(k ²)-quadruple, then d = 8k ²(2k ² − 1).     

On the Diophantine Equation G n ( x )?= G m ( P ( x ))

 Let K be a field of characteristic 0 and let p, q, G ₀ , G ₁ , P ∈K[x], deg P ⩾ 1. Further, let the sequence of polynomials (G _n (x)) _n=0 ^∞ be defined by the second order linear recurring sequence

S(Hn)上的满数值半径等距

本文研究了矩阵空间到自身的满数值半径等距问题. 利用等距嵌入方法, 获得了自共轭矩阵空间单位球面到自身的满数值半径等距可实线性延拓至全空间上的满数值半径等距, 为Tingley等距延拓问题提供了一种方法.     

On the Diophantine Equation G n ( x )?= G m ( P ( x ))

 Let K be a field of characteristic 0 and let p, q, G ₀ , G ₁ , P ∈K[x], deg P ⩾ 1. Further, let the sequence of polynomials (G _n (x)) _n=0 ^∞ be defined by the second order linear recurring sequence

Topological hochschild homology of extensions of ?/p? by polynomials, and of ?[x]/(xn) and ?[x]/(xn?1)

Topological Hochschild homology is calculated for the rings /p[x]/(f(x)) (where p is prime and f(x) /p[x] any polynomial), [x]/(x ⁿ) and [x]/(x ⁿ–1). A spectral sequence argument is used for calculating the homology of the topological Hochschild homology spectrum, from which its stable homotopy structure can be read off since the spectrum is known for a priori reasons to be a restricted product of Eilenberg-MacLane spectra.     

The Lindel?f number of Cp(X)×Cp(X) for strongly zero-dimensional X

We prove that if X is a strongly zero-dimensional space, then for every locally compact second-countable space M, C _p (X, M) is a continuous image of a closed subspace of C _p (X). It follows in particular, that for strongly zero-dimensional spaces X, the Lindel?f number of C _p (X)×C _p (X) coincides with the Lindel?f number of C _p (X). We also prove that l(C _p (X ⁿ )^κ) ≤ l(C _p (X)^κ) whenever κ is an infinite cardinal and X is a strongly zero-dimensional union of at most κcompact subspaces.     

Two-side estimates for sums of absolute values of Fourier coefficients of functions from Hω(Tm)

The class of functions H ^ω is considered, where ω(t) is a continuity modulus monotone in the sense of Hardy and satisfying some condition C. The behavior of the value is obtained, where is the sum of absolute values of Fourier coefficients of a function f ∈ L(T ^m ) in pth power. Original Russian Text ? D.M. D’yachenko, 2008, published in Vestnik Moskovskogo Universiteta, Matematika. Mekhanika, 2008, Vol. 63, No. 3, pp. 19–26.     

Two-side estimates for sums of absolute values of Fourier coefficients of functions from Hω(Tm) with the use of partial moduli of smoothness

Two-side estimates of sums of absolute values of Fourier coefficients for functions of many variables from the classes H ^ω (T ^m ) are established in the paper with the help of partial moduli of smoothness.     

Vector subdivision schemes in (Lp(?s))r(1?p?∞) spaces

The purpose of this paper is to investigate the refinement equations of the form

Analog of a theorem of forelli for boundary values of holomorphic functions on the unit ball of ?n

Let f ∈ C ^ω (∂B ⁿ ), where B ⁿ is the unit ball of ℂ ⁿ . We prove that if a,b ? [`(B)] ⁿa,b in {overline B ^n}, a ≠ b, for every complex line L passing through one of a or b, the restricted function f|_{L ??Bⁿ}f{|_{L cap partial {B^n}}} has a holomorphic extention to the cross-section L∩B ⁿ , then f is the boundary value of a holomorphic function in B ⁿ .