Does the self-product of a $g$-dimensional abelian variety contain an abelian variety of dimension smaller than $g$ at some point - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T01:18:28Z http://mathoverflow.net/feeds/question/103695 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/103695/does-the-self-product-of-a-g-dimensional-abelian-variety-contain-an-abelian-var Does the self-product of a $g$-dimensional abelian variety contain an abelian variety of dimension smaller than $g$ at some point Harry 2012-08-01T15:10:53Z 2012-08-01T18:54:47Z <p>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!)</p> <p>Let $A$ be a simple abelian variety over a field $k$. Let $g\geq 2$ be the dimension of $A$.</p> <p>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$?</p> <p>It suffices to prove that $A^n$ contains a curve of genus strictly smaller than $g$ for some $n\geq 1$.</p> <p>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.</p> http://mathoverflow.net/questions/103695/does-the-self-product-of-a-g-dimensional-abelian-variety-contain-an-abelian-var/103697#103697 Answer by Damian Rössler for Does the self-product of a $g$-dimensional abelian variety contain an abelian variety of dimension smaller than $g$ at some point Damian Rössler 2012-08-01T15:40:38Z 2012-08-01T15:40:38Z <p>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.</p> http://mathoverflow.net/questions/103695/does-the-self-product-of-a-g-dimensional-abelian-variety-contain-an-abelian-var/103718#103718 Answer by Donu Arapura for Does the self-product of a $g$-dimensional abelian variety contain an abelian variety of dimension smaller than $g$ at some point Donu Arapura 2012-08-01T18:54:47Z 2012-08-01T18:54:47Z <p>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 &lt; g$, then $Hom(B,A^n)=Hom(B,A)^n$ is necessarily zero. So $B=0$.</p>