## indepence of Galois orbits on a product?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let's take $X$ some fixed variety of a fixed base field $k$, which is assumed to be of char.zero for simplicity. Write $\Gamma_k$ for the Galois group of $k$. Given a point $x\in X(\bar{k})$, write $O(x)$ for the $\Gamma_k$-orbit ${\sigma x:\sigma\in\Gamma_k}$, and $ord(x)$ to be the cardinality of $O(x)$. The question is aimed to understand how independent the action of $\Gamma_k$ on different points could be.

So consider a pair $(x,y)\in X\times X(\bar{k})$. I wonder if the size of $O(x,y)$ in $X\times X$ would be close to the product $ord(x)\times ord(y)$. This seems impossible in general, but what if one considers a sequence and take limit? Say $(x_n,y_n)$ is a sequence in $X\times X(\bar{k})$ which is generic, in the sense that for any closed subvariety $Y\subsetneq X\times X$ defined over $\bar{k}$, $(x_n,y_n)$ is not in $Y$ for $n$ large. is there any results known of the form $$\lim_n\dfrac{ord(x_n,y_n)}{ord(x)\times ord(y)}=1?$$

The motivation of the question can be found in some equidistribution theorems in arithmetic geometry, see e.g. the works of Szpiro, Ullmo, Zhang, Yuan, etc. In their case no special properties are needed on the product structure, and only the genericity of the sequence of points is assumed. then they embed the base field into the complex number field, and compare the averaged Dirac measure with some canonical measure on the complex locus. But I wonder if the product phenomenon mentioned above happens to be true in some cases. Also for the independece, does it seem to have some probability theoretic interpretations?

-

It seems like you get equality whenever the stabilizers of $x$ and $y$ in the Galois group have intersection that is sufficiently small.  Even you fix $x$, this should hold for generic $y$ (assuming you're not in a special case like $k$ real closed). – S. Carnahan♦ Nov 12 2010 at 8:01
Unless I misunderstood something: if $X=\mathbb{A}^1_k$, your quotient is just the degree of the extension $k(x_n)\cap k(y_n)$ over $k$. – Chris Wuthrich Nov 12 2010 at 9:38
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 30, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9310373663902283, "perplexity_flag": "head"}