Two Extensions of Cover Automata

Deterministic Finite Cover Automata (DFCA) are compact representations of finite languages. Deterministic Finite Automata with “do not care” symbols and Multiple Entry Deterministic Finite Automata are both compact representations of regular languages. This paper studies the benefits of combining these representations to get even more compact representations of finite languages. DFCAs are extended by accepting either “do not care” symbols or considering multiple entry DFCAs. We study for each of the two models the existence of the minimization or simplification algorithms and their computational complexity, the state complexity of these representations compared with other representations of the same language, and the bounds for state complexity in case we perform a representation transformation. Minimization for both models proves to be NP-hard. A method is presented to transform minimization algorithms for deterministic automata into simplification algorithms applicable to these extended models. DFCAs with “do not care” symbols prove to have comparable state complexity as Nondeterministic Finite Cover Automata. Furthermore, for multiple entry DFCAs, we can have a tight estimate of the state complexity of the transformation into equivalent DFCA.

A fibering theorem for 3-manifolds

We generalize a result of Moon on the fibering of certain 3-manifolds over the circle. Our main theorem is the following: Let $M$ be a closed 3-manifold. Suppose that $G=\pi_1(M)$ contains a finitely generated group $U$ of infinite index in $G$ which contains a non-trivial subnormal subgroup $N\neq \mathbb{Z}$ of $G$, and suppose that $N$ has a composition series of length $n$ in which at least $n-1$ terms are finitely generated. Suppose that $N$ intersects nontrivially the fundamental groups of the splitting tori given by the Geometrization Theorem and that the intersections of $N$ with the fundamental groups of the geometric pieces are non-trivial and not isomorphic to $\mathbb{Z}$. Then, $M$ has a finite cover which is a bundle over $\mathbb{S}$ with fiber a compact surface $F$ such that $\pi_1(F)$ and $U$ are commensurable.

Smooth covers of moduli stacks of Riemann surfaces with symmetry

We construct explicitly a finite cover of the moduli stack of compact Riemann surfaces with a given group of symmetries by a smooth quasi-projective variety.

Fourier coefficients of minimal and next-to-minimal automorphic representations of simply-laced groups

In this paper, we analyze Fourier coefficients of automorphic forms on a finite cover G of an adelic split simply-laced group. Let $\pi $ be a minimal or next-to-minimal automorphic representation of G. We prove that any $\eta \in \pi $ is completely determined by its Whittaker coefficients with respect to (possibly degenerate) characters of the unipotent radical of a fixed Borel subgroup, analogously to the Piatetski-Shapiro–Shalika formula for cusp forms on $\operatorname {GL}_n$ . We also derive explicit formulas expressing the form, as well as all its maximal parabolic Fourier coefficient, in terms of these Whittaker coefficients. A consequence of our results is the nonexistence of cusp forms in the minimal and next-to-minimal automorphic spectrum. We provide detailed examples for G of type $D_5$ and $E_8$ with a view toward applications to scattering amplitudes in string theory.

Separating subgroups of mapping class groups in homological representations

Let [Formula: see text] be either the mapping class group of a closed surface of genus [Formula: see text], or the automorphism group of a free group of rank [Formula: see text]. Given any homological representation [Formula: see text] of [Formula: see text] corresponding to a finite cover, and any term [Formula: see text] of the Johnson filtration, we show that [Formula: see text] has finite index in [Formula: see text], the Torelli subgroup of [Formula: see text]. Since [Formula: see text] for [Formula: see text], this implies for instance that no such representation is faithful.

Revisiting Leighton’s theorem with the Haar measure

Leighton’s graph covering theorem states that a pair of finite graphs with isomorphic universal covers have a common finite cover. We provide a new proof of Leighton’s theorem that allows generalisations; we prove the corresponding result for graphs with fins. As a corollary we obtain pattern rigidity for free groups with line patterns, building on the work of Cashen–Macura and Hagen–Touikan. To illustrate the potential for future applications, we give a quasi-isometric rigidity result for a family of cyclic doubles of free groups.

Virtually spinning hyperbolic manifolds

We give a new proof of a result of Sullivan [Hyperbolic geometry and homeomorphisms, in Geometric topology (ed. J. C. Cantrell), pp. 543–555 (Academic Press, New York, 1979)] establishing that all finite volume hyperbolic n-manifolds have a finite cover admitting a spin structure. In addition, in all dimensions greater than or equal to 5, we give the first examples of finite-volume hyperbolic n-manifolds that do not admit a spin structure.

Diffeomorphism group valued cocycles over higher-rank abelian Anosov actions

We prove that every smooth diffeomorphism group valued cocycle over certain$\mathbb{Z}^{k}$Anosov actions on tori (and more generally on infranilmanifolds) is a smooth coboundary on a finite cover, if the cocycle is center bunched and trivial at a fixed point. For smooth cocycles which are not trivial at a fixed point, we have smooth reduction of cocycles to constant ones, when lifted to the universal cover. These results on cocycle trivialization apply, via the existing global rigidity results, to maximal Cartan$\mathbb{Z}^{k}$($k\geq 3$) actions by Anosov diffeomorphisms (with at least one transitive), on any compact smooth manifold. This is the first rigidity result for cocycles over$\mathbb{Z}^{k}$actions with values in diffeomorphism groups which does not require any restrictions on the smallness of the cocycle or on the diffeomorphism group.

Virtual 1-domination of 3-manifolds

It is shown in this paper that given any closed oriented hyperbolic 3-manifold, every closed oriented 3-manifold is mapped onto by a finite cover of that manifold via a map of degree 1, or in other words, virtually 1-dominated by that manifold. This improves a known result of virtual 2-domination. The proof invokes a recently developed enhanced version of the connection principle in good pants constructions.