Showing 1–22 of 22 results for author: Arenas-Carmona, L

A Continued Fractions Theory for the completion of the Puiseux field

Authors: Luis Arenas-Carmona, Claudio Bravo

Abstract: In this work, we study a continued fractions theory for the topological completion of the field of Puiseux series. As usual, we prove that any element in the completion can be developed as a unique continued fractions, whose coefficients are polynomials in roots of the variable, and that this approximation is the best ''rational'' Diophantine approximation of such element. Then, we interpret the p… ▽ More In this work, we study a continued fractions theory for the topological completion of the field of Puiseux series. As usual, we prove that any element in the completion can be developed as a unique continued fractions, whose coefficients are polynomials in roots of the variable, and that this approximation is the best ''rational'' Diophantine approximation of such element. Then, we interpret the preceding result in terms of the action of a suitable arithmetic subgroup of the special linear group on the Berkovich space defined over the said completion. We also explore the connections between points of type IV of the Berkovich space in terms of some ''non-convergent'' or ''undefined'' continued fractions, in a sense that we make precise in the text. △ Less

Submitted 7 July, 2024; originally announced July 2024.

Comments: Comments are welcome

MSC Class: 11J70; 11J61; 13F25 (primary) 20G25; 14G22 (secondary)

Diophantine Approximation in local function fields via Bruhat-Tit trees

Authors: Luis Arenas-Carmona, Claudio Bravo

Abstract: We use the theory of arithmetic quotients of the Bruhat-Tits tree developed by Serre and others to obtain Dirichlet-style theorems for Diophantine approximation on global function fields. This approach allows us to find sharp values for the constants involved and, occasionally, explicit examples of badly approximable quadratic irrationals. Additionally, we can use this method to easily compute the… ▽ More We use the theory of arithmetic quotients of the Bruhat-Tits tree developed by Serre and others to obtain Dirichlet-style theorems for Diophantine approximation on global function fields. This approach allows us to find sharp values for the constants involved and, occasionally, explicit examples of badly approximable quadratic irrationals. Additionally, we can use this method to easily compute the measure of the set of elements that can be written as the limit of a sequence of ``better than expected'' approximants. All these results can be easily obtained via continued fractions when they are available, so that quotient graphs can be seen as a partial replacement of them when this fails to be the case. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: 19 pages and 6 figures. Comments are welcome

MSC Class: 11J61; 14H05 (primary) 11J70; 11K60; 20E08 (secondary)

Quotients of the Bruhat-Tits tree by arithmetic subgroups of special unitary groups

Authors: Luis Arenas-Carmona, Claudio Bravo, Benoit Loisel, Giancarlo Lucchini Arteche

Abstract: Let $K$ be the function field of a curve $C$ over a field $\mathbb{F}$ of either odd or zero characteristic. Following the work by Serre and Mason on $\mathrm{SL}_2$, we study the action of arithmetic subgroups of $\mathrm{SU}(3)$ on its corresponding Bruhat-Tits tree associated to a suitable completion of $K$. More precisely, we prove that the quotient graph "looks like a spider", in the sense th… ▽ More Let $K$ be the function field of a curve $C$ over a field $\mathbb{F}$ of either odd or zero characteristic. Following the work by Serre and Mason on $\mathrm{SL}_2$, we study the action of arithmetic subgroups of $\mathrm{SU}(3)$ on its corresponding Bruhat-Tits tree associated to a suitable completion of $K$. More precisely, we prove that the quotient graph "looks like a spider", in the sense that it is the union of a set of cuspidal rays (the "legs"), parametrized by an explicit Picard group, that are attached to a connected graph (the "body"). We use this description in order to describe these arithmetic subgroups as amalgamated products and study their homology. In the case where $\mathbb{F}$ is a finite field, we use a result by Bux, Köhl and Witzel in order to prove that the "body" is a finite graph, which allows us to get even more precise applications. △ Less

Submitted 23 November, 2021; v1 submitted 1 July, 2021; originally announced July 2021.

Comments: 36 pages. Final version

MSC Class: primary 20E08; 20H25; 14H05; secondary 20J06; 20G30; 11F75

Journal ref: J. Pure Appl. Algebra 226 (2022), 106996

Branches in the Bruhat-Tits tree for local fields of even characteristic

Authors: Luis Arenas-Carmona, Claudio Bravo

