On the class number of p-th cyclotomic field

Let h^[-(p)h^-(p) be the relative class number of the p-th cyclotomic field. We show that logh^-(p) = [(p+3)/4] logp - [(p)/2] log2p+ log(1-b) + O(log₂² p)\log h^-(p) = {{p+3} \over {4}} \log p - {{p} \over {2}} \log 2\pi + \log (1-\beta ) + O(\log _2^2 p), where b\beta denotes a Siegel zero, if such a zero exists and p o -1 mod 4p\equiv -1\pmod {4}. Otherwise this term does not appear.     

8-ranks of Class Groups of Some Imaginary Quadratic Number Fields

Let F = Q（√-p1p2） be an imaginary quadratic field with distinct primes p1 = p2 = 1 mod 8 and the Legendre symbol （p1/p2） = 1. Then the 8-rank of the class group of F is equal to 2 if and only Pl if the following conditions hold： （1） The quartic residue symbols （p1/p2）4 = （p2/p1）4 = 1; （2） Either both p1 and p2 are represented by the form a^2 ＋ 32b^2 over Z and p^h2＋（2p1）/4=x^2-2p1y^2,x,y∈Z,or both p1 and p2 are not represented by the form a^2 ＋ 32b^2 over Z and p^h2＋（2p1）/4=ε（2x^2-p1y^2）,x,y∈Z,ε∈{±1},where h＋（2p1） is the narrow class number of Q（√2p1）,Moreover, we also generalize these results.     

Estimates of the Solutions of Strongly Degenerate Elliptic Equations in Weighted Sobolev Spaces

Let W ì \mathbbRⁿ \Omega \subset \mathbb{R}^n be an open set and l(x) | u |_p,l = ( ò_W l^p (x)| u(x) |^p dx )^1/p \text (1 \leqslant p < + ￥\text),\left| u \right|_{p,l} = \left( {\int\limits_\Omega {l^p (x)\left| {u(x)} \right|^p dx} } \right)^{1/p} {\text{ (1}} \leqslant p < + \infty {\text{),}}     

A nontrivial product in the stable homotopy groups of spheres

Let A be the mod p Steenrod algebra for p an arbitrary odd prime. In 1962, Li-uleviciusdescribed hi and bk in Ext (A|*,*) (Zp, Zp) having bigrading (1,2pi(p-1))and (2,2pk+1 x(p - 1)), respectively. In this paper we prove that for p ≥ 7,n ≥ 4 and 3 ≤ s < p - 1, (Zp,Zp) survives to E∞ in the Adams spectral sequence, where q = 2(p - 1).     

Study of Some Fundamental Projective Quadrics Associated with a Standard Pseudo-Hermitian Space H p,q

This self-contained short note deals with the study of the properties of some real projective compact quadrics associated with a a standard pseudo-hermitian space H _p,q , namely [(Q(p, q))\tilde], [(Q_2p+1,1)\tilde], [(Q_1,2q+1)\tilde], [(H_p,q)\tilde].  [(Q(p, q))\tilde]{\widetilde{Q(p, q)}, \widetilde{Q_{2p+1,1}}, \widetilde{Q_{1,2q+1}}, \widetilde{H_{p,q}}. \, \widetilde{Q(p, q)}} is the (2n – 2) real projective quadric diffeomorphic to (S ^2p–1 × S ^2q–1)/Z ₂. inside the real projective space P(E ₁), where E ₁ is the real 2n-dimensional space subordinate to H _p,q . The properties of [(Q(p, q))\tilde]{\widetilde{Q(p, q)}} are investigated. [(H_p,q)\tilde]{\widetilde{H_p,q}} is the real (2n – 3)-dimensional compact manifold-(projective quadric)- associated with H _p,q , inside the complex projective space P(H _p,q ), diffeomorphic to (S ^2p–1 × S ^2q–1)/S ¹. The properties of [(H_p,q)\tilde]{\widetilde{H_{p,q}}} are studied. [(Q_2p+1,1)\tilde]{\widetilde{Q_{2p+1,1}}} is a 2p-dimensional standard real projective quadric, and [(Q_1,2q+1)\tilde]{\widetilde{Q_{1,2q+1}}} is another standard 2q-dimensional projective quadric. [(Q_2p+1,1)\tilde] è[(Q_1,2q+1)\tilde]{\widetilde{Q_{2p+1,1}} \cup \widetilde{Q_{1,2q+1}}}, union of two compact quadrics plays a part in the understanding of the "special pseudo-unitary conformal compactification" of H _p,q . It is shown how a distribution y → D _y , where y ? H\{0},H{y \in H\backslash\{0\},H} being the isotropic cone of H _p,q allows to [(H_p+1,q+1)\tilde]{\widetilde{H_{p+1,q+1}}} to be considered as a "special pseudo-unitary conformal compactified" of H _p,q × R. The following results precise the presentation given in [1,c].     

Generalized normal form and the formal equivalence of systems with zero approximation (x 2 3 , — x 1 3 )

We consider formal systems of differential equations of the form

Hua’s theorem for five almost equal prime squares

Let p_i, 1≦ i ≦ 5, be prime numbers. It is proved that every sufficiently large integer N that satisfies N ≡ 5(mod 24) can be written as N = p²₁ + p²₂ + p²₃ + p²₄ + p²₅, where Received: 10 February 2005     

Resolvent estimates for the linearized operator in L p associated with motion of compressible viscous fluids

We consider the resolvent problem for the linearized system of equations that describe motion of compressible viscous barotropic fluids in a bounded domain with the Navier boundary condition. This problem has uniquely a solution in [(W)\dot]¹_p ×(W²_p)ⁿ{\dot{W}^{1}_{p} \times (W^{2}_{p})^{n}} satisfying L _p estimates for any 1 < p < ∞. Moreover, resolvent estimates for the linearized operator of the above system in [(W)\dot]¹_p ×(L_p)ⁿ{\dot{W}^{1}_{p} \times (L_{p})^{n}} are established. Our main results yield clearly that the linearized operator is the infinitesimal generator of a uniformly bounded analytic semigroup on [(W)\dot]¹_p ×(L_p)ⁿ{\dot{W}^{1}_{p} \times (L_{p})^{n}}.     

On Clarkson's inequality in the real case

The best constant in a generalized complex Clarkson inequality is C_p,q (?) = max {2^1–1/p , 2^1/q , 2^{1/q –1/p +1/2}} which differs moderately from the best constant in the real case C_p,q (?) = max {2^1–1/p , 2^1/q ,B_p,q }, where . For 1 < q < 2 < p < ∞ the constant C_p,q (?) is equal to B_p,q and these numbers are difficult to calculate in general. As applications of the generalized Clarkson inequalities the (p, q)‐Clarkson inequalities in Lebesgue spaces, in mixed norm spaces and in normed spaces are presented. (© 2007 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Detection of Some Elements in the Stable Homotopy Groups of Spheres

Let A be the mod p Steenrod algebra and S be the sphere spectrum localized at an odd prime p. To determine the stable homotopy groups of spheres π＊S is one of the central problems in homotopy theory. This paper constructs a new nontrivial family of homotopy elements in the stable homotopy groups of spheres πp^nq＋2pq＋q-3S which isof order p and is represented by kohn ∈ ExtA^3,P^nq＋2pq＋q（Zp,Zp） in the Adams spectral sequence, wherep 〉 5 is an odd prime, n ≥3 and q = 2（p-1）. In the course of the proof, a new family of homotopy elements in πp^nq＋（p＋1）q-1V（1） which is represented by β＊i＇＊i＊（hn） ∈ ExtA^2,pnq＋（p＋1）q＋1 （H^＊V（1）, Zp） in the Adams sequence is detected.     

On the Cyclotomic Dedekind Embedding and the Cyclic Wedderburn Embedding

Let n1 and let p be a prime. Expand j[0,p ⁿ –1]\(p) p-adically as j= _s0 a _s p ^s with a _s [0,p–1]. The #([0,j]\(p))th Z _(p)[ _p ⁿ ]-linear elementary divisor of the cyclotomic Dedekind embedding

Blow up of subcritical quantities at the first singular time of the mean curvature flow

Consider a family of smooth immersions F(·,t) : Mⁿ? \mathbbRⁿ⁺¹{F(\cdot,t)\,:\,{M^n\to \mathbb{R}^{n+1}}} of closed hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} moving by the mean curvature flow \frac?F(p,t)?t = -H(p,t)·n(p,t){\frac{\partial F(p,t)}{\partial t} = -H(p,t)\cdot \nu(p,t)}, for t ? [0,T){t\in [0,T)}. We show that at the first singular time of the mean curvature flow, certain subcritical quantities concerning the second fundamental form, for example ò₀^tò_Ms\frac|A|^{n + 2} log (2 + |A|) dmds,{\int_{0}^{t}\int_{M_{s}}\frac{{\vert{\it A}\vert}^{n + 2}}{ log (2 + {\vert{\it A}\vert})}} d\mu ds, blow up. Our result is a log improvement of recent results of Le-Sesum, Xu-Ye-Zhao where the scaling invariant quantities were considered.     

Optimal Embeddings of Spaces of Generalized Smoothness in the Critical Case

We study necessary and sufficient conditions for embeddings of Besov and Triebel-Lizorkin spaces of generalized smoothness B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), respectively, into generalized H?lder spaces L_￥,r^m(·)( \mathbb Rⁿ)\Lambda_{\infty,r}^{\mu(\cdot)}(\ensuremath {\ensuremath {\mathbb {R}}^{n}}). In particular, we are able to characterize optimal embeddings for this class of spaces provided q>1. These results improve the embedding assertions given by the continuity envelopes of B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), which were obtained recently solving an open problem of D.D. Haroske in the classical setting.     

