A family of hypersurfaces with many points - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-18T21:08:29Z http://mathoverflow.net/feeds/question/45379 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/45379/a-family-of-hypersurfaces-with-many-points A family of hypersurfaces with many points Jared Weinstein 2010-11-08T23:46:01Z 2010-11-18T09:05:46Z <p>This question is a sequel to <a href="http://mathoverflow.net/questions/7508/a-hypersurface-with-many-points" rel="nofollow">an earlier question</a>, which asked about the zeta function of a certain affine variety over a finite field $k$. The unusual thing about this variety is that it had the maximum number of rational points over every extension of $k$, relative to the constraints imposed by the topology. Here we're going to construct a family of varieties which we suspect behaves the same way. If my hunches are correct, the result will be a means to construct irreducible characters of certain unipotent algebraic groups over finite fields, akin to the way Deligne-Lusztig varieties are used to construct irreducible characters of Chevalley groups. </p> <p>Let $n\geq 3$ be prime. We define a group variety $U/\mathbf{F}_q$ as follows: for an $\mathbf{F}_q$-algebra $R$, we set</p> <p><code>$$U(R)=\{1+x_1\tau+\dots+x_n\tau^n\biggm\vert x_i\in R\}$$</code></p> <p>Here $\tau$ is an indeterminate satisfying $\tau x_i=x_i^q \tau$ and $\tau^{n+1}=0$. Thus $U$ is a unipotent group, abstractly isomorphic to $\mathbf{A}^n$. Let $p\colon U\to \mathbf{A}^1$ be the projection onto the coefficient of $\tau^n$. Also let $g\mapsto g^{(q)}$ be the automorphism of $U$ which raises each coordinate to the $q$th power. </p> <p>Let $X\subset U$ be the hypersurface defined by $p\left(g^{(q^n)}g^{-1}\right)=0$. Then $X$ is a nonsingular affine variety of dimension $n-1$. </p> <p>My question is: </p> <blockquote> Prove that the zeta function of $X$ over $\mathbf{F}_{q^n}$ is $$Z(X/\mathbf{F}_{q^n},T)=\left(1-q^{n(n-1)/2}T\right)^{-q^{n(n-1)/2}(q^n-q)} \left(1-q^{n(n-1)}T\right)^{-q}$$ </blockquote> <p>The form of this zeta function is going to make more sense when we consider that $X$ has a large group of <code>$\mathbf{F}_{q^n}$</code>-linear automorphisms, namely <code>$U(\mathbf{F}_{q^n})$</code>, which acts on $X$ on the right. </p> <p>Let $Z\subset U$ be the center: <code>$Z=\{1+a_n\tau^n\}$</code>. Call a character <code>$\psi\colon Z(\mathbf{F}_{q^n})= \mathbf{F}_{q^n}\to\overline{\mathbf{Q}}_\ell^\times$</code> generic if it does not factor through the trace map <code>$\mathbf{F}_{q^n}\to\mathbf{F}_{q}$</code>. It can be shown that if $\psi$ is generic, then there is a unique irreducible representation $V_\psi$ of <code>$U(\mathbf{F}_{q^n})$</code> whose central character is $\psi$. The dimension of $V_\psi$ is <code>$q^{n(n-1)/2}$</code>. (Quick construction: the subgroup $U^{(n-1)/2}\subset U$ defined by $x_1=\dots=x_{(n-1)/2}=0$ is abelian. Extend $\psi$ to a character $\tilde{\psi}$ of <code>$U^{(n-1)/2}(\mathbf{F}_{q^n})$</code> any way you like, and let $V_\psi$ be the induction of $\tilde{\psi}$ to <code>$U(\mathbf{F}_{q^n})$</code>.)</p> <p>Each non-generic character $\psi$ extends to a one-dimensional character of <code>$U(\mathbf{F}_{q^n})$</code>, which we also call $V_\psi$. Indeed, there is a "reduced norm" map <code>$N\colon U(\mathbf{F}_{q^n})\to Z(\mathbf{F}_q)$</code> extending the trace map <code>$T\colon Z(\mathbf{F}_{q^n})\to Z(\mathbf{F}_q)$</code>, and if <code>$\psi=\psi_0\circ T$</code> then let <code>$V_\psi=\psi_0\circ N$</code>. (In fact this $N$ is really a morphism $U\to Z$, albeit not a homomorphism, and an alternate definition of $X$ is <code>$\{g\vert N(g)\in Z(\mathbf{F}_q)\}$</code>. Thus $X$ has at least $q$ connected components.)</p> <p>Our question now becomes: </p> <blockquote> Show there is an isomorphism of $U(\mathbf{F}_{q^n})$-modules $$H^*_c(X\otimes\overline{\mathbf{F}}_q,\overline{\mathbf{Q}}_\ell)\cong \bigoplus_\psi V_\psi,$$ where the sum is over all characters of $\mathbf{F}_{q^n}$ and each $V_\psi$ appears exactly once. The eigenvalue of the $q^n$-power Frobenius on $V_\psi$ equals $q^{n(n-1)/2}$ if $\psi$ is generic and $q^{n(n-1)}$ otherwise. </blockquote> <p>There will be a generalization of these statements to the case of $n$ composite, but they are more complicated; there will be contributions to $H^*_c$ of degrees strictly between $n-1$ and $2(n-1)$. </p> http://mathoverflow.net/questions/45379/a-family-of-hypersurfaces-with-many-points/46429#46429 Answer by Torsten Ekedahl for A family of hypersurfaces with many points Torsten Ekedahl 2010-11-17T23:22:46Z 2010-11-18T09:05:46Z <p>This is very far from a solution but just some ideas that could be possibly be used as a start.</p> <p>First a simple observation on an Artin-Schreier type extension $X\rightarrow Y$, where $X:=\mathrm{Spec}\mathcal O_Y[t]/(t^q-t-f)$. Here $q=p^m$, $p$ a prime with $p\mathcal O_Y=0$ and $f\in\mathcal O_Y(Y)$. This a finite étale covering with Galois group $\mathbb F_q$. For any surjective group homomorphism $\varphi\colon\mathbb F_q\rightarrow\mathbb Z/p$ we get an induced $\mathbb Z/p$-covering $X_\varphi\rightarrow Y$. It can be described in the following way: There is an $\alpha\in\mathbb F_q^\ast$ such that $\varphi(\lambda)=\mathrm{Tr}(\alpha\lambda)$ and then $X_\alpha=\mathrm{Spec}\mathcal O_Y[t]/(t^p-t-\alpha^{-1}f)$. This is particularly relevant when we want to consider the cohomology of $X$. We get an action of $\mathbb F_q$ on $H^*(X,K)$, where $K$ is a finite extension of $\mathbb Q_\ell$ containing $p$'th roots of unity. Hence, the action on any isotypical component factors through some $\varphi$ and hence the kernel of $\varphi$ acts trivially on it. We can then use the fact that the invariants on cohomology is the cohomology of the quotient to conclude that $H^\ast(X,K)$ is the direct sum of the cohomology of $Y$ and the parts of the $H^\ast(X_\alpha,K)$ where $\mathbb Z/p$ acts non-trivially.</p> <p>Assume now that we have a (smooth) affine algebraic group $G$ defined over $\mathbb F_q$ and a central subgroup $\mathbb G_a\subseteq G$ also defined over $\mathbb F_q$. We then put $H:=G/\mathbb G_a$ which is also affine which means that $G\rightarrow H$ has a section, in any case we choose a particular such section such that $G$ is the product $H\times\mathbb G_a$. The multiplication of $G$ is then given by a cocycle $\sigma\colon H\times H\rightarrow\mathbb G_a$. Using it we can describe the Lang torsor $Fg\cdot g^{-1}\colon G\rightarrow G$, where $F$ is the Frobenius map (with respect to $\mathbb F_q$), in terms of $\sigma$: Given $g=(h,z)$ an element of $H\times\mathbb G_a$ we have $Fg=(Fh,Fz)$ and $g^{-1}=(h^{-1},-z-\sigma(h,h^{-1}))$ and hence $Fg\cdot g^{-1}=(Fh\cdot h^{-1},Fz-z+\sigma(Fh,h^{-1})-\sigma(h,h^{-1}))$. In particular this means that the inverse image of $H\times{0}$ under the Lang torsor is defined by ${(h,z)|Fz-z=\sigma(h,h^{-1})-\sigma(Fh,h^{-1})}$. As $Fz=z^q$ we get exactly an Artin-Schreier type covering of $H$ given by $z^q-z=\sigma(h,h^{-1})-\sigma(Fh,h^{-1})$ and hence if we want the cohomology of this covering we need only consider the cohomology of $H$ itself and ordinary Artin-Schreier coverings $t^p-t=\alpha^{-1}(\sigma(h,h^{-1})-\sigma(Fh,h^{-1}))$ for $\alpha\in\mathbb F_q^\ast$.</p> <p>This is about as far as I've come with only a few comments on the group at hand. We have in that case that $m=ns$ and $H=\mathbb G_a^{n-1}$ with $\sigma(a,b)=\sum_ia_ib_{n-i}^{r^i}$, where $r=p^s$ (I have changed notation a little so that my $r$ is the OP's $q$ and my $q$ is the OP's $q^n$). Note that somewhat curiously $\sigma$ is biadditive with respect to the <em>addition</em> on $\mathbb G_a^{n-1}$. Perhaps more relevantly $\sigma$ is quasi-homogeneous; we can extend $G$ to elements $x_0^{-1}+x_1\tau+\cdots+x_n\tau^n$, with $x_0$ invertible and then $G$ is a normal subgroup so that we get a $\mathbb G_m$-action on $G$. Under this action $x_i$ is homogeneous of degree $r^i-1$ and with these weights $\sigma$ is quasi-homogeneous of degree $q-1$. Unfortunately $\sigma(h,h^{-1})-\sigma(Fh,h^{-1})$ is not homogeneous as even though $\sigma(h,h^{-1})$ is homogeneous (of degree $q-1$), $\sigma(Fh,h^{-1})$ is not homogeneous. However, $\mu_{q-1}\subseteq\mathbb G_m$ acts trivially on both $\sigma(h,h^{-1})$ and $\sigma(Fh,h^{-1})$ so we get some symmetry.</p> <p><b>Addendum</b>: I forgot to mention that the cohomology of an Artin-Schreier extension $t^p-t=f$ is presumably best studied by computing $Rf_!$ on $\mathbb A^1$ and then see the cohomology of the Artin-Schreier extension as the fibre of its Fourier transform over the point $1$.</p>