arXiv research

New proof limits Jones polynomial values for quasi-alternating links.

We show that the module of lowerable vector fields for a finitely L-determined multigerm is finitely generated in a constructive way.

Paper shows 3D hyperbolic manifolds are uniquely identified by their finite groups.

We prove that there is an algorithm to determine if a given finite graph is an induced subgraph of a given curve graph.

Knot groups of hyperbolic 2-bridge knots are uniquely identified by their finite quotients.

We enhance the biquandle counting invariant using elements of truncated biquandle-labeled Polyak algebras. These finite type enhancements reduce to the finite type enhancements defined by Goussarov, Polyak and Viro for the trivial biquandle of one element and determine (but are not determined by) the biquandle counting…

Finite groups of diffeomorphisms are uniquely determined by a vector field.

This work generalizes a geometric Laplacian determinant description to higher dimensions.

The study of orthospectrum and simple orthospectrum of hyperbolic surfaces.

In this note we determine all possible dominations between different products of manifolds, when none of the factors of the codomain is dominated by products. As a consequence, we determine the finiteness of every product-associated functorial semi-norm on the fundamental classes of the aforementioned products. These r…

Generic smooth plane-to-plane map germs are topologically equivalent to cones of mappings of the circle. We carry out a complete topological classification of smooth stable mappings of the circle and show how this classification leads, via the result mentioned above, to a topological classification of finitely determin…

A generalized Baumslag-Solitar (GBS) group is a finitely generated group acting on a tree with infinite cyclic edge and vertex stabilizers. We show how to determine effectively the rank (minimal cardinality of a generating set) of a GBS group; as a consequence, one can compute the rank of the mapping torus of a finite …

Topologies on algebraic and equational theories are used to define germ determined, near-point determined, and point determined rings of smooth functions, without requiring them to be finitely generated. It is proved, that any commutative algebra morphism (without requiring continuity) between near-point determined rin…

The principle result of this article is the determination of the possible finite subgroups of arithmetic lattices in U(2,1).

In this paper, we suggest a construction of determinant lines of finitely generated Hilbertian modules over finite von Neumann algebras. Nonzero elements of the determinant lines can be viewed as volume forms on the Hilbertian modules. Using this, we study both $L^2$ combinatorial and $L^2$ analytic torsion invariants …

In this paper, we propose one index $i_1(f)-i_2(f)$ which measures how well-behaved a given finitely determined multigerm $f: (\mathbb{K}^n,S)\to (\mathbb{K}^p,0)$ $(n\le p)$ of corank at most one is from the viewpoint of liftable vector fields; and we answer the following problems when the index indicates that the giv…

Let G(O_S) be an S-arithmetic subgroup of a connected, absolutely almost simple linear algebraic group G over a global function field K. We show that the sum of local ranks of G determines the homological finiteness properties of G(O_S) provided the K-rank of G is 1. This shows that the general upper bound for the fini…

We prove that there is no algorithm that can determine whether or not a finitely presented group has a non-trivial finite quotient; indeed, this remains undecidable among the fundamental groups of compact, non-positively curved square complexes. We deduce that many other properties of groups are undecidable. For hyperb…

We describe an algorithm for determining whether a finite quandle is isomorphic to an Alexander quandle by finding all possible Alexander presentations of the quandle. We give an implementation of this algorithm in Maple.

We define an invariant β(M) of a finite volume hyperbolic 3-manifold M in the Bloch group B(C) and show it is determined by the simplex parameters of any degree one ideal triangulation of M. β(M) lies in a subgroup of \B(\C) of finite \Q-rank determined by the invariant trace field of M. Moreover, the Chern-Simons inva…

The paper classifies semialgebraic surfaces using bi-Lipschitz invariants.

We prove there exists a compact embedded minimal surface in a complete finite volume hyperbolic $3$-manifold $\mathcal{N}$. We also obtain a least area, incompressible, properly embedded, finite topology, $2$-sided surface. We prove a properly embedded minimal surface of bounded curvature has finite topology. This dete…

We show that there are at most finitely many one cusped orientable hyperbolic 3-manifolds which have more than eight non-hyperbolic Dehn fillings. Moreover, we show that determining these finitely many manifolds is decidable.

The study analyzes the accuracy of quantile estimators in risk assessment using tail models.

We introduce a norm on the real 1-cohomology of finite 2-complexes determined by the Euler characteristics of graphs on these complexes. We also introduce twisted Alexander-Fox polynomials of groups and show that they give rise to norms on the real 1-cohomology of groups. Our main theorem states that for a finite 2-com…

Study shows ortho spectrum doesn't fully determine systolic length but limits the number of possible structures.

