Classification of 4-dimensional homogeneous D’Atri spaces

The property of being a D’Atri space (i.e., a space with volume-preserving symmetries) is equivalent to the infinite number of curvature identities called the odd Ledger conditions. In particular, a Riemannian manifold (M, g) satisfying the first odd Ledger condition is said to be of type . The classification of all 3-dimensional D’Atri spaces is well-known. All of them are locally naturally reductive. The first attempts to classify all 4-dimensional homogeneous D’Atri spaces were done in the papers by Podesta-Spiro and Bueken-Vanhecke (which are mutually complementary). The authors started with the corresponding classification of all spaces of type , but this classification was incomplete. Here we present the complete classification of all homogeneous spaces of type in a simple and explicit form and, as a consequence, we prove correctly that all homogeneous 4-dimensional D’Atri spaces are locally naturally reductive. The first author’s work has been partially supported by D.G.I. (Spain) and FEDER Project MTM 2004-06015-C02-01, by a grant AVCiTGRUPOS03/169 and by a Research Grant from Ministerio de Educación y Cultura. The second author’s work has been supported by the grant GA ČR 201/05/2707 and it is part of the research project MSM 0021620839 financed by the Ministry of Education (MŠMT).     

Polynomial solutions of quasi-homogeneous partial differential equations

By means of a method of analytic number theory the following theorem is proved. Letp be a quasi-homogeneous linear partial differential operator with degreem,m > 0, w.r.t a dilation given by ( a₁, …, a_n). Assume that either a₁, …, a_n are positive rational numbers or for some Then the dimension of the space of polynomial solutions of the equationp[u] = 0 on ℝⁿ must be infinite     

NOTES ON GLAISHER＇S CONGRUENCES

Let p be an odd prime and let n≥1,k≥0 and r be integers,denote by Bk the kth Bernoulli number,It is proved that(i) If r≥1 is odd and suppose 1≥r+4,then ∑j=1^p-1 1/(np+j)^r=-(2n+1)r(r+1)/2(r+2)Bp-r-2p^2(mod p^3).(ii)If r≥2 is even and suppose p≥r+3, then p-1∑j=1 1/(np+j)^r=r/r+1Bv-r-1p(mod P^2).(iii) p-1∑j=1 1/(np+j)p-2=-(2n+1)p(mod P^2).This result generalizes the Glaisher‘s congruence. As a corollary, a generalization of the Wolsten-holme‘s theorem is obtained.     

Homological Connectivity Of Random 2-Complexes

Let Δ_n−1 denote the (n − 1)-dimensional simplex. Let Y be a random 2-dimensional subcomplex of Δ_n−1 obtained by starting with the full 1-dimensional skeleton of Δ_n−1 and then adding each 2−simplex independently with probability p. Let denote the first homology group of Y with mod 2 coefficients. It is shown that for any function ω(n) that tends to infinity

Analytic normal basis theorem

Let p be a prime number, ℚ _p the field of p-adic numbers, and a fixed algebraic closure of ℚ _p . We provide an analytic version of the normal basis theorem which holds for normal extensions of intermediate fields ℚ _p ⊆ K ⊆ L ⊆ .      

A separation theorem and Serre duality for the Dolbeault cohomology

LetX be a complex manifold with finitely many ends such that each end is eitherq-concave or (n−q)-convex. If , then we prove thatH ^pn−q (X) is Hausdorff for allp. This is not true in general if (Rossi’s example withn=2 andq=1). If all ends areq-concave, then this is the classical Andreotti-Vesentini separation theorem (and holds also for ). Moreover the result was already known in the case when theq-concave ends can be ‘filled in’ (again also for ). To prove the result we first have to study Serre duality for the case of more general families of supports (instead of the family of all closed sets and the family of all compact sets) which is the main part of the paper. At the end we give an application to the extensibility of CR-forms of bidegree (p, q) from (n−q)-convex boundaries, . This research was partially supported by TMR Research Network ERBFMRXCT 98063.     

The orders of nonsingular derivations of Lie algebras of characteristic two

