On the non-special divisors in algebraic function fields defined over $\mathbb{F}_q$

S Ballet,M Koutchoukali

2024-11-04

Abstract:In the theory of algebraic function fields and their applications to the information theory, the Riemann-Roch theorem plays a fundamental role. But its use, delicate in general, is efficient and practical for applications especially in the case of non-special divisors. So, in this paper, we give a survey of the known results concerning the non-special divisors in the algebraic function fields defined over finite fields, enriched with some new results about the existence of such divisors in curves of defect k. In particular, we have chosen to be self-contained by giving the full proofs of each result, the original proofs or shorter alternative proofs.

Algebraic Geometry

What problem does this paper attempt to address?

The problem that this paper attempts to solve is the existence and construction of non - special divisors in algebraic function fields defined over finite fields. Specifically, the paper focuses on how to determine and construct non - special divisors under specific conditions, especially for non - special divisors of degrees \( g \) and \( g - 1 \). These problems are of great significance in areas such as algebraic - geometric coding theory, cryptography, and error - correcting codes.

### Main contributions of the paper:
1. **Review of known results**: The paper first reviews the known results regarding the existence of non - special divisors and provides some new results, especially regarding the existence of non - special divisors in curves of genus \( g \).
2. **New results**: The author presents some new results, especially regarding the existence of non - special divisors on curves with defect \( k \).
3. **Self - containment**: To make the paper more complete and easier to understand, the author provides detailed proofs for each relevant result, including the original proof or a more concise alternative proof.
4. **Application background**: The paper emphasizes the applications of these results in information theory, especially their importance in algebraic - geometric codes, cryptography, and algorithmic algebraic geometry.

### Key concepts:
- **Non - special divisor**: A divisor \( D \) is non - special if its special index \( i(D)=\dim(\kappa - D) = 0 \), where \( \kappa \) is a canonical divisor.
- **Riemann - Roch theorem**: This theorem describes the relationship between the dimension of the linear system \( L(D) \) of a divisor \( D \), the degree of the divisor, and the genus of the function field:
\[
\dim(D)=\deg(D)-g + 1+\dim(\kappa - D)
\]
- **Algebraic function fields over finite fields**: The object of study is the algebraic function field \( F/\mathbb{F}_q \) defined over the finite field \( \mathbb{F}_q \).

### Main conclusions:
- For \( q\geq4 \) or specific low - genus cases (such as \( g = 2 \)), the conditions for the existence of non - special divisors are clearly given.
- For curves with defect \( k \), the paper provides specific conditions under which non - special divisors exist.
- By using the coefficients and asymptotic properties of the Zeta function, the paper proves that in some cases, the existence of non - special divisors can be guaranteed.

In conclusion, through in - depth research on non - special divisors, this paper provides an important theoretical basis for the applications in algebraic - geometric coding theory and related fields.