4
$\begingroup$

In reduction theory of arithmetic groups, one has the following finiteness property.

Proposition 1 (Siegel property). Let $G$ be a reductive group over $\mathbb{Q}$ and let $\Gamma\subset G(\mathbb{Q})$ be an arithmetic subgroup. Let $\mathfrak{S}\subset G(\mathbb{R})$ be a Siegel set. Then the set $$\{\gamma\in \Gamma; \mathfrak{S}\cap \gamma. \mathfrak{S}\ne \emptyset\}$$ is finite.

Now I am consider a generalization of the above finiteness property as following.

Question 2 Let $G$ be a reductive group over $\mathbb{Q}$ and let $\Gamma\subset G(\mathbb{Q})$ be an arithmetic subgroup. We fix $\mathfrak{S}\subset G(\mathbb{R})$ be a Siegel set. Take $H\subset G$ be a reductive subgroup over $\mathbb{Q}$. Then is there a Siegel set $\mathfrak{S}_H\subset H(\mathbb{R})$ such that the set $$\{\gamma\in \Gamma; \mathfrak{S}\cap \gamma. \mathfrak{S}_H\ne \emptyset\}$$ is finite?

So is this generalization still true? Could you please provide a proof or a counter example? Thanks very much!

$\endgroup$
2
  • $\begingroup$ If I'm understanding this correctly, then this appears to follow from Theorem 1.2 of this paper: arxiv.org/pdf/1609.01315.pdf $\endgroup$ Aug 12, 2017 at 19:54
  • $\begingroup$ @KeerthiMadapusiPera Thanks a lot for your comment, however, my question is different from Theorem 1.2 in Orr's paper, because I fix a Siegel set of $G(\mathbb{R})$ in the beginning, while Orr's theorem starts from a Siegel set of $H(\mathbb{R})$. $\endgroup$ Aug 12, 2017 at 20:27

1 Answer 1

1
$\begingroup$

This is true (at least up to conjugating H). See Lemmas 7.5 and 7.7 in "Arithmetic subgroups of algebraic groups".

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.