Study covers of sphere with homeomorphisms lifting property.

We determine all generalized Baumslag-Solitar groups (finitely generated groups acting on a tree with all stabilizers infinite cyclic) which are quotients of a given Baumslag-Solitar group BS(m,n), and (when BS(m,n) is not Hopfian) which of them also admit BS(m,n) as a quotient. We determine for which values of r,s one…

Let M,M' be smooth real hypersurfaces in N-dimensional space and assume that M is k-nondegenerate at a point p in M. We prove that holomorphic mappings that extend smoothly to M, sending a neighborhood of p in M diffeomorphically into M' are completely determined by their 2k-jet at p. As an application of this result, …

For a closed manifold equipped with a Riemannian metric, a triangulation, a representation of its fundamental group on an Hilbert module of finite type (over of finite von Neumann algebra), and a Hermitian structure on the flat bundle associated to the representation, one defines a numerical invariant, the relative tor…

We show that many 3-manifold groups have no nonabelian surface subgroups. For example, any link of an isolated complex surface singularity has this property. In fact, we determine the exact class of closed graph-manifolds which have no immersed pi_1-injective surface of negative Euler characteristic. We also determine …

Real vector bundles are determined by their Dirac indices on specific spin manifolds.

For a representation of a finite group $G$ on a complex vector space $V$ we determine when a holomorphic $\binom{p}{q}$-tensor field on the principle stratum of the orbit space $V/G$ can be lifted to a holomorphic $G$-invariant tensor field on $V$. This extends also to connections. As a consequence we determine those h…

In previous joint work with Frohman and Lofaro a noncommutative generalization of the A-polynomial of a knot was introduced, consisting of a finitely generated ideal of polynomials (the noncommutative A-ideal) in the quantum plane. The present paper shows that the noncommutative A-ideal of a knot, together with finitel…

We show that finite parallel transports of vectors in Riemannian spaces, determined by the multiplication law in the deformed groups of diffeomorphisms, and sequences of infinitesimal parallel transports of vectors along geodesics are equivalent.

Study geometry and PDEs from group-determinants and representation theory.

We discuss questions of isospectrality for hyperbolic orbisurfaces, examining the relationship between the geometry of an orbisurface and its Laplace spectrum. We show that certain hyperbolic orbisurfaces cannot be isospectral, where the obstructions involve the number of singular points and genera of our orbisurfaces.…

Let L be any infinite biperiodic alternating link. We show that for any sequence of finite links that Folner converges almost everywhere to L, their determinant densities converge to the Mahler measure of the 2-variable characteristic polynomial of the toroidal dimer model on an associated biperiodic graph.

We study the Fox coloring invariants of rational knots. We express the propagation of the colors down the twists of these knots and ultimately the determinant of them with the help of finite increasing sequences whose terms of even order are even and whose terms of odd order are odd.

A standing conjecture in L2-cohomology is that every finite CW-complex X is of L2-determinant class. In this paper, we prove this whenever the fundamental group belongs to a large class of groups containing e.g. all extensions of residually finite groups with amenable quotients, all residually amenable groups and free …

We determine the image of the braid groups inside the Iwahori-Hecke algebras of type A, when defined over a finite field, in the semisimple case, and for suitably large (but controlable) order of the defining (quantum) parameter.

We prove that the basic intersection cohomology ${I H}^{^{*}}_{_{\bar{p}}}{(M/\mathcal{F})},$ where $\mathcal{F}$ is the singular foliation determined by an isometric action of a Lie group $G$ on the compact manifold $M$, is finite dimensional.

We define a two-variable polynomial invariant of finite quandles. In many cases this invariant completely determines the algebraic structure of the quandle up to isomorphism. We use this polynomial to define a family of link invariants which generalize the quandle counting invariant.

In this article, we prove that the commensurability class of a closed, orientable, hyperbolic 3-manifold is determined by the surface subgroups of its fundamental group. Moreover, we prove that there can be only finitely many closed, orientable, hyperbolic 3-manifolds that have the same set of surfaces.

We give an algorithmic proof of the theorem that a closed orientable irreducible and atoroidal 3-manifold has only finitely many Heegaard splittings in each genus, up to isotopy. The proof gives an algorithm to determine the Heegaard genus of an atoroidal 3-manifold.

Study on conical singularities in 2D surfaces, deriving Polyakov formulas.

We study the structure of finite quandles in terms of subquandles. Every finite quandle $Q$ decomposes in a natural way as a union of disjoint $Q$-complemented subquandles; this decomposition coincides with the usual orbit decomposition of $Q$. Conversely, the structure of a finite quandle with a given orbit decomposit…

Study on finiteness properties of handlebody mapping class groups.