A "hidden symmetry" of a Riemannian manifold M is an isometry of a d-sheeted, 1<d<\infty, Riemannian cover of M which is not the lift of any isometry. In this paper we characterize the locally symmetric metric(s) on a closed, arithmetic manifold as the unique metric with infinitely many hidden symmetries.
In this article, we investigate when the set of primitive geodesic lengths on a Riemannian manifold have arbitrarily long arithmetic progressions. We prove that in the space of negatively curved metrics, a metric having such arithmetic progressions is quite rare. We introduce almost arithmetic progressions, a coarsification of arithmetic progressions, and prove that every negatively curved, closed Riemannian manifold has arbitrarily long almost arithmetic progressions in its primitive length spectrum. Concerning genuine arithmetic progressions, we prove that every non-compact, locally symmetri…
We prove that any arithmetic hyperbolic $n$-manifold of simplest type can either be geodesically embedded into an arithmetic hyperbolic $(n+1)$-manifold or its universal $\mathrm{mod}~2$ Abelian cover can.
For d=2n+1 a positive odd integer, we consider sequences of arithmetic subgroups of SO_0(d,1) and Spin(d,1) yielding corresponding hyperbolic manifolds of finite volume and show that, under appropriate and natural assumptions, the torsion of the associated cohomology groups grows exponentially.
Using 4-dimensional arithmetic hyperbolic manifolds, we construct some new homological quantum error correcting codes. They are LDPC codes with linear rate and distance $n^ε$. Their rate is evaluated via Euler characteristic arguments and their distance using $\mathbb{Z}_2$-systolic geometry. This construction answers a queston of Zémor, who asked whether homological codes with such parameters could exist at all.
We formulate a conjecture that arithmetic locally symmetric manifolds have simple homotopy type, and prove it for the non-compact case. More precisely, we show that, for any symmetric space S of non-compact type without Euclidean de Rham factors, there are constants a=a(S) and d=d(S) such that any non-compact arithmetic manifold, locally isometric to S, is homotopically equivalent to a simplicial complex whose vertices degrees are bounded by d, and its number of vertices is bounded by a times the Riemannian volume. It is very likely that such a result holds also for compact arithmetic manifold…
Asymptotically geodesic hypersurfaces and the fundamental groups of hyperbolic manifolds
Fudan University(复旦大学);Shanghai Institute for Mathematics and Interdisciplinary Sciences (SIMIS)(上海数学与交叉学科研究院);Massachusetts Institute of Technology(麻省理工学院)
Block and Weinberger show that an arithmetic manifold can be endowed with a positive scalar curvature metric if and only if its $\rationals$-rank exceeds 2. We show in this article that these metrics are never in the same coarse class as the natural metric inherited from the base Lie group. Furthering the coarse $C^\ast$-algebraic methods of Roe, we find a nonzero Dirac obstruction in the $K$-theory of a particular operator algebra which encodes information about the quasi-isometry type of the manifold as well as its local geometry.
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 fiel…
The purpose of the present paper is to prove existence of super-exponentially many compact orientable hyperbolic arithmetic $n$-manifolds that are geometric boundaries of compact orientable hyperbolic $(n+1)$-manifolds, for any $n \geq 2$, thereby establishing that these classes of manifolds have the same growth rate with respect to volume as all compact orientable hyperbolic arithmetic $n$-manifolds. An analogous result holds for non-compact orientable hyperbolic arithmetic $n$-manifolds of finite volume that are geometric boundaries, for $n \geq 2$.
R. Zimmer proved that, on a compact manifold, a foliation with a dense leaf, a suitable leafwise Riemannian symmetric metric and a transverse Lie structure has arithmetic holonomy group. In this work we improve such result for totally geodesic foliations by showing that the manifold itself is arithmetic. This also gives a positive answer, for some special cases, to a conjecture of E. Ghys.
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 set…
We show that the number of isometry classes of cusped hyperbolic $3$-manifolds that bound geometrically grows at least super-exponentially with their volume, both in the arithmetic and non-arithmetic settings.
This paper focuses on the development of harmonic and Clifford analysis techniques in the context of some conformally flat manifolds that arise from factoring out a simply-connected domain from $R^n$ by special arithmetic subgroups of the conformal group. Our discussion encompasses in particular the Hopf manifold $S^1 \times S^{n-1}$, conformally flat cylinders and tori and some conformally flat manifolds of genus $g \ge 2$, such as $k$-handled tori and polycylinders. This paper provides a continuation as well as an extension of our previous two papers \cite{KraRyan1,KraRyan2}. In particular, …
Oeljeklaus-Toma (OT) manifolds are certain compact complex manifolds built from number fields. Conversely, we show that the fundamental group often pins down the number field uniquely. We relate the first homology to some interesting ideal. OT manifolds are never Kähler, but carry an LCK metric (locally conformally Kähler). Oeljeklaus and Toma used them to disprove a conjecture on the Betti numbers of spaces carrying LCK metrics. Mysteriously, the volume for this metric gives the discriminant and Dirichlet regulator of the number field. Totally unlike the above topological aspects, there does …
Fundamental solutions of Dirac type operators are introduced for a class of conformally flat manifolds. This class consists of manifolds obtained by factoring out the upper half-space of $\mathbb{R}^n$ by arithmetic subgroups of generalized modular groups. Basic properties of these fundamental solutions are presented together with associated Eisenstein and Poincaré type series.
In this paper we prove that, for any arithmetic hyperbolic $n$-manifold $M$ of the first type, the systole of most of the principal congruence coverings $M_{I}$ satisfy $$sys_{1}(M_{I})\geq \frac{8}{n(n+1)}\log(vol(M_{I}))-c,$$ where $c$ is a constant independent of $I$. This generalizes previous work of Buser and Sarnak, and Katz, Schaps and Vishne in dimension 2 and 3. As applications, we obtain explicit estimates for systolic genus of hyperbolic manifolds studied by Belolipetsky and the distance of homological codes constructed by Guth and Lubotzky. In an appendix together with Cayo Dória w…
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 w…
The moduli space of the Calabi-Yau three-folds, which play a role as superstring ground states, exhibits the same {\em special geometry} that is known from nonlinear sigma models in $N=2$ supergravity theories. We discuss the symmetry structure of special real, complex and quaternionic spaces. Maps between these spaces are implemented via dimensional reduction. We analyze the emergence of {\em extra} and {\em hidden} symmetries. This analysis is then applied to homogeneous special spaces and the implications for the classification of homogeneous quaternionic spaces are discussed.
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.
In this paper we introduce a new approach to variational problems on the space Riem(M^n) of Riemannian structures (i.e. isometry classes of Riemannan metrics) on any fixed compact manifold M^n of dimension n >= 5. This approach often enables one to replace the considered variational problem on Riem(M^n) (or on some subset of Riem(M^n)) by the same problem but on spaces Riem(N^n) for every manifold N^n from a class of compact manifolds of the same dimension and with the same homology as M^n but with the following two useful properties: (1) If νis any Riemannian structure on any manifold N^n fro…
For a fixed prequantum line bundle $L$ over a hyperKähler manifold $X$, we find a natural $\operatorname{Sp}(1)$-action on $Ω^*(X, L)$ intertwining a twistor family of $\operatorname{Spin}^{\operatorname{c}}$-Dirac Laplacians on the spaces of $L$-valued $(0, *)$-forms on $X$, noting that $L$ is holomorphic for only one complex structure in the twistor family. This establishes a geometric quantization of $X$ via Gukov-Witten brane quantization and leads to a proposal of a mathematical definition of $\operatorname{Hom}(\overline{\mathcal{B}}_{\operatorname{cc}}, \mathcal{B}_{\operatorname{cc}})$…
The recently discovered fourth class of Frobenius manifolds by Combe--Manin in opened and highlighted new geometric domains to explore. The guiding mantra of this article is to show the existence of hidden geometric aspects of the fourth Frobenius manifold, which turns out to be related to so-called causality conditions. Firstly, it is proved that the fourth class of Frobenius manifolds is a Pseudo-Elliptic one. Secondly, this manifold turns out to be a sub-manifold of a non-orientable Lorentzian projective manifold. Thirdly, Maurer--Cartan structures for this manifold and hidden geometrical p…