Related papers: A new algorithm for 3-sphere recognition
Grassmann manifolds $G_{k,n}$ are among the central objects in geometry and topology. The Borel picture of the mod 2 cohomology of $G_{k,n}$ is given as a polynomial algebra modulo a certain ideal $I_{k,n}$. The purpose of this paper is to…
We give a local analytic characterization that a minimal surface in the 3-sphere $\, \ES^3 \subset \R^4$ defined by an irreducible cubic polynomial is one of the Lawson's minimal tori. This provides an alternative proof of the result by…
We consider here 6-regular plane graphs whose faces have size 1, 2 or 3. In Section 2 a practical enumeration method is given that allowed us to enumerate them up to 53 vertices. Subsequently, in Section 3 we enumerate all possible symmetry…
An attempt is made to conceptualize the derivation as well as to facilitate the computation of Ohtsuki's rational invariants $\lambda_n$ of integral homology 3-spheres extracted from Reshetikhin-Turaev SU(2) quantum invariants. Several…
We develop an algorithm capable of imaging a three-dimensional object given a collection of two-dimensional images of that object that are significantly influenced by the curvature of the Ewald sphere. These two-dimensional images cannot be…
Looking for an efficient algorithm for the computation of the homology groups of an algebraic set or even a semi-algebraic set is an important problem in the effective real algebraic geometry. Recently, Peter Burgisser, Felipe Cucker and…
In this article we present two new algorithms to compute the Groebner basis of an ideal that is invariant under certain permutations of the ring variables and which are both implemented in SINGULAR (cf. [DGPS12]). The first and major…
We define the thin fundamental Gray 3-groupoid $S_3(M)$ of a smooth manifold $M$ and define (by using differential geometric data) 3-dimensional holonomies, to be smooth strict Gray 3-groupoid maps $S_3(M) \to C(H)$, where $H$ is a…
Associated to every complete affine 3-manifold M with nonsolvable fundamental group is a noncompact hyperbolic surface S. We classify such complete affine structures when Sigma is homeomorphic to a three-holed sphere. In particular, for…
We give the definition of the Seiberg-Witten-Floer homology group for a homology 3-sphere. Its Euler characteristic number is a Casson-type invariant. For a four-manifold with boundary a homology sphere, a relative Seiberg-Witten invariant…
We prove that for every closed, connected, orientable, irreducible 3-manifold, there exists an alternating group A_n which is not the topological symmetry group of any graph embedded in the manifold. We also show that for every finite group…
We present a new sum rule for Clebsch-Gordan coefficients using generalized characters of irreducible representations of the rotation group. The identity is obtained from an integral involving Gegenbauer ultraspherical polynomials. A…
The purpose of this note is to unify the role of the lantern identity in the proof of several finiteness theorems. In particular, we show that for every nonnegative integer m, the vector space (over the rationals) of type m (resp. T-type m)…
An algorithm for irreducible decomposition of representations of finite groups over fields of characteristic zero is described. The algorithm uses the fact that the decomposition induces a partition of the invariant inner product into a…
In this paper, we give a survey of various sphere theorems in geometry. These include the topological sphere theorem of Berger and Klingenberg as well as the differentiable version obtained by the authors. These theorems employ a variety of…
We derive a gauge theoretic invariant of integral homology 3-spheres which counts gauge orbits of irreducible, perturbed flat SU(3) connections with sign given by spectral flow. To compensate for the dependence of this sum on perturbations,…
We report on our experiences exploring state of the art Groebner basis computation. We investigate signature based algorithms in detail. We also introduce new practical data structures and computational techniques for use in both signature…
In this paper we present an algorithm for computing Groebner bases of linear ideals in a difference polynomial ring over a ground difference field. The input difference polynomials generating the ideal are also assumed to be linear. The…
The unit sphere $\mathbb S^3$ can be identified with the unitary group SU(2). Under this identification the unit sphere can be considered as a non-commutative Lie group. The commutation relations for the vector fields of the corresponding…
We propose a new set of rotationally and translationally invariant features for image or pattern recognition and classification. The new features are cubic polynomials in the pixel intensities and provide a richer representation of the…