Abstract: We extend our previous computations for the relative positions of branches of quaternions to the case of local fields of even characteristic. This is a key step to understand the set of maximal orders containing a given suborder, which is useful, for instance, to compute relative spinor images, thus solving the selectivity problem. In our previous work, the results where given in terms of the quad… ▽ More We extend our previous computations for the relative positions of branches of quaternions to the case of local fields of even characteristic. This is a key step to understand the set of maximal orders containing a given suborder, which is useful, for instance, to compute relative spinor images, thus solving the selectivity problem. In our previous work, the results where given in terms of the quadratic defect. In the present context, we introduce and characterize an analogous concept for Artin-Schreier extensions. It is no longer useful to restrict our attention to orders generated by pure quaternions, as a separable quadratic extension contains no non-trivial element of null trace. In this work we state our result for an arbitrary pair of generators, for which we discuss a more general version of the Hilbert symbol in this context. △ Less

Submitted 14 July, 2020; originally announced July 2020.

MSC Class: 11S45

On genera containing non-split Eichler orders over function fields

Authors: Luis Arenas-Carmona, Claudio Bravo

Abstract: Grothendieck-Birkhoff Theorem states that every finite dimensional vector bundle over the projective line P1 splits as the sum of one dimensional vector bundles. This can be rephrased, in terms of orders, as stating that all maximal orders over the projective line in a matrix algebra split. In this work we study the extent to which this result can be generalized to Eichler orders when the base fie… ▽ More Grothendieck-Birkhoff Theorem states that every finite dimensional vector bundle over the projective line P1 splits as the sum of one dimensional vector bundles. This can be rephrased, in terms of orders, as stating that all maximal orders over the projective line in a matrix algebra split. In this work we study the extent to which this result can be generalized to Eichler orders when the base field F is finite. To be precise, we characterize both the genera of Eichler orders containing only split orders and the genera containing only a finite number of non-split conjugacy classes. The latter characterization is given for arbitrary projective curves over F. The method developed here also allows us to compute quotient graphs for some subgroups of $PGL_2(F[t])$ of arithmetical interest. This paper includes material from the unpublished work "Simultaneous diagonalization of vector bundles". △ Less

Submitted 22 May, 2019; v1 submitted 20 May, 2019; originally announced May 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1610.07716 It includes material from that (unpublished) paper

MSC Class: 14H60-11R58 (primary); 14G15-20E08 (secondary)

Branches on division algebras

Authors: Manuel Arenas, Luis Arenas-Carmona

Abstract: We describe the set of maximal orders in a 2-by-2 matrix algebra over a non-commutative local division algebra B containing a given suborder, for certain important families of such suborders, including rings of integers of division subalgebras of B or most maximal semisimple commutative subalgebras. We describe the set of maximal orders in a 2-by-2 matrix algebra over a non-commutative local division algebra B containing a given suborder, for certain important families of such suborders, including rings of integers of division subalgebras of B or most maximal semisimple commutative subalgebras. △ Less

Submitted 10 December, 2017; originally announced December 2017.

MSC Class: 11S45-11R52-16H20

On the missing branches of the Bruhat-Tits tree

Authors: Luis Arenas-Carmona, Claudio Bravo

Abstract: Let k be a local field and let A be the two-by-two matrix algebra over k. In our previous work we developed a theory that allows the computation of the set of maximal orders in A containing a given suborder. This set is given as a sub-tree of the Bruhat-Tits tree that is called the branch of the order. Branches have been used to study the global selectivity problem and also to compute local embedd… ▽ More Let k be a local field and let A be the two-by-two matrix algebra over k. In our previous work we developed a theory that allows the computation of the set of maximal orders in A containing a given suborder. This set is given as a sub-tree of the Bruhat-Tits tree that is called the branch of the order. Branches have been used to study the global selectivity problem and also to compute local embedding numbers. They can usually be described in terms of two invariants. To compute these invariants explicitly, the strategy in our past work has been visualizing branches through the explicit representation of the Bruhat-Tits tree in terms of balls in k. This is easier for orders spanning a split commutative sub-algebra, i.e., an algebra isomorphic to (k x k). In the present work, we develop a theory of branches over field extension that can be used to extend our previous computations to orders spanning a field. We use the same idea to compute branches for orders generated by arbitrary pairs of non-nilpotent pure quaternions. In fact, the hypotheses on the generators are not essential. △ Less

Submitted 22 May, 2019; v1 submitted 4 December, 2017; originally announced December 2017.

