arXiv research

New construction provides non-trivial representations for geometric quantisation.

The A-polynomial of a knot in S^3 defines a complex plane curve associated to the set of representations of the fundamental group of the knot exterior into SL(2,C). Here, we show that a non-trivial knot in S^3 has a non-trivial A-polynomial. We deduce this from the gauge-theoretic work of Kronheimer and Mrowka on SU_2-…

We address the question: Does there exist a non-trivial knot with a trivial Jones polynomial? To find such a knot, it is almost certainly sufficient to find a non-trivial braid on four strands in the kernel of the Burau representation. I will describe a computer algorithm to search for such a braid.

We discuss how the global geometry and topology of manifolds depend on different group actions of their fundamental groups, and in particular, how properties of a non-trivial compact 4-dimensional cobordism $M$ whose interior has a complete hyperbolic structure depend on properties of the variety of discrete representa…

We show that for a representation of the fundamental group of a triangulated closed 3-manifold (not necessarily hyperbolic) into $\PSL$ so that any edge loop has non-trivial image under the representation, there exist uncountably many solutions to the hyperbolic gluing equation whose associated representations are conj…

A new invariant for pure braids is defined and shown not to be trivial.

Learning disentangled representation from any unlabelled data is a non-trivial problem. In this paper we propose Information Maximising Autoencoder (InfoAE) where the encoder learns powerful disentangled representation through maximizing the mutual information between the representation and given information in an unsu…

A realization of a virtual link diagram is obtained by choosing over/under markings for each virtual crossing. Any realization can also be obtained from some representation of the virtual link. (A representation of a virtual link is a link diagram on an oriented 2-dimensional surface.) We prove that if a minimal genus …

We study symmetric minimal surfaces in the three-dimensional Heisenberg group $\mathrm{Nil}_3$ using the generalized Weierstrass type representation, the so-called loop group method. In particular, we will discuss how to construct minimal surfaces in $\mathrm{Nil}_3$ with non-trivial topology. Moreover, we will classif…

The Hitchin component is a connected component of the character variety of reductive group homomorphisms from the fundamental group of a closed surface S of genus greater than 1 to the Lie group PSL_m(R). The Teichmuller space of S naturally embeds into the Hitchin component. The limit points in the Thurston compactifi…

New $p$-colorable subgroup derived from Thompson's group.

Analyzes the differential expansion of knot polynomials, focusing on its applicability and modifications.

We investigate representations of mapping class groups of surfaces that arise from the untwisted Drinfeld double of a finite group G, focusing on surfaces without marked points or with one marked point. We obtain concrete descriptions of such representations in terms of finite group data. This allows us to establish va…

We show that a non-trivial, non-central normal subgroup of the braid groups contains a braid whose closure is a hyperbolic knot with arbitrary large genus. This shows that non-faithfulness of a quantum representation implies that the corresponding quantum invariant fails to detect the unknot. The proof utilizes the Deh…

Graph manifolds with small homology have non-trivial SU(2) representations.

We describe a collection of graded rings which surject onto Webster rings for sl(2) and which should be related to certain categories of singular Soergel bimodules. In the first non-trivial case, we construct a categorical braid group action which categorifies the Burau representation.

When doing representation learning on data that lives on a known non-trivial manifold embedded in high dimensional space, it is natural to desire the encoder to be homeomorphic when restricted to the manifold, so that it is bijective and continuous with a continuous inverse. Using topological arguments, we show that wh…

New findings on Jones polynomial for 4-strand braids.

Like all other knot polynomials, the superpolynomials should be defined in arbitrary representation R of the gauge group in (refined) Chern-Simons theory. However, not a single example is yet known of a superpolynomial beyond symmetric or antisymmetric representations. We consider the expansion of the superpolynomial a…

We describe which knots can be obtained as cycles in the canonical book representation of K_n, the complete graph on n vertices. We show that the canonical book representation of K_n contains a Hamiltonian cycle that is a composite knot if and only if n>11 and we show that when p and q are relatively prime, the (p,q) t…

We prove that the fundamental group of any integer homology 3-sphere different from the 3-sphere admits irreducible representations of its fundamental group in SL(2,C). For hyperbolic integer homology spheres this comes with the definition, and for Seifert fibered integer homology spheres this is well known. We prove t…

Given a hyperbolic knot $K$ and any $n\geq 2$ the abelian representations and the holonomy representation each give rise to an $(n-1)$-dimensional component in the $\operatorname{SL}(n,\Bbb{C})$-character variety. A component of the $\operatorname{SL}(n,\Bbb{C})$-character variety of dimension $\geq n$ is called high-d…

