5

My question is about this nice answer by David Speyer here.

In the answer, he sets up having a subgroup $G\le SL_3(\mathbb{F}_5)$ that fixes the conic $x^2+y^2+z^2=0$. This quadratic is homogeneous, so it has a well-defined zero set in the projective plane over $\mathbb{F}_5$. If I'm interpreting that answer correctly , it's then claimed that the restriction of $G$ to this projectivized conic gives an action on the projective line over $\mathbb{F}_5$, and thus a homomorphism from $G$ to $PGL_2(\mathbb{F}_5)$.

I understand how to get the projective line from the conic. But why does the induced action of $G$ on this conic land it in $PGL_2(\mathbb{F}_5)$? What structure of the conic is $G$ preserving that only $PGL_2(\mathbb{F}_5)$ preserves? It's not like $PGL_2(\mathbb{F}_5)$ is the full symmetry group of the projective line, so I can't see how we end up in that group.


My ultimate goal is to quickly see that we have a homomorphism from $G$ to $PGL_2(\mathbb{F}_5)$. I do know one way to show it, which is to look at the image of $G$ in $SL_3(\mathbb{F}_5)$, and show each element of $G$ when it ends up in $PGL_3(\mathbb{F}_5)$ is a fractional linear transformation on the zero set of $x^2+y^2+z^2=0$. But this seems like a lot, and I'm hoping the brevity of David Speyer's answer suggests there's an easier way to proceed.

As an example of the type of ease I was hoping for, the same answer of David Speyer looks at $G$ in $SL_3(\mathbb{F}_4)$, where it fixes the plane $x+y+z=0$. Well, a linear group that fixes a linear subspace acts linearly on that subspace, so clearly $G$ can be regarded as a subset of $GL_2(\mathbb{F}_4)$.

  • 3
    $PGL_2(\mathbb{F}_5)$ is the full symmetry group of the projective line as a projective variety. – Qiaochu Yuan Jan 30 '25 at 05:18
  • @QiaochuYuan: can you say more about what that means? I don't really know any algebraic geometry, but the projective line is just 6 points here. What invariant is violated by element in $S_6$ but not in $PGL$ for example? It seems like a variety isomorphism is (locally) a polynomial map, but couldn't we just choose a different polynomial at each point (seems like the projective line is discrete here because it's finite)? – Hempelicious Jan 30 '25 at 14:55
  • This is not an easy question to answer, it really depends on your background in algebraic geometry, but in short, the projective line as a variety is not just $6$ points. It has points over, for example, any field extension of $\mathbb{F}_5$, and algebraic maps have to act compatibly on all of this stuff too (and $SL_3$ acting on $\mathbb{P}^2$ is an algebraic action in this sense, and this action is a restriction of that one). – Qiaochu Yuan Jan 30 '25 at 16:29
  • @QiaochuYuan thank you for your response. I unfortunately have very little background in algebraic geometry. Perhaps there is another way to look at this: could there be an automorphism of the entire projective plane, that takes this conic to a more "standard" projective line (one that is obviously such, like the zero set of $x+y+z=0$? – Hempelicious Jan 30 '25 at 20:14
  • Why would that help, from your perspective? Doesn't your objection apply exactly as strongly to this line as to the other one? Or is your point that it's easier to compute the stabilizer in $SL_3$ explicitly in this case? – Qiaochu Yuan Jan 30 '25 at 20:29
  • @QiaochuYuan yes the stabilizer will be easier to compute in the "linear" zero set case. What I really care about is seeing there's a homomorphism into $PGL_2(\mathbb{F}_5)$. That seems easier when I can see explicitly the stabilizer in $PGL_3(\mathbb{F}_5)$. – Hempelicious Jan 30 '25 at 20:37
  • I've added an edit to try and be more precise about what I'm looking for. – Hempelicious Jan 30 '25 at 20:53
  • @QiaochuYuan: is the following true? Let $V$ be a non-degenerate conic in a projective plane. Then the subgroup of $PGL_3(F)$ that fixes this conic set wise is isomorphic to $PGL_2(F)$? If that's true, I can treat it as a black box and move on (though a reference would be most welcome). – Hempelicious Jan 31 '25 at 05:28
  • That's true as far as I know, although I don't actually know what the shortest proof from first principles is (general facts about algebraic geometry imply that it embeds into $PGL_2(F)$ but I'm not sure off the top of my head how to show surjectivity). – Qiaochu Yuan Jan 31 '25 at 17:00
  • @QiaochuYuan: OK, an injective homomorphism should be enough to decipher David Speyer's argument, because we only care about having a subgroup of $PGL_2(F)$. – Hempelicious Jan 31 '25 at 18:13
  • (Also we should say "a non-degenerate conic with at least one $F$-rational point," I guess.) – Qiaochu Yuan Jan 31 '25 at 18:36

0 Answers0