Solving a Diophantine equation related to Algebraic Geometry, Steiner systems and $q$-binomials? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T13:03:51Z http://mathoverflow.net/feeds/question/29522 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/29522/solving-a-diophantine-equation-related-to-algebraic-geometry-steiner-systems-and Solving a Diophantine equation related to Algebraic Geometry, Steiner systems and $q$-binomials? Daniel Litt 2010-06-25T15:34:51Z 2010-06-27T02:48:41Z <p>The short version of my question is:</p> <blockquote> <p>1)For which positive integers $k, n$ is there a solution to the equation $$k(6k+1)=1+q+q^2+\cdots+q^n$$ with $q$ a prime power?</p> <p>2) For which positive integers $k, n$ is there a solution to the equation $$(3k+1)(2k+1)=1+q+q^2+\cdots+q^n$$ with $q$ a prime power?</p> </blockquote> <p>Now for some motivation. In <a href="http://mathoverflow.net/questions/29281/which-steiner-systems-come-from-algebraic-geometry" rel="nofollow">this question</a> I ask for an algebra-geometric construction of certain Steiner systems (there's background on what Steiner systems are and on the details and motivation for the construction in that question). In particular, if the construction can be carried out for a $(p, q, r)$ Steiner system, the blocks of the Steiner system would be given by the $p-1$-plane sections of some variety $X$ in affine or projective space over a finite field $\mathbb{F}_q$. If $X$ is in affine $n+1$-space and $p=2$, the number of blocks would be given by $1+q+\cdots+q^n$. Now the number of blocks in a $(2, 3, 6k+1)$ system is $k(6k+1)$ and the number of blocks in a $(2, 3, 6k+3)$ system is $(3k+1)(2k+1)$ (a $(2, 3, n)$ Steiner system is realizable iff $n=1, 3$ mod $6$, $n > 3$). So the question comes from setting these two quantities equal.</p> <p>In other words, these equations must be solvable for all $k$ if the algebra-geometric construction of Steiner systems is to go through for all $(2, 3, n)$ systems (the Steiner triple systems) in affine space.</p> <p>The most general form of this question (which covers both the affine and the projective versions) is:</p> <blockquote> <p>For integers $n, 1 &lt; p &lt; q &lt; r$, when is there a prime power $q$ such that $$\frac{r!(q-p)!}{q!(r-p)!}=\left[n \atop p-1\right]_q$$ or $$\frac{r!(q-p)!}{q!(r-p)!}=\left[n \atop p\right]_q?$$</p> </blockquote> <p>Of course, I only expect answers to concentrate on the numbered questions (1) and (2) at the top of the page.</p> <p>EDIT: Note that e.g. $k=4$ has no solutions for the first equation.</p> http://mathoverflow.net/questions/29522/solving-a-diophantine-equation-related-to-algebraic-geometry-steiner-systems-and/29667#29667 Answer by Max Alekseyev for Solving a Diophantine equation related to Algebraic Geometry, Steiner systems and $q$-binomials? Max Alekseyev 2010-06-27T02:34:59Z 2010-06-27T02:48:41Z <p>Let $t = 1+q+q^2+\dots+q^n$ then each of the equations (1) and (2) implies that $24t+1$ is a square (namely, $24t+1=(12k+1)^2$ and $24t+1=(12k+5)^2$, respectively). For $n=2$ that leads to a Pellian equation (with possibly infinitely many solutions), for $n=3,4$ to an elliptic curve (with finitely many solutions, if any), and for $n>4$ to a hyper-elliptic curve (with no solutions for most $n$).</p> <p>Cases $n=3,4$ are easy to solve.</p> <p>For $n=3$, integer solutions are $q=-1, 0, 2, 3, 13, 25, 32, 104, 177$ out of which only $2,3,13,25,32$ are powers of primes. For $n=4$, integral solutions are $q=-1,0,1,25,132$ out of which only $25$ is a power of prime. These numerical values are computed in SAGE and MAGMA.</p> <p>Also, for a fixed value of $k$, it is possible to verify solubility of the given equations by iterating all possible $q$ dividing the l.h.s. minus 1. In particular, equation (1) has solutions only for the following $k$ below $10^6$: 1, 2, 3, 15, 52, 75, 1302, 32552, 813802. Similarly, equation (2) has solutions only for the following $k$ below $10^6$: 1, 10, 260, 6510, 162760.</p>