Showing 1–20 of 20 results for author: Xarles, X

Efficient computation of non-archimedean theta functions

Authors: Marc Masdeu, Xavier Xarles

Abstract: We describe an efficient iterative algorithm for the computation of theta functions of non-archimedean Schottky groups and, more generally, of (non-archimedean) discontinuous groups. We describe an efficient iterative algorithm for the computation of theta functions of non-archimedean Schottky groups and, more generally, of (non-archimedean) discontinuous groups. △ Less

Submitted 27 August, 2024; originally announced August 2024.

Comments: 16 pages, comments welcome!

MSC Class: 14Q99 (14H42; 14K25; 11Y99)

Condensed Sets via free resolutions

Authors: Damià Rodríguez Banús, Xavier Xarles

Abstract: We show the equivalence of several constructions of the category of condensed sets by using free resolutions of compact Hausdorff spaces. We also give an elementary construction of the condensed set associated to any presheaf on compact Hausdorff spaces. We show the equivalence of several constructions of the category of condensed sets by using free resolutions of compact Hausdorff spaces. We also give an elementary construction of the condensed set associated to any presheaf on compact Hausdorff spaces. △ Less

Submitted 25 July, 2024; v1 submitted 4 September, 2022; originally announced September 2022.

Comments: Comments are welcome

MSC Class: 18F99

A quaternionic construction of $p$-adic singular moduli

Authors: Xavier Guitart, Marc Masdeu, Xavier Xarles

Abstract: Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural $p$-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of $\mathrm{SL}_2(\mathbb{Z}[1/p])$ which can be evaluated at real quadratic irrationalities and the values thus obtained are conjectured to lie in algebraic extensions of the base field. In this articl… ▽ More Rigid meromorphic cocycles were introduced by Darmon and Vonk as a conjectural $p$-adic extension of the theory of singular moduli to real quadratic base fields. They are certain cohomology classes of $\mathrm{SL}_2(\mathbb{Z}[1/p])$ which can be evaluated at real quadratic irrationalities and the values thus obtained are conjectured to lie in algebraic extensions of the base field. In this article we present a similar construction of cohomology casses in which $\mathrm{SL}_2(\mathbb{Z}[1/p])$ is replaced by an order in an indefinite quaternion algebra over a totally real number field $F$. These quaternionic cohomology classes can be evaluated at elements in almost totally complex extensions $K$ of $F$, and we conjecture that the corresponding values lie in algebraic extensions of $K$. We also report on extensive numerical evidence for this algebraicity conjecture. △ Less

Submitted 14 October, 2020; originally announced October 2020.

A census of all genus 4 curves over the field with 2 elements

Authors: Xavier Xarles

Abstract: We explain how we computed equations for all genus 4 curves defined of the field with 2 elements, up-to-isomorphism, and some of the data we obtained. We give descriptions also of nice models for genus 4 curves over characteristic 2 fields, in both the hyperelliptic case and the trigonal case. We explain how we computed equations for all genus 4 curves defined of the field with 2 elements, up-to-isomorphism, and some of the data we obtained. We give descriptions also of nice models for genus 4 curves over characteristic 2 fields, in both the hyperelliptic case and the trigonal case. △ Less

Submitted 15 July, 2020; originally announced July 2020.

Comments: 11 pages

MSC Class: 14H45; 14H10; 14Q05; 11G20

Hyperelliptic parametrizations of $\mathbb{Q}$-curves

Authors: Francesc Bars, Josep González, Xavier Xarles

Abstract: For a square-free integer $N$, we present a procedure to compute $\mathbb{Q}$-curves parametrized by rational points of the modular curve $X_0^*(N)$ when this is hyperelliptic. For a square-free integer $N$, we present a procedure to compute $\mathbb{Q}$-curves parametrized by rational points of the modular curve $X_0^*(N)$ when this is hyperelliptic. △ Less

Submitted 23 October, 2019; originally announced October 2019.

The Abel Jacobi map for Mumford Curves via Integration

Authors: Iago Giné, Xavier Xarles

