On a problem of K. Mahler: Diophantine approximation and Cantor sets

Let K denote the middle third Cantor set and . Given a real, positive function ψ let denote the set of real numbers x in the unit interval for which there exist infinitely many such that |x − p/q| < ψ(q). The analogue of the Hausdorff measure version of the Duffin–Schaeffer conjecture is established for . One of the consequences of this is that there exist very well approximable numbers, other than Liouville numbers, in K—an assertion attributed to K. Mahler. Explicit examples of irrational numbers satisfying Mahler’s assertion are also given. Dedicated to Maurice Dodson on his retirement—finally!     

Ranks of abelian varieties over infinite extensions of the rationals

Let S be an infinite set of rational primes and, for some p ∈ S, let be the compositum of all extensions unramified outside S of the form , for . If , let be the intersection of the fixed fields by , for i = 1, . . , n. We provide a wide family of elliptic curves such that the rank of is infinite for all n ≥ 0 and all , subject to the parity conjecture. Similarly, let be a polarized abelian variety, let K be a quadratic number field fixed by , let S be an infinite set of primes of and let be the maximal abelian p-elementary extension of K unramified outside primes of K lying over S and dihedral over . We show that, under certain hypotheses, the -corank of sel _p ∞(A/F) is unbounded over finite extensions F/K contained in . As a consequence, we prove a strengthened version of a conjecture of M. Larsen in a large number of cases.     

Homotopy Categories for Simply Connected Torsion Spaces

For each n > 1 and each multiplicative closed set of integers S, we study closed model category structures on the pointed category of topological spaces, where the classes of weak equivalences are classes of maps inducing isomorphism on homotopy groups with coefficients in determined torsion abelian groups, in degrees higher than or equal to n. We take coefficients either on all the cyclic groups with s ∈ S, or in the abelian group where is the group of fractions of the form with s ∈ S. In the first case, for n > 1 the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion. In the second case, for n > 1 we obtain that the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion and the nth homotopy group is divisible. These equivalences of categories are given by colocalizations , obtained by cofibrant approximations on the model structures. These colocalization maps have nice universal properties. For instance, the map is final (in the homotopy category) among all the maps of the form Y → X with Y an (n − 1)-connected CW-complex whose homotopy groups are S-torsion and its nth homotopy group is divisible. The spaces , are constructed using the cones of Moore spaces of the form M(T, k), where T is a coefficient group of the corresponding structure of models, and homotopy colimits indexed by a suitable ordinal. If S is generated by a set P of primes and S ^p is generated by a prime p ∈ P one has that for n > 1 the category is equivalent to the product category . If the multiplicative system S is generated by a finite set of primes, then localized category is equivalent to the homotopy category of n-connected Ext-S-complete CW-complexes and a similar result is obtained for .     

Immersions of spheres and algebraically constructible functions

Let Λ be an algebraic set and let (n is even) be a polynomial mapping such that for each there is r(λ) > 0 such that the mapping g _λ  =  g(· , λ) restricted to the sphere S ⁿ (r) is an immersion for every 0  <  r  <  r (λ), so that the intersection number I(g _λ|S ⁿ (r)) is defined. Then is an algebraically constructible function. I. Karolkiewicz and A. Nowel supported by the grant BW/5100-5-0286-7.     

A new family of maximal curves over a finite field

It has been known for a long time that the Deligne–Lusztig curves associated to the algebraic groups of type and defined over the finite field all have the maximum number of -rational points allowed by the Weil “explicit formulas”, and that these curves are -maximal curves over infinitely many algebraic extensions of . Serre showed that an -rational curve which is -covered by an -maximal curve is also -maximal. This has posed the problem of the existence of -maximal curves other than the Deligne–Lusztig curves and their -subcovers, see for instance Garcia (On curves with many rational points over finite fields. In: Finite Fields with Applications to Coding Theory, Cryptography and Related Areas, pp. 152–163. Springer, Berlin, 2002) and Garcia and Stichtenoth (A maximal curve which is not a Galois subcover of the Hermitan curve. Bull. Braz. Math. Soc. (N.S.) 37, 139–152, 2006). In this paper, a positive answer to this problem is obtained. For every q = n ³ with n = p ^r  > 2, p ≥ 2 prime, we give a simple, explicit construction of an -maximal curve that is not -covered by any -maximal Deligne–Lusztig curve. Furthermore, the -automorphism group Aut has size n ³(n ³ + 1)(n ² − 1)(n ² − n + 1). Interestingly, has a very large -automorphism group with respect to its genus . Research supported by the Italian Ministry MURST, Strutture geometriche, combinatoria e loro applicazioni, PRIN 2006–2007.     

Stabilization of the damped wave equation with Cauchy–Ventcel boundary conditions