Nonsingular derivations of modular Lie algebras which have finite multiplicative order play a role in the coclass theory for pro-p groups and Lie algebras. A study of the set of positive integers which occur as orders of nonsingular derivations of finite-dimensional nonnilpotent Lie algebras of characteristic p > 0 was initiated by Shalev and continued by the present author. In this paper we continue this study in the case of characteristic two. Among other results, we prove that any divisor n of 2^k − 1 with n ⁴ > (2^k − n)³ belongs to . Our methods consist of elementary arguments with polynomials over finite fields and a little character theory of finite groups. This work was partially supported by Ministero dell’Istruzione e dell’Università, Italy, through PRIN “Graded Lie algebras and pro-p-groups of finite width”.     

Generalized Browder’s Theorem and SVEP

A bounded operator a Banach space, is said to verify generalized Browder’s theorem if the set of all spectral points that do not belong to the B-Weyl’s spectrum coincides with the set of all poles of the resolvent of T, while T is said to verify generalized Weyl’s theorem if the set of all spectral points that do not belong to the B-Weyl spectrum coincides with the set of all isolated points of the spectrum which are eigenvalues. In this article we characterize the bounded linear operators T satisfying generalized Browder’s theorem, or generalized Weyl’s theorem, by means of localized SVEP, as well as by means of the quasi-nilpotent part H ₀(λI − T) as λ belongs to certain subsets of . In the last part we give a general framework for which generalized Weyl’s theorem follows for several classes of operators.     

Strongly Singular Integral Operators on Weighted Hardy Space

In this paper, we obtain that a strongly singular integral operator is bounded on space for 1 < p < ∞. We also obtain that a strongly singular integral operator is a bounded operator from to for some weight w and 0 < p ≤ 1. And by an atomic decomposition, we obtain that a strongly singular integral operator is a bounded operator on for some w and 0 < p ≤ 1. Supported by National 973 Program of China (Grant No. 19990751)     

On the Convergence of Products γ^-sh1hn in the Adams Spectral Sequence

Abstract Let A be the mod p Steenrod algebra and S the sphere spectrum localized at p, where p is an odd prime. In 2001 Lin detected a new family in the stable homotopy of spheres which is represented by （b0hn-h1bn-1）∈ ExtA^3,（p^n＋p）q（Zp,Zp） in the Adams spectral sequence. At the same time, he proved that i.（hlhn） ∈ExtA^2,（p^n＋P）q（H^＊M, Zp） is a permanent cycle in the Adams spectral sequence and converges to a nontrivial element ξn∈π（p^n＋p）q-2M. In this paper, with Lin＇s results, we make use of the Adams spectral sequence and the May spectral sequence to detect a new nontrivial family of homotopy elements jj′j^-γsi^-i′ξn in the stable homotopy groups of spheres. The new one is of degree p^nq ＋ sp^2q ＋ spq ＋ （s - 2）q ＋ s - 6 and is represented up to a nonzero scalar by hlhnγ-s in the E2^s＋2,＊-term of the Adams spectral sequence, where p ≥ 7, q = 2（p - 1）, n ≥ 4 and 3 ≤ s 〈 p.     

Strong Approximation by Cesàro Means with Critical Index in the Hardy Spaces H p (\mathbb{S}^{{d - 1}} ) (0 < p ≤ 1)

Let be a unit sphere of the d–dimensional Euclidean space ℝ ^d and let (0 < p ≤ 1) denote the real Hardy space on For 0 < p ≤ 1 and let E _j (f,H ^p ) (j = 0, 1, ...) be the best approximation of f by spherical polynomials of degree less than or equal to j, in the space Given a distribution f on its Cesàro mean of order δ > –1 is denoted by For 0 < p ≤ 1, it is known that is the critical index for the uniform summability of in the metric H ^p . In this paper, the following result is proved: Theorem Let 0<p<1 and Then for

Tolokonnikov’s Lemma for Real H ∞ and the Real Disc Algebra