Several identities in the Catalan triangle

In this paper, we first establish several identities for the alternating sums in the Catalan triangle whose (n, p) entry is defined by B _{n, p} = $ \tfrac{p} {n}\left( {_{n - p}^{2n} } \right) $ \tfrac{p} {n}\left( {_{n - p}^{2n} } \right) . Second, we show that the Catalan triangle matrix C can be factorized by C = FY = ZF, where F is the Fibonacci matrix. From these formulas, some interesting identities involving B _{n, p} and the Fibonacci numbers F _n are given. As special cases, some new relationships between the well-known Catalan numbers C _n and the Fibonacci numbers are obtained, for example:

Elementary abelian <Emphasis Type="Italic">p</Emphasis>-groups of rank 2<Emphasis Type="Italic">p</Emphasis>+3 are not CI-groups

For every prime p>2 we exhibit a Cayley graph on \mathbbZ_p^2p+3\mathbb{Z}_{p}^{2p+3} which is not a CI-graph. This proves that an elementary abelian p-group of rank greater than or equal to 2p+3 is not a CI-group. The proof is elementary and uses only multivariate polynomials and basic tools of linear algebra. Moreover, we apply our technique to give a uniform explanation for the recent works of Muzychuk and Spiga concerning the problem.     

Sums of almost equal prime cubes

