A function field analogue of Ligozat's theorem for Drinfeld modular units
Fuente:
arXiv
Saved in:
| Main Author: | |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866915809210662912 |
|---|---|
| author | Ho, Sheng-Yang Kevin |
| author_facet | Ho, Sheng-Yang Kevin |
| contents | Fix a nonzero level $\mathfrak{n} \in \mathbb{F}_q[T]$. In this paper, we first establish a function field analogue of Ligozat's theorem, which serves as our main result and provides a criterion for Drinfeld modular units on the Drinfeld modular curve $X_0(\mathfrak{n})$. We further conjecture that this criterion characterizes all Drinfeld modular units; we verify the conjecture in the cases of prime power level and of level equal to the product of two primes.
Second, as an application of Drinfeld modular units, we investigate the rational cuspidal divisor class group $\mathcal{C}(\mathfrak{n})$ of $X_0(\mathfrak{n})$. We construct an injective map $g$ from the group of degree $0$ rational cuspidal divisors on $X_0(\mathfrak{n})$ to the group of Drinfeld modular units on $X_0(\mathfrak{n})$ tensored with $\mathbb{Q}$ over $\mathbb{Z}$. As a result, we establish an explicit upper bound for the exponent of $\mathcal{C}(\mathfrak{n})$ for general level $\mathfrak{n}$. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_17994 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | A function field analogue of Ligozat's theorem for Drinfeld modular units Ho, Sheng-Yang Kevin Number Theory Fix a nonzero level $\mathfrak{n} \in \mathbb{F}_q[T]$. In this paper, we first establish a function field analogue of Ligozat's theorem, which serves as our main result and provides a criterion for Drinfeld modular units on the Drinfeld modular curve $X_0(\mathfrak{n})$. We further conjecture that this criterion characterizes all Drinfeld modular units; we verify the conjecture in the cases of prime power level and of level equal to the product of two primes. Second, as an application of Drinfeld modular units, we investigate the rational cuspidal divisor class group $\mathcal{C}(\mathfrak{n})$ of $X_0(\mathfrak{n})$. We construct an injective map $g$ from the group of degree $0$ rational cuspidal divisors on $X_0(\mathfrak{n})$ to the group of Drinfeld modular units on $X_0(\mathfrak{n})$ tensored with $\mathbb{Q}$ over $\mathbb{Z}$. As a result, we establish an explicit upper bound for the exponent of $\mathcal{C}(\mathfrak{n})$ for general level $\mathfrak{n}$. |
| title | A function field analogue of Ligozat's theorem for Drinfeld modular units |
| topic | Number Theory |
| url | https://arxiv.org/abs/2602.17994 |