arXiv research

Compact manifolds with specific cover properties are hyperbolic.

We generalize Luck's Theorem to show that the L^2-Betti numbers of a residually amenable covering space are the limit of the L^2-Betti numbers of a sequence of amenable covering spaces. We show that any residually amenable covering space of a finite simplicial complex is of determinant class, and that the L^2 torsion i…

The paper proves residual finiteness of certain lattices and constructs surfaces with specific fundamental groups.

We prove the homotopy invariance of L^2 torsion for covering spaces, whenever the covering transformation group is either residually finite or amenable. In the case when the covering transformation group is residually finite and when the L^2 cohomology of the covering space vanishes, the homotopy invariance was establi…

The study proves residual finiteness for certain lattice extensions and negatively curved projective varieties.

Residual connections significantly boost the performance of deep neural networks. However, there are few theoretical results that address the influence of residuals on the hypothesis complexity and the generalization ability of deep neural networks. This paper studies the influence of residual connections on the hypoth…

Let $f\colon M\to N$ be a continuous map between closed irreducible graph manifolds with infinite fundamental group. Perron and Shalen showed that if $f$ induces a homology equivalence on all finite covers, then $f$ is in fact homotopic to a homeomorphism. Their proof used the statement that every graph manifold is fin…

We give a quantification of residual finiteness for the fundamental groups of hyperbolic manifolds that admit a totally geodesic immersion to a compact, right-angled Coxeter orbifold of dimension 3 or 4. Specifically, we give explicit upper bounds on residual finiteness that are linear in terms of geodesic length. We t…

We construct minimal laminations by hyperbolic surfaces whose generic leaf is a disk and contain any prescribed family of surfaces and with a precise control of the topologies of the surfaces that appear. The laminations are constructed via towers of finite coverings of surfaces for which we need to develop a relative …

The canonical trace and the Wodzicki residue on classical pseudodifferential operators on a closed manifold are characterised by their locality and shown to be preserved under lifting to the universal covering as a result of their local feature. As a consequence, we lift a class of spectral $ζ$-invariants using lifted …

Hempel has shown that the fundamental groups of knot complements are residually finite. This implies that every nontrivial knot must have a finite-sheeted, noncyclic cover. We give an explicit bound, $Φ(c)$, such that if $K$ is a nontrivial knot in the three-sphere with a diagram with $c$ crossings and a particularly s…

Given a prime, alternating link diagram, we build a special cover of the link complement whose degree is bounded by a factorial function of the crossing number. It follows that a subgroup of the link group of that index embeds into right-angled Artin and Coxeter groups. Corollaries of this result include a quantificati…

The fundamental n-quandles of links are residually finite for n ≥ 2.

We prove that for 4-manifolds $M$ with residually finite fundamental group and non-spin universal covering $\Wi M$, the inequality $\dim_{mc}\Wi M\le 3$ implies the inequality $\dim_{mc}\Wi M\le 2$.

Let G be a torsion free discrete group and let \bar{Q} denote the field of algebraic numbers in C. We prove that \bar{Q}[G] fulfills the Atiyah conjecture if G lies in a certain class of groups D, which contains in particular all groups which are residually torsion free elementary amenable or which are residually free.…

We quantify Peter Scott's Theorem that surface groups are locally extended residually finite (LERF) in terms of geometric data. In the process, we will quantify another result by Scott that any closed geodesic in a surface lifts to an embedded loop in a finite cover.

We investigate how one can twist L^2-invariants such as L^2-Betti numbers and L^2-torsion with finite-dimensional representations. As a special case we assign to the universal covering of a finite connected CW-complex X together with an element phi in H^1(X;R) a phi-twisted L^2-torsion function from R^{>0} to R, provid…

Uniform proof of $π_1$-injectivity for certain maps in low dimensions.

Updated rerefences and introduction. Given a knot in an integer homology sphere, one can construct a family of closed 3-manifolds (parametrized by the positive integers), namely the cyclic branched coverings of the knot. In this paper we give a formula for the the Casson-Walker invariants of these 3-manifolds in terms …

Abstract commensurators linked to topological models of solenoids.

Classifies Teichmüller curves in specific hyperelliptic components of meromorphic differentials.

