Local–global divisibility by 4 in elliptic curves defined over {\mathbb{Q}}

Let ${\mathcal{E}}Let E{\mathcal{E}} be an elliptic curve defined over \mathbbQ{\mathbb{Q}} . Let P ? E(\mathbb Q){P\in {\mathcal{E}}(\mathbb {Q})} and let q be a positive integer. Assume that for almost all valuations v ? \mathbbQ{v\in \mathbb{Q}} , there exist points D_v ? E(\mathbb Q_v){D_v\in {\mathcal{E}}(\mathbb {Q}_v)} such that P = qD _v . Is it possible to conclude that there exists a point D ? E(\mathbb Q){D\in {\mathcal{E}}(\mathbb {Q})} such that P = qD? A full answer to this question is known when q is a power of almost all primes p ? \mathbbN{p\in \mathbb{N}} , but some cases remain open when p ? S={2,3,5,7,11,13,17,19,37,43,67,163}{p\in S=\{2,3,5,7,11,13,17,19,37,43,67,163\}} . We now give a complete answer in the case when q = 4.     

On the distribution of powers of a complex number

Let α be a complex number of modulus strictly greater than 1, and let ξ ≠ 0 and ν be two complex numbers. We investigate the distribution of the sequence ξ α ⁿ  + ν, n = 0, 1, 2, . . . , modulo ${\mathbb{Z}[i],}Let α be a complex number of modulus strictly greater than 1, and let ξ ≠ 0 and ν be two complex numbers. We investigate the distribution of the sequence ξ α ⁿ  + ν, n = 0, 1, 2, . . . , modulo \mathbbZ[i],{\mathbb{Z}[i],} where i=?{-1}{i=\sqrt{-1}} and \mathbbZ[i]=\mathbbZ+i\mathbbZ{\mathbb{Z}[i]=\mathbb{Z}+i\mathbb{Z}} is the ring of Gaussian integers. For any z ? \mathbbC,{z\in \mathbb{C},} one may naturally call the quantity z modulo \mathbbZ[i]{\mathbb{Z}[i]} the fractional part of z and write {z} for this, in general, complex number lying in the unit square S:={z ? \mathbbC:0 ￡ \mathfrakR(z),\mathfrakJ(z) < 1 }{S:=\{z\in\mathbb{C}:0\leq \mathfrak{R}(z),\mathfrak{J}(z) <1 \}}. We first show that if α is a complex non-real number which is algebraic over \mathbbQ{\mathbb{Q}} and satisfies |α| > 1 then there are two limit points of the sequence {ξ α ⁿ  +ν}, n = 0, 1, 2, . . . , which are ‘far’ from each other (in terms of α only), except when α is an algebraic integer whose conjugates over \mathbbQ(i){\mathbb{Q}(i)} all lie in the unit disc |z| ≤  1 and x ? \mathbbQ(a,i).{\xi\in\mathbb{Q}(\alpha,i).} Then we prove a result in the opposite direction which implies that, for any fixed a ? \mathbbC{\alpha\in\mathbb{C}} of modulus greater than 1 and any sequence z_n ? \mathbbC,n=0,1,2,...,{z_n\in\mathbb{C},n=0,1,2,\dots,} there exists x ? \mathbbC{\xi \in \mathbb{C}} such that the numbers ξ α ⁿ −z _n , n = 0, 1, 2, . . . , all lie ‘far’ from the lattice \mathbbZ[i]{\mathbb{Z}[i]}. In particular, they all can be covered by a union of small discs with centers at (1+i)/2+\mathbbZ[i]{(1+i)/2+\mathbb{Z}[i]} if |α| is large.     

Mass equidistribution of Hilbert modular eigenforms

Let \mathbbF\mathbb{F} be a totally real number field, and let f traverse a sequence of non-dihedral holomorphic eigencuspforms on \operatornameGL₂/\mathbbF\operatorname{GL}_{2}/\mathbb{F} of weight (k₁,?,k_{[\mathbbF:\mathbbQ]})(k_{1},\ldots,k_{[\mathbb{F}:\mathbb{Q}]}), trivial central character and full level. We show that the mass of f equidistributes on the Hilbert modular variety as max(k₁,?,k_{[\mathbbF:\mathbbQ]}) ? ￥\max(k_{1},\ldots,k_{[\mathbb{F}:\mathbb{Q}]}) \rightarrow \infty.     

Projective Freeness of Algebras of Real Symmetric Functions

