arXiv research

New manifold groups contain all special and extra-special p-groups.

Study extra-special quotients of surface braid groups and construct double Kodaira fibrations.

The Burde--de Rham theorem is extended to finitely presented pro-$p$ groups with specific conditions.

Study subgroups of pro-$p$ PD^3 groups, finding specific conditions.

Finite p-group actions on manifolds have limited stabilizer subgroups.

In this article we develop the theory of residually finite rationally $p$ (RFR$p$) groups, where $p$ is a prime. We first prove a series of results about the structure of finitely generated RFR$p$ groups (either for a single prime $p$, or for infinitely many primes), including torsion-freeness, a Tits alternative, and …

The paper finds new graph covers with exceptionally low degree.

The standard P. A. Smith theory of p-group actions on spheres, disks, and euclidean spaces is extended to the case of p-group actions on tori (i.e., products of circles) and coupled with topological surgery theory to give a complete topological classification, valid in all dimensions, of the locally linear, orientation…

Survey on algebraic fibers of group extensions and their finiteness properties.

In the preceding paper, Calegari and Dunfield exhibit a sequence of hyperbolic 3-manifolds which have increasing injectivity radius, and which, subject to some conjectures in number theory, are rational homology spheres. We prove unconditionally that these manifolds are rational homology spheres, and give a sufficient …

Sharp bounds found on nonabelian quotients of surface braid groups.

Proves conjectures about maximal antipodal sets in symmetric and generalised symmetric spaces.

We investigate a family of (reducible) representations of Artin's braid groups corresponding to a specific solution to the Yang-Baxter equation. The images of the braid groups under these representations are finite groups, and we identify them precisely as extensions of extra-special 2-groups. The decompositions of the…

Let $p$ be an odd regular prime, and let $G_p$ denote the extraspecial $p$--group of order $p^{3}$ and exponent $p$. We show that $G_p$ acts freely and smoothly on $S^{2p-1} \times S^{2p-1}$. For $p=3$ we explicitly construct a free smooth action of a Lie group $\widetilde{G}_3$ containing $G_3$ on $S^{5} \times S^{5}$…

We completely describe the finitely generated pro-$p$ subgroups of the profinite completion of the fundamental group of an arbitrary $3$-manifold. We also prove a pro-$p$ analogue of the main theorem of Bass--Serre theory for finitely generated pro-$p$ groups.

In this paper, we show that if G is a finite p-group (p prime) acting by automorphisms on a $δ$-hyperbolic Poincare Duality group, then the fixed subgroup is a Poincare Duality group over Z/p. We also provide examples to show that the fixed subgroup might not even be a Duality group over Z.

The Group-Lasso is a well-known tool for joint regularization in machine learning methods. While the l_{1,2} and the l_{1,\infty} version have been studied in detail and efficient algorithms exist, there are still open questions regarding other l_{1,p} variants. We characterize conditions for solutions of the l_{1,p} G…

We propose an approach to study non-Abelian Iwasawa theory, using the idea of Johnson homomorphisms in low dimensional topology. We introduce arithmetic analogues of Johnson homomorphisms/maps, called the p-Johnson homomorphisms/maps, associated to the Zassenhaus filtration of a pro-p Galois group over a Z_p-extension …

Groups with similar pro-$p$ completions have two-generated subgroups that are free.

Let $p$ be an odd prime. We construct a non-abelian extension $Γ$ of $S^1$ by $Z/p \times Z/p$, and prove that any finite subgroup of $Γ$ acts freely and smoothly on $S^{2p-1} \times S^{2p-1}$. In particular, for each odd prime $p$ we obtain free smooth actions of infinitely many non-metacyclic rank two $p$-groups on $…

Let p be an odd prime and r be relatively prime to p. Let G be a finite p-group. Suppose an oriented 3-manifold M-tilde has a free G-action with orbit space M. We consider certain Witten-Reshetikhin-Turaev SU(2) invariants w_r(M). We will give a fomula for w_r(M) in terms of the defect of M-tilde --> M and the number o…

We use the notion of fixity for representations of finite groups to construct free and smooth actions on products of spheres. In particular we show that a finite p-group (for p>3) will act freely and smoothly on a product of two spheres if and only if it does not contain a rank 3 elementary abelian subgroup. We show th…

A recent preprint of Csikós, Pyber and Szabó (arXiv:1411.7524) proves that the diffeomorphism group of $T^2\times S^2$ is not Jordan. The purpose of this paper is to generalize the arguments of Csikós, Pyber and Szabó in order to obtain many other examples of compact manifolds whose diffeomorphism group fails to be Jor…

Arithmetic topology connects surface and $p$-adic field studies, enabling new insights into Galois groups.

In this paper we show that the cohomology of a connected CW complex is periodic if and only if it is the base space of an orientable spherical fibration with total space that is homotopically finite dimensional. As applications we characterize those discrete groups that act freely and properly on a cartesian product of…

Let $p$ be a prime. In this paper, we classify the geometric 3-manifolds whose fundamental groups are virtually residually $p$. Let $M=M^3$ be a virtually fibered 3-manifold. It is well-known that $G=π_1(M)$ is residually solvable and even residually finite solvable. We prove that $G$ is always virtually residually $p$…

We establish lower bounds on the dimensions in which arithmetic groups with torsion can act on acyclic manifolds and homology spheres. The bounds rely on the existence of elementary p-groups in the groups concerned. In some cases, including Sp(2n,Z), the bounds we obtain are sharp: if X is a generalized Z/3-homology sp…

This is a first in a series of papers, devoted to the relation betwwen three-manifolds and number fields. The present paper studies first homology of finite coverings of a three-manifold with primary interest in the Thurston $b_1$ conjecture.The main result reads: if $M$ does not yield the Thurston conjecture, then the…

We construct finitely generated groups with strong fixed point properties. Let $\mathcal{X}_{ac}$ be the class of Hausdorff spaces of finite covering dimension which are mod-$p$ acyclic for at least one prime $p$. We produce the first examples of infinite finitely generated groups $Q$ with the property that for any act…

Let M be a closed simply connected n-manifold of positive sectional curvature. We determine its homeomorphism or homotopic type if M also admits an isometric elementary p-group action of large rank. Our main results are: There exists a constant p(n)>0 such that (1) If M^{2n} admits an effective isometric \Bbb Z_p^k-act…

Aimed at geometric applications, we prove the homology cobordism invariance of the $L^2$-betti numbers and $L^2$-signature defects associated to the class of amenable groups lying in Strebel's class $D(R)$, which includes some interesting infinite/finitenon-torsion-free groups. The proofs include the only prior known c…

Study on profinite rigidity of direct products of free and surface groups.

Invariants measure letter interleaving in groups, detecting group dimensions.

In this paper we study the problem of approximation of the $L^2$-topological invariants by their finite dimensional analogues. We obtain generalizations of the theorem of Lück, dealing with towers of finitely sheeted normal coverings. We prove approximation theorems, establishing relations between the homological invar…

Unified method for deriving ridgelet transforms for various neural network architectures.

Summing over 3-manifolds using TQFT partition functions.

Let O be a compact orientable 3-orbifold with non-empty singular locus and a finite volume hyperbolic structure. (Equivalently, O is the quotient of hyperbolic 3-space by a lattice in PSL(2,C) with torsion.) Then we prove that O has a tower of finite-sheeted covers {O_i} with linear growth of p-homology, for some prime…

New method for group testing robust to errors in group membership specifications.