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: Geometry of the Wiman–Edge monodromy
The Wiman–Edge pencil is a pencil of genus 6 curves for which the generic member has automorphism group the alternating group [Formula: see text]. There is a unique smooth member, the Wiman sextic, with automorphism group the symmetric group [Formula: see text]. Farb and Looijenga proved that the monodromy of the Wiman–Edge pencil is commensurable with the Hilbert modular group [Formula: see text]. In this note, we give a complete description of the monodromy by congruence conditions modulo 4 and 5. The congruence condition modulo 4 is new, and this answers a question of Farb–Looijenga. We also show that the smooth resolution of the Baily–Borel compactification of the locally symmetric manifold associated with the monodromy is a projective surface of general type. Lastly, we give new information about the image of the period map for the pencil.  more » « less
Award ID(s):
1906088
PAR ID:
10629121
Author(s) / Creator(s):
Publisher / Repository:
World Scientific
Date Published:
Journal Name:
Journal of Topology and Analysis
Volume:
15
Issue:
03
ISSN:
1793-5253
Page Range / eLocation ID:
815 to 843
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. We give examples of (i) a simple theory with a formula (with parameters) which does not fork over [Formula: see text] but has [Formula: see text]-measure 0 for every automorphism invariant Keisler measure [Formula: see text] and (ii) a definable group [Formula: see text] in a simple theory such that [Formula: see text] is not definably amenable, i.e. there is no translation invariant Keisler measure on [Formula: see text]. We also discuss paradoxical decompositions both in the setting of discrete groups and of definable groups, and prove some positive results about small theories, including the definable amenability of definable groups. 
    more » « less
  2. null (Ed.)
    We first develop some basic facts about hypergeometric sheaves on the multiplicative group [Formula: see text] in characteristic [Formula: see text]. Certain of their Kummer pullbacks extend to irreducible local systems on the affine line in characteristic [Formula: see text]. One of these, of rank [Formula: see text] in characteristic [Formula: see text], turns out to have the Conway group [Formula: see text], in its irreducible orthogonal representation of degree [Formula: see text], as its arithmetic and geometric monodromy groups. 
    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. For [Formula: see text] a commutative group, we give a purely Hopf [Formula: see text]-coalgebra construction of [Formula: see text]-colored [Formula: see text]-manifolds invariants using the notion of modified integral. 
    more » « less
  5. We extend the unpublished work of Handel and Miller on the classification, up to isotopy, of endperiodic automorphisms of surfaces. We give the Handel–Miller construction of the geodesic laminations, give an axiomatic theory for pseudo-geodesic laminations, show that the geodesic laminations satisfy the axioms, and prove that pseudo-geodesic laminations satisfying our axioms are ambiently isotopic to the geodesic laminations. The axiomatic approach allows us to show that the given endperiodic automorphism is isotopic to a smooth endperiodic automorphism preserving smooth laminations ambiently isotopic to the original ones. Using the axioms, we also prove the ‘transfer theorem’ for foliations of 3-manifolds, namely that, if two depth-one foliations $${\mathcal{F}}$$ and $${\mathcal{F}}^{\prime }$$ are transverse to a common one-dimensional foliation $${\mathcal{L}}$$ whose monodromy on the non-compact leaves of $${\mathcal{F}}$$ exhibits the nice dynamics of Handel–Miller theory, then $${\mathcal{L}}$$ also induces monodromy on the non-compact leaves of $${\mathcal{F}}^{\prime }$$ exhibiting the same nice dynamics. Our theory also applies to surfaces with infinitely many ends. 
    more » « less