Comments: This article will be published under the title "Computing embedding numbers and branches of orders via extensions of the Bruhat-Tits tree"

MSC Class: 11S45; 11R52; 16G30

Simultaneous diagonalization of vector bundles

Authors: Luis Arenas-Carmona

Abstract: Grothendieck-Birkhoff Theorem states that every finite dimensional vector bundle over the projective line splits as the sum of one dimensional vector bundles. In this work we study simultaneous splittings of two dimensional vector bundles over a finite field using the theory of Eichler orders. In the sheaf-theoretical context, an Eichler order in a matrix algebra is the intersection of the sheaves… ▽ More Grothendieck-Birkhoff Theorem states that every finite dimensional vector bundle over the projective line splits as the sum of one dimensional vector bundles. In this work we study simultaneous splittings of two dimensional vector bundles over a finite field using the theory of Eichler orders. In the sheaf-theoretical context, an Eichler order in a matrix algebra is the intersection of the sheaves of endomorphisms of two vector bundles, so characterizing split Eichler orders solves the problem of simultaneous splitting. We caracterize both the genera of Eichler orders containing only split Eichler orders and the genera containing only a finite number of non-split classes, in terms of a divisor-valued distance parametrizing the genera. This article shall not be published in its present form. These results will be included in the article "On genera containing non-split Eichler orders over function fields" [arXiv:1905.08244]. △ Less

Submitted 22 May, 2019; v1 submitted 24 October, 2016; originally announced October 2016.

Comments: 13 pages. Superceded by arXiv:1905.08244

MSC Class: 14H60-14C20-11R58-20E08

On optimal embeddings and trees

Authors: Manuel Arenas, Luis Arenas-Carmona, Jaime Contreras

Abstract: We apply the theory of Bruhat-Tits trees to the study of optimal embeddings of two and three dimensional commutative orders into quaternion algebras. Specifically, we determine how many conjugacy classes of global Eichler orders in a quaternion algebra yield optimal representations of such orders. This completes the previous work by C. Maclachlan, who considered only Eichler orders of square free… ▽ More We apply the theory of Bruhat-Tits trees to the study of optimal embeddings of two and three dimensional commutative orders into quaternion algebras. Specifically, we determine how many conjugacy classes of global Eichler orders in a quaternion algebra yield optimal representations of such orders. This completes the previous work by C. Maclachlan, who considered only Eichler orders of square free level and integral domains as sub-orders. The same technique is used in the second part of this work to compute local embedding numbers, extending previous results by J. Brzezinski. △ Less

Submitted 20 June, 2016; originally announced June 2016.

MSC Class: 11S45-11R52-11R56-11R37

On some branches of the Bruhat-Tits tree

Authors: Luis Arenas-Carmona, Ignacio Saavedra

Abstract: We give an algorithm to explicitly compute the largest subtree, in the local Bruhat-Tits tree for PSL_2(k), whose vertices correspond to orders containing a given suborder H, in terms of a set of generators for H. The shape of this subtree is described, when it is finite, by a set of two invariants. We use our method to provide a full table for the invariants of an order generated by a pair of ort… ▽ More We give an algorithm to explicitly compute the largest subtree, in the local Bruhat-Tits tree for PSL_2(k), whose vertices correspond to orders containing a given suborder H, in terms of a set of generators for H. The shape of this subtree is described, when it is finite, by a set of two invariants. We use our method to provide a full table for the invariants of an order generated by a pair of orthogonal pure quaternions. In a previous work, the first author showed that determining the shape of these local subtrees allows the computation of representation fields, a class field determining the set of isomorphism classes, in a genus O of orders of maximal rank in a fixed central simple algebra, containing an isomorphic copy of H. Some further applications are described here. △ Less

Submitted 26 July, 2014; originally announced July 2014.

MSC Class: 11S45-11R52

Roots of unity in definite quaternion orders

Authors: Luis Arenas-Carmona

Abstract: A commutative order in a quaternion algebra is called selective if it is embeds into some, but not all, the maximal orders in the algebra. It is known that a given quadratic order over a number field can be selective in at most one indefinite quaternion algebra. Here we prove that the order generated by a cubic root of unity is selective for any definite quaternion algebra over the rationals with… ▽ More A commutative order in a quaternion algebra is called selective if it is embeds into some, but not all, the maximal orders in the algebra. It is known that a given quadratic order over a number field can be selective in at most one indefinite quaternion algebra. Here we prove that the order generated by a cubic root of unity is selective for any definite quaternion algebra over the rationals with a type number 3 or larger. The proof extends to a few other closely related orders. △ Less