Abstract: We construct the Abel-Jacobi map for Mumford curves over any complete non-archimedean field, using multiplicative integrals and in the setting of Berkovich analytic geometry. Along the way, we proof some results concerning graphs and mesures related to tropical geometry. We construct the Abel-Jacobi map for Mumford curves over any complete non-archimedean field, using multiplicative integrals and in the setting of Berkovich analytic geometry. Along the way, we proof some results concerning graphs and mesures related to tropical geometry. △ Less

Submitted 29 September, 2016; originally announced September 2016.

Comments: 49 pages

Schottky Groups over Valuation Rings

Authors: Xavier Xarles, Dani Samaniego

Abstract: Given a non-trivial complete valued field $K$ with value group $Λ$, we construct a $Λ$-tree space associated to $K$ analog of the Bruhat-Tits tree, and locally finite trees associated to compact subsets of the projective line. We propose a definition of hyperbolic matrix and Schottky group over such field $K$. To any such Schottky group $Γ$, we associate a compact set with an action of $Γ$, such t… ▽ More Given a non-trivial complete valued field $K$ with value group $Λ$, we construct a $Λ$-tree space associated to $K$ analog of the Bruhat-Tits tree, and locally finite trees associated to compact subsets of the projective line. We propose a definition of hyperbolic matrix and Schottky group over such field $K$. To any such Schottky group $Γ$, we associate a compact set with an action of $Γ$, such that the quotient graph of the associated tree is a finite graph, and $Γ$ is identified with its fundamental group. Finally explain a method to construct such groups. This results extend the classical ones for discrete valuations of Mumford and non-archimedean rank 1 valuations of Gerritzen and Van der Put. △ Less

Submitted 19 July, 2017; v1 submitted 25 September, 2016; originally announced September 2016.

Comments: 24 pages. Version 2 includes a new section

MSC Class: 11F85

Galois descent for the gonality of curves

Authors: Joaquim Roé, Xavier Xarles

Abstract: We determine conditions for the invariance of the gonality under base extension, depending on the numeric invariants of the curve. More generally, we study the Galois descent of morphisms of curves to Brauer-Severi varieties, and also of rational normal scrolls. We determine conditions for the invariance of the gonality under base extension, depending on the numeric invariants of the curve. More generally, we study the Galois descent of morphisms of curves to Brauer-Severi varieties, and also of rational normal scrolls. △ Less

Submitted 3 July, 2017; v1 submitted 23 May, 2014; originally announced May 2014.

Comments: 20 pages. To appear in Math Res Let

MSC Class: 14H51; 14G27; 14H50

Hyperelliptic curves covering an elliptic curve twice

Authors: Xavier Xarles

Abstract: We show that for any elliptic curve (with j invariant not 0 or 1728) over any field of characteristic different from 2 and 3, there exists an hyperelliptic curve H of genus 5 with two independent maps to the given elliptic curve. We also show that, if we want such a curve to be just geometrically hyperelliptic, so having a degree two map to a conic, then there are some with genus 3. We show that for any elliptic curve (with j invariant not 0 or 1728) over any field of characteristic different from 2 and 3, there exists an hyperelliptic curve H of genus 5 with two independent maps to the given elliptic curve. We also show that, if we want such a curve to be just geometrically hyperelliptic, so having a degree two map to a conic, then there are some with genus 3. △ Less

Submitted 18 March, 2013; originally announced March 2013.

Comments: 3 pages

On a conjecture of Rudin on squares in Arithmetic Progressions

Authors: Enrique González-Jiménez, Xavier Xarles

