Weierstrass semigroups at totally ramified places of degree one on linearized function fields

Sintesi Tecnica: Semigruppi di Weierstrass in Luoghi Totalmente Ramificati di Grado Uno su Campi Funzionali Linearizzati

Enunciato del Problema
Il lavoro affronta la caratterizzazione dei semigruppi di Weierstrass e dei loro insiemi di lacune associati a luoghi totalmente ramificati di grado uno nel contesto dei campi funzionali linearizzati. Sebbene la teoria dei semigruppi di Weierstrass in luoghi razionali singoli e multipli sia ben consolidata per curve specifiche (ad esempio, curve Hermitiane, GK e GGS), è mancata una descrizione unificata per la classe generale dei campi funzionali linearizzati definiti da polinomi linearizzati separabili. Nello specifico, gli autori mirano a determinare l'insieme delle lacune $G(Q)$, i generatori, la molteplicità e il numero di Frobenius per un singolo luogo totalmente ramificato $Q$, e ad estendere tale analisi agli insiemi di generatori minimi dei semigruppi in diversi tali luoghi.

Metodologia
Gli autori operano nell'ambito dei campi funzionali algebrici su un'estensione algebrica $K$ di un campo finito $\mathbb{F}_q$. Il campo funzionale $F = K(x, y)$ è definito dall'equazione $L(y) = f(x)/g(x)$, dove $L(y)$ è un polinomio linearizzato separabile e $f(x), g(x)$ sono polinomi coprimi.

La metodologia si basa sui seguenti passaggi tecnici:

1. Calcolo della Dimensione: Gli autori stabiliscono innanzitutto una descrizione unificata dello spazio di Riemann-Roch $L(D)$ per divisori $D$ supportati su luoghi ramificati. Utilizzando la base $\{1, y, \dots, y^{p^n-1}\}$ dell'estensione $F/K(x)$, derivano una formula esplicita per la dimensione $\ell(D)$ (Corollario 3.2). Questo estende risultati precedenti che erano limitati ai casi in cui $\deg f(x) > \deg g(x)$.
2. Caratterizzazione delle Lacune: Utilizzando la formula della dimensione, caratterizzano l'insieme delle lacune $G(Q)$ in un luogo totalmente ramificato $Q$ di grado uno. Forniscono una descrizione unificata di $G(Q)$ che coinvolge funzioni parte intera inferiore e superiore dipendenti dai gradi dei polinomi nell'equazione definitoria.
3. Costruzione del Semigruppo: Dall'insieme delle lacune, costruiscono esplicitamente il semigruppo di Weierstrass $H(Q)$, identificando il suo sistema di generatori, la molteplicità e il numero di Frobenius.
4. Analisi di Simmetria: Derivano una condizione necessaria e sufficiente affinché $H(Q)$ sia un semigruppo simmetrico.
5. Analisi Multi-Luogo: Estendendo il lavoro di Matthews, Carvalho e Torres, gli autori investigano l'insieme di generatori minimi $\tilde{\Gamma}(Q_1, \dots, Q_s)$ per $s$ luoghi totalmente ramificati distinti. Definiscano gli insiemi $\Gamma(Q_1, \dots, Q_t)$ e forniscono descrizioni esplicite di tali insiemi, insieme alla costruzione di funzioni specifiche i cui divisori dei poli corrispondono agli elementi di questi insiemi di generatori.

Contributi e Risultati Chiave

• Descrizione Unificata delle Lacune: Il lavoro fornisce una formula unificata per l'insieme delle lacune $G(Q)$ in un luogo totalmente ramificato di grado uno (Proposizione 3.4), applicabile indipendentemente dai gradi relativi di $f(x)$ e $g(x)$.
• Parametri Espliciti del Semigruppo: Per un luogo totalmente ramificato $Q$, gli autori forniscono esplicitamente:
  • Un sistema di generatori per $H(Q)$ (Corollario 3.6).
  • La molteplicità $m_{H(Q)}$ e il numero di Frobenius $F_{H(Q)}$ (Corollario 3.7).
• Condizione di Simmetria: È stabilita una condizione necessaria e sufficiente per la simmetria di $H(Q)$: $H(Q)$ è simmetrico se e solo se $n_k \equiv -1 \pmod{p^n}$ per ogni $k$ nell'insieme degli indici, escluso l'indice di $Q$ (Teorema 3.8).
• Insiemi di Generatori Minimi per Più Luoghi: Il lavoro determina completamente l'insieme $\Gamma(Q_1, \dots, Q_t)$ per $t$ luoghi totalmente ramificati distinti (Teorema 4.1). Crucialmente, gli autori non descrivono solo l'insieme in modo astratto; costruiscono esplicitamente funzioni $z$ tali che i coefficienti dei loro divisori dei poli giacciano esattamente all'interno dell'insieme di generatori minimi $\Gamma(Q_1, \dots, Q_t)$.
• Applicazioni a Casi Specifici: I risultati sono applicati a due casi specifici basati sul segno di $n_0$ (relativo al grado del denominatore):
  • Caso $n_0 \leq 0$: Vengono fornite descrizioni esplicite di $G(Q)$, $H(Q)$ e degli insiemi $\Gamma$ (Proposizione 5.1).
  • Caso $n_0 > 0$: Vengono fornite descrizioni esplicite simili per il luogo all'infinito $Q_\infty$ e per i luoghi finiti (Proposizioni 5.3 e 5.5).
• Esempi: Il lavoro include esempi concreti (Esempi 5.2 e 5.6) su $\mathbb{F}_8$ per illustrare il calcolo degli insiemi di lacune, dei numeri di Frobenius e degli insiemi di generatori minimi per specifici campi funzionali linearizzati.

Significato
Il lavoro rivendica importanza fornendo un quadro completo e unificato per l'analisi dei semigruppi di Weierstrass nei campi funzionali linearizzati, una classe che include famiglie importanti come i campi funzionali Hermitiani e di norma-traccia come casi particolari. Rimuovendo la restrizione sui gradi dei polinomi numeratore e denominatore, i risultati generalizzano le scoperte precedenti (ad esempio, quelle di Navarro). La costruzione esplicita di funzioni corrispondenti agli insiemi di generatori minimi offre strumenti pratici per ulteriori ricerche nei codici geometrici algebrici e nella classificazione dei campi funzionali massimali. Il lavoro contribuisce alla comprensione più ampia delle proprietà aritmetiche dei campi funzionali, essenziali per identificare i gruppi di automorfismi e costruire codici con buoni parametri.