We prove Tolokonnikov’s Lemma and the inner-outer factorization for the real Hardy space , the space of bounded holomorphic (possibly operator-valued) functions on the unit disc all of whose matrix-entries (with respect to fixed orthonormal bases) are functions having real Fourier coefficients, or equivalently, each matrix entry f satisfies for all z ∈ . Tolokonnikov’s Lemma for means that if f is left-invertible, then f can be completed to an isomorphism; that is, there exists an F, invertible in , such that F = [ f f _c ] for some f _c in . In control theory, Tolokonnikov’s Lemma implies that if a function has a right coprime factorization over , then it has a doubly coprime factorization in . We prove the lemma for the real disc algebra as well. In particular, and are Hermite rings. The work of the first author was supported by Magnus Ehrnrooth Foundation. Received: December 5, 2006. Revised: February 4, 2007.     

Maximal subclasses of local fitting classes

A Fitting class $ \mathfrak{F} A Fitting class is said to be π-maximal if is an inclusion maximal subclass of the Fitting class of all finite soluble π-groups. We prove that is a π-maximal Fitting class exactly when there is a prime p ∊ π such that the index of the -radical in G is equal to 1 or p for every π-subgroup of G. Hence, there exist maximal subclasses in a local Fitting class. This gives a negative answer to Skiba’s conjecture that there are no maximal Fitting subclasses in a local Fitting class (see [1, Question 13.50]). Original Russian Text Copyright ? 2008 Savelyeva N. V. and Vorob’ev N. T. __________ Vitebsk. Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 49, No. 6, pp. 1411–1419, November–December, 2008.     

Toward logarithmic extensions of $$\widehat{s\ell }(2)_k $$ conformal field models

For positive integers p = k + 2, we construct a logarithmic extension of the conformal field theory of integrable representations by taking the kernel of two fermionic screening operators in a butterfly resolution of a three-boson realization of . The currents W⁻(z) and W⁺(z) of a W-algebra acting in the kernel are determined by a highest-weight state of dimension 4p − 2 and charge 2p − 1 and by a (θ=1)-twisted highest-weight state of the same dimension 4p − 2 and opposite charge −2p+1. We construct 2p W-algebra representations, evaluate their characters, and show that together with the p−1 integrable representation characters, they generate a modular group representation whose structure is described as a deformation of the (9p−3)-dimensional representation R _p+1⊕ℂ²⊗R _p+1ʕR _p−1⊕ℂ² R _p−1⊕ℂ³ R _p−1, where R _p−1 is the SL(2, ℤ)-representation on integrable-representation characters and R _p+1 is a (p+1)-dimensional SL(2, ℤ)-representation known from the logarithmic (p, 1) model. The dimension 9p − 3 is conjecturally the dimension of the space of torus amplitudes, and the ℂⁿ with n = 2 and 3 suggest the Jordan cell sizes in indecomposable W-algebra modules. We show that under Hamiltonian reduction, the W-algebra currents map into the currents of the triplet W-algebra of the logarithmic (p, 1) model. __________ Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 153, No. 3, pp. 291–346, December, 2007.     

On the relation of Voevodsky’s algebraic cobordism to Quillen’s <Emphasis Type="Italic">K</Emphasis>-theory

Quillen’s algebraic K-theory is reconstructed via Voevodsky’s algebraic cobordism. More precisely, for a ground field k the algebraic cobordism P¹-spectrum MGL of Voevodsky is considered as a commutative P¹-ring spectrum. Setting we regard the bigraded theory MGL ^p,q as just a graded theory. There is a unique ring morphism which sends the class [X]_MGL of a smooth projective k-variety X to the Euler characteristic of the structure sheaf . Our main result states that there is a canonical grade preserving isomorphism of ring cohomology theories

Quasi-reflection algebras and cyclotomic associators

