## Does the self-product of a $g$-dimensional abelian variety contain an abelian variety of dimension smaller than $g$ at some point

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

Let me be more precise than the title. (This will be my last attempt to do something with abelian varieties. Sorry for all the basic questions. The answers have been great!)

Let $A$ be a simple abelian variety over a field $k$. Let $g\geq 2$ be the dimension of $A$.

Does there exist an integer $n\geq 1$ such that $A^n = A\times_k A\ldots\times_k A$ contains an abelian variety of dimension less than $g$?

It suffices to prove that $A^n$ contains a curve of genus strictly smaller than $g$ for some $n\geq 1$.

I'm afraid that this is not true. In fact, if $B\subset A^n$, then $B$ is isogenous to $A^m$ probably. Therefore, $\dim B =mg$. I'm just asking to be sure.

-

1
The answer to your question is no. Poincaré's complete reducibility theorem. As you surmise, any $B$ in $A^n$ is isogenous to $A^m, m \le n$. – Felipe Voloch Aug 1 at 15:38

## 2 Answers

No (I suppose that $k$ is algebraically closed). This is because Poincaré's complete reducibility theorem contains a unicity statement for the intervening factors (up to isogeny). See Mumford, Abelian varieties, p. 173-174.

-

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

In fact, it is no for completely elementary reasons. If $A$ is simple and $B\subset A^n$ is an abelian variety with $\dim B < g$, then $Hom(B,A^n)=Hom(B,A)^n$ is necessarily zero. So $B=0$.

-
{"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": 25, "mathjax_display_tex": 0, "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.9280476570129395, "perplexity_flag": "head"}