arXiv subjects

Benjamin Linowitz

Publications and source records attributed to Benjamin Linowitz.

At least 19 recordsLinked to original sources

arXiv2023

Constructing multi-cusped hyperbolic manifolds that are isospectral and not isometric

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.

math.GT↗

arXiv2023

The spectral geometry of hyperbolic and spherical manifolds: analogies and 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.

math.DG↗

arXiv2022

Systoles of Arithmetic Hyperbolic 2- and 3-Manifolds

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.

math.GT↗

arXiv2021

Universal systole bounds for arithmetic locally symmetric spaces

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.

math.DG↗

arXiv2018

Brauer equivalent number fields and the geometry of quaternionic Shimura varieties

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.

math.NT↗

arXiv2017

Systole inequalities for arithmetic locally symmetric spaces

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.

math.DG↗

arXiv2017

Areas of totally geodesic surfaces of hyperbolic 3-orbifolds

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.

math.GT↗

arXiv2017

Bounded gaps between primes and the length spectra of arithmetic hyperbolic 3-orbifolds

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.

math.GT↗

arXiv2017

Counting problems for geodesics on arithmetic hyperbolic surfaces

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.

math.GT↗

arXiv2016

Counting isospectral manifolds

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.

math.DG↗

arXiv2015

Parametrizing Shimura subvarieties of $\mathrm{A}_1$ Shimura varieties and related geometric problems

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.

math.GT↗

arXiv2015

Systolic Surfaces of Arithmetic Hyperbolic 3-Manifolds

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.

math.GT↗

arXiv2015

The length spectra of arithmetic hyperbolic 3-manifolds and their totally geodesic surfaces

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?

math.GT↗

arXiv2015

Locally Equivalent Correspondences

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.

math.GR↗

arXiv2015

Systoles of Arithmetic Hyperbolic Surfaces and 3-manifolds

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.

math.GT↗

arXiv2015

Commensurability Classes of Fake Quadrics

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.

math.AG↗

arXiv2015

On the isospectral orbifold-manifold problem for nonpositively curved locally symmetric spaces

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.

math.DG↗

arXiv2014

Selective orders in central simple algebras and isospectral families of arithmetic manifolds

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{\'e}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.

math.NT↗