This paper is devoted to the study of uniform energy decay rates of solutions to the wave equation with Cauchy–Ventcel boundary conditions:

Minoration conforme du spectre du laplacien de Hodge-de Rham

Let M ⁿ be an n-dimensional compact manifold, with n ≥ 3. For any conformal class C of riemannian metrics on M, we set , where μ _p,k (M,g) is the kth eigenvalue of the Hodge laplacian acting on coexact p-forms. We prove that . We also prove that if g is a smooth metric such that , and n = 0,2,3 mod 4, then there is a non-zero corresponding eigenform of degree with constant length. As a corollary, on a four-manifold with non vanishing Euler characteristic, there is no such smooth extremal metric.     

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.     

Carleson Measures for the Bloch Space

In this paper we study the positive Borel measures μ on the unit disc in for which the Bloch space is continuously included in , 0 < p < ∞. We call such measures p-Bloch-Carleson measures. We give two conditions on a measure μ in terms of certain logarithmic integrals one of which is a necessary condition and the other a sufficient condition for μ being a p-Bloch-Carleson measure. We also give a complete characterization of the p-Bloch-Carleson measures within certain special classes of measures. It is also shown that, for p > 1, the p-Bloch-Carleson measures are exactly those for which the Toeplitz operator , defined by , maps continuously into the Bergman space A ¹, . Furthermore, we prove that if p > 1, α >-1 and ω is a weight which satisfies the Bekollé-Bonami -condition, then the measure defined by is a p-Bloch-Carleson-measure. We also consider the Banach space of those functions f which are analytic in and satisfy , as . The Bloch space is contained in . We describe the p-Carleson measures for and study weighted composition operators and a class of integration operators acting in this space. We determine which of these operators map continuously to the weighted Bergman space and show that they are automatically compact. This research is partially supported by several grants from “the Ministerio de Educación y Ciencia, Spain” (MTM2005-07347, MTM2007-60854, MTM2006-26627-E, MTM2007-30904-E and Ingenio Mathematica (i-MATH) No. CSD2006-00032); from “La Junta de Andalucía” (FQM210 and P06-FQM01504); from “the Academy of Finland” (210245) and from the European Networking Programme “HCAA” of the European Science Foundation.     

Asymptotic behavior of the irrational factor

We study the irrational factor function I(n) introduced by Atanassov and defined by , where is the prime factorization of n. We show that the sequence {G(n)/n} _n≧1, where G(n) = Π _ν=1 ⁿ I(ν)^1/n , is convergent; this answers a question of Panaitopol. We also establish asymptotic formulas for averages of the function I(n). Research of the third author is supported in part by NSF grant number DMS-0456615.     

Abelian constraints in inverse Galois theory

We show that if a finite group G is the Galois group of a Galois cover of over , then the orders p ⁿ of the abelianization of its p-Sylow subgroups are bounded in terms of their index m, of the branch point number r and the smallest prime of good reduction of the branch divisor. This is a new constraint for the regular inverse Galois problem: if p ⁿ is suitably large compared to r and m, the branch points must coalesce modulo small primes. We further conjecture that p ⁿ should be bounded only in terms of r and m. We use a connection with some rationality question on the torsion of abelian varieties. For example, our conjecture follows from the so-called torsion conjectures. Our approach also provides a new viewpoint on Fried’s Modular Tower program and a weak form of its main conjecture.     

Weak convergence of diffusion processes on Wiener space

Let γ be a Gaussian measure on a Suslin space X, H be the corresponding Cameron–Martin space and {e _i } ⊂ H be an orthonormal basis of H. Suppose that μ _n = ρ _n · γ is a sequence of probability measures which converges weakly to a probability measure μ = ρ · γ Consider a sequence of Dirichlet forms , where and . We prove some sufficient conditions for Mosco convergence where . In particular, if X is a Hilbert space, and can be uniformly approximated by finite dimensional conditional expectations for every fixed e _i , then under broad assumptions Mosco and the distributions of the associated stochastic processes converge weakly.     

Bubble accumulations in an elliptic Neumann problem with critical Sobolev exponent

We consider the following critical elliptic Neumann problem on , Ω; being a smooth bounded domain in is a large number. We show that at a positive nondegenerate local minimum point Q ₀ of the mean curvature (we may assume that Q ₀ = 0 and the unit normal at Q ₀ is − e _N ) for any fixed integer K ≥ 2, there exists a μ _K > 0 such that for μ > μ _K , the above problem has K−bubble solution u _μ concentrating at the same point Q ₀. More precisely, we show that u _μ has K local maximum points Q ₁^μ, ... , Q _K ^μ ∈∂Ω with the property that and approach an optimal configuration of the following functional (*) Find out the optimal configuration that minimizes the following functional: where are two generic constants and φ (Q) = Q ^T G Q with G = (∇ _ij H(Q ₀)). Research supported in part by an Earmarked Grant from RGC of HK.     

