arXiv research

An elementary proof shows that quasi-isometric groups to integers are virtually integers.

Geometric proof shows primes of form 3k+1 are norms of Eisenstein integers.

We present a new proof of Thurston's theorem that the unit ball of a seminorm on $\mathbf{R}^d$ taking integer values on $\mathbf{Z}^d$ is a polyhedra defined by finitely many inequalities with integer coefficients.

Simplified proof for a theorem about graphs.

A referee found an error in the proof of the Theorem 2 that we could not fix. More precisely, the proof of Lemma 2.1 is incorrect. Hence the fact that integer cohomology of complement of toric Weyl arrangements is torsion free is still a conjecture. ----- A toric arrangement is a finite set of hypersurfaces in a comple…

Proof shows volumes of certain geometric representations are always integers.

Integral currents with boundary of finite mass are integral.

We show that the integer homology sphere obtained by splicing two nontrivial knot complements in integer homology sphere L-spaces has Heegaard Floer homology rank strictly greater than one. In particular, splicing the complements of nontrivial knots in the 3-sphere never produces an L-space. The proof uses bordered Flo…

We classify the positive definite intersection forms that arise from smooth 4-manifolds with torsion-free homology bounded by positive integer surgeries on the right-handed trefoil. A similar, slightly less complete classification is given for the (2,5)-torus knot, and analogous results are obtained for integer surgeri…

Contractible Vietoris-Rips complexes for integer n proved using discrete Morse theory.

New symplectic embedding obstructions found for polydisks into half-integer ellipsoids.

Introduces integer-valued Heegaard Floer theory with canonical orientations.

The paper explores orthogeodesics on hyperbolic surfaces and their integer traces.

Proves surgery exact triangle for monopole Floer homology over integers.

We give a very short and rather elementary proof of Gromov's filling volume inequality for n-dimensional Lipschitz cycles (with integer and Z_2-coefficients) in $L^\infty$-spaces. This inequality is used in the proof of Gromov's systolic inequality for closed aspherical Riemannian manifolds and is often regarded as the…

New examples show non-locally-flat PL-disk bounds in rational homology balls but not in integer homology balls.

The Arnold conjecture is proven for integers using Floer theory.

IDF++ improves integer discrete flows for lossless compression.

Transformed geometry into algebra to prove Pick's theorem efficiently.

We consider the following question: when is the manifold obtained by gluing together two knot complements an $L$-space? Hedden and Levine proved that splicing 0-framed complements of nontrivial knots never produces an $L$-space. We extend this result to allow for arbitrary integer framings. We find that splicing two in…

Researchers create infinite Brunnian links of 3-balls in 4-sphere.

From a fibered link in the 3-sphere may be constructed a field of not everywhere tangent 2-planes; when the fibered link is the link of an isolated critical point of a map from 4-space to the plane, the plane field is essentially the field of kernels of the derivative of the map. Homotopically, such a plane field deter…

Let n be a positive integer. We provide a Khovanov homology proof of the following classical fact: If the closure of an n-strand braid is the n-component unlink, then the braid is trivial.

A novel formulation and training procedure for full Boltzmann machines in terms of a mixed binary quadratic feasibility problem is given. As a proof of concept, the theory is analytically and numerically tested on XOR patterns.

We study the left-orderability of the fundamental groups of cyclic branched covers of links which admit co-oriented taut foliations. In particular we do this for cyclic branched covers of fibred knots in integer homology $3$-spheres and cyclic branched covers of closed braids. The latter allows us to complete the proof…

We give upper bounds on the numbers of various classes of polynomials reducible over the integers and over integers modulo a prime and on the number of matrices in SL(n), GL(n) and Sp(2n) with reducible characteristic polynomials, and on polynomials with non-generic Galois groups. We use our result to show that a rando…

The paper studies non-integer curvature flows and proves convergence to spheres under specific conditions.

We prove a conjecture due to Makanin: if a and b are elements of the Artin braid group B_n such that a^k=b^k for some nonzero integer k, then a and b are conjugate. The proof involves the Nielsen-Thurston classification of braids.

