On noncommutative weighted local ergodic theorems on <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-spaces

In the present paper we consider a von Neumann algebra M with a faithful normal semi-finite trace τ, and {α _t }, a strongly continuous extension to L ^p (M, τ) of a semigroup of absolute contractions on L ¹(M, τ). By means of a non-commutative Banach Principle we prove for a Besicovitch function b and x ∊ L ^p (M, τ), that the averages 1/T ∫₀ ^T b(t)α _t (x)dt converge bilateral almost uniformly in L ^p (M, τ) as T → 0. Communicated by Dénes Petz     

On the parity of the class number of an imaginary abelian field of conductor 2<Superscript><Emphasis Type="Italic">a</Emphasis></Superscript><Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">b</Emphasis></Superscript>

Let p be an odd prime number, and p^n₀{p^{n_0}} the highest power of p dividing 2 ^p−1 − 1. Let K_n=Q(z_pⁿ⁺¹){K_n={\bf Q}(\zeta_{p^{n+1}})} and L_n,j=K_n⁺(z_2^j+2){L_{n,j}=K_n^+(\zeta_{2^{j+2}})} for j ≥ 0. Let h_n^*{h_n^*} be the relative class number of K _n , and h _n,j the class number of L _n,j , respectively. Let n be an integer with n ≥ n ₀. We prove that if the ratio h_n^*/h_n-1^*{h_n^*/h_{n-1}^*} is odd, then h _n,j /h _n−1,j is odd for any j ≥ 0.     

A Noncommutative Version of <Emphasis Type="Italic">H</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> and Characterizations of Subdiagonal Algebras

Let M{\mathcal M} be a σ-finite von Neumann algebra and \mathfrak A{\mathfrak A} a maximal subdiagonal algebra of M{\mathcal M} with respect to a faithful normal conditional expectation F{\Phi} . Based on Haagerup’s noncommutative L ^p space L^p(M){L^p(\mathcal M)} associated with M{\mathcal M} , we give a noncommutative version of H ^p space relative to \mathfrak A{\mathfrak A} . If h ₀ is the image of a faithful normal state j{\varphi} in L¹(M){L^1(\mathcal M)} such that j°F = j{\varphi\circ \Phi=\varphi} , then it is shown that the closure of {\mathfrak Ah₀^\frac1p}{\{\mathfrak Ah_0^{\frac1p}\}} in L^p(M){L^p(\mathcal M)} for 1 ≤ p < ∞ is independent of the choice of the state preserving F{\Phi} . Moreover, several characterizations for a subalgebra of the von Neumann algebra M{\mathcal M} to be a maximal subdiagonal algebra are given.     

Maximal <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript>-regularity for the Laplacian on Lipschitz domains

We consider the Laplacian with Dirichlet or Neumann boundary conditions on bounded Lipschitz domains Ω, both with the following two domains of definition: , or , where B is the boundary operator. We prove that, under certain restrictions on the range of p, these operators generate positive analytic contraction semigroups on L ^p (Ω) which implies maximal regularity for the corresponding Cauchy problems. In particular, if Ω is bounded and convex and , the Laplacian with domain D ₂(Δ) has the maximal regularity property, as in the case of smooth domains. In the last part, we construct an example that proves that, in general, the Dirichlet–Laplacian with domain D ₁(Δ) is not even a closed operator. The main results of this paper are taken from the author’s Ph.D. thesis, written at the TU Darmstadt under the supervision of Prof. M. Hieber. The author wishes to thank Prof. Hieber for his guidance, encouragement and support in the last few years. Many thanks also go to Prof. C. E. Kenig for his hospitality and many ruitful discussions on the subject during a 1-year stay at the University of Chicago.     

The classification of irreducible admissible mod <Emphasis Type="Italic">p</Emphasis> representations of a <Emphasis Type="Italic">p</Emphasis>-adic GL<Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>

Let F be a finite extension of ℚ _p . Using the mod p Satake transform, we define what it means for an irreducible admissible smooth representation of an F-split p-adic reductive group over  [`( \mathbbF)]<sub>p</sub>\overline{ \mathbb{F}}_{p} to be supersingular. We then give the classification of irreducible admissible smooth GL <sub>n</sub> (F)-representations over  [`( \mathbbF)]_p\overline{ \mathbb{F}}_{p} in terms of supersingular representations. As a consequence we deduce that supersingular is the same as supercuspidal. These results generalise the work of Barthel–Livné for n=2. For general split reductive groups we obtain similar results under stronger hypotheses.     