Partitions of large Rado graphs

Let κ be a cardinal which is measurable after generically adding many Cohen subsets to κ and let be the κ-Rado graph. We prove, for 2 ≤ m < ω, that there is a finite value such that the set [κ] ^m can be partitioned into classes such that for any coloring of any of the classes C _i in fewer than κ colors, there is a copy of in such that is monochromatic. It follows that , that is, for any coloring of with fewer than κ colors there is a copy of such that has at most colors. On the other hand, we show that there are colorings of such that if is any copy of then for all , and hence . We characterize as the cardinality of a certain finite set of types and obtain an upper and a lower bound on its value. In particular, and for m > 2 we have where r _m is the corresponding number of types for the countable Rado graph. Research of M. Džamonja and J. A. Larson were partially supported by Engineering and Physical Sciences Research Council and research of W. J. Mitchell was partly supported by grant number DMS 0400954 from the United States National Science Foundation.     

Geometric approach to stable homotopy groups of spheres. Kervaire invariants. II

We present an approach to the Kervaire-invariant-one problem. The notion of the geometric (ℤ/2 ⨁ ℤ/2)-control of self-intersection of a skew-framed immersion and the notion of the (ℤ/2 ⨁ ℤ/4)-structure on the self-intersection manifold of a D ₄-framed immersion are introduced. It is shown that a skew-framed immersion ↬ℝ ⁿ , 0 < q ≪ n (in the -range), admits a geometric (ℤ/2 ⨁ ℤ/2)-control if the characteristic class of the skew-framing of this immersion admits a retraction of order q, i.e., there exists a mapping such that this composition → ℝP^∞ is the characteristic class of the skew-framing of f. Using the notion of (ℤ/2 ⨁ ℤ/2)-control, we prove that for a sufficiently large n, n = 2 ^l − 2, an arbitrarily immersed D ₄-framed manifold admits in the regular cobordism class (modulo odd torsion) an immersion with a (ℤ/2 ⨁ ℤ/4)-structure. Translated from Fundamentalnaya i Prikladnaya Matematika, Vol. 13, No. 8, pp. 17–41, 2007.     

Weighted Hardy inequalities and the size of the boundary

We establish necessary and sufficient conditions for a domain to admit the (p, β)-Hardy inequality , where d(x) = dist(x, ∂Ω) and . Our necessary conditions show that a certain dichotomy holds, even locally, for the dimension of the complement Ω ^c when Ω admits a Hardy inequality, whereas our sufficient conditions can be applied in numerous situations where at least a part of the boundary ∂Ω is “thin”, contrary to previously known conditions where ∂Ω or Ω ^c was always assumed to be “thick” in a uniform way. There is also a nice interplay between these different conditions that we try to point out by giving various examples. The author was supported in part by the Academy of Finland.     

Asymptotic behaviour of certain sets of associated prime ideals of Ext-modules

Let R be a commutative Noetherian ring, be an ideal of R and M be a finitely generated R-module. Melkersson and Schenzel asked whether the set becomes stable for a fixed integer i and sufficiently large j. This paper is concerned with this question. In fact, we prove that if s ≥ 0 and n ≥ 0 such that for all i with i < n, then is finite for all i with i < n, and is finite for all i with i ≤ n, where for a subset T of Spec(R), we set . Also, among other things, we show that if n ≥ 0, R is semi-local and is finite for all i with i < n, then is finite for all i with i ≤ n. K. Khashyarmanesh was partially supported by a grant from Institute for Studies in Theoretical Physics and Mathematics (IPM) Iran (No. 86130027).     

Upper Triangular Operator Matrices, SVEP and Browder, Weyl Theorems

A Banach space operator T ∈ B(χ) is polaroid if points λ ∈ iso σ(T) are poles of the resolvent of T. Let denote, respectively, the approximate point, the Weyl, the Weyl essential approximate, the upper semi–Fredholm and lower semi–Fredholm spectrum of T. For A, B and C ∈ B(χ), let M _C denote the operator matrix . If A is polaroid on , M ₀ satisfies Weyl’s theorem, and A and B satisfy either of the hypotheses (i) A has SVEP at points and B has SVEP at points , or, (ii) both A and A* have SVEP at points , or, (iii) A^* has SVEP at points and B ^* has SVEP at points , then . Here the hypothesis that λ ∈ π₀(M _C ) are poles of the resolvent of A can not be replaced by the hypothesis are poles of the resolvent of A. For an operator , let . We prove that if A* and B* have SVEP, A is polaroid on π ^a ₀(M _C) and B is polaroid on π ^a ₀(B), then .