arXiv research

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

New construction provides non-trivial representations for geometric quantisation.

For a lattice $Γ$ of a simply connected solvable Lie group $G$, we describe the analytic germ in the variety of representations of $Γ$ at the trivial representation as an analytic germ which is linearly embedded in the analytic germ associated with the nilpotent Lie algebra determined by $G$. By this description, under…

We show the triviality of representations of the mapping class group of a genus $g$ surface in $GL(n,C), Diff(S^2)$ and $Homeo(T^2)$ when appropriate restrictions on the genus $g$ and the size of $n$ hold. For example, if $S_g$ is a surface of finite type and $φ: MCG(S_g) \to GL(n,C)$ is a homomorphism, then $φ$ is tri…

Global fixed points in low-dimensional surface group space correspond to trivial representations.

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…

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.

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 prove that the sequence of projective representations of the mapping class group obtained from the projective flat connection in the SU(n)-Verlinde bundles over Teichmuller space is asymptotically faithful, that is the intersection over all levels of the kernels of these representations is trivial, whenever the genu…

We categorify the coefficients of the Burau representation matrix using elementary geometrical methods. We show the faithfulness of this categorification in the sense that it detects the trivial braid.

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…

X.S. Lin's original definition of twisted Alexander knot polynomial is generalized for arbitrary finitely presented groups. J. Cha's fibering obstruction theorem is generalized. The group of a nontrivial virtual knot shown by L. Kauffman to have trivial Jones polynomial is seen also to have a faithful representation th…

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…

Motivated by the study of the interrelation between functorial and algebraic quantum field theory, we point out that on any locally trivial bundle of compact groups, representations up to homotopy are enough to separate points by means of the associated representations in cohomol- ogy. Furthermore, we observe that the …

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 introduce explicit holonomy perturbations of the Chern-Simons functional on a 3-ball containing a pair of unknotted arcs. These perturbations give us a concrete local method for making the moduli spaces of flat singular SO(3) connections relevant to Kronheimer and Mrowka's singular instanton knot homology non-degene…

Unitons, i.e.\ harmonic spheres in a unitary group, correspond to \lq uniton bundles\rq, i.e.\ holomorphic bundles over the compactified tangent space to the complex line with certain triviality and other properties. In this paper, we use a monad representation similar to Donaldson's representation of instanton bundles…

Let $Γ$ be a lattice in a connected semisimple Lie group $G$ with trivial center and no compact factors. We introduce a volume invariant for representations of $Γ$ into $G$, which generalizes the volume invariant for representations of uniform lattices introduced by Goldman. Then, we show that the maximality of this vo…

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 findings on Jones polynomial for 4-strand braids.

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 …

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…

Fast algorithm for braid group Hecke representation, applied to knot invariants.

We classify the $5$-dimensional homogeneous geometries in the sense of Thurston. The present paper (part 2 of 3) classifies those in which the linear isotropy representation is either irreducible or trivial. The $5$-dimensional geometries with irreducible isotropy are the irreducible Riemannian symmetric spaces, while …

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 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 investigate the holonomy group of singular Kähler-Einstein metrics on klt varieties with numerically trivial canonical divisor. Finiteness of the number of connected components, a Bochner principle for holomorphic tensors, and a connection between irreducibility of holonomy representations and stability of the tange…

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

In this article we use the "escape from subvarieties lemma" introduced by Eskin--Mozes--Oh to prove finite step rigidity results for the Jordan-Lyapunov projection spectra of Hitchin representations and the Margulis-Smilga invariant spectra of some special Margulis-Smilga spacetimes. In the process, we also prove a sim…

Classifies representations up to dimension 3g-3 for surface mapping class groups.

We observe that the determinant of the representation provides a little restriction for the structure of the graded quotients $\mathcal{G}_k^Q{F}$ introduced in both [Algebr. Geom. Topol. 1 (2001) 39-55] and [J. Knot Theory Ramifications 13 (2004) 297-306] that any one of them does not contain the trivial 1-dimensional…

We show that the first Johnson subgroup of the mapping class group of a surface S of genus greater than one acts ergodically on the moduli space of representations of the fundamental group of S in SU_2. Our proof relies on a local description of the latter space around the trivial representation and on the Taylor expan…

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

Holomorphic connections found on Riemann surfaces with Fuchsian monodromy.

We present a loss function for neural networks that encompasses an idea of trivial versus non-trivial predictions, such that the network jointly determines its own prediction goals and learns to satisfy them. This permits the network to choose sub-sets of a problem which are most amenable to its abilities to focus on s…

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

Let G be a split semisimple algebraic group with trivial center. Let S be a compact oriented surface, with or without boundary. We define {\it positive} representations of the fundamental group of S to G(R), construct explicitly all positive representations, and prove that they are faithful, discrete, and positive hype…

We consider subgroups of the braid groups which are generated by $k$-th powers of the standard generators and prove that any infinite intersection (with even $k$) is trivial. This is motivated by some conjectures of Squier concerning the kernels of Burau's representations of the braid groups at roots of unity. Furtherm…

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 investigate the rigidity and asymptotic properties of quantum SU(2) representations of mapping class groups. In the spherical braid group case the trivial representation is not isolated in the family of quantum SU(2) representations. In particular, they may be used to give an explicit check that spherical braid grou…

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…

Recently, John Franks and Michael Handel proved that, for $g\geq 3$ and $n\leq 2g-4$, every homomorphism from the mapping class group of an orientable surface of genus $g$ to $\GL (n,\C)$ is trivial. We extend this result to $n\leq 2g-1$, also covering the case $g=2$. As an application, we prove the corresponding resul…

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.

Conditions for equivariant bundles on 4-manifolds with cyclic actions.

Study Torelli subgroups of handlebody groups and their cohomology.

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…

We recast basic topological concepts underlying differential geometry using the language and tools of noncommutative geometry. This way we characterize principal (free and proper) actions by a density condition in (multiplier) C*-algebras. We introduce the concept of piecewise triviality to adapt the standard notion of…