Let \mathbb Dⁿ:={z=(z₁,?, z_n) ? \mathbb Cⁿ:|z_j| < 1,   j=1,?, n}{\mathbb {D}^n:=\{z=(z_1,\ldots, z_n)\in \mathbb {C}^n:|z_j| < 1, \;j=1,\ldots, n\}}, and let [`(\mathbbD)]ⁿ{\overline{\mathbb{D}}^n} denote its closure in \mathbb Cⁿ{\mathbb {C}^n}. Consider the ring

Reductions of points on elliptic curves

Let E be an elliptic curve defined over \mathbbQ{\mathbb{Q}}. Let Γ be a subgroup of rank r of the group of rational points E(\mathbbQ){E(\mathbb{Q})} of E. For any prime p of good reduction, let [`(G)]{\bar{\Gamma}} be the reduction of Γ modulo p. Under certain standard assumptions, we prove that for almost all primes p (i.e. for a set of primes of density one), we have

Three cubes in arithmetic progression over quadratic fields

We study the problem of the existence of arithmetic progressions of three cubes over quadratic number fields ${{\mathbb{Q}(\sqrt{D})}}We study the problem of the existence of arithmetic progressions of three cubes over quadratic number fields \mathbbQ(?D){{\mathbb{Q}(\sqrt{D})}}, where D is a squarefree integer. For this purpose, we give a characterization in terms of \mathbbQ(?D){{\mathbb{Q}(\sqrt{D})}}-rational points on the elliptic curve E : y ² = x ³ − 27. We compute the torsion subgroup of the Mordell–Weil group of this elliptic curve over \mathbbQ(?D){{\mathbb{Q}(\sqrt{D})}} and we give an explicit answer, in terms of D, to the finiteness of the free part of E(\mathbbQ(?D)){E({\mathbb{Q}(\sqrt{D})})} for some cases. We translate this task to computing whether the rank of the quadratic D-twist of the modular curve X ₀(36) is zero or not.     

Functional inequalities related to Mahler’s conjecture

Extending a result of Meyer and Reisner (Monatsh Math 125:219–227, 1998), we prove that if g: \mathbbR? \mathbbR₊{g: \mathbb{R}\to \mathbb{R}_+} is a function which is concave on its support, then for every m > 0 and every z ? \mathbbR{z\in\mathbb{R}} such that g(z) > 0, one has

Hypersurfaces in the Lorentz-Minkowski space satisfying Lkψ?=?Aψ?+?b

We study hypersurfaces in the Lorentz-Minkowski space \mathbbLⁿ⁺¹{\mathbb{L}^{n+1}} whose position vector ψ satisfies the condition L _k ψ = Aψ + b, where L _k is the linearized operator of the (k + 1)th mean curvature of the hypersurface for a fixed k = 0, . . . , n − 1, A ? \mathbbR^(n+1)×(n+1){A\in\mathbb{R}^{(n+1)\times(n+1)}} is a constant matrix and b ? \mathbbLⁿ⁺¹{b\in\mathbb{L}^{n+1}} is a constant vector. For every k, we prove that the only hypersurfaces satisfying that condition are hypersurfaces with zero (k + 1)th mean curvature, open pieces of totally umbilical hypersurfaces \mathbbSⁿ₁(r){\mathbb{S}^n_1(r)} or \mathbbHⁿ(-r){\mathbb{H}^n(-r)}, and open pieces of generalized cylinders \mathbbS^m₁(r)×\mathbbR^n-m{\mathbb{S}^m_1(r)\times\mathbb{R}^{n-m}}, \mathbbH^m(-r)×\mathbbR^n-m{\mathbb{H}^m(-r)\times\mathbb{R}^{n-m}}, with k + 1 ≤ m ≤ n − 1, or \mathbbL^m×\mathbbS^n-m(r){\mathbb{L}^m\times\mathbb{S}^{n-m}(r)}, with k + 1 ≤ n − m ≤ n − 1. This completely extends to the Lorentz-Minkowski space a previous classification for hypersurfaces in \mathbbRⁿ⁺¹{\mathbb{R}^{n+1}} given by Alías and Gürbüz (Geom. Dedicata 121:113–127, 2006).     

The Hermite Property of a Causal Wiener Algebra Used in Control Theory

Let \mathbbC₊ : = {s ? \mathbbC    |     Re(s) 3 0}{{\mathbb{C}}}_{+} := \{s \in {{\mathbb{C}}}\quad | \quad {\rm Re}(s) \geq 0\} and let A\mathcal{A} denote the Banach algebra

Complex cycles on algebraic models of smooth manifolds