A $k$-differential on a Riemann surface is a section of the $k$-th power of the canonical line bundle. Loci of $k$-differentials with prescribed number and multiplicities of zeros and poles form a natural stratification of the moduli space of $k$-differentials. In this paper we give a complete description for the compa…

The paper describes a cover of strata of k-differentials with a formula for fiber cardinality.

Study of resonances and residue operators for hyperbolic spaces.

Stacking improves deep neural network training efficiency.

The paper provides a combinatorial criterion for realizing tropical pluri-canonical divisors.

We prove a functorial correspondence between a category of logarithmic $\mathfrak{sl}_2$-connections on a curve $X$ with fixed generic residues and a category of abelian logarithmic connections on an appropriate spectral double cover $π: Σ\to X$. The proof is by constructing a pair of inverse functors $π^{\text{ab}}, π…

We prove that cubulated hyperbolic groups are virtually special. The proof relies on results of Haglund and Wise which also imply that they are linear groups, and quasi-convex subgroups are separable. A consequence is that closed hyperbolic 3-manifolds have finite-sheeted Haken covers, which resolves the virtual Haken …

Generalization in nonlinear least squares can be studied via algorithmic stability and effective dimension.

Two groups have a common model geometry if they act properly and cocompactly by isometries on the same proper geodesic metric space. The Milnor-Schwarz lemma implies that groups with a common model geometry are quasi-isometric; however, the converse is false in general. We consider free products of uniform lattices in …

Motivated by the results of Scott and Patel about "untangling" closed geodesics in finite covers of hyperbolic surfaces, we introduce and study primitivity, simplicity and non-filling index functions for finitely generated free groups. We obtain lower bounds for these functions and relate these free group results back …

Let $X$ be a smooth variety and let $L$ be an ample line bundle on $X$. If $π^{alg}_{1}(X)$ is large, we show that the Seshadri constant $ε(p^{*}L)$ can be made arbitrarily large by passing to a finite étale cover $p:X'\rightarrow X$. This result answers affirmatively a conjecture of J.-M. Hwang. Moreover, we prove an …

Abstract: Non-residually finite hyperbolic groups imply non-residually finite rigid hyperbolic groups.

Residual finiteness is known to be an important property of groups appearing in combinatorial group theory and low dimensional topology. In a recent work [2] residual finiteness of quandles was introduced, and it was proved that free quandles and knot quandles are residually finite. In this paper, we extend these resul…

In this note, residual finiteness of quandles is defined and investigated. It is proved that free quandles and knot quandles of tame knots are residually finite and Hopfian. Residual finiteness of quandles arising from residually finite groups (conjugation, core and Alexander quandles) is established. Further, residual…

Every non-trivial knot group is fully residually perfect.

Let the complexity of a closed manifold M be the minimal number of simplices in a triangulation of M. Such a quantity is clearly submultiplicative with respect to finite coverings, and by taking the infimum on all finite coverings of M normalized by the covering degree we can promote it to a multiplicative invariant, a…

Unified algorithm solves convex optimization problems with optimal rates.

Residual flows are shown to approximate MMD well.

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$…

Researchers identify critical protein residues using advanced graph theory.

This paper advances extragradient methods for solving inclusions under co-hypomonotonicity.

Defines Wodzicki residue using groupoids and fibered distributions.

In this work we prove a Baum-Bott type residue theorem for flags of holomorphic foliations. We prove some relations between the residues of the flag and the residues of their correspondent foliations. We define the Nash residue for flags and we give a partial answer to the Baum-Bott type rationality conjecture in this …

We revisit residual algorithms in both model-free and model-based reinforcement learning settings. We propose the bidirectional target network technique to stabilize residual algorithms, yielding a residual version of DDPG that significantly outperforms vanilla DDPG in the DeepMind Control Suite benchmark. Moreover, we…

Wide residual networks generalize well with uniform convergence to RNTK as width increases.

The paper studies residues of manifolds and their applications in geometry.

Given a prime $p$, a group is called residually $p$ if the intersection of its $p$-power index normal subgroups is trivial. A group is called virtually residually $p$ if it has a finite index subgroup which is residually $p$. It is well-known that finitely generated linear groups over fields of characteristic zero are …