Submitted 11 April, 2014; originally announced April 2014.

MSC Class: 11R52-16G30

Selectivity on division algebras

Authors: Luis Arenas-Carmona

Abstract: A commutative order in a central simple algebra over a number field is said to be selective if it embeds in some, but not all, the maximal orders in the algebra. We completely characterize selective orders in central division algebras, of dimension 9 or greater, in terms of the characterization of selective orders given by Chindburg and Friedman in the quaternionic case. A commutative order in a central simple algebra over a number field is said to be selective if it embeds in some, but not all, the maximal orders in the algebra. We completely characterize selective orders in central division algebras, of dimension 9 or greater, in terms of the characterization of selective orders given by Chindburg and Friedman in the quaternionic case. △ Less

Submitted 23 March, 2014; originally announced March 2014.

Spinor class field for generalized Eichler orders

Authors: Luis Arenas-Carmona

Abstract: We compute the spinor class field for a genus of orders, in a central simple algebra of higher dimension, that are intersections of two maximal orders. In particular, we compute the number of spinor genera in a genus of such orders, as the degree of an explicit extension of class fields. We compute the spinor class field for a genus of orders, in a central simple algebra of higher dimension, that are intersections of two maximal orders. In particular, we compute the number of spinor genera in a genus of such orders, as the degree of an explicit extension of class fields. △ Less

Submitted 20 September, 2013; originally announced September 2013.

MSC Class: 11R52-11R56-11R37

Spinor norm for skew-hermitian forms over quaternion algebras

Authors: L. E. Arenas-Carmona, P. Quiroz

Abstract: We complete all local spinor norm computations for quaternionic skew-hermitian forms over the field of rational numbers. Examples of class number computations are provided. We complete all local spinor norm computations for quaternionic skew-hermitian forms over the field of rational numbers. Examples of class number computations are provided. △ Less

Submitted 20 June, 2013; originally announced June 2013.

Comments: 17 pages

MSC Class: 11E39

Representation field for orders of small ranks

Authors: Luis Arenas-Carmona

Abstract: A representation field for a non-maximal order H in a central simple algebra A is a subfield of the spinor class field of maximal orders which determines the set of spinor genera of maximal orders representing H. In our previous work we have proved the existence of the representation field for several important families of suborders, like commutative orders, while we have also found examples where… ▽ More A representation field for a non-maximal order H in a central simple algebra A is a subfield of the spinor class field of maximal orders which determines the set of spinor genera of maximal orders representing H. In our previous work we have proved the existence of the representation field for several important families of suborders, like commutative orders, while we have also found examples where the representation field fails to exist. In this article, we prove that the representation field is defined for any order H of rank 7 or lower. The same technique yields the existence of representation fields for any order in an algebra whose semi-simple reduction is commutative. We also construct a rank-8 order whose representation field is not defined. △ Less

Submitted 18 May, 2013; originally announced May 2013.

Computing quaternion quotient graphs via representation of orders

Authors: Luis Arenas-Carmona

Abstract: We study the correspondence assigning the vertices of a certain quotient of the local Bruhat-Tits tree for the general linear group over a global function field, to conjugacy classes of maximal orders in some quaternion algebras. The interplay between quotient graphs and orders can be used to study representation of orders if the quotient graphs are known and conversely. We use this converse to fi… ▽ More We study the correspondence assigning the vertices of a certain quotient of the local Bruhat-Tits tree for the general linear group over a global function field, to conjugacy classes of maximal orders in some quaternion algebras. The interplay between quotient graphs and orders can be used to study representation of orders if the quotient graphs are known and conversely. We use this converse to find a reciprocity law between quotient graph at diferent places that suffices to compute, recursively, all local quotient graphs for a matrix algebra over a rational function field. △ Less

Submitted 14 July, 2012; originally announced July 2012.

Comments: 24 pages

MSC Class: 11R58-11R54 (Primary) 11R65-20H25-20E08-14C20 (Secondary)

Eichler orders, trees and Representation Fields

Authors: Luis Arenas-Carmona