Littlewood–Paley theorem on spaces <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis>(<Emphasis Type="Italic">t</Emphasis>)</Superscript>(ℝ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>)

We point out that if the Hardy–Littlewood maximal operator is bounded on the space L ^p(t)(ℝ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ, then the well-known characterization of the spaces L ^p (ℝ), 1 < p < ∞, by the Littlewood–Paley theory extends to the space L ^p(t)(ℝ). We show that, for n > 1 , the Littlewood–Paley operator is bounded on L ^p(t) (ℝ ⁿ ), 1 < a ≤ p(t) ≤ b < ∞, t ∈ ℝ ⁿ , if and only if p(t) = const. Published in Ukrains’kyi Matematychnyi Zhurnal, Vol. 60, No. 12, pp. 1709–1715, December, 2008.     

The dual space of <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> of a vector measure

For a vector measure ν having values in a real or complex Banach space and \({p \in}\) [1, ∞), we consider L ^p (ν) and \({L_{w}^{p}(\nu)}\), the corresponding spaces of p-integrable and scalarly p-integrable functions. Given μ, a Rybakov measure for ν, and taking q to be the conjugate exponent of p, we construct a μ-Köthe function space E _q (μ) and show it is σ-order continuous when p > 1. In this case, for the associate spaces we prove that L ^p (ν) ^×  = E _q (μ) and \({E_q(\mu)^\times = L_w^p(\nu)}\). It follows that \({L_p (\nu) ^{**} = L_w^p (\nu)}\). We also show that L ¹ (ν) ^×  may be equal or not to E _∞ (μ).     

Embeddings of non-commutative Lp-spaces into non-commutative L1-spaces, 1 < p < 2

It will be shown that for 1 < p < 2 the Schatten p-class is isometrically isomorphic to a subspace of the predual of a von Neumann algebra. Similar results hold for non-commutative L_p(N, t) L_p(N, \tau) -spaces defined by a finite trace on a finite von Neumann algebra. The embeddings rely on a suitable notion of p-stable processes in the non-commutative setting.     

On the π-function for nonconvex <Emphasis Type="Italic">l</Emphasis><Subscript>2,<Emphasis Type="Italic">p</Emphasis></Subscript>-circle discs

For 0 < p < 1, circle numbers π(p) are defined to reflect the Euclidean area-content property A _p(r) = π(p)r ² and circumference property {ie332-01} of the l _2,p -circle discs with p-generalized radius r, where the arc-length measure {ie332-02} is based upon the nonconvex star-shaped set {ie332-03} with p** > 0 satisfying {ie332-04}. The resulting π-function extends the function p → π(p) recently defined in [2] from the case of convex discs, p ⩾ 1, to the nonconvex case 0 < p < 1. This function is continuous, increasing, and takes values in (0, 2). The presented approach can be considered as reflecting a modified method of indivisibles in the sense that the indivisibles are the l _2,p -circles and that integrating their S(p**)-arc-lengths is equivalent to measuring the Euclidean area content.     

Estimation of the norm of the derivative of a monotone rational function in the spaces <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We show that the derivative of an arbitrary rational function R of degree n that increases on the segment [−1, 1] satisfies the following equality for all 0 < ε < 1 and p, q > 1:

The mixed problem in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">p</Emphasis></Superscript> for some two-dimensional Lipschitz domains

We consider the mixed problem,

Some cyclic codes of length 2<Emphasis Type="Italic">p</Emphasis><Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

Explicit expressions for 4n + 2 primitive idempotents in the semi-simple group ring $R_{2p^{n}}\equiv \frac{GF(q)[x]}{p and q are distinct odd primes; n ≥ 1 is an integer and q has order \fracf(2pⁿ)2{\frac{\phi(2p^{n})}{2}} modulo 2p ⁿ . The generator polynomials, the dimension, the minimum distance of the minimal cyclic codes of length 2p ⁿ generated by these 4n + 2 primitive idempotents are discussed. For n = 1, the properties of some (2p, p) cyclic codes, containing the above minimal cyclic codes are analyzed in particular. The minimum weight of some subset of each of these (2p, p) codes are observed to satisfy a square root bound.     

Integration of the lifting formulas and the cyclic homology of the algebras of differential operators

We integrate the Lifting cocycles Y_2n+1, Y_2n+3, Y_2n+5,? ([Sh1,2]) \Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,([\rm Sh1,2]) on the Lie algebra Dif_n of holomorphic differential operators on an n-dimensional complex vector space to the cocycles on the Lie algebra of holomorphic differential operators on a holomorphic line bundle l \lambda on an n-dimensional complex manifold M in the sense of Gelfand--Fuks cohomology [GF] (more precisely, we integrate the cocycles on the sheaves of the Lie algebras of finite matrices over the corresponding associative algebras). The main result is the following explicit form of the Feigin--Tsygan theorem [FT1]:¶¶ H^·_Lie(\frak g\frak l^fin_￥(Dif_n);\Bbb C) = ù^·(Y_2n+1, Y_2n+3, Y_2n+5,? ) H^\bullet_{\rm Lie}({\frak g}{\frak l}^{\rm fin}_\infty({\rm Dif}_n);{\Bbb C}) = \wedge^\bullet(\Psi_{2n+1}, \Psi_{2n+3}, \Psi_{2n+5},\ldots\,) .     

On the directions problem in <Emphasis Type="Italic">AG</Emphasis>(<Emphasis Type="Italic">n</Emphasis>, <Emphasis Type="Italic">q</Emphasis>)

We prove that if q = p ^h , p a prime, do not exist sets U í AG(n,q){U {\subseteq} AG(n,q)}, with |U| = q ^k and 1 < k < n, determining N directions where

A note on <Emphasis Type="Italic">n</Emphasis>! modulo <Emphasis Type="Italic">p</Emphasis>

Let p be a prime, \(\varepsilon >0\) and \(0<L+1<L+N < p\). We prove that if \(p^{1/2+\varepsilon }< N <p^{1-\varepsilon }\), then

$$\begin{aligned} \#\{n!\,\,({\mathrm{mod}} \,p);\,\, L+1\le n\le L+N\} > c (N\log N)^{1/2},\,\, c=c(\varepsilon )>0. \end{aligned}$$

We use this bound to show that any \(\lambda \not \equiv 0\ ({\mathrm{mod}}\, p)\) can be represented in the form \(\lambda \equiv n_1!\cdots n_7!\ ({\mathrm{mod}}\, p)\), where \(n_i=o(p^{11/12})\). This refines the previously known range for \(n_i\).

     

A note on <Emphasis Type="Italic">p</Emphasis>-groups of order ≤ <Emphasis Type="Italic">p</Emphasis><Superscript>4</Superscript>

In [1], we defined c(G), q(G) and p(G). In this paper we will show that if G is a p-group, where p is an odd prime and |G| ≤ p ⁴, then c(G) = q(G) = p(G). However, the question of whether or not there is a p-group G with strict inequality c(G) = q(G) < p(G) is still open.     

Lacunary Strong (<Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">σ</Emphasis></Subscript><Emphasis Type="Italic">, p</Emphasis>)-Convergence

The definition of lacunary strongly convergence is extended to the definition of lacunary strong (A _σ , p)-convergence with respect to invariant mean when A is an infinite matrix and p = (p _i ) is a strictly positive sequence. We study some properties and inclusion relations.     

On Clarkson's inequality,type and cotype for the Edmunds-Triebel logarithmic spaces

We show that the (p, p') Clarkson's inequality holds in the Edmunds-Triebel logarithmic spaces A_q(logA)_b,q A_{\theta}({\log}A)_{b,q} and in the Zygmund spaces L_p(logL)_b(W) L_p({\log}L)_b(\Omega) , for b ? \mathbbR b \in \mathbb{R} and for suitable 1 ￡ p ￡ 2 1 \leq p \leq 2 . As a consequence of these results we also obtain some new information about the types and the cotypes of these spaces.     

THE GLOBAL APPROXIMATION BY LEFT-BERNSTEIN-DURRMEYER QUASI-INTERPOLANTS IN Lp[0, 1]

In this paper,we will use the 2r-th Ditzian-Totik modulus of smoothness wp^2r(f,t)p to discuss the direct and inverse theorem of approximation by Left-Bernstein-Durrmeyer quasi-interpolants Mn^[2r-1]f for functions of the space Lp[0,1](1≤p≤ ∞)。     

On Transference of Multipliers on Matrix Weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Spaces

We consider a periodic matrix weight W defined on ℝ ^d and taking values in the N×N positive-definite matrices. For such weights, we prove transference results between multiplier operators on L _p (ℝ ^d ;W) and L_p(\mathbb T^d;W)L_{p}(\mathbb {T}^{d};W), 1<p<∞, respectively. As a specific application, we study transference results for homogeneous multipliers of degree zero.