Related papers: A Neukirch-Uchida Theorem for 3-Manifolds
In this paper we establish a congruence on the degree of the map from a component of a Hurwitz space of covers of elliptic curves to the moduli stack of elliptic curves. Combinatorially, this can be expressed as a congruence on the…
We characterize f-vectors of sufficiently large three-dimensional flag Gorenstein* complexes, essentially confirming a conjecture of Gal [Discrete Comput. Geom., 34 (2), 269--284, 2005]. In particular, this characterizes f-vectors of large…
We prove a general homological stability theorem for certain families of groups equipped with product maps, followed by two theorems of a new kind that give information about the last two homology groups outside the stable range. (These…
For every natural number k we introduce the notion of k-th order convolution of functions on abelian groups. We study the group of convolution preserving automorphisms of function algebras in the limit. It turns out that such groups have…
Let $k$ be a field and $G$ be a finite group acting on the rational function field $k(x_g : g\in G)$ by $k$-automorphisms defined as $h(x_g)=x_{hg}$ for any $g,h\in G$. We denote the fixed field $k(x_g : g\in G)^G$ by $k(G)$. Noether's…
This is the first in a series of papers devoted to foundations of topological stacks. We begin developing a homotopy theory for topological stacks along the lines of classical homotopy theory of topological spaces. In this paper we go as…
We extend basic results in $3$-manifold topology to general three-dimensional Alexandrov spaces (or Alexandrov $3$-spaces for short), providing a unified framework for manifold and non-manifold spaces. We generalize the connected sum to…
We investigate a question of Cooper adjacent to the Virtual Haken Conjecture. Assuming certain conjectures in number theory, we show that there exist hyperbolic rational homology 3-spheres with arbitrarily large injectivity radius. These…
We prove that a class of asymptotically nonnegatively curved manifolds (in the sense of Abresch) satisfying some uniform Euclidean type volume growth conditions contains only finitely many homeomorphism types.
We prove a quantitative finiteness theorem for the number of totally geodesic hyperplanes of non-arithmetic hyperbolic $n$-manifolds that arise from a gluing construction of Gromov and Piatetski-Shapiro for $n\ge3$. This extends work of…
Let $X$ be a Berkovich space over a valued field. We prove that every finite group is a Galois group over $\Ms(B)(T)$, where $\Ms(B)$ is the field of meromorphic functions over a part $B$ of $X$ satisfying some conditions. This gives a new…
We prove, using a theorem of Northcott, that if a number field K with s real embeddings and 2t complex ones has a group of units U such that all elements in U have all its complex conjugates of same absolute value, then one necessarily has…
This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…
In this paper, we give a necessary and sufficient condition for the finiteness of Galois cohomology of unipotent groups over local fields of positive characteristic
Applying geometric methods of $2$-dimensional cell complex theory, we construct a Galois covering of a bimodule problem satisfying some structure, triangularity and finiteness conditions in order to describe the objects of finite…
Some nilpotent Lie groups possess a transformation group analogous to the similarity group acting on the Euclidean space. We call such a pair a nilpotent similarity structure. It is notably the case for all Carnot groups and their…
It is known that any tame hyperbolic 3-manifold with infinite volume and a single end is the geometric limit of a sequence of finite volume hyperbolic knot complements. Purcell and Souto showed that if the original manifold embeds in the…
Let $X$ be an Abelian group of the form $X=\mathbb{R}^m\times K\times D$, where $m\geq 0$, $K$ is a compact totally disconnected group of the special form, $D$ is a discrete group. Let $\xi_i, i=1,2,...,n,n\geq 2,$ be independent random…
We continue our study of ends non-compact manifolds. The over-arching aim is to provide an appropriate generalization of Siebenmann's famous collaring theorem that applies to manifolds having non-stable fundamental group systems at…
In this paper, we consider infinite Galois extensions of number fields and study the relation between their local degrees and the structure of their Galois groups. It is known that, if $K$ is a number field and $L/K$ is an infinite Galois…