We develop a cyclotomic analogue of the theory of associators. Using a trigonometric version of the universal KZ equations, we prove the formality of a morphism , where B _n ¹ is a braid group of type B. The formality isomorphism depends algebraically on a series Ψ_KZ, the “KZ pseudotwist”. We study the scheme of pseudotwists and show that it is a torsor under a group GTM(N, k), mapping to Drinfeld’s group GT(k), and whose Lie algebra is isomorphic to its associated graded (N, k). We prove that Ihara’s subgroup GTK of the Grothendieck–Teichmüller group, defined using distribution relations, in fact coincides with it. We show that the subscheme of pseudotwists satisfying distribution relations is a subtorsor. We study the corresponding analogue (N, k) of (N, k); it is a graded Lie algebra with an action of , and we give a lower bound for the character of its space of generators.      

The Hardy-Littlewood theorem for trigonometric series with generalized monotone coefficients

Earlier we introduced a continuous scale of monotony for sequences (classes M _α, α ≥ 0), where, for example, M ₀ is the set of all nonnegative vanishing sequences, M ₁ is the class of all nonincreasing sequences, tending to zero, etc. In addition, we extended several results obtained for trigonometric series with monotone convex coefficients onto more general classes. The main result of this paper is a generalization of the well-known Hardy—Littlewood theorem for trigonometric series, whose coefficients belong to classes M _α, where α ∈ ( $ \tfrac{1} {2} Earlier we introduced a continuous scale of monotony for sequences (classes M _α, α ≥ 0), where, for example, M ₀ is the set of all nonnegative vanishing sequences, M ₁ is the class of all nonincreasing sequences, tending to zero, etc. In addition, we extended several results obtained for trigonometric series with monotone convex coefficients onto more general classes. The main result of this paper is a generalization of the well-known Hardy—Littlewood theorem for trigonometric series, whose coefficients belong to classes M _α, where α ∈ (, 1). Namely, the following assertion is true. Let α ∈ (, 1), < p < 2, a sequence a ∈ M _α, and . Then the series cos nx converges on (0,2π) to a finite function f(x) and f(x) ∈ L _p (0,2π). Original Russian Text ? M.I. D’yachenko, 2008, published in Izvestiya Vysshikh Uchebnykh Zavedenii, Matematika, 2008, No. 5, pp. 38–47.     

Nonisospectral flows on semiinfinite unitary block Jacobi matrices

It is proved that if the spectrum and the spectral measure of a unitary operator generated by a semiinfinite block Jacobi matrix J(t) vary appropriately, then the corresponding operator J(t) satisfies the generalized Lax equation , where Φ(gl, t) is a polynomial in λ and with t-dependent coefficients and is a skew-symmetric matrix. The operator J(t) is analyzed in the space ℂ ⊕ ℂ² ⊕ ℂ² ⊕ …. It is mapped into the unitary operator of multiplication L(t) in the isomorphic space , where . This fact enables one to construct an efficient algorithm for solving the block lattice of differential equations generated by the Lax equation. A procedure that allows one to solve the corresponding Cauchy problem by the inverse-spectral-problem method is presented. The article contains examples of block difference-differential lattices and the corresponding flows that are analogs of the Toda and the van Moerbeke lattices (from the self-adjoint case on ℝ) and some notes about the application of this technique to the Schur flow (the unitary case on and the OPUC theory). Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 4, pp. 521–544, April, 2008.     

Small gaps between primes

Combining Goldston-Yildirim’s method on k-correlations of the truncated von Mangoldt function with Maier’s matrix method, we show that for all r ≧ 1 where p _n denotes the nth prime number and γ is Euler’s constant. This is the best known result for any r ≧ 11.      

Spaces ofp-vectors of bounded rank

LetV be ann-dimensional space over an infinite field of characteristic different from 2. Therank ofw ∈ Λ ^p V is the minimal dimension of a subspaceU ⊂V such thatw ∈ Λ ^p U. Extending a well-known result on linear spaces in the Grassmannian, it is shown that ifp≤k<n then the maximal dimension of a subspaceW ⊂ Λ ^p V such that rankw≤k for allω ∈W is where∈=1 ifk=p orp=2|k,∈=0 otherwise, andm satisfies . Supported by The Israel Science Foundation founded by the Academy of Sciences and Humanities.