Every compact smooth manifold M is diffeomorphic to the set X(\mathbbR){X(\mathbb{R})} of real points of a nonsingular projective real algebraic variety X, which is called an algebraic model of M. Each algebraic cycle of codimension k on the complex variety X_\mathbbC=X×_\mathbbR\mathbbC{X_{\mathbb{C}}=X\times_{\mathbb{R}}\mathbb{C}} determines a cohomology class in H^2k(X(\mathbbR);\mathbbD){H^{2k}(X(\mathbb{R});\mathbb{D})} , where \mathbbD{\mathbb{D}} denotes \mathbbZ{\mathbb{Z}} or \mathbbQ{\mathbb{Q}} . We investigate the behavior of such cohomology classes as X runs through the class of algebraic models of M.     

On Heisenberg-like Super Group Structures

The ring-like structures that can be defined on the ground supermanifolds \mathbb R^1|1{\mathbb R^{1\vert 1}} and \mathbb C^1|1{\mathbb C^{1\vert 1}} are classified up to equivalence in the category of smooth and complex Berezin-Kostant-Leites-Manin supermanifolds. It is proved that there are three different such equivalence classes in the real case, whereas there are two for the complex field. The corresponding module structures—defined componentwise on the product of k copies of \mathbb R^1|1{\mathbb R^{1\vert 1}} or \mathbb C^1|1{\mathbb C^{1\vert 1}}—are also classified up to equivalence. The notions of linearity and bilinearity are reviewed and used to define Heisenberg-like super group structures. It turns out that there are three non-isomorphic real such super groups, whereas only two over the complex field. The use of the appropriate exponential maps introduces the possibility of defining Heisenberg-like super group structures on the product of k copies of the ground supermanifold, with an appropriate super circle. The corresponding classification is also obtained.     

On the Second Cohomology of K?hler Groups

Carlson and Toledo conjectured that if an infinite group Γ is the fundamental group of a compact K?hler manifold, then virtually H²(G, \mathbb R) 1 0{H^{2}(\Gamma, {\mathbb R}) \ne 0} . We assume that Γ admits an unbounded reductive rigid linear representation. This representation necessarily comes from a complex variation of Hodge structure ( \mathbbC{\mathbb{C}} -VHS) on the K?hler manifold. We prove the conjecture under some assumption on the \mathbbC{\mathbb{C}} -VHS. We also study some related geometric/topological properties of period domains associated to such a \mathbbC{\mathbb{C}} -VHS.     

Relative universality and universality obtained by adding constants

A variety ${\mathbb{V}}${\mathbb{V}} is var-relatively universal if it contains a subvariety \mathbbW{\mathbb{W}} such that the class of all homomorphisms that do not factorize through any algebra in \mathbbW{\mathbb{W}} is algebraically universal. And \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} if adding α nullary operations to all algebras in \mathbbV{\mathbb{V}} gives rise to a class a\mathbbV{\alpha\mathbb{V}} of algebras that is algebraically universal. The first two authors have conjectured that any varrelative universal variety \mathbbV{\mathbb{V}} has an algebraically universal α-expansion a\mathbbV{\alpha\mathbb{V}} . This note contains a more general result that proves this conjecture.     

Fields of moduli and definition of hyperelliptic covers

In this paper, for all genera g>1, g ≡ 1 mod 4, we construct an explicit hyperelliptic curve whose field of moduli is and such that the minimum subfield of over which it can be hyperelliptically defined is a degree three extension of . These examples are related to previous work by Earle, Shimura, and Mestre and to a recent conjecture by Shaska. Received: 19 January 2005     

Sharply k-Transitive Permutation Groups Viewed as Galois Groups

The classification of finite sharply k-transitive groups was achieved by the efforts of Jordan (1873), Dickson (1905), and Zassenhaus (1936). Likewise for other families of finite groups, one expects that they are realizable as Galois groups over the field of rational numbers \mathbbQ{\mathbb{Q}}. In this article, we study some properties of the polynomials f ? \mathbbQ[x]{f \in \mathbb{Q}[x]} such that the Galois group Gal(f) acts sharply k-transitively on its roots.     

A trade-off between collision probability and key size in universal hashing using polynomials

Let \mathbbF{\mathbb{F}} be a finite field and suppose that a single element of \mathbbF{\mathbb{F}} is used as an authenticator (or tag). Further, suppose that any message consists of at most L elements of \mathbbF{\mathbb{F}}. For this setting, usual polynomial based universal hashing achieves a collision bound of (L-1)/|\mathbbF|{(L-1)/|\mathbb{F}|} using a single element of \mathbbF{\mathbb{F}} as the key. The well-known multi-linear hashing achieves a collision bound of 1/|\mathbbF|{1/|\mathbb{F}|} using L elements of \mathbbF{\mathbb{F}} as the key. In this work, we present a new universal hash function which achieves a collision bound of mélog_m Lù/|\mathbbF|, m 3 2{m\lceil\log_m L\rceil/|\mathbb{F}|, m\geq 2}, using 1+élog_m Lù{1+\lceil\log_m L\rceil} elements of \mathbbF{\mathbb{F}} as the key. This provides a new trade-off between key size and collision probability for universal hash functions.     

