skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Harmonic spinors on the Davis hyperbolic 4-manifold
In this paper, we use the [Formula: see text]-spin theorem to show that the Davis hyperbolic 4-manifold admits harmonic spinors. This is the first example of a closed hyperbolic [Formula: see text]-manifold that admits harmonic spinors. We also explicitly describe the spinor bundle of a spin hyperbolic 2- or 4-manifold and show how to calculated the subtle sign terms in the [Formula: see text]-spin theorem for an isometry, with isolated fixed points, of a closed spin hyperbolic 2- or 4-manifold.  more » « less
Award ID(s):
1811111
PAR ID:
10323600
Author(s) / Creator(s):
; ;
Date Published:
Journal Name:
Journal of Topology and Analysis
Volume:
13
Issue:
03
ISSN:
1793-5253
Page Range / eLocation ID:
699 to 737
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. In this note, we generalize a theorem of Juan Souto on rank and Nielsen equivalence in the fundamental group of a hyperbolic fibered [Formula: see text]-manifold to a large class of hyperbolic group extensions. This includes all hyperbolic extensions of surfaces groups as well as hyperbolic extensions of free groups by convex cocompact subgroups of [Formula: see text]. 
    more » « less
  2. A rational projective plane ([Formula: see text]) is a simply connected, smooth, closed manifold [Formula: see text] such that [Formula: see text]. An open problem is to classify the dimensions at which such a manifold exists. The Barge–Sullivan rational surgery realization theorem provides necessary and sufficient conditions that include the Hattori–Stong integrality conditions on the Pontryagin numbers. In this paper, we simplify these conditions and combine them with the signature equation to give a single quadratic residue equation that determines whether a given dimension supports a [Formula: see text]. We then confirm the existence of a [Formula: see text] in two new dimensions and prove several non-existence results using factorization of the numerators of the divided Bernoulli numbers. We also resolve the existence question in the Spin case, and we discuss existence results for the more general class of rational projective spaces. 
    more » « less
  3. We consider how the outputs of the Kadison transitivity theorem and Gelfand–Naimark–Segal (GNS) construction may be obtained in families when the initial data are varied. More precisely, for the Kadison transitivity theorem, we prove that for any nonzero irreducible representation [Formula: see text] of a [Formula: see text]-algebra [Formula: see text] and [Formula: see text], there exists a continuous function [Formula: see text] such that [Formula: see text] for all [Formula: see text], where [Formula: see text] is the set of pairs of [Formula: see text]-tuples [Formula: see text] such that the components of [Formula: see text] are linearly independent. Versions of this result where [Formula: see text] maps into the self-adjoint or unitary elements of [Formula: see text] are also presented. Regarding the GNS construction, we prove that given a topological [Formula: see text]-algebra fiber bundle [Formula: see text], one may construct a topological fiber bundle [Formula: see text] whose fiber over [Formula: see text] is the space of pure states of [Formula: see text] (with the norm topology), as well as bundles [Formula: see text] and [Formula: see text] whose fibers [Formula: see text] and [Formula: see text] over [Formula: see text] are the GNS Hilbert space and closed left ideal, respectively, corresponding to [Formula: see text]. When [Formula: see text] is a smooth fiber bundle, we show that [Formula: see text] and [Formula: see text] are also smooth fiber bundles; this involves proving that the group of ∗-automorphisms of a [Formula: see text]-algebra is a Banach Lie group. In service of these results, we review the topology and geometry of the pure state space. A simple non-interacting quantum spin system is provided as an example illustrating the physical meaning of some of these results. 
    more » « less
  4. In this paper, we develop the theory of residually finite rationally [Formula: see text] (RFR[Formula: see text]) groups, where [Formula: see text] is a prime. We first prove a series of results about the structure of finitely generated RFR[Formula: see text] groups (either for a single prime [Formula: see text], or for infinitely many primes), including torsion-freeness, a Tits alternative, and a restriction on the BNS invariant. Furthermore, we show that many groups which occur naturally in group theory, algebraic geometry, and in 3-manifold topology enjoy this residual property. We then prove a combination theorem for RFR[Formula: see text] groups, which we use to study the boundary manifolds of algebraic curves [Formula: see text] and in [Formula: see text]. We show that boundary manifolds of a large class of curves in [Formula: see text] (which includes all line arrangements) have RFR[Formula: see text] fundamental groups, whereas boundary manifolds of curves in [Formula: see text] may fail to do so. 
    more » « less
  5. We present a new implementation for computing spin–orbit couplings (SOCs) within a time-dependent density-functional theory (TD-DFT) framework in the standard spin-conserving formulation as well in the spin–flip variant (SF-TD-DFT). This approach employs the Breit–Pauli Hamiltonian and Wigner–Eckart’s theorem applied to the reduced one-particle transition density matrices, together with the spin–orbit mean-field treatment of the two-electron contributions. We use a state-interaction procedure and compute the SOC matrix elements using zero-order non-relativistic states. Benchmark calculations using several closed-shell organic molecules, diradicals, and a single-molecule magnet illustrate the efficiency of the SOC protocol. The results for organic molecules (described by standard TD-DFT) show that SOCs are insensitive to the choice of the functional or basis sets, as long as the states of the same characters are compared. In contrast, the SF-TD-DFT results for small diradicals (CH 2 , [Formula: see text], SiH 2 , and [Formula: see text]) show strong functional dependence. The spin-reversal energy barrier in a Fe(III) single-molecule magnet computed using non-collinear SF-TD-DFT (PBE0, ωPBEh/cc-pVDZ) agrees well with the experimental estimate. 
    more » « less