Related papers: A new algorithm for 3-sphere recognition

This is the third in a series of papers in which we study the n-Selmer group of an elliptic curve, with the aim of representing its elements as curves of degree n in P^{n-1}. The methods we describe are practical in the case n=3 for…

For each rational homology 3-sphere $Y$ which bounds simply connected definite 4-manifolds of both signs, we construct an infinite family of irreducible rational homology 3-spheres which are homology cobordant to $Y$ but cannot bound any…

For a genus $g$ Heegaard splitting of the $3$-sphere, the Goeritz group is defined to be the group of isotopy classes of diffeomorphisms of the $3$-sphere that preserve the splitting setwise. In this paper, we prove the following conjecture…

We define an invariant of rational homology 3-spheres via vector fields. The construction of our invariant is a generalization of both that of the Kontsevich-Kuperberg-Thurston invariant and that of Watanabe's Morse homotopy invariant,…

For each $m\geq0$ and any prime $p\equiv3\ \mathrm{(mod \ 4)}$, we construct strongly chiral rational homology $(4m+3)$-spheres, which have real hyperbolic fundamental groups and only non-zero integral intermediate homology groups…

In this paper we present the first-ever computer formalization of the theory of Gr\"obner bases in reduction rings, which is an important theory in computational commutative algebra, in Theorema. Not only the formalization, but also the…

In a recent paper we defined a new filtration of the mapping class group--the "Lagrangian" filtration. We here determine the successive quotients of this filtration, up to finite index. As an application we show that, for any additive…

Using elementary counting methods of weight systems for finite type invariants of knots and integral homology 3-spheres, in the spirit of [B-NG], we answer positively three questions raised in [Ga]. In particular, we exhibit a one-to-one…

We develop a rigorous theoretical framework for principal manifold estimation that recovers a latent low-dimensional manifold from a point cloud observed in a high-dimensional ambient space. Our framework accommodates manifolds with…

There are several efficient methods to solve linear interval polynomial systems in the context of interval computations, however, the general case of interval polynomial systems is not yet covered as well. In this paper we introduce a new…

The classical Seifert algorithm provides an explicit construction of a Seifert surface for any link in $S^3$. Alegria and Menasco extended this construction to integral homology $3$-spheres using Heegaard splittings. In this paper, we…

For a given smooth $2$-knot in $S^4$, we relate the existence of a smooth Seifert hypersurface of a certain class to the existence of irreducible $ SU(2)$-representations of its knot group. For example, we see that any smooth $2$-knot…

We give a new definition of a universal finite type invariant of three-dimensional oriented rational homology spheres which counts configurations of trivalent graphs in such manifolds. Kontsevich introduced this invariant following Witten's…

In this paper we provide a computation of the mod 2 cohomology groups of the third finite subset space of the sphere $S^n$ using known results about the cohomology of the symmetric product of spheres.

We attempt to define a new invariant I of (almost) Calabi-Yau 3-folds M, by counting special Lagrangian rational homology 3-spheres N in M in each 3-homology class, with a certain weight w(N) depending on the topology of N. This is…

Let E be a division ring and G a finite group of automorphisms of E whose elements are distinct modulo inner automorphisms of E. Given a representation \rho: B-> GL(d,E) of an F-algebra B, we give necessary and sufficient conditions for…

The main idea in this paper is merging two techniques that have been recently developed. On the one hand, we consider MCCGS, standing for Minimal Canonical Comprehensive Groebner Systems, a recently introduced computational tool yielding…

In this paper we introduce a working generalization of the theory of Gr\"obner bases for algebras of partial difference polynomials with constant coefficients. One obtains symbolic (formal) computation for systems of linear or non-linear…

Closed essential surfaces in a three-manifold can be detected by ideal points of the character variety or by algebraic non-integral representations. We give examples of closed essential surfaces not detected in either of these ways. For…

A well-known theorem of Whitney states that a 3-connected planar graph admits an essentially unique embedding into the 2-sphere. We prove a 3-dimensional analogue: a simply-connected $2$-complex every link graph of which is 3-connected…