A note on simultaneous Diophantine approximation on planar curves

Let denote the set of simultaneously - approximable points in and denote the set of multiplicatively ψ-approximable points in . Let be a manifold in . The aim is to develop a metric theory for the sets and analogous to the classical theory in which is simply . In this note, we mainly restrict our attention to the case that is a planar curve . A complete Hausdorff dimension theory is established for the sets and . A divergent Khintchine type result is obtained for ; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on of is full. Furthermore, in the case that is a rational quadric the convergent Khintchine type result is obtained for both types of approximation. Our results for naturally generalize the dimension and Lebesgue measure statements of Beresnevich et al. (Mem AMS, 179 (846), 1–91 (2006)). Moreover, within the multiplicative framework, our results for constitute the first of their type. The research of Victor V. Beresnevich was supported by an EPSRC Grant R90727/01. Sanju L. Velani is a Royal Society University Research Fellow. For Iona and Ayesha on No. 3.     

Reduced Minimum Modulus Preserving in Banach Space

Let be the algebra of all bounded linear operators on a complex Banach space X and γ(T) be the reduced minimum modulus of operator . In this work, we prove that if , is a surjective linear map such that is an invertible operator, then , for every , if and only if, either there exist two bijective isometries and such that for every , or there exist two bijective isometries and such that for every . This generalizes for a Banach space the Mbekhta’s theorem [12].      

Rigidity and holomorphic Segre transversality for holomorphic Segre maps

Let and denote the complexifications of Heisenberg hypersurfaces in and , respectively. We show that non-degenerate holomorphic Segre mappings from into with possess a partial rigidity property. As an application, we prove that the holomorphic Segre non-transversality for a holomorphic Segre map from into with propagates along Segre varieties. We also give an example showing that this propagation property of holomorphic Segre transversality fails when N > 2n − 2.     

The Extremal Truncated Moment Problem

