Return to Question

The short version of my question is:

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?

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?

Now for some motivation. In this question 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.

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.

The most general form of this question (which covers both the affine and the projective versions) is:

For integers $n, 1 < p < q < 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?$$

Of course, I only expect answers to concentrate on the numbered questions (1) and (2) at the top of the page.

EDIT: Note that e.g. $k=4$ has no solutions for the first equation.

The short version of my question is:

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?

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?

Now for some motivation. In this question 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.

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.

The most general form of this question (which covers both the affine and the projective versions) is:

For integers $n, 1 < p < q < 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?$$

Of course, I only expect answers to concentrate on the numbered questions (1) and (2) at the top of the page.

EDIT: Note that e.g. $k=4$ has no solutions for the first equation.

The short version of my question is:

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?

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?

Now for some motivation. In this question 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.

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.

The most general form of this question (which covers both the affine and the projective versions) is:

For integers $n, 1 < p < q < 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?$$

Of course, I only expect answers to concentrate on the numbered questions (1) and (2) at the top of the page.

The short version of my question is:

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?

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?

Now for some motivation. In this question 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.

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.

The most general form of this question (which covers both the affine and the projective versions) is:

For integers $n, 1 < p < q < 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?$$

Of course, I only expect answers to concentrate on the numbered questions (1) and (2) at the top of the page.

EDIT: Note that e.g. $k=4$ has no solutions for the first equation.