Abstract: If H and D are two orders in a central simple algebra A with D of maximal rank, the representation field F(D|H) is a subfield of the spinor class field of the genus of D which determines the set of spinor genera of orders in that genus representing the order H. Previous work have focused on two cases, maximal orders D and commutative orders H. In this work, we show how to compute the representatio… ▽ More If H and D are two orders in a central simple algebra A with D of maximal rank, the representation field F(D|H) is a subfield of the spinor class field of the genus of D which determines the set of spinor genera of orders in that genus representing the order H. Previous work have focused on two cases, maximal orders D and commutative orders H. In this work, we show how to compute the representation field F(D|H) when D is the intersection of a finite family of maximal orders, e.g., an Eichler order, and H is arbitrary. Examples are provided. △ Less

Submitted 6 November, 2011; originally announced November 2011.

Maximal selectivity for orders in fields

Authors: Luis Arenas-Carmona

Abstract: If H and D are two orders in a central simple algebra A with D of maximal rank and containing H, the theory of representation fields describes the set of spinor genera of orders in the genus of D representing the order H. When H is contained in a maximal subfield of A and the dimension of A is the square of a prime p, the proportion of spinor genera representing H has the form r/p, in fact, when t… ▽ More If H and D are two orders in a central simple algebra A with D of maximal rank and containing H, the theory of representation fields describes the set of spinor genera of orders in the genus of D representing the order H. When H is contained in a maximal subfield of A and the dimension of A is the square of a prime p, the proportion of spinor genera representing H has the form r/p, in fact, when the representation field exists, this proportion is either 1 or 1/p. In the later case the order H is said to be selective for the genus. The condition for selectivity is known when D is maximal and also when p = 2 and D is an Eichler order. In this work we describe the orders H that are selective for at least one genus of orders of maximal rank in A. △ Less

Submitted 2 October, 2011; originally announced October 2011.

MSC Class: 11R52; 11R56; 11R37; 16G30; 16G10

Representation fields for commutative orders

Authors: Luis Arenas-Carmona

Abstract: A representation field for a non-maximal order $\Ha$ in a central simple algebra is a subfield of the spinor class field of maximal orders which determines the set of spinor genera of maximal orders containing a copy of $\Ha$. Not every non-maximal order has a representation field. In this work we prove that every commutative order has a representation field and give a formula for it. The main res… ▽ More A representation field for a non-maximal order $\Ha$ in a central simple algebra is a subfield of the spinor class field of maximal orders which determines the set of spinor genera of maximal orders containing a copy of $\Ha$. Not every non-maximal order has a representation field. In this work we prove that every commutative order has a representation field and give a formula for it. The main result is proved for central simple algebras over arbitrary global fields. △ Less

Submitted 10 April, 2011; originally announced April 2011.

Comments: Annales de l'institut Fourier, vol 61, 2011

Lattices and Cohomology

Authors: Luis Arenas-Carmona

Abstract: We give an interpretation of the cohomology of an arithmetically defined group as a set of equivalence classes of lattices. We use this interpretation to give a simpler proof of the connection established by J. Rohlfs between genus and cohomology. We give an interpretation of the cohomology of an arithmetically defined group as a set of equivalence classes of lattices. We use this interpretation to give a simpler proof of the connection established by J. Rohlfs between genus and cohomology. △ Less

Submitted 16 September, 2010; originally announced September 2010.

MSC Class: 20G10; 11E72; 11E95

Spinor class fields for sheaves of lattices

Authors: Luis Arenas-Carmona

Abstract: We extend the theory of spinor class field and representation fields previously defined for lattices over the ring of integers of a number field to both, lattices over the coordinate ring of a smooth irreducible affine curve over a finite field, and sheaves of lattices over the structure sheaf of an irreducible smooth projective curve over a finite field. We extend the theory of spinor class field and representation fields previously defined for lattices over the ring of integers of a number field to both, lattices over the coordinate ring of a smooth irreducible affine curve over a finite field, and sheaves of lattices over the structure sheaf of an irreducible smooth projective curve over a finite field. △ Less

Submitted 10 April, 2011; v1 submitted 16 September, 2010; originally announced September 2010.

MSC Class: 11R58; 11R37; 11R56; 11E41; 11R52

Notes on Cohomology

Authors: Luis Arenas-Carmona

Abstract: This work is a collection of old and new aplications of Galois cohomology to the clasification of algebraic and arithmetical objects. This work is a collection of old and new aplications of Galois cohomology to the clasification of algebraic and arithmetical objects. △ Less

Submitted 11 September, 2010; originally announced September 2010.