For a degree 2n real d-dimensional multisequence to have a representing measure μ, it is necessary for the associated moment matrix to be positive semidefinite and for the algebraic variety associated to β, , to satisfy rank card as well as the following consistency condition: if a polynomial vanishes on , then . We prove that for the extremal case , positivity of and consistency are sufficient for the existence of a (unique, rank -atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of . The first-named author’s research was partially supported by NSF Research Grants DMS-0099357 and DMS-0400741. The second-named author’s research was partially supported by NSF Research Grant DMS-0201430 and DMS-0457138.     

A class number formula for the p-cyclotomic field

Let p be an odd prime number and . Let be the classical Stickelberger ideal of the group ring . Iwasawa [6] proved that the index equals the relative class number of . In [2], [4] we defined for each subgroup H of G a Stickelberger ideal of , and studied some of its properties. In this note, we prove that when mod 4 and [G : H] = 2, the index equals the quotient . Received: 13 January 2006     

Semicrossed products of simple C*-algebras

Let and be C*-dynamical systems and assume that is a separable simple C*-algebra and that α and β are *-automorphisms. Then the semicrossed products and are isometrically isomorphic if and only if the dynamical systems and are outer conjugate. K. R. Davidson was partially supported by an NSERC grant. E. G. Katsoulis was partially supported by a summer grant from ECU     

The Birman–Craggs–Johnson homomorphism and abelian cycles in the Torelli group

In the 1970s, Birman–Craggs–Johnson (BCJ) (Trans AMS 237: 283–309, 1978; Trans AMS 261(1):423–422, 1980) used Rochlin’s invariant for homology 3-spheres to construct a remarkable surjective homomorphism , where is the Torelli group and B ₃ is a certain -vector space of Boolean (square-free) polynomials. By pulling back cohomology classes and evaluating them on abelian cycles, we construct dimensions worth of nontrivial elements of which cannot be detected rationally. These classes in fact restrict to nontrivial classes in the cohomology of the subgroup generated by Dehn twists about separating curves. We also use the “Casson–Morita algebra” and Morita’s integral lift of the BCJ map restricted to to give the same lower bound on . The first author is partially supported by NSF grant DMS-0606882 and was also supported in part by NSF grant DMS-0504208 and by a VIGRE postdoc under NSF grant 9983660 to Cornell University. The second author is supported in part by NSF grant DMS-0244542.     

Divisors of Bernoulli Sums

Let where are independent Bernoulli random variables. In relation with the divisor problem, we evaluate the almost sure asymptotic order of the sums , where and is a sequence of positive integers. Received: May 23, 2007. Revised: June 8, 2007.     

Cyclicity of bicyclic operators and completeness of translates

We study cyclicity of operators on a separable Banach space which admit a bicyclic vector such that the norms of its images under the iterates of the operator satisfy certain growth conditions. A simple consequence of our main result is that a bicyclic unitary operator on a Banach space with separable dual is cyclic. Our results also imply that if is the shift operator acting on the weighted space of sequences , if the weight ω satisfies some regularity conditions and ω(n) = 1 for nonnegative n, then S is cyclic if . On the other hand one can see that S is not cyclic if the series diverges. We show that the question of Herrero whether either S or S* is cyclic on admits a positive answer when the series is convergent. We also prove completeness results for translates in certain Banach spaces of functions on .     

Finite lattices as relative congruence lattices of finite algebras

Let A be a finite algebra and a quasivariety. By A is meant the lattice of congruences θ on A with . For any positive integer n, we give conditions on a finite algebra A under which for any n-element lattice L there is a quasivariety such that . The author was supported by INTAS grant 03-51-4110.     

Quasiperiodic Group Factorizations

If is any ring or semi-ring (e.g., ) and G is a finite abelian group, two elements a, b of the group (semi-)ring are said to form a factorization of G if ab = rΣ _g∈G g for some . A factorization is called quasiperiodic if there is some element g ∈ G of order m > 1 such that either a or b – say b – can be written as a sum b ₀ + ... + b _m−1 of m elements of such that ab _h = g ^h ab ₀ for h = 0, ... , m − 1. Hajós [5] conjectured that all factorizations are quasiperiodic when and r = 1 but Sands [15] found a counterexample for the group . Here we show however that all factorizations of abelian groups are quasiperiodic when and that all factorizations of cyclic groups or of groups of the type are quasiperiodic when . We also give some new examples of non-quasiperiodic factorizations with for the smaller groups and . Received: May 12, 2006. Revised: October 3, 2007.     

A conic bundle degenerating on the Kummer surface

Let C be a genus 2 curve and the moduli space of semi-stable rank 2 vector bundles on C with trivial determinant. In Bolognesi (Adv Geom 7(1):113–144, 2007) we described the parameter space of non stable extension classes of the canonical sheaf ω of C by ω⁻¹. In this paper, we study the classifying rational map that sends an extension class to the corresponding rank two vector bundle. Moreover, we prove that, if we blow up along a certain cubic surface S and at the point p corresponding to the bundle , then the induced morphism defines a conic bundle that degenerates on the blow up (at p) of the Kummer surface naturally contained in . Furthermore we construct the -bundle that contains the conic bundle and we discuss the stability and deformations of one of its components.     

Poincaré inequality and Palais–Smale condition for the <Emphasis Type="Italic">p</Emphasis>-Laplacian

An improved Poincaré inequality and validity of the Palais-Smale condition are investigated for the energy functional on , 1 < p < ∞, where Ω is a bounded domain in , is a spectral (control) parameter, and is a given function, in Ω. Analysis is focused on the case λ = λ₁, where −λ₁ is the first eigenvalue of the Dirichlet p-Laplacian Δ _p on , λ₁ > 0, and on the “quadratization” of within an arbitrarily small cone in around the axis spanned by , where stands for the first eigenfunction of Δ _p associated with −λ₁.     

Rigidity of hyperstable complexes

A module J over a ring is said to be hyperstable when . Over a module M for which Ext we show that the projective n-stems for which is hyperstable constitute a single homotopy type. Received: 17 November 2006     

On formulas for the index of the circular distributions

A circular distribution is a Galois equivariant map ψ from the roots of unity μ _∞ to an algebraic closure of such that ψ satisfies product conditions, for ϵ ∈ μ _∞ and , and congruence conditions for each prime number l and with (l, s) = 1, modulo primes over l for all , where μ _l and μ _s denote respectively the sets of lth and sth roots of unity. For such ψ, let be the group generated over by and let be , where U _s denotes the global units of . We give formulas for the indices and of and inside the circular numbers P _s and units C _s of Sinnott over . This work was supported by the SRC Program of Korea Science and Engineering Foundation (KOSEF) grant funded by the Korea government (MOST) (No. R11-2007-035-01001-0). This work was supported by the Korea Research Foundation Grant funded by the Korean Government (MOEHRD, Basic Research Promotion Fund) (KRF-2006-312-C00455).     

Irrationalité de certaines sommes de séries

Résumé Let with |q| > 1, and a be a rational number such that a ² is not equal to for . In this note, we prove that the sum is irrational.     

The Fine Intersection Problem for Steiner Triple Systems

The intersection of two Steiner triple systems and is the set . The fine intersection problem for Steiner triple systems is to determine for each v, the set I(v), consisting of all possible pairs (m, n) such that there exist two Steiner triple systems of order v whose intersection satisfies and . We show that for v ≡ 1 or 3 (mod 6), |I(v)| = Θ(v ³), where previous results only imply that |I(v)| = Ω(v ²). Received: January 23, 2006. Final Version received: September 2, 2006     

Rank one solvable <Emphasis Type="Italic">p</Emphasis>-adic differential equations and finite Abelian characters via Lubin–Tate groups

We introduce a new class of exponentials of Artin–Hasse type, called π-exponentials. These exponentials depend on the choice of a generator π of the Tate module of a Lubin–Tate group over . They arise naturally as solutions of solvable differential modules over the Robba ring. If is isomorphic to over , we develop methods to test their over-convergence, and get in this way a stronger version of the Frobenius structure theorem for differential equations. We define a natural transformation of the Artin–Schreier complex into the Kummer complex. This provides an explicit generator of the Kummer unramified extension of , whose residue field is a given Artin–Schreier extension of , where k is the residue field of K. We then compute explicitly the group, under tensor product, of isomorphism classes of rank one solvable differential equations. Moreover, we get a canonical way to compute the rank one φ-module over attached to a rank one representation of , defined by an Artin–Schreier character.     

Remarks on ample vector bundles of curve genus two

Let be an ample vector bundle of rank n – 1 on a smooth complex projective variety X of dimension n≥ 3 such that X is a -bundle over and that for any fiber F of the bundle projection . The pairs with = 2 are classified, where is the curve genus of . This allows us to improve some previous results. Received: 13 June 2006     

The Stokes operator in weighted Lq-spaces II: weighted resolvent estimates and maximal Lp-regularity

In this paper we establish a general weighted L ^q -theory of the Stokes operator in the whole space, the half space and a bounded domain for general Muckenhoupt weights . We show weighted L ^q -estimates for the Stokes resolvent system in bounded domains for general Muckenhoupt weights. These weighted resolvent estimates imply not only that the Stokes operator generates a bounded analytic semigroup but even yield the maximal L ^p -regularity of in the respective weighted L ^q -spaces for arbitrary Muckenhoupt weights . This conclusion is archived by combining a recent characterisation of maximal L ^p -regularity by -bounded families due to Weis [Operator-valued Fourier multiplier theorems and maximal L _p -regularity. Preprint (1999)] with the fact that for L ^q -spaces -boundedness is implied by weighted estimates.