We prove that almost all integers N satisfying some necessary congruence conditions are the sum of j almost equal prime cubes with j = 5; 6; 7; 8, i.e., N = p ₁³ + ... + p _j ³ with |p _i − (N/j)^1/3| ≦ $ N^{1/3 - \delta _j + \varepsilon } $ N^{1/3 - \delta _j + \varepsilon } (1 ≦ i ≦ j), for δ _j = 1/45; 1/30; 1/25; 2/45, respectively.     

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.     

A note on a conjecture of Borwein and Choi

A polynomial P(X) with coefficients {ǃ} of odd degree N - 1 is cyclotomic if and only if¶¶P(X) = ±F_p1 (±X)F_p2(±X^p1) ?F_pr(±X^{p1 p2 ?p_r-1}) P(X) = \pm \Phi_{p1} (\pm X)\Phi_{p2}(\pm X^{p1}) \cdots \Phi_{p_r}(\pm X^{p1 p2 \cdots p_r-1}) ¶where N = p₁ p₂ · · · p_r and the p_i are primes, not necessarily distinct, and where F_p(X) : = (X^p - 1) / (X - 1) \Phi_{p}(X) := (X^{p} - 1) / (X - 1) is the p-th cyclotomic polynomial. This is a conjecture of Borwein and Choi [1]. We prove this conjecture for a class of polynomials of degree N - 1 = 2^r p^l - 1 N - 1 = 2^{r} p^{\ell} - 1 for any odd prime p and for integers r, l\geqq 1 r, \ell \geqq 1 .     

