Manifolds with small Dirac eigenvalues are nilmanifolds

Consider the class of n-dimensional Riemannian spin manifolds with bounded sectional curvatures and diameter, and almost non-negative scalar curvature. Let r=1 if n=2,3 and r=2^{[n/2]-1}+1 if n\geq 4. We show that if the square of the Dirac operator on such a manifold has $r$ small eigenvalues, then the manifold is diffeomorphic to a nilmanifold and has trivial spin structure. Equivalently, if M is not a nilmanifold or if M is a nilmanifold with a non-trivial spin structure, then there exists a uniform lower bound on the r-th eigenvalue of the square of the Dirac operator. If a manifold with almost nonnegative scalar curvature has one small Dirac eigenvalue, and if the volume is not too small, then we show that the metric is close to a Ricci-flat metric on M with a parallel spinor. In dimension 4 this implies that M is either a torus or a K3-surface

The Quantized O(1,2)/O(2)×Z2O(1,2)/O(2)\times Z_2 Sigma Model Has No Continuum Limit in Four Dimensions. I. Theoretical Framework

The nonlinear sigma model for which the field takes its values in the coset space $O(1,2)/O(2)\times Z_2$ is similar to quantum gravity in being perturbatively nonrenormalizable and having a noncompact curved configuration space. It is therefore a good model for testing nonperturbative methods that may be useful in quantum gravity, especially methods based on lattice field theory. In this paper we develop the theoretical framework necessary for recognizing and studying a consistent nonperturbative quantum field theory of the $O(1,2)/O(2)\times Z_2$ model. We describe the action, the geometry of the configuration space, the conserved Noether currents, and the current algebra, and we construct a version of the Ward-Slavnov identity that makes it easy to switch from a given field to a nonlinearly related one. Renormalization of the model is defined via the effective action and via current algebra. The two definitions are shown to be equivalent. In a companion paper we develop a lattice formulation of the theory that is particularly well suited to the sigma model, and we report the results of Monte Carlo simulations of this lattice model. These simulations indicate that as the lattice cutoff is removed the theory becomes that of a pair of massless free fields. Because the geometry and symmetries of these fields differ from those of the original model we conclude that a continuum limit of the $O(1,2)/O(2)\times Z_2$ model which preserves these properties does not exist.Comment: 25 pages, no figure

On semistable principal bundles over a complex projective manifold, II