Abstract: Let Q(N;q,a) denotes the number of squares in the arithmetic progression qn+a, for n=0, 1,...,N-1, and let Q(N) be the maximum of Q(N;q,a) over all non-trivial arithmetic progressions qn + a. Rudin's conjecture asserts that Q(N)=O(Sqrt(N)), and in its stronger form that Q(N)=Q(N;24,1) if N=> 6. We prove the conjecture above for 6<=N<=52. We even prove that the arithmetic progression 24n+1 is the o… ▽ More Let Q(N;q,a) denotes the number of squares in the arithmetic progression qn+a, for n=0, 1,...,N-1, and let Q(N) be the maximum of Q(N;q,a) over all non-trivial arithmetic progressions qn + a. Rudin's conjecture asserts that Q(N)=O(Sqrt(N)), and in its stronger form that Q(N)=Q(N;24,1) if N=> 6. We prove the conjecture above for 6<=N<=52. We even prove that the arithmetic progression 24n+1 is the only one, up to equivalence, that contains Q(N) squares for the values of N such that Q(N) increases, for 7<=N<=52 (hence, for N=8,13,16,23,27,36,41 and 52). This allow us to assert, what we have called Super-Strong Rudin's Conjecture: let be N=GP_k+1=> 8 for some integer k, where GP_k is the k-th generalized pentagonal number, then Q(N)=Q(N;q,a) with gcd(q,a) squarefree and q> 0 if and only if (q,a)=(24,1). △ Less

Submitted 22 January, 2013; originally announced January 2013.

Journal ref: LMS Journal of Computation and Mathematics 17 (1) (2014), 58-76

Bielliptic and Hyperelliptic modular curves X(N) and the group Aut(X(N))

Authors: Francesc Bars, Aristides Kontogeorgis, Xavier Xarles

Abstract: We determine all modular curves X(N) (with $N\geq 7$) which are hyperelliptic or bielliptic. We make available a proof that the automorphism group of X(N) coincides with the normalizer of $Γ(N)$ in $\operatorname{PSL}_2(\mathbb{R})$. We determine all modular curves X(N) (with $N\geq 7$) which are hyperelliptic or bielliptic. We make available a proof that the automorphism group of X(N) coincides with the normalizer of $Γ(N)$ in $\operatorname{PSL}_2(\mathbb{R})$. △ Less

Submitted 7 May, 2013; v1 submitted 10 July, 2012; originally announced July 2012.

Comments: Corrected typos. Reorganized the whole paper. Main results unchanged

Trivial points on towers of curves

Authors: Xavier Xarles

Abstract: We define and study trivial points on towers of curves over number fields, and we show their finiteness in some cases. We relate these to the unboundeness of the gonality of the curves, which we show under some hypothesis. The problem is related to recent results of Cadoret and Tamagawa, and Ellenberg, Hall and Kowalski. We define and study trivial points on towers of curves over number fields, and we show their finiteness in some cases. We relate these to the unboundeness of the gonality of the curves, which we show under some hypothesis. The problem is related to recent results of Cadoret and Tamagawa, and Ellenberg, Hall and Kowalski. △ Less

Submitted 12 January, 2012; originally announced January 2012.

Comments: 16 pages

MSC Class: 11G30; 11G20; 11B39; 11D45; 14G25

Rational Periodic Sequences for the Lyness Recurrence

Authors: Armengol Gasull, Víctor Mañosa, Xavier Xarles

Abstract: Consider the celebrated Lyness recurrence $x_{n+2}=(a+x_{n+1})/x_{n}$ with $a\in\Q$. First we prove that there exist initial conditions and values of $a$ for which it generates periodic sequences of rational numbers with prime periods $1,2,3,5,6,7,8,9,10$ or $12$ and that these are the only periods that rational sequences $\{x_n\}_n$ can have. It is known that if we restrict our attention to posit… ▽ More Consider the celebrated Lyness recurrence $x_{n+2}=(a+x_{n+1})/x_{n}$ with $a\in\Q$. First we prove that there exist initial conditions and values of $a$ for which it generates periodic sequences of rational numbers with prime periods $1,2,3,5,6,7,8,9,10$ or $12$ and that these are the only periods that rational sequences $\{x_n\}_n$ can have. It is known that if we restrict our attention to positive rational values of $a$ and positive rational initial conditions the only possible periods are $1,5$ and $9$. Moreover 1-periodic and 5-periodic sequences are easily obtained. We prove that for infinitely many positive values of $a,$ positive 9-period rational sequences occur. This last result is our main contribution and answers an open question left in previous works of Bastien \& Rogalski and Zeeman. We also prove that the level sets of the invariant associated to the Lyness map is a two-parameter family of elliptic curves that is a universal family of the elliptic curves with a point of order $n, n\ge5,$ including $n$ infinity. This fact implies that the Lyness map is a universal normal form for most birrational maps on elliptic curves. △ Less

