-
Constructing multi-cusped hyperbolic manifolds that are isospectral and not isometric
Authors:
Benjamin Linowitz
Abstract:
In a recent paper Garoufalidis and Reid constructed pairs of 1-cusped hyperbolic 3-manifolds which are isospectral but not isometric. In this paper we extend this work to the multi-cusped setting by constructing isospectral but not isometric hyperbolic 3-manifolds with arbitrarily many cusps. The manifolds we construct have the same Eisenstein series, the same infinite discrete spectrum and the sa…
▽ More
In a recent paper Garoufalidis and Reid constructed pairs of 1-cusped hyperbolic 3-manifolds which are isospectral but not isometric. In this paper we extend this work to the multi-cusped setting by constructing isospectral but not isometric hyperbolic 3-manifolds with arbitrarily many cusps. The manifolds we construct have the same Eisenstein series, the same infinite discrete spectrum and the same complex length spectrum. Our construction makes crucial use of Sunada's method and the Strong Approximation Theorem of Nori and Weisfeiler.
△ Less
Submitted 18 July, 2023;
originally announced July 2023.
-
The spectral geometry of hyperbolic and spherical manifolds: analogies and open problems
Authors:
Emilio A. Lauret,
Benjamin Linowitz
Abstract:
The spectral geometry of negatively curved manifolds has received more attention than its positive curvature counterpart. In this paper we will survey a variety of spectral geometry results that are known to hold in the context of hyperbolic manifolds and discuss the extent to which analogous results hold in the setting of spherical manifolds. We conclude with a number of open problems.
The spectral geometry of negatively curved manifolds has received more attention than its positive curvature counterpart. In this paper we will survey a variety of spectral geometry results that are known to hold in the context of hyperbolic manifolds and discuss the extent to which analogous results hold in the setting of spherical manifolds. We conclude with a number of open problems.
△ Less
Submitted 12 May, 2024; v1 submitted 18 May, 2023;
originally announced May 2023.
-
Systoles of Arithmetic Hyperbolic 2- and 3-Manifolds
Authors:
Laurel Heck,
Benjamin Linowitz
Abstract:
In this paper we study the systoles of arithmetic hyperbolic 2- and 3-manifolds. Our first result is the construction of infinitely many arithmetic hyperbolic 2- and 3-manifolds which are pairwise noncommensurable, all have the same systole, and whose volumes are explicitly bounded. Our second result fixes a positive number x and gives an upper bound for the least volume of an arithmetic hyperboli…
▽ More
In this paper we study the systoles of arithmetic hyperbolic 2- and 3-manifolds. Our first result is the construction of infinitely many arithmetic hyperbolic 2- and 3-manifolds which are pairwise noncommensurable, all have the same systole, and whose volumes are explicitly bounded. Our second result fixes a positive number x and gives an upper bound for the least volume of an arithmetic hyperbolic 2- or 3-manifold whose systole is greater than x. We conclude by determining, for certain small values of x, the least volume of a principal arithmetic hyperbolic 2-manifold over Q or 3-manifold over Q(i) whose systole is greater than x.
△ Less
Submitted 13 April, 2022;
originally announced April 2022.
-
Universal systole bounds for arithmetic locally symmetric spaces
Authors:
Sara Lapan,
Benjamin Linowitz,
Jeffrey S. Meyer
Abstract:
The systole of a closed Riemannian manifold is the minimal length of a non-contractible closed loop. We give a uniform lower bound for the systole for large classes of simple arithmetic locally symmetric orbifolds. We establish new bounds for the translation length of a semisimple element x in SL_n(R) in terms of its associated Mahler measure. We use these geometric methods to prove the existence…
▽ More
The systole of a closed Riemannian manifold is the minimal length of a non-contractible closed loop. We give a uniform lower bound for the systole for large classes of simple arithmetic locally symmetric orbifolds. We establish new bounds for the translation length of a semisimple element x in SL_n(R) in terms of its associated Mahler measure. We use these geometric methods to prove the existence of extensions of number fields in which fixed sets of primes have certain prescribed splitting behavior.
△ Less
Submitted 2 February, 2021;
originally announced February 2021.
-
Brauer equivalent number fields and the geometry of quaternionic Shimura varieties
Authors:
Benjamin Linowitz
Abstract:
Two number fields are said to be Brauer equivalent if there is an isomorphism between their Brauer groups that commutes with restriction. In this paper we prove a variety of number theoretic results about Brauer equivalent number fields (e.g., they must have the same signature). These results are then applied to the geometry of certain arithmetic locally symmetric spaces. As an example, we constru…
▽ More
Two number fields are said to be Brauer equivalent if there is an isomorphism between their Brauer groups that commutes with restriction. In this paper we prove a variety of number theoretic results about Brauer equivalent number fields (e.g., they must have the same signature). These results are then applied to the geometry of certain arithmetic locally symmetric spaces. As an example, we construct incommensurable arithmetic locally symmetric spaces containing exactly the same set of proper immersed totally geodesic surfaces.
△ Less
Submitted 19 April, 2018;
originally announced April 2018.
-
Systole inequalities for arithmetic locally symmetric spaces
Authors:
Sara Lapan,
Benjamin Linowitz,
Jeffrey S. Meyer
Abstract:
In this paper we study the systole growth of arithmetic locally symmetric spaces up congruence covers and show that this growth is at least logarithmic in volume. This generalizes previous work of Buser and Sarnak as well as Katz, Schaps and Vishne where the case of compact hyperbolic 2- and 3-manifolds was considered.
In this paper we study the systole growth of arithmetic locally symmetric spaces up congruence covers and show that this growth is at least logarithmic in volume. This generalizes previous work of Buser and Sarnak as well as Katz, Schaps and Vishne where the case of compact hyperbolic 2- and 3-manifolds was considered.
△ Less
Submitted 8 April, 2018; v1 submitted 29 September, 2017;
originally announced October 2017.
-
Areas of totally geodesic surfaces of hyperbolic 3-orbifolds
Authors:
Benjamin Linowitz,
D. B. McReynolds,
Nicholas Miller
Abstract:
The geodesic length spectrum of a complete, finite volume, hyperbolic 3-orbifold M is a fundamental invariant of the topology of M via Mostow-Prasad Rigidity. Motivated by this, the second author and Reid defined a two-dimensional analogue of the geodesic length spectrum given by the multiset of isometry types of totally geodesic, immersed, finite-area surfaces of M called the geometric genus spec…
▽ More
The geodesic length spectrum of a complete, finite volume, hyperbolic 3-orbifold M is a fundamental invariant of the topology of M via Mostow-Prasad Rigidity. Motivated by this, the second author and Reid defined a two-dimensional analogue of the geodesic length spectrum given by the multiset of isometry types of totally geodesic, immersed, finite-area surfaces of M called the geometric genus spectrum. They showed that if $M$ is arithmetic and contains a totally geodesic surface, then the geometric genus spectrum of M determines its commensurability class. In this paper we define a coarser invariant called the totally geodesic area set given by the set of areas of surfaces in the geometric genus spectrum. We prove a number of results quantifying the extent to which non-commensurable arithmetic hyperbolic 3-orbifolds can have arbitrarily large overlaps in their totally geodesic area sets.
△ Less
Submitted 10 July, 2017;
originally announced July 2017.
-
Bounded gaps between primes and the length spectra of arithmetic hyperbolic 3-orbifolds
Authors:
Benjamin Linowitz,
D. B. McReynolds,
Paul Pollack,
Lola Thompson
Abstract:
In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manif…
▽ More
In 1992, Reid asked whether hyperbolic 3-manifolds with the same geodesic length spectra are necessarily commensurable. While this is known to be true for arithmetic hyperbolic 3-manifolds, the non-arithmetic case is still open. Building towards a negative answer to this question, Futer and Millichap recently constructed infinitely many pairs of non-commensurable, non-arithmetic hyperbolic 3-manifolds which have the same volume and whose length spectra begin with the same first $m$ geodesic lengths. In the present paper, we show that this phenomenon is surprisingly common in the arithmetic setting. In particular, given any arithmetic hyperbolic 3-orbifold derived from a quaternion algebra, any finite subset $S$ of its geodesic length spectrum, and any $k \geq 2$, we produce infinitely many $k$-tuples of arithmetic hyperbolic 3-orbifolds which are pairwise non-commensurable, have geodesic length spectra containing $S$, and have volumes lying in an interval of (universally) bounded length. The main technical ingredient in our proof is a bounded gaps result for prime ideals in number fields lying in Chebotarev sets which extends recent work of Thorner.
△ Less
Submitted 22 May, 2017;
originally announced May 2017.
-
Counting problems for geodesics on arithmetic hyperbolic surfaces
Authors:
Benjamin Linowitz
Abstract:
It is a longstanding problem to determine the precise relationship between the geodesic length spectrum of a hyperbolic manifold and its commensurability class. A well known result of Reid, for instance, shows that the geodesic length spectrum of an arithmetic hyperbolic surface determines the surface's commensurability class. It is known, however, that non-commensurable arithmetic hyperbolic surf…
▽ More
It is a longstanding problem to determine the precise relationship between the geodesic length spectrum of a hyperbolic manifold and its commensurability class. A well known result of Reid, for instance, shows that the geodesic length spectrum of an arithmetic hyperbolic surface determines the surface's commensurability class. It is known, however, that non-commensurable arithmetic hyperbolic surfaces may share arbitrarily large portions of their length spectra. In this paper we investigate this phenomenon and prove a number of quantitative results about the maximum cardinality of a family of pairwise non-commensurable arithmetic hyperbolic surfaces whose length spectra all contain a fixed (finite) set of nonnegative real numbers.
△ Less
Submitted 26 February, 2017;
originally announced February 2017.
-
Counting isospectral manifolds
Authors:
Mikhail Belolipetsky,
Benjamin Linowitz
Abstract:
Given a simple Lie group $H$ of real rank at least $2$ we show that the maximum cardinality of a set of isospectral non-isometric $H$-locally symmetric spaces of volume at most $x$ grows at least as fast as $x^{c\log x/ (\log\log x)^2}$ where $c = c(H)$ is a positive constant. In contrast with the real rank $1$ case, this bound comes surprisingly close to the total number of such spaces as estimat…
▽ More
Given a simple Lie group $H$ of real rank at least $2$ we show that the maximum cardinality of a set of isospectral non-isometric $H$-locally symmetric spaces of volume at most $x$ grows at least as fast as $x^{c\log x/ (\log\log x)^2}$ where $c = c(H)$ is a positive constant. In contrast with the real rank $1$ case, this bound comes surprisingly close to the total number of such spaces as estimated in a previous work of Belolipetsky and Lubotzky [BL]. Our proof uses Sunada's method, results of [BL], and some deep results from number theory. We also discuss an open number-theoretical problem which would imply an even faster growth estimate.
△ Less
Submitted 11 December, 2017; v1 submitted 13 April, 2016;
originally announced April 2016.
-
Parametrizing Shimura subvarieties of $\mathrm{A}_1$ Shimura varieties and related geometric problems
Authors:
Benjamin Linowitz,
Matthew Stover
Abstract:
This paper gives a complete parametrization of the commensurability classes of totally geodesic subspaces of irreducible arithmetic quotients of $X_{a, b} = (\mathbf{H}^2)^a \times (\mathbf{H}^3)^b$. A special case describes all Shimura subvarieties of type $\mathrm{A}_1$ Shimura varieties. We produce, for any $n\geq 1$, examples of manifolds/Shimura varieties with precisely $n$ commensurability c…
▽ More
This paper gives a complete parametrization of the commensurability classes of totally geodesic subspaces of irreducible arithmetic quotients of $X_{a, b} = (\mathbf{H}^2)^a \times (\mathbf{H}^3)^b$. A special case describes all Shimura subvarieties of type $\mathrm{A}_1$ Shimura varieties. We produce, for any $n\geq 1$, examples of manifolds/Shimura varieties with precisely $n$ commensurability classes of totally geodesic submanifolds/Shimura subvarieties. This is in stark contrast with the previously studied cases of arithmetic hyperbolic $3$-manifolds and quaternionic Shimura surfaces, where the presence of one commensurability class of geodesic submanifolds implies the existence of infinitely many classes.
△ Less
Submitted 5 July, 2016; v1 submitted 13 October, 2015;
originally announced October 2015.
-
Systolic Surfaces of Arithmetic Hyperbolic 3-Manifolds
Authors:
Benjamin Linowitz,
Jeffrey S. Meyer
Abstract:
In this paper we examine the geometry of minimal surfaces of arithmetic hyperbolic 3-manifolds. In particular, we give bounds on the totally geodesic 2-systole, construct infinitely many incommensurable manifolds with the same initial geometric genus spectrum in which volume and 1-systole are controlled, and analyze the growth of the genera of minimal surfaces across commensurability classes. Thes…
▽ More
In this paper we examine the geometry of minimal surfaces of arithmetic hyperbolic 3-manifolds. In particular, we give bounds on the totally geodesic 2-systole, construct infinitely many incommensurable manifolds with the same initial geometric genus spectrum in which volume and 1-systole are controlled, and analyze the growth of the genera of minimal surfaces across commensurability classes. These results have applications to the study of how Heegard genus grows across commensurability classes.
△ Less
Submitted 27 June, 2015;
originally announced June 2015.
-
Locally Equivalent Correspondences
Authors:
Benjamin Linowitz,
D. B. McReynolds,
Nicholas Miller
Abstract:
Given a pair of number fields with isomorphic rings of adeles, we construct bijections between objects associated to the pair. For instance we construct an isomorphism of Brauer groups that commutes with restriction. We additionally construct bijections between central simple algebras, maximal orders, various Galois cohomology sets, and commensurability classes of arithmetic lattices in simple, in…
▽ More
Given a pair of number fields with isomorphic rings of adeles, we construct bijections between objects associated to the pair. For instance we construct an isomorphism of Brauer groups that commutes with restriction. We additionally construct bijections between central simple algebras, maximal orders, various Galois cohomology sets, and commensurability classes of arithmetic lattices in simple, inner algebraic groups. We show that under certain conditions, lattices corresponding to one another under our bijections have the same covolume and pro-congruence completion. We also make effective a finiteness result of Prasad and Rapinchuk.
△ Less
Submitted 12 November, 2016; v1 submitted 18 May, 2015;
originally announced May 2015.
-
The length spectra of arithmetic hyperbolic 3-manifolds and their totally geodesic surfaces
Authors:
Benjamin Linowitz,
Jeffrey S. Meyer,
Paul Pollack
Abstract:
In this paper we examine the relationship between the length spectrum and the geometric genus spectrum of an arithmetic hyperbolic 3-orbifold M. In particular we analyze the extent to which the geometry of M is determined by the closed geodesics coming from finite area totally geodesic surfaces. Using a variety of techniques from analytic number theory, we address the following problems: Is the co…
▽ More
In this paper we examine the relationship between the length spectrum and the geometric genus spectrum of an arithmetic hyperbolic 3-orbifold M. In particular we analyze the extent to which the geometry of M is determined by the closed geodesics coming from finite area totally geodesic surfaces. Using a variety of techniques from analytic number theory, we address the following problems: Is the commensurability class of an arithmetic hyperbolic 3-orbifold determined by the lengths of closed geodesics lying on totally geodesic surfaces?, Do there exist arithmetic hyperbolic 3-orbifolds whose "short" geodesics do not lie on any totally geodesic surfaces?, and Do there exist arithmetic hyperbolic 3-orbifolds whose "short" geodesics come from distinct totally geodesic surfaces?
△ Less
Submitted 18 May, 2015;
originally announced May 2015.
-
Systoles of Arithmetic Hyperbolic Surfaces and 3-manifolds
Authors:
Benjamin Linowitz,
D. B. McReynolds,
Paul Pollack,
Lola Thompson
Abstract:
Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field $k$. The proof relies upon bounds for the absolute logar…
▽ More
Our main result is that for all sufficiently large $x_0>0$, the set of commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with fixed invariant trace field $k$ and systole bounded below by $x_0$ has density one within the set of all commensurability classes of arithmetic hyperbolic 2- or 3-orbifolds with invariant trace field $k$. The proof relies upon bounds for the absolute logarithmic Weil height of algebraic integers due to Silverman, Brindza and Hajdu, as well as precise estimates for the number of rational quaternion algebras not admitting embeddings of any quadratic field having small discriminant. When the trace field is $\mathbf{Q}$, using work of Granville and Soundararajan, we establish a stronger result that allows our constant lower bound $x_0$ to grow with the area. As an application, we establish a systolic bound for arithmetic hyperbolic surfaces that is related to prior work of Buser-Sarnak and Katz-Schaps-Vishne. Finally, we establish an analogous density result for commensurability classes of arithmetic hyperbolic 3-orbifolds with small area totally geodesic $2$-orbifolds.
△ Less
Submitted 4 March, 2017; v1 submitted 20 April, 2015;
originally announced April 2015.
-
Commensurability Classes of Fake Quadrics
Authors:
Benjamin Linowitz,
Matthew Stover,
John Voight
Abstract:
A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the commensurability class of their fundamental group. To accomplish this task, we develop a number of new techniques that explicitly bound the arithmetic invariants of a…
▽ More
A fake quadric is a smooth projective surface that has the same rational cohomology as a smooth quadric surface but is not biholomorphic to one. We provide an explicit classification of all irreducible fake quadrics according to the commensurability class of their fundamental group. To accomplish this task, we develop a number of new techniques that explicitly bound the arithmetic invariants of a fake quadric and more generally of an arithmetic manifold of bounded volume arising from a form of SL_2 over a number field.
△ Less
Submitted 2 June, 2019; v1 submitted 17 April, 2015;
originally announced April 2015.
-
On the isospectral orbifold-manifold problem for nonpositively curved locally symmetric spaces
Authors:
Benjamin Linowitz,
Jeffrey S. Meyer
Abstract:
An old problem asks whether a Riemannian manifold can be isospectral to a Riemannian orbifold with nontrivial singular set. In this short note we show that under the assumption of Schanuel's conjecture in transcendental number theory, this is impossible whenever the orbifold and manifold in question are length-commensurable compact locally symmetric spaces of nonpositive curvature associated to si…
▽ More
An old problem asks whether a Riemannian manifold can be isospectral to a Riemannian orbifold with nontrivial singular set. In this short note we show that under the assumption of Schanuel's conjecture in transcendental number theory, this is impossible whenever the orbifold and manifold in question are length-commensurable compact locally symmetric spaces of nonpositive curvature associated to simple Lie groups.
△ Less
Submitted 7 April, 2015;
originally announced April 2015.
-
Selective orders in central simple algebras and isospectral families of arithmetic manifolds
Authors:
Benjamin Linowitz
Abstract:
Let $k$ be a number field and $B$ be a central simple algebra over $k$ of dimension $p^2$ where $p$ is prime. In the case that $p=2$ we assume that $B$ is not totally definite. In this paper we study sets of pairwise nonisomorphic maximal orders of $B$ with the property that a $\mathcal{O}_k$-order of rank $p$ embeds into either every maximal order in the set or into none at all. Such a set is cal…
▽ More
Let $k$ be a number field and $B$ be a central simple algebra over $k$ of dimension $p^2$ where $p$ is prime. In the case that $p=2$ we assume that $B$ is not totally definite. In this paper we study sets of pairwise nonisomorphic maximal orders of $B$ with the property that a $\mathcal{O}_k$-order of rank $p$ embeds into either every maximal order in the set or into none at all. Such a set is called nonselective. We prove upper and lower bounds for the cardinality of a maximal nonselective set. This problem is motivated by the inverse spectral problem in differential geometry. In particular we use our results to clarify a theorem of Vign{é}ras on the construction of isospectral nonisometric hyperbolic surfaces and $3$-manifolds from orders in quaternion algebras. We conclude by giving an example of isospectral nonisometric hyperbolic surfaces which arise from a quaternion algebra exhibiting selectivity.
△ Less
Submitted 2 September, 2014;
originally announced September 2014.
-
A non-commutative analogue of the Odlyzko bounds and bounds on performance for space-time lattice codes
Authors:
Benjamin Linowitz,
Matthew Satriano,
Roope Vehkalahti
Abstract:
This paper considers space-time coding over several independently Rayleigh faded blocks. In particular we will concentrate on giving upper bounds for the coding gain of lattice space-time codes as the number of blocks grow. This problem was previously considered in the single antenna case by Bayer et al. in 2006. Crucial to their work was Odlyzko's bound on the discriminant of an algebraic number…
▽ More
This paper considers space-time coding over several independently Rayleigh faded blocks. In particular we will concentrate on giving upper bounds for the coding gain of lattice space-time codes as the number of blocks grow. This problem was previously considered in the single antenna case by Bayer et al. in 2006. Crucial to their work was Odlyzko's bound on the discriminant of an algebraic number field, as this provides an upper bound for the normalized coding gain of number field codes. In the MIMO context natural codes are constructed from division algebras defined over number fields and the coding gain is measured by the discriminant of the corresponding (non-commutative) algebra. In this paper we will develop analogues of the Odlyzko bounds in this context and show how these bounds limit the normalized coding gain of a very general family of division algebra based space-time codes. These bounds can also be used as benchmarks in practical code design and as tools to analyze asymptotic bounds of performance as the number of independently faded blocks increases.
△ Less
Submitted 20 August, 2014;
originally announced August 2014.
-
Small isospectral and nonisometric orbifolds of dimension 2 and 3
Authors:
Benjamin Linowitz,
John Voight
Abstract:
Revisiting a construction due to Vigneras, we exhibit small pairs of orbifolds and manifolds of dimension 2 and 3 arising from arithmetic Fuchsian and Kleinian groups that are Laplace isospectral (in fact, representation equivalent) but nonisometric.
Revisiting a construction due to Vigneras, we exhibit small pairs of orbifolds and manifolds of dimension 2 and 3 arising from arithmetic Fuchsian and Kleinian groups that are Laplace isospectral (in fact, representation equivalent) but nonisometric.
△ Less
Submitted 27 July, 2015; v1 submitted 8 August, 2014;
originally announced August 2014.
-
Counting and effective rigidity in algebra and geometry
Authors:
Benjamin Linowitz,
D. B. McReynolds,
Paul Pollack,
Lola Thompson
Abstract:
The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effec…
▽ More
The purpose of this article is to produce effective versions of some rigidity results in algebra and geometry. On the geometric side, we focus on the spectrum of primitive geodesic lengths (resp., complex lengths) for arithmetic hyperbolic 2-manifolds (resp., 3-manifolds). By work of Reid, this spectrum determines the commensurability class of the 2-manifold (resp., 3-manifold). We establish effective versions of these rigidity results by ensuring that, for two incommensurable arithmetic manifolds of bounded volume, the length sets (resp., the complex length sets) must disagree for a length that can be explicitly bounded as a function of volume. We also prove an effective version of a similar rigidity result established by the second author with Reid on a surface analog of the length spectrum for hyperbolic 3-manifolds. These effective results have corresponding algebraic analogs involving maximal subfields and quaternion subalgebras of quaternion algebras. To prove these effective rigidity results, we establish results on the asymptotic behavior of certain algebraic and geometric counting functions which are of independent interest.
△ Less
Submitted 19 March, 2018; v1 submitted 8 July, 2014;
originally announced July 2014.
-
Families of mutually isospectral Riemannian orbifolds
Authors:
Benjamin Linowitz
Abstract:
In this paper we consider three arithmetic families of isospectral non-isometric Riemannian orbifolds and in each case derive an upper bound for the size of the family which is polynomial as a function of the volume of the orbifolds. The first family that we consider are those constructed by Vigneras' method. The second and third families are those whose covering groups are the minimal covolume ar…
▽ More
In this paper we consider three arithmetic families of isospectral non-isometric Riemannian orbifolds and in each case derive an upper bound for the size of the family which is polynomial as a function of the volume of the orbifolds. The first family that we consider are those constructed by Vigneras' method. The second and third families are those whose covering groups are the minimal covolume arithmetic subgroups and maximal arithmetic subgroups of PGL_2(R)^a x PGL_2(C)^b.
△ Less
Submitted 2 September, 2013;
originally announced September 2013.
-
The sign changes of Fourier coefficients of Eisenstein series
Authors:
Benjamin Linowitz,
Lola Thompson
Abstract:
In this paper we prove a number of theorems that determine the extent to which the signs of the Hecke eigenvalues of an Eisenstein newform determine the newform. We address this problem broadly and provide theorems of both individual and statistical nature. Many of these results are Eisenstein series analogues of well-known theorems for cusp forms. For instance, we determine how often the p-th Fou…
▽ More
In this paper we prove a number of theorems that determine the extent to which the signs of the Hecke eigenvalues of an Eisenstein newform determine the newform. We address this problem broadly and provide theorems of both individual and statistical nature. Many of these results are Eisenstein series analogues of well-known theorems for cusp forms. For instance, we determine how often the p-th Fourier coefficients of an Eisenstein newform begin with a fixed sequence of signs \varepsilon_p = {\pm 1, 0}. Moreover, we prove the following variant of the strong multiplicity-one theorem: an Eisenstein newform is uniquely determined by the signs of its Hecke eigenvalues with respect to any set of primes with density greater than 1/2.
△ Less
Submitted 27 May, 2013;
originally announced May 2013.
-
On fields of definition of arithmetic Kleinian reflection groups II
Authors:
Mikhail Belolipetsky,
Benjamin Linowitz
Abstract:
Following the previous work of Nikulin and Agol, Belolipetsky, Storm, and Whyte it is known that there exist only finitely many (totally real) number fields that can serve as fields of definition of arithmetic hyperbolic reflection groups. We prove a new bound on the degree $n_k$ of these fields in dimension 3: $n_k$ does not exceed 9. Combined with previous results of Maclachlan and Nikulin, this…
▽ More
Following the previous work of Nikulin and Agol, Belolipetsky, Storm, and Whyte it is known that there exist only finitely many (totally real) number fields that can serve as fields of definition of arithmetic hyperbolic reflection groups. We prove a new bound on the degree $n_k$ of these fields in dimension 3: $n_k$ does not exceed 9. Combined with previous results of Maclachlan and Nikulin, this leads to a new bound $n_k \le 25$ which is valid for all dimensions. We also obtain upper bounds for the discriminants of these fields and give some heuristic results which may be useful for the classification of arithmetic hyperbolic reflection groups.
△ Less
Submitted 20 March, 2013; v1 submitted 19 November, 2012;
originally announced November 2012.
-
Characterizing Hilbert modular cusp forms by coefficient size
Authors:
Benjamin Linowitz
Abstract:
Associated to an (adelic) Hilbert modular form is a sequence of `Fourier coefficients' which uniquely determine the form. In this paper we characterize Hilbert modular cusp forms by the size of their Fourier coefficients. This answers in the affirmative a question posed by Winfried Kohnen.
Associated to an (adelic) Hilbert modular form is a sequence of `Fourier coefficients' which uniquely determine the form. In this paper we characterize Hilbert modular cusp forms by the size of their Fourier coefficients. This answers in the affirmative a question posed by Winfried Kohnen.
△ Less
Submitted 17 May, 2012;
originally announced May 2012.
-
Local Selectivity of Orders in Central Simple Algebras
Authors:
Benjamin Linowitz,
Thomas R. Shemanske
Abstract:
Let $B$ be a central simple algebra of degree $n$ over a number field $K$, and $L\subset B$ a strictly maximal subfield. We say that the ring of integers $\mathcal O_L$ is "selective" if there exists an isomorphism class of maximal orders in $B$ no element of which contains $\mathcal O_L$. Many authors have worked to characterize the degree to which selectivity occurs, first in quaternion algebras…
▽ More
Let $B$ be a central simple algebra of degree $n$ over a number field $K$, and $L\subset B$ a strictly maximal subfield. We say that the ring of integers $\mathcal O_L$ is "selective" if there exists an isomorphism class of maximal orders in $B$ no element of which contains $\mathcal O_L$. Many authors have worked to characterize the degree to which selectivity occurs, first in quaternion algebras, and more recently in higher-rank algebras. In the present work, we consider a local variant of the selectivity problem and applications.
We first prove a theorem characterizing which maximal orders in a local central simple algebra contain the global ring of integers $\mathcal O_L$ by leveraging the theory of affine buildings for $SL_r(D)$ where $D$ is a local central division algebra. Then as an application, we use the local result and a local-global principle to show how to compute a set of representatives of the isomorphism classes of maximal orders in $B$, and distinguish those which are guaranteed to contain $\mathcal O_L$. Having such a set of representatives allows both algebraic and geometric applications. As an algebraic application, we recover a global selectivity result mentioned above, and give examples which clarify the interesting role of partial ramification in the algebra.
△ Less
Submitted 10 December, 2015; v1 submitted 11 April, 2012;
originally announced April 2012.
-
Isospectral towers of Riemannian Manifolds
Authors:
Benjamin Linowitz
Abstract:
In this paper we construct, for n >= 2, arbitrarily large families of infinite towers of compact, orientable Riemannian n-manifolds which are isospectral but not isometric at each stage. In dimensions two and three, the towers produced consist of hyperbolic 2-manifolds and hyperbolic 3-manifolds, and in these cases we show that the isospectral towers do not arise from Sunada's method.
In this paper we construct, for n >= 2, arbitrarily large families of infinite towers of compact, orientable Riemannian n-manifolds which are isospectral but not isometric at each stage. In dimensions two and three, the towers produced consist of hyperbolic 2-manifolds and hyperbolic 3-manifolds, and in these cases we show that the isospectral towers do not arise from Sunada's method.
△ Less
Submitted 24 January, 2012;
originally announced January 2012.
-
Decomposition theorems for Hilbert modular newforms
Authors:
Benjamin Linowitz
Abstract:
Let $\mathscr{S}_k^+(\cn,Φ)$ denote the space generated by Hilbert modular newforms (over a fixed totally real field $K$) of weight $k$, level $\cn$ and Hecke character $Φ$. We show how to decompose $\mathscr{S}_k^+(\cn,Φ)$ into direct sums of twists of other spaces of newforms. This sheds light on the behavior of a newform under a character twist: the exact level of the twist of a newform, when s…
▽ More
Let $\mathscr{S}_k^+(\cn,Φ)$ denote the space generated by Hilbert modular newforms (over a fixed totally real field $K$) of weight $k$, level $\cn$ and Hecke character $Φ$. We show how to decompose $\mathscr{S}_k^+(\cn,Φ)$ into direct sums of twists of other spaces of newforms. This sheds light on the behavior of a newform under a character twist: the exact level of the twist of a newform, when such a twist is itself a newform, and when a newform may be realized as the twist of a primitive newform. These results were proven for elliptic modular forms by Hijikata, Pizer and Shemanske by employing a formula for the trace of the Hecke operator $T_k(n)$. We obtain our results not by employing a more general formula for the trace of Hecke operators on spaces of Hilbert modular forms, but instead by using basic properties of newforms which were proven for elliptic modular forms by Li, and Atkin and Li, and later extended to Hilbert modular forms by Shemanske and Walling.
△ Less
Submitted 17 January, 2011;
originally announced January 2011.
-
Embedding Orders Into Central Simple Algebras
Authors:
Benjamin Linowitz,
Thomas R. Shemanske
Abstract:
The question of embedding fields into central simple algebras $B$ over a number field $K$ was the realm of class field theory. The subject of embedding orders contained in the ring of integers of maximal subfields $L$ of such an algebra into orders in that algebra is more nuanced. The first such result along those lines is an elegant result of Chevalley \cite{Chevalley-book} which says that with…
▽ More
The question of embedding fields into central simple algebras $B$ over a number field $K$ was the realm of class field theory. The subject of embedding orders contained in the ring of integers of maximal subfields $L$ of such an algebra into orders in that algebra is more nuanced. The first such result along those lines is an elegant result of Chevalley \cite{Chevalley-book} which says that with $B = M_n(K)$ the ratio of the number of isomorphism classes of maximal orders in $B$ into which the ring of integers of $L$ can be embedded (to the total number of classes) is $[L \cap \widetilde K : K]^{-1}$ where $\widetilde K$ is the Hilbert class field of $K$. Chinburg and Friedman (\cite{Chinburg-Friedman}) consider arbitrary quadratic orders in quaternion algebras satisfying the Eichler condition, and Arenas-Carmona \cite{Arenas-Carmona} considers embeddings of the ring of integers into maximal orders in a broad class of higher rank central simple algebras. In this paper, we consider central simple algebras of dimension $p^2$, $p$ an odd prime, and we show that arbitrary commutative orders in a degree $p$ extension of $K$, embed into none, all or exactly one out of $p$ isomorphism classes of maximal orders. Those commutative orders which are selective in this sense are explicitly characterized; class fields play a pivotal role. A crucial ingredient of Chinberg and Friedman's argument was the structure of the tree of maximal orders for $SL_2$ over a local field. In this work, we generalize Chinburg and Friedman's results replacing the tree by the Bruhat-Tits building for $SL_p$.
△ Less
Submitted 18 June, 2010;
originally announced June 2010.
-
Selectivity in Quaternion Algebras
Authors:
Benjamin Linowitz
Abstract:
We prove an integral version of the classical Albert-Brauer-Hasse-Noether theorem regarding quaternion algebras over number fields. Let $\mathfrak A$ be a quaternion algebra over a number field $K$ and assume that $\mathfrak A$ satisfies the Eichler condition; that is, there exists an archimedean prime of $K$ which does not ramify in $\mathfrak A$. Let $Ω$ be a commutative, quadratic…
▽ More
We prove an integral version of the classical Albert-Brauer-Hasse-Noether theorem regarding quaternion algebras over number fields. Let $\mathfrak A$ be a quaternion algebra over a number field $K$ and assume that $\mathfrak A$ satisfies the Eichler condition; that is, there exists an archimedean prime of $K$ which does not ramify in $\mathfrak A$. Let $Ω$ be a commutative, quadratic $\mathcal{O}_K$-order and let $\mathcal{R}\subset \mathfrak A$ be an order of full rank. Assume that there exists an embedding of $Ω$ into $\mathcal R$. We describe a number of criteria which, if satisfied, imply that every order in the genus of $\mathcal R$ admits an embedding of $Ω$. In the case that the relative discriminant ideal of $Ω$ is coprime to the level of $\mathcal R$ and the level of $\mathcal R$ is coprime to the discriminant of $\mathfrak A$, we give necessary and sufficient conditions for an order in the genus of $\mathcal R$ to admit an embedding of $Ω$. We explicitly parameterize the isomorphism classes of orders in the genus of $\mathcal R$ which admit an embedding of $Ω$. In particular, we show that the proportion of the genus of $\mathcal{R}$ admitting an embedding of $Ω$ is either 0, 1/2 or 1. Analogous statements are proven for optimal embeddings.
△ Less
Submitted 11 February, 2012; v1 submitted 28 May, 2010;
originally announced May 2010.
-
Modular forms on noncongruence subgroups and Atkin-Swinnerton-Dyer relations
Authors:
Liqun Fang,
J. William Hoffman,
Benjamin Linowitz,
Andrew Rupinski,
Helena Verrill
Abstract:
We give new examples of weight three cusp forms on noncongruence subgroups of SL(2, Z) whose Scholl representation is modular and which satisfy three term Atkin-Swinnerton-Dyer relations.
We give new examples of weight three cusp forms on noncongruence subgroups of SL(2, Z) whose Scholl representation is modular and which satisfy three term Atkin-Swinnerton-Dyer relations.
△ Less
Submitted 14 May, 2008;
originally announced May 2008.