Composition Followed by Differentiation Between H ∞ and Zygmund Spaces

Let j{\varphi} be an analytic self-map of the unit disk \mathbbD{\mathbb{D}}, H(\mathbbD){H(\mathbb{D})} the space of analytic functions on \mathbbD{\mathbb{D}} and g ? H(\mathbbD){g \in H(\mathbb{D})}. The boundedness and compactness of the operator DC_j : H^￥ ? Z{DC_\varphi : H^\infty \rightarrow { \mathcal Z}} are investigated in this paper.     

On the dimension of invariant measures of endomorphisms of $${\mathbb{C}\mathbb{P}^k}$$

Let f be an endomorphism of \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and ν be an f-invariant measure with positive Lyapunov exponents (λ ₁, . . . , λ _k ). We prove a lower bound for the pointwise dimension of ν in terms of the degree of f, the exponents of ν and the entropy of ν. In particular our result can be applied for the maximal entropy measure μ. When k = 2, it implies that the Hausdorff dimension of μ is estimated by dim_Hm 3 [(log d)/(l₁)] + [(log d)/(l₂)]{{\rm dim}_\mathcal{H}\mu \geq {{\rm log} d \over \lambda_1} + {{\rm log} d \over \lambda_2}}, which is half of the conjectured formula. Our method for proving these results consists in studying the distribution of the ν-generic inverse branches of f ⁿ in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} . Our tools are a volume growth estimate for the bounded holomorphic polydiscs in \mathbbC\mathbbP^k{\mathbb{C}\mathbb{P}^k} and a normalization theorem for the ν-generic inverse branches of f ⁿ .     

Solutions to Polynomial Generalized Bers–Vekua Equations in Clifford Analysis

In this paper, we mainly study polynomial generalized Vekua-type equation _boxclose)w=0{p(\mathcal{D})w=0} and polynomial generalized Bers–Vekua equation p(D)w=0{p(\mathcal{\underline{D}})w=0} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} where D{\mathcal{D}} and D{\mathcal{\underline{D}}} mean generalized Vekua-type operator and generalized Bers–Vekua operator, respectively. Using Clifford algebra, we obtain the Fischer-type decomposition theorems for the solutions to these equations including (D-l)^kw=0,(D-l)^kw=0(k ? \mathbbN){\left(\mathcal{D}-\lambda\right)^{k}w=0,\left(\mathcal {\underline{D}}-\lambda\right)^{k}w=0\left(k\in\mathbb{N}\right)} with complex parameter λ as special cases, which derive the Almansi-type decomposition theorems for iterated generalized Bers–Vekua equation and polynomial generalized Cauchy–Riemann equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}. Making use of the decomposition theorems we give the solutions to polynomial generalized Bers–Vekua equation defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}} under some conditions. Furthermore we discuss inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}, and develop the structure of the solutions to inhomogeneous polynomial generalized Bers–Vekua equation p(D)w=v{p(\mathcal{\underline{D}})w=v} defined in W ì \mathbbRⁿ⁺¹{\Omega\subset\mathbb{R}^{n+1}}.     

Spectral decomposition and Gelfand’s theorem

We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set $\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\}We consider the spectral decomposition of A, the generator of a polynomially bounded n-times integrated group whose spectrum set s(A)={il_k;k ? \mathbb\mathbbZ^*}\sigma(A)=\{i\lambda_{k};k\in\mathbb{\mathbb{Z}}^{*}\} is discrete and satisfies ?\frac1|l_k|^ld_kⁿ < ￥\sum \frac{1}{|\lambda_{k}|^{\ell}\delta_{k}^{n}}<\infty , where ℓ is a nonnegative integer and d_k=min(\frac|l_k+1-l_k|2,\frac|l_k-1-l_k|2)\delta _{k}=\min(\frac{|\lambda_{k+1}-\lambda _{k}|}{2},\frac{|\lambda _{k-1}-\lambda _{k}|}{2}) . In this case, Theorem 3, we show by using Gelfand’s Theorem that there exists a family of projectors (P_k)_{k ? \mathbb\mathbbZ^*}(P_{k})_{k\in\mathbb{\mathbb{Z}}^{*}} such that, for any x∈D(A ^n+ℓ ), the decomposition ∑P _k x=x holds.