Submitted 30 April, 2010; originally announced April 2010.

Comments: 22 pages, 2 figures.

MSC Class: 39A20; 39A11; 14H52

Journal ref: Discrete and Continuous Dynamical Systems -Series A. 32 (2) (2012), 587-604

On symmetric square values of quadratic polynomials

Authors: Enrique Gonzalez-Jimenez, Xavier Xarles

Abstract: We prove that there does not exist a non-square quadratic polynomial with integer coefficients and an axis of symmetry which takes square values for N consecutive integers for N=7 or N >= 9. At the opposite, if N <= 6 or N=8 there are infinitely many. We prove that there does not exist a non-square quadratic polynomial with integer coefficients and an axis of symmetry which takes square values for N consecutive integers for N=7 or N >= 9. At the opposite, if N <= 6 or N=8 there are infinitely many. △ Less

Submitted 26 January, 2010; originally announced January 2010.

MSC Class: 11G30 (Primary); 11D45; 14H25 (Secondary)

Journal ref: Acta Arithmetica 149, 145-159 (2011)

Perturbations of L-functions with or without non-trivial zeros off the critical line

Authors: P. M. Gauthier, X. Xarles

Abstract: There exist small perturbations of L-functions, satisfying the appropriate functional equation, for which the analogue of the Riemann hypothesis fails radically. Moreover, this phenomenon is generic. However, there also exist small perturbations, for which the analogue of the Riemann hypothesis holds. There exist small perturbations of L-functions, satisfying the appropriate functional equation, for which the analogue of the Riemann hypothesis fails radically. Moreover, this phenomenon is generic. However, there also exist small perturbations, for which the analogue of the Riemann hypothesis holds. △ Less

Submitted 26 November, 2009; originally announced November 2009.

Comments: To appear in Proceedings of the Wurzburg Conference "New Directions In The Theory Of Universal ZETA- And L-Functions", 6-10 October 2008, J. Steuding, R. Steuding (eds.), Shaker Publishing

MSC Class: 11M26; 11M41; 30E10

Five squares in arithmetic progression over quadratic fields

Authors: Enrique González-Jiménez, Xavier Xarles

Abstract: We give several criteria to show over which quadratic number fields Q(sqrt{D}) there should exists a non-constant arithmetic progressions of five squares. This is done by translating the problem to determining when some genus five curves C_D defined over Q have rational points, and then using a Mordell-Weil sieve argument among others. Using a elliptic Chabauty-like method, we prove that the only… ▽ More We give several criteria to show over which quadratic number fields Q(sqrt{D}) there should exists a non-constant arithmetic progressions of five squares. This is done by translating the problem to determining when some genus five curves C_D defined over Q have rational points, and then using a Mordell-Weil sieve argument among others. Using a elliptic Chabauty-like method, we prove that the only non-constant arithmetic progressions of five squares over Q(sqrt{409}), up to equivalence, is 7^2, 13^2, 17^2, 409, 23^2. Furthermore, we give an algorithm that allow to construct all the non-constant arithmetic progressions of five squares over all quadratic fields. Finally, we state several problems and conjectures related to this problem. △ Less

Submitted 24 January, 2013; v1 submitted 9 September, 2009; originally announced September 2009.

Comments: To appear in Revista Matemática Iberoamericana

MSC Class: 11G30; 11B25; 11D45 (Primary) 14H25 (Secondary)

Journal ref: Revista Matemática Iberoamericana 29, no. 4, 1211-1238 (2013)

Squares in arithmetic progression over number fields

Authors: Xavier Xarles

Abstract: We show that there exists an upper bound for the number of squares in arithmetic progression over a number field that depends only on the degree of the field. We show that this bound is 5 for quadratic fields, and also that the result generalizes to $k$-powers for $k>1$. We show that there exists an upper bound for the number of squares in arithmetic progression over a number field that depends only on the degree of the field. We show that this bound is 5 for quadratic fields, and also that the result generalizes to $k$-powers for $k>1$. △ Less

