BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Benjamin Linowitz

Benjamin Linowitz appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
math.NTmath.GTmath.DGmath.RAmath.SPInformation Theorymath.AGmath.IT

Catalog footprint

What is connected

18works
8topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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

18 published item(s)

preprint2022arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Local Selectivity of Orders in Central Simple Algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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?

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

A non-commutative analogue of the Odlyzko bounds and bounds on performance for space-time lattice codes

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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{é}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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Families of mutually isospectral Riemannian orbifolds

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On fields of definition of arithmetic Kleinian reflection groups II

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.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

The sign changes of Fourier coefficients of Eisenstein series

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.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Selectivity in Quaternion Algebras

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.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Decomposition theorems for Hilbert modular newforms

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Embedding Orders Into Central Simple Algebras

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$.

0 citations0 reviewsNo code linkedOpen access