Skip to main content

All Questions

Filter by
Sorted by
Tagged with
19 votes
1 answer
1k views

Is there a connected $k$-group scheme $G$ such that $G_{red}$ is not a subgroup?

I've been trying a learn a little more about group schemes by working through a set of exercises on Brian Conrad's website. Exercise 8.3 of http://math.stanford.edu/~conrad/papers/gpschemehw1.pdf ...
stankewicz's user avatar
  • 3,625
10 votes
1 answer
435 views

Is there a notion of hyperbolicity for number rings?

For algebraic curves over a nice enough field $k$, we have a notion of what it means to be hyperbolic: If $\overline{C}$ is a smooth projective curve of genus $g$ and $P_1,\dots,P_n$ are closed points,...
Matthias Wendt's user avatar
8 votes
0 answers
201 views

Monodromy groups that are profinitely dense in Sp(2g,Z)

$\DeclareMathOperator\Sp{Sp}$Assume $g\geq 2$. It is known that there exist finitely generated subgroups of $\Sp(2g,\mathbb{Z})$ of infinite index that surject onto all finite quotients of $\Sp(2g,\...
Gabriele Mondello's user avatar
5 votes
1 answer
612 views

Is the automorphism group of a Calabi-Yau variety an arithmetic group

Let $X$ be a smooth projective variety over the complex numbers with trivial canonical bundle. Suppose that $X$ is Calabi-Yau. Is the automorphism group of $X$ an arithmetic group? What if $X$ is a ...
Christian's user avatar
  • 193
5 votes
3 answers
448 views

Variation of centraliser in $\operatorname{GL}(n,\mathbb{Z})$

$\DeclareMathOperator\GL{GL}$Let $n$ be a positive integer $\geq 2$. The setting is that $K \in \GL(n,\mathbb{Z})$, and people are interested in understanding the centralizer: $$ C(K)=\{ B \in \GL(n,\...
en kuo's user avatar
  • 145
3 votes
3 answers
544 views

Non existence of cyclic infinite linear algebraic groups

Let $G$ be a linear algebraic group defined over some algebraically closed field $\mathbb{K}$ and also over some subfield $k\subset \mathbb{K}$. There is thus a natural group structure on the set of $...
Jérémy Blanc's user avatar
3 votes
1 answer
294 views

Is the fundamental group of an open arithmetic Riemann surface contained in $\Gamma(2)$

Let $X$ be a non-compact Riemann surface with universal covering $\mathbb H$ and suppose that the fundamental group of $X$ is an arithmetic subgroup of $\mathrm{Aut}(\mathbb H) = \mathrm{PSL}_2(\...
Stephan29's user avatar
3 votes
2 answers
752 views

orbits of linear algebraic group $G({\Bbb Q}_p)$ acting on subgroups of ${\Bbb Q}_p^n$

Let $G\subseteq GL(n)$ be a linear algebraic group, and let $G({\Bbb Q}_p)\subseteq GL(V)$ act on a ${\Bbb Q}_p$-vector space V of finite dimension. Consider the action of $G$ on abelian subgroups $L\...
mmm 's user avatar
  • 1,299
1 vote
0 answers
98 views

$K$-ranks of some algebraic groups in Lubotzky's "Discrete groups, expanding graphs and invariant measures"

$\DeclareMathOperator\SL{SL}\DeclareMathOperator\SO{SO}$Let $G$ be a semisimple algebraic group and $K$ any field. Then the $K$-rank of $G$ is the maximal rank $r$ of a $K$-splitting torus $T \cong (K^...
user267839's user avatar
  • 5,976
1 vote
0 answers
227 views

Why are compact arithmetic surfaces defined through quaternion algebras (usually) only over $\mathbb{Q}$?

As in Chapter 6.2 of "Introduction to arithmetic groups" (by D.W. Morris), compact arithmetic surfaces could be defined through quaternion algebras $\mathbb{H}^{a,b}_F=\big(\frac{a,b}{F}\big)...
Local's user avatar
  • 128
1 vote
0 answers
140 views

symmetric theta structures and arithmetic subgroups

A symmetric theta structure is a theta structure that commutes with (a lift of) the natural involution $\imath: A \to A$ an an abelian variety. For simplicity I will assume that $A$ is a surface. Now,...
IMeasy's user avatar
  • 3,779
1 vote
0 answers
190 views

Compactifications of group schemes

Let $G$ be a group scheme over a scheme $S$ which is the spectrum of a discrete valuation ring. Let $\eta$ (resp. $s$) be the generic (resp. closed) point. Assume that the generic fiber $G_{\eta}$ is ...
mton's user avatar
  • 41