arithmetic groups VS. Zariski dense discrete subgroups?

Assume that $G$ is a semi-simple linear algebraic group defined over $\mathbb{Q}$, which is $\mathbb{Q}$-simple, and that $G(\mathbb(R)$ is non-compact, without $\mathbb{R}$-factors of rank 1. Then by Margulis's works, the arithmetic subgroups of $G(\mathbb{R})$ are the same as discrete lattice in $G(\mathbb{R})$. Here a lattice is a discrete subgroup $\Gamma$ such that the quotient $\Gamma\backslash G(\mathbb{R})$ is of finite volume with respect to the measure deduced from the left Haar measure. In particular, an arithmetic subgroup in $G(\mathbb{R})$ is Zariski dense in $G_\mathbb{R}$.

Conversely, a discrete subgroup $\Gamma$ in $G(\mathbb{R})$ is given, such that $\Gamma$ is also dense in $G_\mathbb{R}$ for the Zariski topology, what condition should one impose to make it arithmetic? Shall I assume $\Gamma$ to be finitely generated, or stable under certain actions such as $Aut(\mathbb{R/Q})$? I feel that such kind of results are more or less available in the literature, bu I'm far from an expert in this field.

Many thanks!

-
The group Aut($\mathbf{R}$) is trivial. – BCnrd Nov 17 '10 at 14:46
here by arithmetic subgroup I mean a subgroup of $G(\mathbb{R})$ that is commensurable with some congruence subgroup, the latter is given in term of the $\mathbb{Q}$-structure for $G$, namely $\Gamma$ is commensurable with some $\Gamma'=K\cap G(\mathbb{Q})$ with $K$ a compact open subgroup of $G(\mathbb{A}_f)$, $\mathbb{A}_f$ being the ring of finite adeles of $\mathbb{Q}$. Since $G(\mathbb{Q})$ is often too large (cf. the real approaximation), $\Gamma$ is not that large, rather it contains a cofinite subgroup of $G(\mathbb{Z})$, provided the latter being reasonably defined. – genshin Nov 17 '10 at 15:17
Suppose $G = {\rm{SO}}(q)$ for non-deg. quad. space $(V,q)$ over $\mathbf{Q}$ that is pos.-def. at the real place, and let $G' = {\rm{SO}}(q')$ be another, where $(V,q)$ and $(V',q')$ are not $\mathbf{Q}$-isomorphic but $\dim V = \dim V'$, so $G'_{\mathbf{R}} \simeq G_{\mathbf{R}}$. Then $G'$ is a different $\mathbf{Q}$-structure on $G_{\mathbf{R}}$, and provides lots of discrete subgroups of $G(\mathbf{R}) = G'(\mathbf{R})$ that aren't arithmetic relative to the $\mathbf{Q}$-structure $G$ yet pass all "algebraic" tests. Margulis' result includes existence of suitable $\mathbf{Q}$-structure. – BCnrd Nov 17 '10 at 15:41

The OP is well-aware of this, since it is stated in the first paragraph of the question (in a more precise form). The question being posed (I think) is to give "algebraic" and/or "group-theoretic" conditions (not involving measure) that imply arithmeticity for a discrete subgroup of $G(\mathbf{R})$ that is Zariski-dense in $G_{\mathbf{R}}$. – BCnrd Nov 17 '10 at 15:14
I wonder if an alternative description is possible, so that discrete Zariski dense subgroups $\Gamma$ would be close to being arithmetic. Of course I should not directly require $\Gamma$ to be also a lattice, which would be reduced back to Margulis' theorem. – genshin Nov 17 '10 at 15:20
Dear Keivan: great, the constructions in that paper of Venkataramana are contained in arithmetic groups relative to a specified $\mathbf{Q}$-structure. So that seems to settle things in the negative (even if it is assumed that $\Gamma$ is commensurable with $\Gamma \cap G(\mathbf{Q})$). – BCnrd Nov 17 '10 at 16:16