On Linear Fractional Transformations Associated with Generalized J-Inner Matrix Functions

A class U_k1 (J){\mathcal{U}}_{\kappa 1} (J) of generalized J-inner mvf’s (matrix valued functions) W(λ) which appear as resolvent matrices for bitangential interpolation problems in the generalized Schur class of p ×q  mvf￠s S_k^{p ×q}p \times q \, {\rm mvf's}\, {\mathcal{S}}_{\kappa}^{p \times q} and some associated reproducing kernel Pontryagin spaces are studied. These spaces are used to describe the range of the linear fractional transformation T_W based on W and applied to S_k2^{p ×q}{\mathcal{S}}_{\kappa 2}^{p \times q}. Factorization formulas for mvf’s W in a subclass U^°_k1 (J) of U_k1(J){\mathcal{U}^{\circ}_{\kappa 1}} (J)\, {\rm of}\, {\mathcal{U}}_{\kappa 1}(J) found and then used to parametrize the set S_k1+k2^{p ×q} ?T_W [ S_k2^{p ×q} ]{\mathcal{S}}_{{\kappa 1}+{\kappa 2}}^{p \times q} \cap T_{W} \left[ {\mathcal{S}}_{\kappa 2}^{p \times q} \right]. Applications to bitangential interpolation problems in the class S_k1+k2^{p ×q}{\mathcal{S}}_{{\kappa 1}+{\kappa 2}}^{p \times q} will be presented elsewhere.     

On the best constants in the Khintchine inequality for Steinhaus variables

Let S _j : (Ω, P) → S ¹ ? ? be an i.i.d. sequence of Steinhaus random variables, i.e. variables which are uniformly distributed on the circle S ¹. We determine the best constants a _p in the Khintchine-type inequality $${a_p}{\left\| x \right\|_2} \leqslant {\left( {{\text{E}}{{\left| {\sum\limits_{j = 1}^n {{x_j}{S_j}} } \right|}^p}} \right)^{1/p}} \leqslant {\left\| x \right\|_2};{\text{ }}x = ({x_j})_{j = 1}^n \in {{\Bbb C}^n}$$ for 0 < p < 1, verifying a conjecture of U. Haagerup that $${a_p} = \min \left( {\Gamma {{\left( {\frac{p}{2} + 1} \right)}^{1/p}},\sqrt 2 {{\left( {{{\Gamma \left( {\frac{{p + 1}}{2}} \right)} \mathord{\left/ {\vphantom {{\Gamma \left( {\frac{{p + 1}}{2}} \right)} {\left[ {\Gamma \left( {\frac{p}{2} + 1} \right)\sqrt \pi } \right]}}} \right. \kern-\nulldelimiterspace} {\left[ {\Gamma \left( {\frac{p}{2} + 1} \right)\sqrt \pi } \right]}}} \right)}^{1/p}}} \right)$$ . Both expressions are equal for p = p ₀ }~ 0.4756. For p ≥ 1 the best constants a _p have been known for some time. The result implies for a norm 1 sequence x ∈ ? ⁿ , ‖x‖₂ = 1, that $${\text{E}}\ln \left| {\frac{{{S_1} + {S_2}}}{{\sqrt 2 }}} \right| \leqslant {\text{E}}\ln \left| {\sum\limits_{j = 1}^n {{x_j}{S_j}} } \right|$$ , answering a question of A. Baernstein and R. Culverhouse.