Error-Correcting Codes on Projective Bundles over Deligne-Lusztig varieties

Theorem 3 in [Hansen02] Let \overline{X}(w) be a standard Deligne–Lusztig variety of type {}^{2}A_{n}, B_{n}, C_{n}, D_{n} or {}^{2}D_{n}. Assume that char(k)\neq 2 in the orthogonal cases. Let P be the parabolic subgroup generated by B together with the double cosets Bs_{2}B, Bs_{3}B, \ldots,Bs_{n}B, and let

be the projection (projection to the first factor, followed by the quotient map). It is worth noting that the inclusion G/P\subseteq\mathbb{P}(V) is an equality in the non-orthogonal cases. Denote by L^{e} the e-dimensional linear subspace of \mathbb{P}^{N-1} obtained by setting the N-1-e last coordinates as equal to zero.

1. The image Z=\pi(\overline{X}(w)) is a normal, strict complete intersection. In fact, Lusztig shows (see pp. 444–445 in [Lusztig76]) that Z equals the support of the scheme’s theoretic complete intersection Z{'}= \cap_{i=0}^{a_{0}(V)-1}H_{i}, with X(w) mapping isomorphically onto the open subset \left\langle x,F_{V}^{a_{0}(V)}(x)\right\rangle\neq 0 of Z (see Table 2 in [Hansen02]). black In the unitary and orthogonal cases, the singular locus of Z, Z_{sing} consists of the finitely many G^{F}-translates of the closed subscheme Z\cap L^{a_{0}(V)-1}. Hence,

   codim(Z_{sing},Z)=N+1-2a_{0}(V)+a_{0}(L^{a_{0}(V)-1}).

   In the symplectic case, Z_{sing} consists of the G^{F}-translates of the closed subscheme Z\cap L^{a_{0}(V)-2}, and the previous formula becomes

   codim(Z_{sing},Z)=2+a_{0}(L^{a_{0}(V)-2}).

2. For codim(Z_{sing},Z)\geq 4, Pic(Z)=\mathbb{Z} and consequently

   \begin{split} Pic(\overline{X}(w))=\mathbb{Z}\left[\pi^{*}H\right] & \oplus\mathbb{Z}\left[\left\{\left[V\right]:\enspace V\enspace\text{component of}\enspace D_{1}\right\}\right]\\ & \oplus j_{*} A_{l(w)-1}(\bigcup_{i\in\mathcal{I}-\left\{1\right\}}D_{i}) \end{split}

   where H is the hyperplane section of Z, j is the obvious inclusion and \mathcal{I} is the set of indices \left\{i\right\}, satisfying that some connected component of the Dynkin diagram corresponding to D_{i} occurs as a subgraph of the Dynkin diagram corresponding to D_{1}.

3. For any Coxeter element w{'}, we have

   Pic(\overline{X}(w{'}))_{p{'}}\cong Pic(\overline{X}(w))_{p{'}}.

Proposition 3.2 in [shhansen] Let X be a normal projective variety defined over \mathbb{F}_{q} of dimension at least two. Let C_{1}, C_{2}, ..., C_{a} be (irreducible) curves on X with \mathbb{F}_{q}- rational points \mathcal{P}=\left\{P_{1}, P_{2}, \ldots, P_{n}\right\}. Assume the number of \mathbb{F}_{q}-rational points on rational C_{i} is less than N. Let L be a line bundle on X, defined over \mathbb{F}_{q}, such that L\cdot C_{i}\geq 0 for all i. Let

Then, the code C(L,\mathcal{P}) has length n and minimum distance

If L\cdot C_{i}=\eta\leq N for all i, then d\geq n-lN-(a-l)\eta.

Corollary 3.2 in [shhansen]. Assume furthermore that X is a non-singular surface and that H is a nef divisor on X with H\cdot C_{i}>0 for all i. Then,

Consequently, if L\cdot H<C_{i}\cdot H for all i, we have \mathit{l}=0 and

where m=\sum_{i=1}^{a}L\cdot C_{i}.

Let S be a standard Deligne–Lusztig surface of type A_{2}(\mathbb{F}_{q}), {}^{2}A_{3}(\mathbb{F}_{q^{2}}), {}^{2}A_{4}(\mathbb{F}_{q^{2}}) or C_{2}(\mathbb{F}_{q}), and let V be a vector bundle of rank 2 defined over S. Consider the projective bundle T=P(V) over S, that is p: T\rightarrow S. Then, for some a,b>0, we can construct a code on T over \mathbb{F}_{q^{\delta}} with parameters

1. n=\#S(\mathbb{F}_{q^{\delta}})\#\mathbb{P}^{1}(\mathbb{F}_{q^{\delta}});

2. k=h^{0}(S,Symm^{b}(V)\otimes\mathcal{O}_{S}(aD_{j}));

3. d\geq n-(-bc_{1}(W_{1})\#\left\{B_{i}\right\}+aD_{j}\cdot D_{i})\#\mathbb{P}^{1}(\mathbb{F}_{q^{\delta}})-(\#S(\mathbb{F}_{q^{\delta}})-(-bc_{1}(W_{1})\#\left\{B_{i}\right\}+aD_{j}\cdot D_{i}))b if (-bc_{1}(W_{1})\#\left\{B_{i}\right\}+aD_{j}\cdot D_{i})>0, and d\geq n-(\#S(\mathbb{F}_{q^{\delta}}))b otherwise,

where

and c_{1}(W_{1}) denotes the first Chern class of the line subbundle of minimum degree of the restricted vector bundle i_{B_{i}}^{*} V over B_{i}.

Let Y be a variety and V=V_{1}\oplus V_{2} a vector bundle of rank 2 over Y, that is, a direct sum of two line bundles V_{1} and V_{2}. Then, the symmetric algebra of V satisfies

Let S_{1} be the Deligne–Lusztig surface of type A_{2} defined over the field \mathbb{F}_{q}. Consider some b, such that 0<b<(q+1), and V_{i}=\mathcal{O}_{S_{1}}(n_{i}H-\sum_{j=1}^{q^{2}+q+1} m_{i,j}B_{j}) for i=1,2, where H=\pi^{*}(\mathcal{O}_{\mathbb{P}^{2}}(1)), verifying for any pair i_{1},i_{2}\in\mathbb{N} with i_{1}+i_{2}=b:

1. (i_{1}n_{1}+i_{2}n_{2})\leq 3(q-1);

2. (i_{1}n_{1}+i_{2}n_{2})\geq\sum_{j=1}^{3}(i_{1}m_{1,j}+i_{2}m_{2,j});

3. (i_{1}m_{1,j}+i_{2}m_{2,j})\geq (i_{1}m_{1,j+1}+i_{2}m_{2,j+1});

4. 3(i_{1}n_{1}+i_{2}n_{2})>\sum_{j=1}^{q^{2}+q+1}(i_{1}m_{1,j+1}+i_{2}m_{2,j+1}).

black

Let T_{1} be the projective bundle P(V_{1}\oplus V_{2}) over S_{1}, p_{1}: T_{1}\rightarrow S_{1}. Then, we can construct a code on T_{1} over \mathbb{F}_{q} with parameters

1. n=(q^{2}+q+1)(q+1)^{2},;

2. k=\sum_{\substack{i_{1},i_{2}\in\mathbb{N}^{2} \\ i_{1}+i_{2}=b}}\frac{1}{2}((i_{1}n_{1}+i_{2}n_{2})((i_{1}n_{1}+i_{2}n_{2})+3)-\sum_{j=1}^{q^{2}+q+1} (i_{1}m_{1,j}+i_{2}m_{2,j})((i_{1}m_{1,j}+i_{2}m_{2,j})+1))+1,;

3. d\geq n-(q^{2}+q+1)(q+1)b..

Let S_{2} be the Deligne–Lusztig surface of type {}^{2}A_{4} defined over the field \mathbb{F}_{q^{2}}. Consider V_{i}=\pi^{*}i^{*}\mathcal{O}_{\mathbb{P}^{4}}(t_{i}) for i=1,2, and let T_{2} be the projective bundle P(V_{1}\oplus V_{2}) over S_{2}, p_{2}: T_{2}\rightarrow S_{2}. Then, for some 0<b<(q^{2}+1) and for any t_{1},t_{2}\in\mathbb{N} such that (q+1)<(i_{1}t_{1}+i_{2}t_{2})<(q^{3}+1) for any pair i_{1},i_{2}\in\mathbb{N} with i_{1}+i_{2}=b, we can construct a code on T_{2} over \mathbb{F}_{q^{2}} with parameters

1. n=(q^{5}+1)(q^{3}+1)(q^{2}+1)^{2};

2. k=\sum_{\substack{i_{1},i_{2}\in\mathbb{N}^{2} \\ i_{1}+i_{2}=b}}\binom{4+i_{1}t_{1}+i_{2}t_{2}}{i_{1}t_{1}+i_{2}t_{2}}-\binom{4+i_{1}t_{1}+i_{2}t_{2}-(q+1)}{i_{1}t_{1}+i_{2}t_{2}-(q+1)};

3. d\geq n-(q^{5}+1)(q^{3}+1)(q^{2}+1)b.