Related papers: Bijective arithmetic codings of hyperbolic automor…
For a binary quadratic form $Q$, we consider the action of $\mathrm{SO}_Q$ on a two-dimensional vector space. This representation yields perhaps the simplest nontrivial example of a prehomogeneous vector space that is not irreducible, and…
We show that a topological quantum computer based on the evaluation of a Witten-Reshetikhin-Turaev TQFT invariant of knots can always be arranged so that the knot diagrams with which one computes are diagrams of hyperbolic knots. The…
In this mostly expository article, we provide a new account of our proof with Minsky and Sisto that mapping class groups and Teichm\"uller spaces admit bicombings. More generally, we explain how the hierarchical hull of a pair of points in…
Let $A$ and $H$ be two Hopf algebras. We shall classify up to an isomorphism that stabilizes $A$ all Hopf algebras $E$ that factorize through $A$ and $H$ by a cohomological type object ${\mathcal H}^{2} (A, H)$. Equivalently, we classify up…
Lind and Schmidt have shown that the homoclinic group of a cyclic $\Z^k$ algebraic dynamical system is isomorphic to the dual of the phase group. We show that this duality result is part of an exact sequence if $k=1$. The exact sequence is…
Let g be a simple complex finite dimensional Lie algebra and let U_q^+(g) be the positive part of the quantum enveloping algebra of g. If g is of type A_2, the group of algebra automorphisms of U_q^+(g) is a semidirect product of a…
We show that, for pairs of hyperbolic toral automorphisms on the $2$-torus, the points with dense forward orbits under one map and nondense forward orbits under the other is a dense, uncountable set. The pair of maps can be noncommuting. We…
It is well known that the discrete analogue of a lattice is a linear code which is a vector subspace of Hamming space $\mathbb{F}^n$. The set $\mathbb{F}$ is a finite field and $n \in \mathbb{Z}_{>0}$. Our attempt is to construct a class of…
In this note we discuss techniques for determining the automorphism group of a genus $g$ hyperelliptic curve $\X_g$ defined over an algebraically closed field $k$ of characteristic zero. The first technique uses the classical $GL_2…
Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…
The double torus provides a relativistic model for a closed 2D cosmos with topology of genus 2 and constant negative curvature. Its unfolding into an octagon extends to an octagonal tessellation of its universal covering, the hyperbolic…
We find all possible isomorphisms and 3-birational maps (i.e., birational maps which induce an isomorphism between open subsets whose respective complements have codimension at least 3) between moduli spaces of parabolic vector bundles with…
For every hyperbolic group and more general hyperbolic graphs, we construct an equivariant ideal bicombing: this is a homological analogue of the geodesic flow on negatively curved manifolds. We then construct a cohomological invariant…
Beineke, Harary and Ringel discovered a formula for the minimum genus of a torus in which the $n$-dimensional hypercube graph can be embedded. We give a new proof of the formula by building this surface as a union of certain faces in the…
We consider additive codes over GF(4) that are self-dual with respect to the Hermitian trace inner product. Such codes have a well-known interpretation as quantum codes and correspond to isotropic systems. It has also been shown that these…
In this paper, following J.Nielsen, we introduce a complete characteristic of orientation preserving periodic maps on the two-dimensional torus. All admissible complete characteristics were found and realized. In particular, each of classes…
A bicirculant is a regular graph that admits an automorphism having two vertex-orbits of the same size. A bicirculant can be described as follows. Given an integer $m \ge 1$ and sets $R, S, T \subseteq \mathbb Z_m$ such that $R=-R$, $T=-T$,…
In this article we study the automorphism groups of binary cyclic codes. In particular, we provide explicit constructions for codes whose automorphism groups can be described as (a) direct products of two symmetric groups or (b) iterated…
We introduce a framework to define coalgebra and bialgebra structures on two-dimensional (2D) square lattices, extending the algebraic theory of Hopf algebras and quantum groups beyond the one-dimensional (1D) setting. Our construction is…
By Grothendieck's anabelian conjectures, Galois representations landing in outer automorphism group of the algebraic fundamental group which are associated to hyperbolic smooth curves defined over number-fields encode all the arithmetic…