Source author record

Luis Arenas-Carmona

Luis Arenas-Carmona appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

15works
3topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

15 published item(s)

preprint2021arXiv

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

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.

preprint2020arXiv

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

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.

preprint2016arXiv

On optimal embeddings and trees

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.

preprint2014arXiv

On some branches of the Bruhat-Tits tree

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.

preprint2014arXiv

Roots of unity in definite quaternion orders

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.

preprint2013arXiv

Representation field for orders of small ranks

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.

preprint2012arXiv

Computing quaternion quotient graphs via representation of orders

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.

preprint2011arXiv

Eichler orders, trees and Representation Fields

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.

preprint2011arXiv

Maximal selectivity for orders in fields

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.

preprint2011arXiv

Representation fields for commutative orders

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.