-
Representations of quantum conjugacy classes of orthosymplectic groups
Authors:
Thomas Ashton,
Andrey Mudrov
Abstract:
Let $G$ be the complex symplectic or special orthogonal group and $\g$ its Lie algebra. With every point $x$ of the maximal torus $T\subset G$ we associate a highest weight module $M_x$ over the Drinfeld-Jimbo quantum group $U_q(\g)$ and a quantization of the conjugacy class of $x$ by operators in $\End(M_x)$. These quantizations are isomorphic for $x$ lying on the same orbit of the Weyl group, an…
▽ More
Let $G$ be the complex symplectic or special orthogonal group and $\g$ its Lie algebra. With every point $x$ of the maximal torus $T\subset G$ we associate a highest weight module $M_x$ over the Drinfeld-Jimbo quantum group $U_q(\g)$ and a quantization of the conjugacy class of $x$ by operators in $\End(M_x)$. These quantizations are isomorphic for $x$ lying on the same orbit of the Weyl group, and $M_x$ support different representations of the same quantum conjugacy class.
△ Less
Submitted 9 February, 2015;
originally announced February 2015.
-
R-matrix and Mickelsson algebras for orthosymplectic quantum groups
Authors:
Thomas Ashton,
Andrey Mudrov
Abstract:
Let $\g$ be a complex orthogonal or symplectic Lie algebra and
$\g'\subset \g$ the Lie subalgebra of rank $\rk \g'=\rk \g-1$ of the same type. We give an explicit construction of generators of the Mickelsson algebra $Z_q(\g,\g')$ in terms of Chevalley generators via the R-matrix of $U_q(\g)$.
Let $\g$ be a complex orthogonal or symplectic Lie algebra and
$\g'\subset \g$ the Lie subalgebra of rank $\rk \g'=\rk \g-1$ of the same type. We give an explicit construction of generators of the Mickelsson algebra $Z_q(\g,\g')$ in terms of Chevalley generators via the R-matrix of $U_q(\g)$.
△ Less
Submitted 29 October, 2014; v1 submitted 23 October, 2014;
originally announced October 2014.
-
Quantization of borderline Levi conjugacy classes of orthogonal groups
Authors:
Thomas Ashton,
Andrey Mudrov
Abstract:
We construct equivariant quantization of a special family of Levi conjugacy classes of the complex orthogonal group $SO(N)$, whose stabilizer contains a Cartesian factor $SO(2)\times SO(P)$, $1\leqslant P<N$, $P\equiv N \mod 2$.
We construct equivariant quantization of a special family of Levi conjugacy classes of the complex orthogonal group $SO(N)$, whose stabilizer contains a Cartesian factor $SO(2)\times SO(P)$, $1\leqslant P<N$, $P\equiv N \mod 2$.
△ Less
Submitted 29 October, 2013;
originally announced October 2013.
-
On representations of quantum conjugacy classes of GL(n)
Authors:
Thomas Ashton,
Andrey Mudrov
Abstract:
Let $O$ be a closed Poisson conjugacy class of the complex algebraic Poisson group GL(n) relative to the Drinfeld-Jimbo factorizable classical r-matrix. Denote by $T$ the maximal torus of diagonal matrices in GL(n). With every $a\in O\cap T$ we associate a highest weight module $M_a$ over the quantum group $U_q(gl(n))$ and an equivariant quantization $C_{h,a}[O]$ of the polynomial ring $C[O]$ real…
▽ More
Let $O$ be a closed Poisson conjugacy class of the complex algebraic Poisson group GL(n) relative to the Drinfeld-Jimbo factorizable classical r-matrix. Denote by $T$ the maximal torus of diagonal matrices in GL(n). With every $a\in O\cap T$ we associate a highest weight module $M_a$ over the quantum group $U_q(gl(n))$ and an equivariant quantization $C_{h,a}[O]$ of the polynomial ring $C[O]$ realized by operators on $M_a$. All quantizations $C_{h,a}[O]$ are isomorphic and can be regarded as different exact representations of the same algebra, $C_{h}[O]$. Similar results are obtained for semisimple adjoint orbits in $gl(n)$ equipped with the canonical GL(n)-invariant Poisson structure.
△ Less
Submitted 26 April, 2013;
originally announced April 2013.
-
Knot Tightening By Constrained Gradient Descent
Authors:
Ted Ashton,
Jason Cantarella,
Michael Piatek,
Eric Rawdon
Abstract:
We present new computations of approximately length-minimizing polygons with fixed thickness. These curves model the centerlines of "tight" knotted tubes with minimal length and fixed circular cross-section. Our curves approximately minimize the ropelength (or quotient of length and thickness) for polygons in their knot types. While previous authors have minimized ropelength for polygons using s…
▽ More
We present new computations of approximately length-minimizing polygons with fixed thickness. These curves model the centerlines of "tight" knotted tubes with minimal length and fixed circular cross-section. Our curves approximately minimize the ropelength (or quotient of length and thickness) for polygons in their knot types. While previous authors have minimized ropelength for polygons using simulated annealing, the new idea in our code is to minimize length over the set of polygons of thickness at least one using a version of constrained gradient descent.
We rewrite the problem in terms of minimizing the length of the polygon subject to an infinite family of differentiable constraint functions. We prove that the polyhedral cone of variations of a polygon of thickness one which do not decrease thickness to first order is finitely generated, and give an explicit set of generators. Using this cone we give a first-order minimization procedure and a Karush-Kuhn-Tucker criterion for polygonal ropelength criticality.
Our main numerical contribution is a set of 379 almost-critical prime knots and links, covering all prime knots with no more than 10 crossings and all prime links with no more than 9 crossings. For links, these are the first published ropelength figures, and for knots they improve on existing figures. We give new maps of the self-contacts of these knots and links, and discover some highly symmetric tight knots with particularly simple looking self-contact maps.
△ Less
Submitted 8 February, 2010;
originally announced February 2010.
-
Exploring Continuous Tensegrities
Authors:
Ted Ashton
Abstract:
A discrete tensegrity framework can be thought of as a graph in Euclidean n-space where each edge is of one of three types: an edge with a fixed length (bar) or an edge with an upper (cable) or lower (strut) bound on its length. Roth and Whiteley, in their 1981 paper "Tensegrity Frameworks", showed that in certain cases, the struts and cables can be replaced with bars when analyzing the framewor…
▽ More
A discrete tensegrity framework can be thought of as a graph in Euclidean n-space where each edge is of one of three types: an edge with a fixed length (bar) or an edge with an upper (cable) or lower (strut) bound on its length. Roth and Whiteley, in their 1981 paper "Tensegrity Frameworks", showed that in certain cases, the struts and cables can be replaced with bars when analyzing the framework for infinitesimal rigidity. In that case we call the tensegrity "bar equivalent". In specific, they showed that if there exists a set of positive weights, called a positive "stress", on the edges such that the weighted sum of the edge vectors is zero at every vertex, then the tensegrity is bar equivalent.
In this paper we consider an extended version of the tensegrity framework in which the vertex set is a (possibly infinite) set of points in Euclidean n-space and the edgeset is a compact set of unordered pairs of vertices. These are called "continuous tensegrities". We show that if a continuous tensegrity has a strictly positive stress, it is bar equivalent and that it has a semipositive stress if and only if it is partially bar equivalent. We also show that if a tensegrity is minimally bar equivalent (it is bar equivalent but removing any open set of edges makes it no longer so), then it has a strictly positive stress.
In particular, we examine the case where the vertices form a rectifiable curve and the possible motions of the curve are limited to local isometries of it. Our methods provide an attractive proof of the following result: There is no locally arclength preserving motion of a circle that increases any antipodal distance without decreasing some other one.
△ Less
Submitted 14 May, 2007; v1 submitted 20 April, 2007;
originally announced April 2007.
-
Self-contact Sets for 50 Tightly Knotted and Linked Tubes
Authors:
Ted Ashton,
Jason Cantarella,
Michael Piatek,
Eric Rawdon
Abstract:
We report on new numerical computations of the set of self-contacts in tightly knotted tubes of uniform circular cross-section. Such contact sets have been obtained before for the trefoil and figure eight knots by simulated annealing -- we use constrained gradient-descent to provide new self-contact sets for those and 48 other knot and link types. The minimum length of all unit diameter tubes in…
▽ More
We report on new numerical computations of the set of self-contacts in tightly knotted tubes of uniform circular cross-section. Such contact sets have been obtained before for the trefoil and figure eight knots by simulated annealing -- we use constrained gradient-descent to provide new self-contact sets for those and 48 other knot and link types. The minimum length of all unit diameter tubes in a given knot or link type is called the ropelength of that class of curves. Our computations yield improved upper bounds for the ropelength of all knots and links with 9 or fewer crossings except the trefoil.
△ Less
Submitted 15 August, 2005;
originally announced August 2005.
-
A Fast Octree-Based Algorithm for Computing Ropelength
Authors:
Ted Ashton,
Jason Cantarella
Abstract:
The ropelength of a space curve is usually defined as the quotient of its length by its thickness: the radius of the largest embedded tube around the knot. This idea was extended to space polygons by Eric Rawdon, who gave a definition of ropelength in terms of doubly-critical self-distances (local minima of the distance function on pairs of points on the polygon) and a function of the exterior a…
▽ More
The ropelength of a space curve is usually defined as the quotient of its length by its thickness: the radius of the largest embedded tube around the knot. This idea was extended to space polygons by Eric Rawdon, who gave a definition of ropelength in terms of doubly-critical self-distances (local minima of the distance function on pairs of points on the polygon) and a function of the exterior angles of the polygon.
A naive algorithm for finding the doubly-critical self-distances of an n-edge polygon involves comparing each pair of edges, and so takes O(n^2) time. In this paper, we describe an improved algorithm, based on the notion of octrees, which runs in O(n log n) time. The speed of the ropelength computation controls the performance of ropelength-minimizing programs such as Rawdon and Piatek's TOROS.
An implementation of our algorithm is freely available under the GNU Public License.
△ Less
Submitted 2 March, 2005; v1 submitted 21 September, 2004;
originally announced September 2004.