Submitted 9 September, 2009; originally announced September 2009.

Comments: 17 pages

MSC Class: 11G30; 14H25; 11B25; 11D45

Formal completions of Néron models for algebraic tori

Authors: Oleg Demchenko, Alexander Gurevich, Xavier Xarles

Abstract: We calculate the formal group law which represents the completion of the Néron model of an algebraic torus over the rationals that splits in a tamely ramified abelian extension. As a tools in the proof, we define and give criterions to compute the Weil restriction of a formal group law and the analog of the fixed part of a formal group law with respect to the action of a (finite) group. We calculate the formal group law which represents the completion of the Néron model of an algebraic torus over the rationals that splits in a tamely ramified abelian extension. As a tools in the proof, we define and give criterions to compute the Weil restriction of a formal group law and the analog of the fixed part of a formal group law with respect to the action of a (finite) group. △ Less

Submitted 19 November, 2009; v1 submitted 19 April, 2007; originally announced April 2007.

Comments: 35 pages. New version with new functoriality results. Final version in the Proceedings of the London Mathematical Society, link: http://plms.oxfordjournals.org/cgi/content/abstract/pdp039?ijkey=NVyJlz51HbzrzxM&keytype=ref

MSC Class: 14L05; 14G25; 11G35.

On p-adic intermediate Jacobians

Authors: Wayne Raskind, Xavier Xarles

Abstract: For an algebraic variety $X$ of dimension $d$ with totally degenerate reduction over a $p$-adic field (definition recalled below) and an integer $i$ with $1\leq i\leq d$, we define a rigid analytic torus $J^i(X)$ together with an Abel-Jacobi mapping to it from the Chow group $CH^i(X)_{hom}$ of codimension $i$ algebraic cycles that are homologically equivalent to zero modulo rational equivalence.… ▽ More For an algebraic variety $X$ of dimension $d$ with totally degenerate reduction over a $p$-adic field (definition recalled below) and an integer $i$ with $1\leq i\leq d$, we define a rigid analytic torus $J^i(X)$ together with an Abel-Jacobi mapping to it from the Chow group $CH^i(X)_{hom}$ of codimension $i$ algebraic cycles that are homologically equivalent to zero modulo rational equivalence. These tori are analogous to those defined by Griffiths using Hodge theory over the complex numbers. We compare and contrast the complex and $p$-adic theories. Finally, we examine a special case of a $p$-adic analogue of the Generalized Hodge Conjecture △ Less

Submitted 17 January, 2006; originally announced January 2006.

Comments: to appear in Transactions of the AMS

MSC Class: 14K30;14K99;14F20

On the etale cohomology of algebraic varieties with totally degenerate reduction over p-adic fields

Authors: Wayne Raskind, Xavier Xarles

Abstract: Let K be a finite extension of Q_p and X a smooth projective variety over K. We define the notion of totally degenerate reduction of such an X and the associated Chow complexes of the special fibre of a suitable regular proper model of X over the ring of integers of K. If X has such reduction, we then show that for all l, the Q_l-adic etale cohomology of X has a filtration whose graded quotients… ▽ More Let K be a finite extension of Q_p and X a smooth projective variety over K. We define the notion of totally degenerate reduction of such an X and the associated Chow complexes of the special fibre of a suitable regular proper model of X over the ring of integers of K. If X has such reduction, we then show that for all l, the Q_l-adic etale cohomology of X has a filtration whose graded quotients are isomorphic, as Galois modules, to the tensor product of a finite dimensional Q-vector space (with a finite unramified action of Galois) with twists of Q_l by the cyclotomic character. △ Less

Submitted 25 January, 2006; v1 submitted 6 June, 2003; originally announced June 2003.

Comments: 29 pages This and math.AG/0601401 replace math.AG/0306123

MSC Class: 14F20; 14F30 (primary) and 14G20 (secondary)