We define an integer-valued invariant of special cube complexes called the genus, and prove that having genus one characterizes special cube complexes with abelian fundamental group. Using the genus, we obtain a new proof that the fundamental group of a special cube complex is either free abelian or surjects onto a non…

We prove several results on Almgren's multiple valued functions and their links to integral currents. In particular, we give a simple proof of the fact that a Lipschitz multiple valued map naturally defines an integer rectifiable current; we derive explicit formulae for the boundary, the mass and the first variations a…

We give a new proof of the Gromov theorem: For any $C>0$ and integer $n>1$ there exists a function $Δ_{C,n}$ such that if the Gromov--Hausdorff distance between complete Riemannian $n$-manifolds $V$ and $W$ is not greater than $δ$, absolute values of their sectional curvatures $|K_σ|\leq C$, and their injectivity radii…

In 2006, Fock and Goncharov constructed a nice basis of the ring of regular functions on the moduli space of framed ${\rm PGL}_2$-local systems on a punctured surface $S$. The moduli space is birational to a cluster $\mathcal{X}$-variety, whose positive real points recover the enhanced Teichmüller space of $S$. Their b…

The 3D index of Dimofte-Gaiotto-Gukov a partially defined function on the set of ideal triangulations of 3-manifolds with $r$ torii boundary components. For a fixed $2r$ tuple of integers, the index takes values in the set of $q$-series with integer coefficients. Our goal is to give an axiomatic definition of the tetra…

Geometrically proves Zabrodin-Wiegmann conjecture for integer QH states.

We study the universal character ring of some families of one-relator groups. As an application, we calculate the universal character ring of two-generator one-relator groups whose relators are palindrome, and, in particular, of the (-2,2m+1,2n+1)-pretzel knot for all integers m and n. For the (-2,3,2n+1)-pretzel knot,…

We give a proof of the Neilsen-Thurston classification theorem of a homeomorphism f of a standard surface of finite type as either periodic, pseudo-Anosov, or reducible. In the periodic case, we show that there exists an integer n>0 such that f is isotopic to h with h^n isotopic to the identity. This is the weaker vers…

We show that for every non-negative integer n there is a real n-dimensional family of minimal Lagrangian tori in CP^2, and hence of special Lagrangian cones in C^3 whose link is a torus. The proof utilises the fact that such tori arise from integrable systems, and can be described using algebro-geometric (spectral curv…

Magnitude of manifolds linked to Riesz energies and beta functions.

The paper shows links with 2 components are not smoothly slice in a specific 4-manifold.

A slope $p/q$ is a characterising slope for a knot $K$ in $S^3$ if the oriented homeomorphism type of $p/q$-surgery on $K$ determines $K$ uniquely. We show that when $K$ is a hyperbolic knot its set of characterising slopes contains all but finitely many slopes $p/q$ with $q \geq 3$. We prove stronger results for hyper…

Unified proof of Aigner's conjectures using geodesics.

Link Floer homology is an invariant for links defined using a suitable version of Lagrangian Floer homology. In an earlier paper, this invariant was given a combinatorial description with mod 2 coefficients. In the present paper, we give a self-contained presentation of the basic properties of link Floer homology, incl…

We prove twisted homological stability with polynomial coefficients for automorphism groups of free nilpotent groups of any given class. These groups interpolate between two extremes for which homological stability was known before, the general linear groups over the integers and the automorphism groups of free groups.…

This paper constructs a function on Gromov-Hausdorff limits of 2-surfaces with curvature constraints.

As shown by H. Gluck in 1962, the diffeotopy group of S^1 \times S^2 is isomorphic to Z_2 + Z_2 + Z_2. Here an alternative proof of this result is given, relying on contact topology. We then discuss two applications to contact topology: (i) it is shown that the fundamental group of the space of contact structures on S^…

We use Floer's exact triangle to study the u-map (cup product with the 4-dimensional class) in the Floer cohomology groups of admissible SO(3) bundles over closed, oriented 3-manifolds. In the case of non-trivial bundles we show that (u^2-64)^n = 0 for some positive integer n. For homology 3-spheres Y the same holds fo…

New proofs in fixed point theory for manifolds and domains.

Invalidation of a key lemma leaves the Powell Conjecture unresolved.