Représentation de −1 comme somme de carrés dans un corps cyclotomique quelconque

Let m ≥ 3 be an odd integer, and let K^(m) = Q(e^2πi/m) be the cyclotomic field of the m-th roots of unity. Then s(K^(m)) (the “stufe” of K^(m), that is to say, the smallest number of squares necessary to represent ?1 in K^(m) is equal to 2 or to 4 depending on whether the multiplicative order of 2 modulo m is even or odd.     

Restricted Representations of Lie Superalgebras of Hamiltonian Type

Let F be an algebraically closed field of prime characteristic p?>?2, H(n) the Hamiltonian Lie superalgebra over F. The simple restricted H(n)-modules are studied and classified. Furthermore, a sufficient and necessary condition is provided for restricted Kac modules to be simple.     

A duality between locally compact groups and certain Banach algebras

We make precise the following statements: B(G), the Fourier-Stieltjes algebra of locally compact group G, is a dual of G and vice versa. Similarly, A(G), the Fourier algebra of G, is a dual of G and vice versa. We define an abstract Fourier (respectively, Fourier-Stieltjes) algebra; we define the dual group of such a Fourier (respectively, Fourier-Stieltjes) algebra; and we prove the analog of the Pontriagin duality theorem in this context. The key idea in the proof is the characterization of translations of B(G) as precisely those isometric automorphisms Φ of B(G) which satisfy ∥ p ? e^iθΦp ∥² + ∥ p + e^iθΦp ∥² = 4 for all θ ∈ $\text{R}$ and all pure positive definite functions p with norm one. One particularly interesting technical result appears, namely, given x₁, x₂?G, neither of which is the identity e of G, then there exists a continuous, irreducible unitary representation π of G (which may be chosen from the reduced dual of G) such that π(x₁) ≠ π(e) and π(x₂) ≠ π(e). We also note that the group of isometric automorphisms of B(G) (or A(G)) contains as a (“large”) ^.closed, normal subgroup the topological version of Burnside's “holomorph of G.”     

The Kernel of the Eisenstein Ideal

Let N be a prime number, and let J₀(N) be the Jacobian of the modular curve X₀(N). Let T denote the endomorphism ring of J₀(N). In a seminal 1977 article, B. Mazur introduced and studied an important ideal I⊆T, the Eisenstein ideal. In this paper we give an explicit construction of the kernel J₀(N)[I] of this ideal (the set of points in J₀(N) that are annihilated by all elements of I). We use this construction to determine the action of the group Gal(Q/Q) on J₀(N)[I]. Our results were previously known in the special case where N−1 is not divisible by 16.     

Arithmetic properties of bipartitions with even parts distinct

In this work, we consider various arithmetic properties of the function ped _?2(n) that denotes the number of bipartitions of n with even parts distinct. We prove two infinite families of congruences for p _?2(n) modulo 3. We also give characterizations of ped _?2(n) modulo 2 and 4. Furthermore, for a fixed positive integer k, we show that ped _?2(n) is divisible by 2 ^k for almost all n.     

An example of asymmetry of convolution operators

Esistono un gruppo compatto non commutativoG ^～ ed un operatore di convoluzioneT tale che: perp∈[2,4] e perq∈[1,2),T∈L _p ^p (G ^～) eT?L _q ^q (G ^～).     

The cubic Fermat equation and complex multiplication on the Deuring normal form

The arithmetic on elliptic curves in Deuring normal form is shown to be related to solutions of the Fermat equation 27X ³+27Y ³=X ³ Y ³. This arithmetic is used to give conditions for the existence of multipliers μ on supersingular elliptic curves in characteristic p for which μ ²=?3p. Together with an explicit factorization of a certain class equation, these conditions imply that the number of irreducible binomial quadratic factors (mod p) of the Legendre polynomial P _(p?e)/3(x) of degree (p?e)/3 is a simple linear function of the class number of the quadratic field \(\mathbb{Q}(\sqrt{-3p})\).     

Generalized Christoffel functions for Jacobi-exponential weights

Assume that W=e ^?Q where I:=(a,b), ?∞≦a<0<b≦∞, and Q:?I→[0,∞) is continuous and increasing. Let 0<p<∞, a<t _r <t _r?1<?<t ₁<b, p _i >?1/p, i=1,2,…,r, and $U(x)=\prod_{i=1}^{r} {|x-t_{i}|}^{p_{i}}$ . We give the L _p Christoffel functions for the Jacobi-exponential weight WU. In addition, we obtain restricted range inequalities.     

Polynomials orthogonal on the semicircle,II

Generalizing previous work [2], we study complex polynomials {π _k },π _k (z)=z ^k +?, orthogonal with respect to a complex-valued inner product (f,g)=∫ ₀ ^π f(e ^iθ)g(e ^iθ)w(e ^iθ)dθ. Under suitable assumptions on the “weight function”w, we show that these polynomials exist whenever Re ∫ ₀ ^π w(e ^iθ)dθ≠0, and we express them in terms of the real polynomials orthogonal with respect to the weight functionw(x). We also obtain the basic three-term recurrence relation. A detailed study is made of the polynomials {π _k } in the case of the Jacobi weight functionw(z)=(1?z)^α(1+z)^β, α>?1, and its special case \(\alpha = \beta = \lambda - \tfrac{1}{2}\) (Gegenbauer weight). We show, in particular, that for Gegenbauer weights the zeros ofπ _n are all simple and, ifn≥2, contained in the interior of the upper unit half disc. We strongly suspect that the same holds true for arbitrary Jacobi weights. Finally, for the Gegenbauer weight, we obtain a linear second-order differential equation forπ _n (z). It has regular singular points atz=1, ?1, ∞ (like Gegenbauer's equation) and an additional regular singular point on the negative imaginary axis, which depends onn.     

Uniform asymptotic expansion for a class of polynomials biorthogonal on the unit circle

An asymptotic expansion including error bounds is given for polynomials {P _n, Q_n} that are biorthogonal on the unit circle with respect to the weight function (1?e^iθ)^α+β(1?e^?iθ)^α?β. The asymptotic parameter isn; the expansion is uniform with respect toz in compact subsets ofC{0}. The pointz=1 is an interesting point, where the asymptotic behavior of the polynomials strongly changes. The approximants in the expansions are confluent hyper-geometric functions. The polynomials are special cases of the Gauss hyper-geometric functions. In fact, with the results of the paper it follows how (in a uniform way) the confluent hypergeometric function is obtained as the limit of the hypergeometric function₂ F ₁(a, b; c; z/b), asb→±∞,z≠b, withz=0 as “transition” point in the uniform expansion.     

Elementary proof of the transformation formula for Lambert series involving generalized Dedekind sums

An elementary proof is given of the author's transformation formula for the Lambert series $\text{G}{}_{\mathrm{p}}\text{(x) =}\text{Σ}{}_{\mathrm{n?1}}{}^{\mathrm{<mtext>\infty </mtext>}}\text{n}{}^{\mathrm{?p}}\text{x}{}^{\mathrm{n}}\text{(1?x}{}^{\mathrm{n}}\text{)}$ relating G_p(e^2πiτ) to G_p(e^2πiAτ), where p > 1 is an odd integer and $\text{Aτ =}\text{(aτ + b)}\text{(cτ + d)}$ is a general modular substitution. The method extends Sczech's argument for treating Dedekind's function $\text{log}\text{η(τ) =}\text{πiτ}\text{12}\text{? G}{}_1\text{(e}{}^{\mathrm{2\pi i\tau }}\text{)}$, and uses Carlitz's formula expressing generalized Dedekind sums in terms of Eulerian functions.     

Two-point inequalities,the Hermite semigroup and the Gauss-Weierstrass semigroup

Let e^?zH, Re z ? 0, be the Hermite semigroup on R with Gauss measure μ. Necessary and sufficient conditions for e^?zH to be a bounded map from L^p(μ) into L^q(μ), 1 ? p, q ? ∞, are found and in many cases it is proved that e^?zH: L^p(μ) → L^q(μ) is in fact a contraction. Furthermore, these results and a formula relating the Hermite semigroup with the Gauss-Weierstrass semigroup e^zΔ enable one to calculate the precise norm of e^zΔ:L^p(dx) → L^q(dx) in a large number of cases.     

The class number of cyclotomic function fields

Let k be a rational function field over a finite field. Carlitz and Hayes have described a family of extensions of k which are analogous to the collection of cyclotomic extensions {Q(ζm)| m ≥ 2} of the rational field Q. We investigate arithmetic properties of these “cyclotomic function fields.” We introduce the notion of the maximal real subfield of the cyclotomic function field and develop class number formulas for both the cyclotomic function field and its maximal real subfield. Our principal result is the analogue of a classical theorem of Kummer which for a prime p and positive integer n relates the class number of Q(ζpn + ζpn?1), the maximal real subfield of Q(ζpn), to the index of the group of cyclotomic units in the full unit group of Z[ζpn].     

Entrainment of frequency in evolution equations

The existence of periodic solutions near resonance is discussed using elementary methods for the evolution equation ·u = Au + ?f(t, u) when the linear problem is totally degenerate (e^2πA = I) and the period of f is entrained with ? (T = 2π(1 + ?μ)). The approach is to solve the periodicity equation u(T,p,?) = p for an element p(?) in D, the domain of A, as a perturbation from an approximate solution p₀. p₀ is a solution of the nonlinear boundary value problem 2πμAp + ∝₀^2πe^?Asf(s, e^Asp) ds = 0 obtained from the periodicity equation by dividing by ?, applying the entrainment assumption, and letting ? → 0. Once p₀ is known, the conventional inverse function theorem is applied in a slightly unconventional manner. Two particular cases where results are obtained are u_t = u_x + ?{g(u) ? h(t, x)} with g strongly monotone and

$\text{d}\text{dt}\text{v}\text{w}\text{=}\text{0}\text{d}\text{dx}\text{d}\text{dx}\text{0}\text{v}\text{w}\text{+ ?}\text{v}{}^3\text{h(t,x)}$

, where in both cases D is a certain class of 2π-periodic functions of x.     

The influence of isobar production on charge ratio and transverse momentum of secondary particles in high energy collisions

An isobar model in which collision between two particles leads to the creation of only two bodies which by subsequent decay give rise to the observed secondaries has been considered. On the basis of such a model, the charge ratios of pions, kaons andΣ-hyperons inp?p andπ?p collisions have been computed and compared with the available experimental data. Some features of transverse momentum of pions and protons in 24 GeV/cp?p collisions have also been studied. The main conclusions can be summarised as follows:

1. (1)
   The observed positive excess among pions produced in high energyp?p collisions leading toπ ⁺/π ^? andπ ⁺/π ⁰ ratios of ～3 and 1·6 respectively for high momentum pions can be explained on the basis of the isobar model. Further, the fast increase of K⁺/K^? ratio as the kaon momentum increases, the high ratio (～4) ofΣ ⁺/Σ ^? in 24 GeV/cp?p collisions and the existence of a strong positive (negative) excess amongΣ-hyperons produced inπ ⁺?p(π ^??p) collisions at various primary energies result, in a natural way, from such a model. The agreement results mainly from the restriction of only two bodies in the final states and does not critically depend on the isospins of produced isobars.     
   
   

Characterization and Connectivity of Generalized Filters in L 2(ℝ d )

Let A be a d×d real expansive integer matrix (i.e., a matrix with real entries whose eigenvalues are all of modules greater than one) with |det?A|=2, and let m (which is called A-dilation generalized filter) be a 2π? ^d periodic function with the property that |m(s)|²+|m(s+2π h ₂)|²=1, where h ₂∈(A ^τ )^?1? ^d ?? ^d . In this paper, we characterize the set of all A-dilation generalized filters and show that this set is path-connected in $L^{2}({\mathbb{T}}^{d})$ -norm by using the technique of filter multipliers. We also obtain an equivalent condition for an A-dilation generalized filter to be an A-dilation low pass filter. These extend the results of Manos Papadakis et al. from one dimensional case to high dimensions and matrix dilations cases.     

Completeness and basis properties of systems of exponentials in weighted spaces L p(−π, π)

We consider the system of exponentials $e(\Lambda ) = \{ e^{i\lambda _n t} \} _{n \in \mathbb{Z}} $ , where $$\lambda _n = n + \left( {\frac{{1 + \alpha }}{p} + l(\left| n \right|)} \right) sign n,$$ l(t) is a slowly varying function, and l(t) → 0, t → ∞. We obtain an estimate for the generating function of the sequence {λ_n} and, with its help, find a completeness criterion and a basis condition for the system e(Λ) in the weight spaces L ^p(?π, π). We also study some special cases of the function l(t).     

Real quadratic fields with class numbers divisible by n

In this note I prove that the class number of Q(√Δ(x)) is infinitely often divisible by n, where Δ(x) = x²ⁿ + 4.     

A characterization of the linear groups L 2(p)

Let G be a finite group and π _e (G) be the set of element orders of G. Let k ∈ π _e (G) and m _k be the number of elements of order k in G. Set nse(G):= {m _k : k ∈ π _e (G)}. In fact nse(G) is the set of sizes of elements with the same order in G. In this paper, by nse(G) and order, we give a new characterization of finite projective special linear groups L ₂(p) over a field with p elements, where p is prime. We prove the following theorem: If G is a group such that |G| = |L ₂(p)| and nse(G) consists of 1, p ² ? 1, p(p + ?)/2 and some numbers divisible by 2p, where p is a prime greater than 3 with p ≡ 1 modulo 4, then G ? L ₂(p).     

Congruence properties of class numbers of quadratic fields

The authors prove that the class number of the quadratic field Q(√?g) is divisible by 3 if g is a prime of the form 27n² + 4.