Let (X, \omega) be a compact connected Kaehler manifold of complex dimension d and E_G a holomorphic principal G-bundle on X, where G is a connected reductive linear algebraic group defined over C. Let Z (G) denote the center of G. We prove that the following three statements are equivalent: (1) There is a parabolic subgroup P of G and a holomorphic reduction of the structure group of E_G to P (say, E_P) such that the bundle obtained by extending the structure group of E_P to L(P)/Z(G) (where L(P) is the Levi quotient of P) admits a flat connection; (2) The adjoint vector bundle ad(E_G) is numerically flat; (3) The principal G-bundle E_G is pseudostable, and the degree of the charateristic class c_2(ad(E_G) is zero.Comment: 15 page

Telehealth Diagnosis of Autism Spectrum Disorder through Clinical Cases

A diagnosis of autism spectrum disorder (ASD) provides access to interventions that are important for fostering development and improving quality of life. Thus, the timeliness of a diagnosis should not be limited by social-distancing limitations whenever possible. Despite this, clear guidance for transitioning autism diagnostic services to a telehealth model of care in the era of the COVID-19 pandemic is lacking. At our Institute, we have adapted our approach to ASD evaluation to promote continued access to evaluation services during this unprecedented time. The purpose of this case series is to provide examples of three different approaches to ASD differential diagnostic services via telehealth that we have taken at our Institute. We illustrate our methods and clinical decision-making, based on patient characteristics and referral aims, in providing telehealth diagnostic services and discuss the advantages and limitations of telehealth utilization in the differential diagnosis of ASD. At our Institute, telehealth services have provided an invaluable opportunity to continue to confirm (or rule out) an ASD diagnosis when appropriate to facilitate access to services during this time. Future research examining the utility of telehealth in the differential diagnosis of ASD is imperative given the potential advantages of telehealth services beyond the COVID-19 pandemic for some patients

Quantum error-correcting codes and 4-dimensional arithmetic hyperbolic manifolds

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^\epsilon$. Their rate is evaluated via Euler characteristic arguments and their distance using $\mathbb{Z}_2$-systolic geometry. This construction answers a queston of Z\'emor, who asked whether homological codes with such parameters could exist at all.Comment: 21 page

Are Small Hyperbolic Universes Observationally Detectable?

Using recent observational constraints on cosmological density parameters, together with recent mathematical results concerning small volume hyperbolic manifolds, we argue that, by employing pattern repetitions, the topology of nearly flat small hyperbolic universes can be observationally undetectable. This is important in view of the facts that quantum cosmology may favour hyperbolic universes with small volumes, and from the expectation coming from inflationary scenarios, that $\Omega_0$ is likely to be very close to one.Comment: 5 pages, 1 figure, LaTeX2e. A reference and two footnotes added. To appear in Class. Quantum Grav. 18 (2001) in the present for

Monodromy of Cyclic Coverings of the Projective Line

We show that the image of the pure braid group under the monodromy action on the homology of a cyclic covering of degree d of the projective line is an arithmetic group provided the number of branch points is sufficiently large compared to the degree.Comment: 47 pages (to appear in Inventiones Mathematicae

Automorphism groups of polycyclic-by-finite groups and arithmetic groups

We show that the outer automorphism group of a polycyclic-by-finite group is an arithmetic group. This result follows from a detailed structural analysis of the automorphism groups of such groups. We use an extended version of the theory of the algebraic hull functor initiated by Mostow. We thus make applicable refined methods from the theory of algebraic and arithmetic groups. We also construct examples of polycyclic-by-finite groups which have an automorphism group which does not contain an arithmetic group of finite index. Finally we discuss applications of our results to the groups of homotopy self-equivalences of K(\Gamma, 1)-spaces and obtain an extension of arithmeticity results of Sullivan in rational homotopy theory

Arithmeticity vs. non-linearity for irreducible lattices

We establish an arithmeticity vs. non-linearity alternative for irreducible lattices in suitable product groups, such as for instance products of topologically simple groups. This applies notably to a (large class of) Kac-Moody groups. The alternative relies on a CAT(0) superrigidity theorem, as we follow Margulis' reduction of arithmeticity to superrigidity.Comment: 11 page

Shimura varieties in the Torelli locus via Galois coverings of elliptic curves

We study Shimura subvarieties of $\mathsf{A}_g$ obtained from families of Galois coverings $f: C \rightarrow C'$ where $C'$ is a smooth complex projective curve of genus $g' \geq 1$ and $g= g(C)$. We give the complete list of all such families that satisfy a simple sufficient condition that ensures that the closure of the image of the family via the Torelli map yields a Shimura subvariety of $\mathsf{A}_g$ for $g' =1,2$ and for all $g \geq 2,4$ and for $g' > 2$ and $g \leq 9$. In a previous work of the first and second author together with A. Ghigi [FGP] similar computations were done in the case $g'=0$. Here we find 6 families of Galois coverings, all with $g' = 1$ and $g=2,3,4$ and we show that these are the only families with $g'=1$ satisfying this sufficient condition. We show that among these examples two families yield new Shimura subvarieties of $\mathsf{A}_g$, while the other examples arise from certain Shimura subvarieties of $\mathsf{A}_g$ already obtained as families of Galois coverings of $\mathbb{P}^1$ in [FGP]. Finally we prove that if a family satisfies this sufficient condition with $g'\geq 1$, then $g \leq 6g'+1$.Comment: 18 pages, to appear in Geometriae Dedicat