Let $K$ be a tame knot embedded in $\mathbf{S}^3$. We address the problem of finding the minimal degree non-cyclic cover $p:X \rightarrow \mathbf{S}^3 \smallsetminus K$. When $K$ has non-trivial Alexander polynomial we construct finite non-abelian representations $ρ:π_1\left(\mathbf{S}^3 \smallsetminus K\right) \righta…

New insights into cohomology of closed 1-forms.

The paper explores representations of specific knot groups and their properties.

The paper studies binary icosahedral representations of hyperbolic 3-manifolds.

Geometrically, Kostant's Convexity Theorem is extended to submetries with a fat section.

Let p an integer. We define a family of idempotents (and nilpotents) in the Temperley - Lieb algebras at 4p-th roots of unity which generalize the usual Jones-Wenzl idempotents. These new idempotents correspond to finite dimentional simple and projective indecomposable representations of the restricted quantum group Uq…

Geodesic orbit metrics on real flag manifolds identified.

For groups of a topological origin, such as braid groups and mapping class groups, an important source of interesting and highly non-trivial representations is given by their actions on the twisted homology of associated spaces; these are known as homological representations. Representations of this kind have proved th…

We determine the action of the Torelli group on the equivariant cohomology of the space of flat SL(2,C) connections on a closed Riemann surface. We show that the trivial part of the action contains the equivariant cohomology of the even component of the space of flat PSL(2,C) connections. The non-trivial part consists …

It is well known that the description of topological and geometric properties of bisectors in normed spaces is a non-trivial subject. In this paper we introduce the concept of bounded representation of bisectors in finite dimensional real Banach spaces. This useful notion combines the concepts of bisector and shadow bo…

Proposes a method to learn invariant representations for interpretability and fairness.

We define an integer valued invariant for two-component links in S^3 by counting projective SU(2) representations of the link group having non-trivial second Stiefel-Whitney class. We show that our invariant is, up to sign, the linking number of the link. Our construction generalizes that of X.-S. Lin who defined a sim…

A novel method for clustering multi-view data using dual representations.

Analogy-making is a key method for computer algorithms to generate both natural and creative music pieces. In general, an analogy is made by partially transferring the music abstractions, i.e., high-level representations and their relationships, from one piece to another; however, this procedure requires disentangling …

The paper presents a new method to represent directed graphs using pseudo-Riemannian manifolds.

Advances in mobile computing technologies have made it possible to monitor and apply data-driven interventions across complex systems in real time. Markov decision processes (MDPs) are the primary model for sequential decision problems with a large or indefinite time horizon. Choosing a representation of the underlying…

For a oriented genus g surface with one boundary component, S, the Torelli group is the group of orientation preserving homeomorphisms of S that induce the identity on homology. The Magnus representation of the Torelli group represents the action on F/F" where F=pi_1(S) and F" is the second term of the derived series. …

Learning text representation is crucial for text classification and other language related tasks. There are a diverse set of text representation networks in the literature, and how to find the optimal one is a non-trivial problem. Recently, the emerging Neural Architecture Search (NAS) techniques have demonstrated good…

From a group $H$ and a non-trivial element $h$ of $H$, we define a representation $ρ: B_n \to \Aut(G)$, where $B_n$ denotes the braid group on $n$ strands, and $G$ denotes the free product of $n$ copies of $H$. Such a representation shall be called the Artin type representation associated to the pair $(H,h)$. The goal …

We use our new type of bounded locally homeomorphic quasiregular mappings in the unit 3-ball to address long standing problems for such mappings. The construction of such mappings comes from our construction of non-trivial compact 4-dimensional cobordisms $M$ with symmetric boundary components and whose interiors have …

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…

In this paper we show that many projective Anosov representations act convex cocompactly on some properly convex domain in real projective space. In particular, if a non-elementary word hyperbolic group is not commensurable to a non-trivial free product or the fundamental group of a closed hyperbolic surface, then any …

We use quantum invariants to define an analytic family of representations for the mapping class group of a punctured surface. The representations depend on a complex number A with |A| <= 1 and act on an infinite-dimensional Hilbert space. They are unitary when A is real or imaginary, bounded when |A|<1, and only densel…

Factorization of the differential expansion coefficients for HOMFLY-PT polynomials of double braids, discovered in arXiv:1606.06015 in the case of rectangular representations $R$, is extended to the first non-rectangular representations $R=[2,1]$ and $R=[3,1]$. This increases chances that such factorization will take p…

Study irreducible SU(2) representations for knots in 3D.

Semi-supervised learning algorithms typically construct a weighted graph of data points to represent a manifold. However, an explicit graph representation is problematic for neural networks operating in the online setting. Here, we propose a feed-forward neural network capable of semi-supervised learning on manifolds w…