An official website of the United States government
Abstract Let $$M$$ be a compact 3-manifold and $$\Gamma =\pi _1(M)$$. Work by Thurston and Culler–Shalen established the $${\operatorname{\textrm{SL}}}_2({\mathbb{C}})$$ character variety $$X(\Gamma )$$ as fundamental tool in the study of the geometry and topology of $$M$$. This is particularly the case when $$M$$ is the exterior of a hyperbolic knot $$K$$ in $S^3$. The main goals of this paper are to bring to bear tools from algebraic and arithmetic geometry to understand algebraic and number theoretic properties of the so-called canonical component of $$X(\Gamma )$$, as well as distinguished points on the canonical component, when $$\Gamma $$ is a knot group. In particular, we study how the theory of quaternion Azumaya algebras can be used to obtain algebraic and arithmetic information about Dehn surgeries, and perhaps of most interest, to construct new knot invariants that lie in the Brauer groups of curves over number fields.
more »
« less
Azumaya algebras and canonical components
Let M be a compact 3-manifold and = π1(M). The work by Thurston and Culler– Shalen established the SL2(C) character variety X() as fundamental tool in the study of the geometry and topology of M. This is particularly the case when M is the exterior of a hyperbolic knot K in S3. The main goals of this paper are to bring to bear tools from algebraic and arithmetic geometry to understand algebraic and number theoretic properties of the so-called canonical component of X(), as well as distinguished points on the canonical component, when is a knot group. In particular, we study how the theory of quaternion Azumaya algebras can be used to obtain algebraic and arithmetic information about Dehn surgeries, and perhaps of most interest, to construct new knot invariants that lie in the Brauer groups of curves over number fields.
more »
« less
- Award ID(s):
- 1701785
- PAR ID:
- 10382895
- Date Published:
- Journal Name:
- International mathematics research notices
- ISSN:
- 1687-0247
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
null (Ed.)Abstract Let $$K$$ be an algebraically closed field of prime characteristic $$p$$ , let $$X$$ be a semiabelian variety defined over a finite subfield of $$K$$ , let $$\unicode[STIX]{x1D6F7}:X\longrightarrow X$$ be a regular self-map defined over $$K$$ , let $$V\subset X$$ be a subvariety defined over $$K$$ , and let $$\unicode[STIX]{x1D6FC}\in X(K)$$ . The dynamical Mordell–Lang conjecture in characteristic $$p$$ predicts that the set $$S=\{n\in \mathbb{N}:\unicode[STIX]{x1D6F7}^{n}(\unicode[STIX]{x1D6FC})\in V\}$$ is a union of finitely many arithmetic progressions, along with finitely many $$p$$ -sets, which are sets of the form $$\{\sum _{i=1}^{m}c_{i}p^{k_{i}n_{i}}:n_{i}\in \mathbb{N}\}$$ for some $$m\in \mathbb{N}$$ , some rational numbers $$c_{i}$$ and some non-negative integers $$k_{i}$$ . We prove that this conjecture is equivalent with some difficult diophantine problem in characteristic 0. In the case $$X$$ is an algebraic torus, we can prove the conjecture in two cases: either when $$\dim (V)\leqslant 2$$ , or when no iterate of $$\unicode[STIX]{x1D6F7}$$ is a group endomorphism which induces the action of a power of the Frobenius on a positive dimensional algebraic subgroup of $$X$$ . We end by proving that Vojta’s conjecture implies the dynamical Mordell–Lang conjecture for tori with no restriction.more » « less
-
null (Ed.)The object of study of this paper is the following multi-determinantal algebraic variety, SINGn, m, which captures the symbolic determinant identity testing (SDIT) problem (a canonical version of the polynomial identity testing (PIT) problem), and plays a central role in algebra, algebraic geometry and computational complexity theory. SINGn, m is the set of all m-tuples of n×n complex matrices which span only singular matrices. In other words, the determinant of any linear combination of the matrices in such a tuple vanishes. The algorithmic complexity of testing membership in SINGn, m is a central question in computational complexity. Having almost a trivial probabilistic algorithm, finding an efficient deterministic algorithm is a holy grail of derandomization, and to top it, will imply super-polynomial circuit lower bounds! A sequence of recent works suggests efficient deterministic “geodesic descent” algorithms for memberships in a general class of algebraic varieties, namely the null cones of (reductive) linear group actions. Can such algorithms be used for the problem above? Our main result is negative: SINGn, m is not the null cone of any such group action! This stands in stark contrast to a non-commutative analog of this variety (for which such algorithms work), and points to an inherent structural difficulty of SINGn, m. In other words, we provide a barrier for the attempts of derandomizing SDIT via these algorithms. To prove this result we identify precisely the group of symmetries of SINGn, m. We find this characterization, and the tools we introduce to prove it, of independent interest. Our characterization significantly generalizes a result of Frobenius for the special case m=1 (namely, computing the symmetries of the determinant). Our proof suggests a general method for determining the symmetries of general algebraic varieties, an algorithmic problem that was hardly studied and we believe is central to algebraic complexity.more » « less
-
It was previously shown by the first author that every knot in [Formula: see text] is ambient isotopic to one component of a two-component, alternating, hyperbolic link. In this paper, we define the alternating volume of a knot [Formula: see text] to be the minimum volume of any link [Formula: see text] in a natural class of alternating, hyperbolic links such that [Formula: see text] is ambient isotopic to a component of [Formula: see text]. Our main result shows that the alternating volume of a knot is coarsely equivalent to the twist number of a knot.more » « less
- Free Publicly Accessible Full Text
-
Accepted Manuscript1.0
- Journal Article:
- The DOI is not currently available.
