skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: Morphisms of Character Varieties
Abstract Let $$k$$ be a field, let $$H \subset G$$ be (possibly disconnected) reductive groups over $$k$$, and let $$\Gamma $$ be a finitely generated group. Vinberg and Martin have shown that the induced morphism $$\underline{\operatorname{Hom}}_{k\textrm{-gp}}(\Gamma , H)//H \to \underline{\operatorname{Hom}}_{k\textrm{-gp}}(\Gamma , G)//G$$ is finite. In this note, we generalize this result (with a significantly different proof) by replacing $$k$$ with an arbitrary locally Noetherian scheme, answering a question of Dat. Along the way, we use Bruhat–Tits theory to establish a few apparently new results about integral models of reductive groups over discrete valuation rings.  more » « less
Award ID(s):
1840234
PAR ID:
10531675
Author(s) / Creator(s):
Publisher / Repository:
Oxford University Press
Date Published:
Journal Name:
International Mathematics Research Notices
ISSN:
1073-7928
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Let G G be a connected, linear, real reductive Lie group with compact centre. Let K > G K>G be compact. Under a condition on K K , which holds in particular if K K is maximal compact, we give a geometric expression for the multiplicities of the K K -types of any tempered representation (in fact, any standard representation) π \pi of G G . This expression is in the spirit of Kirillov’s orbit method and the quantisation commutes with reduction principle. It is based on the geometric realisation of π | K \pi |_K obtained in an earlier paper. This expression was obtained for the discrete series by Paradan, and for tempered representations with regular parameters by Duflo and Vergne. We obtain consequences for the support of the multiplicity function, and a criterion for multiplicity-free restrictions that applies to general admissible representations. As examples, we show that admissible representations of SU ( p , 1 ) \textrm {SU}(p,1) , SO 0 ( p , 1 ) \textrm {SO}_0(p,1) , and SO 0 ( 2 , 2 ) \textrm {SO}_0(2,2) restrict multiplicity freely to maximal compact subgroups. 
    more » « less
  2. 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
  3. Abstract We prove an inequality that unifies previous works of the authors on the properties of the Radon transform on convex bodies including an extension of the Busemann–Petty problem and a slicing inequality for arbitrary functions. Let $$K$$ and $$L$$ be star bodies in $${\mathbb R}^n,$$ let $0<k<n$ be an integer, and let $f,g$ be non-negative continuous functions on $$K$$ and $$L$$, respectively, so that $$\|g\|_\infty =g(0)=1.$$ Then $$\begin{align*} & \frac{\int_Kf}{\left(\int_L g\right)^{\frac{n-k}n}|K|^{\frac kn}} \le \frac n{n-k} \left(d_{\textrm{ovr}}(K,\mathcal{B}\mathcal{P}_k^n)\right)^k \max_{H} \frac{\int_{K\cap H} f}{\int_{L\cap H} g}, \end{align*}$$where $|K|$ stands for volume of proper dimension, $$C$$ is an absolute constant, the maximum is taken over all $(n-k)$-dimensional subspaces of $${\mathbb R}^n,$$ and $$d_{\textrm{ovr}}(K,\mathcal{B}\mathcal{P}_k^n)$$ is the outer volume ratio distance from $$K$$ to the class of generalized $$k$$-intersection bodies in $${\mathbb R}^n.$$ Another consequence of this result is a mean value inequality for the Radon transform. We also obtain a generalization of the isomorphic version of the Shephard problem. 
    more » « less
  4. Abstract Let $$K$$ be any field, and let $$n$$ be a positive integer. If we denote by $$\xi _{\textrm{SL}_n}\colon \textrm{SL}_n\times \textrm{SL}_n\to \textrm{SL}_n$$ the commutator morphism over $$K$$, then $$\xi _{\textrm{SL}_n}$$ is flat over the complement of the center of $$\textrm{SL}_n$$. 
    more » « less
  5. Abstract Let $$S$$ be a scheme and let $$\pi : \mathcal{G} \to S$$ be a $${\mathbb{G}}_{m,S}$$-gerbe corresponding to a torsion class $$[\mathcal{G}]$$ in the cohomological Brauer group $${\operatorname{Br}}^{\prime}(S)$$ of $$S$$. We show that the cohomological Brauer group $${\operatorname{Br}}^{\prime}(\mathcal{G})$$ of $$\mathcal{G}$$ is isomorphic to the quotient of $${\operatorname{Br}}^{\prime}(S)$$ by the subgroup generated by the class $$[\mathcal{G}]$$. This is analogous to a theorem proved by Gabber for Brauer–Severi schemes. 
    more » « less