-
Linear Complementary dual codes and Linear Complementary pairs of AG codes in function fields
Authors:
Alonso S. Castellanos,
Adler V. Marques,
Luciane Quoos
Abstract:
In recent years, linear complementary pairs (LCP) of codes and linear complementary dual (LCD) codes have gained significant attention due to their applications in coding theory and cryptography. In this work, we construct explicit LCPs of codes and LCD codes from function fields of genus $g \geq 1$. To accomplish this, we present pairs of suitable divisors giving rise to non-special divisors of d…
▽ More
In recent years, linear complementary pairs (LCP) of codes and linear complementary dual (LCD) codes have gained significant attention due to their applications in coding theory and cryptography. In this work, we construct explicit LCPs of codes and LCD codes from function fields of genus $g \geq 1$. To accomplish this, we present pairs of suitable divisors giving rise to non-special divisors of degree $g-1$ in the function field. The results are applied in constructing LCPs of algebraic geometry codes and LCD algebraic geometry (AG) codes in Kummer extensions, hyperelliptic function fields, and elliptic curves.
△ Less
Submitted 8 July, 2024;
originally announced July 2024.
-
Self-orthogonal flags of codes and translation of flags of algebraic geometry codes
Authors:
Maria Bras-Amorós,
Alonso S. Castellanos,
Luciane Quoos
Abstract:
A flag $C_0 \subsetneq C_1 \cdots \subsetneq C_s \subsetneq {\mathbb F}_q^n $ of linear codes is said to be self-orthogonal if the duals of the codes in the flag satisfy $C_{i}^\perp=C_{s-i}$, and it is said to satisfy the isometry-dual property with respect to an isometry vector ${\bf x}$ if $C_i^\perp={\bf x} C_{s-i}$ for $i=1, \dots, s$. We characterize complete (i.e. $s=n$) flags with the isom…
▽ More
A flag $C_0 \subsetneq C_1 \cdots \subsetneq C_s \subsetneq {\mathbb F}_q^n $ of linear codes is said to be self-orthogonal if the duals of the codes in the flag satisfy $C_{i}^\perp=C_{s-i}$, and it is said to satisfy the isometry-dual property with respect to an isometry vector ${\bf x}$ if $C_i^\perp={\bf x} C_{s-i}$ for $i=1, \dots, s$. We characterize complete (i.e. $s=n$) flags with the isometry-dual property by means of the existence of a word with non-zero coordinates in a certain linear subspace of ${\mathbb F}_q^n$. For flags of algebraic geometry (AG) codes we prove a so-called translation property of isometry-dual flags and give a construction of complete self-orthogonal flags, providing examples of self-orthogonal flags over some maximal function fields. At the end we characterize the divisors giving the isometry-dual property and the related isometry vectors showing that for each function field there is only a finite number of isometry vectors and that they are related by cyclic repetitions.
△ Less
Submitted 13 June, 2024;
originally announced June 2024.
-
Some families of non-isomorphic maximal function fields
Authors:
Peter Beelen,
Maria Montanucci,
Jonathan Tilling Niemann,
Luciane Quoos
Abstract:
The problem of understanding whether two given function fields are isomorphic is well-known to be difficult, particularly when the aim is to prove that an isomorphism does not exist. In this paper we investigate a family of maximal function fields that arise as Galois subfields of the Hermitian function field. We compute the automorphism group, the Weierstrass semigroup at some special rational pl…
▽ More
The problem of understanding whether two given function fields are isomorphic is well-known to be difficult, particularly when the aim is to prove that an isomorphism does not exist. In this paper we investigate a family of maximal function fields that arise as Galois subfields of the Hermitian function field. We compute the automorphism group, the Weierstrass semigroup at some special rational places and the isomorphism classes of such function fields. In this way, we show that often these function fields provide in fact examples of maximal function fields with the same genus, the same automorphism group, but that are not isomorphic.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Lifting iso-dual algebraic geometry codes
Authors:
María Chara,
Ricardo Podestá,
Luciane Quoos,
Ricardo Toledano
Abstract:
In this work we investigate the problem of producing iso-dual algebraic geometry (AG) codes over a finite field $\mathbb{F}_q$ with $q$ elements. Given a finite separable extension $\mathcal{M}/\mathcal{F}$ of function fields and an iso-dual AG-code $\mathcal{C}$ defined over $\mathcal{F}$, we provide a general method to lift the code $\mathcal{C}$ to another iso-dual AG-code…
▽ More
In this work we investigate the problem of producing iso-dual algebraic geometry (AG) codes over a finite field $\mathbb{F}_q$ with $q$ elements. Given a finite separable extension $\mathcal{M}/\mathcal{F}$ of function fields and an iso-dual AG-code $\mathcal{C}$ defined over $\mathcal{F}$, we provide a general method to lift the code $\mathcal{C}$ to another iso-dual AG-code $\tilde{\mathcal{C}}$ defined over $\mathcal{M}$ under some assumptions on the parity of the involved different exponents. We apply this method to lift iso-dual AG-codes over the rational function field to elementary abelian $p$-extensions, like the maximal function fields defined by the Hermitian, Suzuki, and one covered by the $GGS$ function field. We also obtain long binary and ternary iso-dual AG-codes defined over cyclotomic extensions.
△ Less
Submitted 15 November, 2023;
originally announced November 2023.
-
Cyclotomic function fields over finite fields with irreducible quadratic modulus
Authors:
Nazar Arakelian,
Luciane Quoos
Abstract:
Let $\mathbb{F}_q$ be the finite field of order $q$ and $F=\mathbb{F}_q(x)$ the rational function field. In this paper, we give a characterization of the cyclotomic function fields $F(Λ_M)$ with modulus $M$, where $M \in \mathbb{F}_q[T]$ is a monic and irreducible polynomial of degree two. We also provide the full automorphism group of $F(Λ_M)$ in odd characteristic, extending results of \cite{MXY…
▽ More
Let $\mathbb{F}_q$ be the finite field of order $q$ and $F=\mathbb{F}_q(x)$ the rational function field. In this paper, we give a characterization of the cyclotomic function fields $F(Λ_M)$ with modulus $M$, where $M \in \mathbb{F}_q[T]$ is a monic and irreducible polynomial of degree two. We also provide the full automorphism group of $F(Λ_M)$ in odd characteristic, extending results of \cite{MXY2016} where the automorphism group of $F(Λ_M)$ over $\mathbb{F}_q$ was computed.
△ Less
Submitted 6 March, 2024; v1 submitted 11 September, 2023;
originally announced September 2023.
-
Weierstrass Semigroup, Pure Gaps and Codes on Function Fields
Authors:
Alonso S. Castellanos,
Erik A. R. Mendoza,
Luciane Quoos
Abstract:
We determine the Weierstrass semigroup at one and two totally ramified places in a Kummer extension defined by the affine equation $y^{m}=\prod_{i=1}^{r} (x-α_i)^{λ_i}$ over $K$, the algebraic closure of $\mathbb{F}_q$, where $α_1, \dots, α_r\in K$ are pairwise distinct elements, and $\gcd(m, \sum_{i=1}^{r}λ_i)=1$. For an arbitrary function field, from the knowledge of the minimal generating set o…
▽ More
We determine the Weierstrass semigroup at one and two totally ramified places in a Kummer extension defined by the affine equation $y^{m}=\prod_{i=1}^{r} (x-α_i)^{λ_i}$ over $K$, the algebraic closure of $\mathbb{F}_q$, where $α_1, \dots, α_r\in K$ are pairwise distinct elements, and $\gcd(m, \sum_{i=1}^{r}λ_i)=1$. For an arbitrary function field, from the knowledge of the minimal generating set of the Weierstrass semigroup at two rational places, the set of pure gaps is characterized. We apply these results to construct algebraic geometry codes over certain function fields with many rational places.
△ Less
Submitted 24 May, 2023; v1 submitted 4 April, 2023;
originally announced April 2023.
-
Reciprocal polynomials and curves with many points over a finite field
Authors:
Rohit Gupta,
Erik A. R. Mendoza,
Luciane Quoos
Abstract:
Let $\mathbb F_{q^2}$ be the finite field with $q^2$ elements. We provide a simple and effective method, using reciprocal polynomials, for the construction of algebraic curves over $\mathbb F_{q^2}$ with many rational points. The curves constructed are Kummer covers or fibre products of Kummer covers of the projective line. Further, we compute the exact number of rational points for some of the cu…
▽ More
Let $\mathbb F_{q^2}$ be the finite field with $q^2$ elements. We provide a simple and effective method, using reciprocal polynomials, for the construction of algebraic curves over $\mathbb F_{q^2}$ with many rational points. The curves constructed are Kummer covers or fibre products of Kummer covers of the projective line. Further, we compute the exact number of rational points for some of the curves.
△ Less
Submitted 20 October, 2021;
originally announced October 2021.
-
Isometry-Dual Flags of Many-Point AG Codes
Authors:
Maria Bras-Amorós,
Alonso S. Castellanos,
Luciane Quoos
Abstract:
Let $F_q$ be a finite field. A flag of $F_q$-linear codes $C_0\subsetneq C_1\subsetneq\dots\subsetneq C_s$ is said to satisfy the isometry-dual property if there exists a vector $x\in(F_q^*)^n$ such that $C_i=x\cdot C_{s-i}^\perp$, where $C_i^\perp$ denotes the dual code of $C_i$. Consider $F/F_q$ a function field and let $P$ and $Q_1,\ldots,Q_t$ be rational places of $F$. Let the divisor $D$ be t…
▽ More
Let $F_q$ be a finite field. A flag of $F_q$-linear codes $C_0\subsetneq C_1\subsetneq\dots\subsetneq C_s$ is said to satisfy the isometry-dual property if there exists a vector $x\in(F_q^*)^n$ such that $C_i=x\cdot C_{s-i}^\perp$, where $C_i^\perp$ denotes the dual code of $C_i$. Consider $F/F_q$ a function field and let $P$ and $Q_1,\ldots,Q_t$ be rational places of $F$. Let the divisor $D$ be the sum of pairwise different places of $F$ such that $P, Q_1,\dots,Q_t$ are not in $supp(D)$. In a previous work we investigated the existence of flags of two-point codes $C(D,a_0P+bQ_1)\subsetneq C(D,a_1P+bQ_1))\subsetneq\dots\subsetneq C(D,a_sP+bQ_1)$ satisfying the isometry-dual property for a non-negative integer $b$ and an increasing sequence of positive integers $a_0,\dots,a_s$. While for one-point codes (i.e. for $b=0$) there is only need to analyze positive integers $a$, for the case of $(t+1)$-point codes, the integers $a$ may be negative. We extend our previous results in different directions. On one hand to the case of negative integers $a$ and $b$, and on the other hand we extend our results to flags of $(t+1)$-point codes $C(D,a_0P+\sum_{i=1}^tβ_iQ_i)\subsetneq C(D, a_1P+\sum_{i=1}^tβ_iQ_i))\subsetneq\dots\subsetneq C(D, a_sP+\sum_{i=1}^tβ_iQ_i)$ for any tuple of (either positive or negative) integers $β_1,\dots,β_t$ and for an increasing sequence of (either positive or negative) integers $a_0,\dots,a_s$. We apply the obtained results to the broad class of Kummer extensions defined by affine equations of the form $y^m=f(x)$, for $f(x)$ a separable polynomial of degree $r$, where $gcd(r, m)=1$. In particular, depending on the place $P$ and for $D$ an $Aut(F_q(x, y)/F_q(x))$-invariant sum of rational places of $F$ such that $P,Q_i\notin supp(D)$, we obtain necessary and sufficient conditions on $m$ and $β_i$'s such that the flag has the isometry-dual property.
△ Less
Submitted 14 July, 2023; v1 submitted 10 June, 2021;
originally announced June 2021.
-
The Isometry-Dual Property in Flags of Two-Point Algebraic Geometry Codes
Authors:
Maria Bras-Amorós,
Alonso S. Castellanos,
Luciane Quoos
Abstract:
A flag of codes $C_0 \subsetneq C_1 \subsetneq \cdots \subsetneq C_s \subseteq {\mathbb F}_q^n$ is said to satisfy the {\it isometry-dual property} if there exists ${\bf x}\in (\mathbb{F}_q^*)^n$ such that the code $C_i$ is {\bf x}-isometric to the dual code $C_{s-i}^\perp$ for all $i=0,\ldots, s$. For $P$ and $Q$ rational places in a function field ${\mathcal F}$, we investigate the existence of…
▽ More
A flag of codes $C_0 \subsetneq C_1 \subsetneq \cdots \subsetneq C_s \subseteq {\mathbb F}_q^n$ is said to satisfy the {\it isometry-dual property} if there exists ${\bf x}\in (\mathbb{F}_q^*)^n$ such that the code $C_i$ is {\bf x}-isometric to the dual code $C_{s-i}^\perp$ for all $i=0,\ldots, s$. For $P$ and $Q$ rational places in a function field ${\mathcal F}$, we investigate the existence of isometry-dual flags of codes in the families of two-point algebraic geometry codes $$C_\mathcal L(D, a_0P+bQ)\subsetneq C_\mathcal L(D, a_1P+bQ)\subsetneq \dots \subsetneq C_\mathcal L(D, a_sP+bQ),$$ where the divisor $D$ is the sum of pairwise different rational places of ${\mathcal F}$ and $P, Q$ are not in $\mbox{supp}(D)$. We characterize those sequences in terms of $b$ for general function fields. We then apply the result to the broad class of Kummer extensions ${\mathcal F}$ defined by affine equations of the form $y^m=f(x)$, for $f(x)$ a separable polynomial of degree $r$, where $\mbox{gcd}(r, m)=1$. For $P$ the rational place at infinity and $Q$ the rational place associated to one of the roots of $f(x)$, it is shown that the flag of two-point algebraic geometry codes has the isometry-dual property if and only if $m$ divides $2b+1$. At the end we illustrate our results by applying them to two-point codes over several well know function fields.
△ Less
Submitted 3 November, 2021; v1 submitted 25 May, 2020;
originally announced May 2020.
-
Locally recoverable codes from automorphism groups of function fields of genus $g \geq 1$
Authors:
Daniele Bartoli,
Maria Montanucci,
Luciane Quoos
Abstract:
A Locally Recoverable Code is a code such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. When we have $δ$ non overlapping subsets of cardinality $r_i$ that can be used to recover the missing coordinate we say that a linear code $\mathcal{C}$ with length $n$, dimension $k$, minimum distance $d$ has $(r_1,\ldots, r_δ)$-l…
▽ More
A Locally Recoverable Code is a code such that the value of any single coordinate of a codeword can be recovered from the values of a small subset of other coordinates. When we have $δ$ non overlapping subsets of cardinality $r_i$ that can be used to recover the missing coordinate we say that a linear code $\mathcal{C}$ with length $n$, dimension $k$, minimum distance $d$ has $(r_1,\ldots, r_δ)$-locality and denote it by $[n, k, d; r_1, r_2,\dots, r_δ].$ In this paper we provide a new upper bound for the minimum distance of these codes. Working with a finite number of subgroups of cardinality $r_i+1$ of the automorphism group of a function field $\mathcal{F}| \mathbb{F}_q$ of genus $g \geq 1$, we propose a construction of $[n, k, d; r_1, r_2,\dots, r_δ]$-codes and apply the results to some well known families of function fields.
△ Less
Submitted 24 January, 2020; v1 submitted 6 January, 2020;
originally announced January 2020.
-
Construction of sequences with high nonlinear complexity from a generalization of the Hermitian function field
Authors:
Alonso S. Castellanos,
Luciane Quoos,
Guilherme Tizziotti
Abstract:
For $r \geq 1$ an odd integer, we provide a sequence from the function field $\mathcal{F}_{q, r}$ of the maximal curve over $\mathbb{F}_{q^{2r}}$ defined by the affine equation $y^q+y=x^{q^r + 1}$. This sequence has high nonlinear complexity, and this fact comes from the existence of a rational function on $\mathcal{F}_{q, r}$ with pole divisor of small degree, and support in certain $q$ rational…
▽ More
For $r \geq 1$ an odd integer, we provide a sequence from the function field $\mathcal{F}_{q, r}$ of the maximal curve over $\mathbb{F}_{q^{2r}}$ defined by the affine equation $y^q+y=x^{q^r + 1}$. This sequence has high nonlinear complexity, and this fact comes from the existence of a rational function on $\mathcal{F}_{q, r}$ with pole divisor of small degree, and support in certain $q$ rational places.
△ Less
Submitted 6 October, 2022; v1 submitted 17 September, 2019;
originally announced September 2019.
-
Explicit Maximal and Minimal Curves of Artin-Schreier Type from Quadratic Forms
Authors:
Daniele Bartoli,
Luciane Quoos,
Zülfükar Saygı,
Emrah Sercan Yılmaz
Abstract:
In this work we present explicit examples of maximal and minimal curves over finite fields in odd characteristic. The curves are of Artin-Schreier type and the construction is closely related to quadratic forms from $\mathbb{F}_{q^n}$ to $\mathbb{F}_q$.
In this work we present explicit examples of maximal and minimal curves over finite fields in odd characteristic. The curves are of Artin-Schreier type and the construction is closely related to quadratic forms from $\mathbb{F}_{q^n}$ to $\mathbb{F}_q$.
△ Less
Submitted 11 July, 2018;
originally announced July 2018.
-
Pure gaps on curves with many rational places
Authors:
Daniele Bartoli,
Ariane M. Masuda,
Maria Montanucci,
Luciane Quoos
Abstract:
We consider the algebraic curve defined by $y^m = f(x)$ where $m \geq 2$ and $f(x)$ is a rational function over $\mathbb{F}_q$. We extend the concept of pure gap to {\bf c}-gap and obtain a criterion to decide when an $s$-tuple is a {\bf c}-gap at $s$ rational places on the curve. As an application, we obtain many families of pure gaps at two rational places on curves with many rational places.
We consider the algebraic curve defined by $y^m = f(x)$ where $m \geq 2$ and $f(x)$ is a rational function over $\mathbb{F}_q$. We extend the concept of pure gap to {\bf c}-gap and obtain a criterion to decide when an $s$-tuple is a {\bf c}-gap at $s$ rational places on the curve. As an application, we obtain many families of pure gaps at two rational places on curves with many rational places.
△ Less
Submitted 2 April, 2018;
originally announced April 2018.
-
Permutation polynomials over $\mathbb{F}_{q^2}$ from rational functions
Authors:
Daniele Bartoli,
Ariane M. Masuda,
Luciane Quoos
Abstract:
Let $μ_{q+1}$ denote the set of $(q+1)$-th roots of unity in $\mathbb{F}_{q^2 }$. We construct permutation polynomials over $\mathbb{F}_{q^2}$ by using rational functions of any degree that induce bijections either on $μ_{q+1}$ or between $μ_{q+1}$ and $\mathbb{F}_q \cup \{\infty\}$. In particular, we generalize results from Zieve.
Let $μ_{q+1}$ denote the set of $(q+1)$-th roots of unity in $\mathbb{F}_{q^2 }$. We construct permutation polynomials over $\mathbb{F}_{q^2}$ by using rational functions of any degree that induce bijections either on $μ_{q+1}$ or between $μ_{q+1}$ and $\mathbb{F}_q \cup \{\infty\}$. In particular, we generalize results from Zieve.
△ Less
Submitted 14 February, 2018;
originally announced February 2018.
-
On the difference between permutation polynomials over finite fields
Authors:
Nurdagül Anbar,
Almasa Oduzak,
Vandita Patel,
Luciane Quoos,
Anna Somoza,
Alev Topuzoğlu
Abstract:
The well-known Chowla and Zassenhaus conjecture, proven by Cohen in 1990, states that if $p>(d^2-3d+4)^2$, then there is no complete mapping polynomial $f$ in $\Fp[x]$ of degree $d\ge 2$. For arbitrary finite fields $\Fq$, a similar non-existence result is obtained recently by I\c sık, Topuzo\u glu and Winterhof in terms of the Carlitz rank of $f$.
Cohen, Mullen and Shiue generalized the Chowla-…
▽ More
The well-known Chowla and Zassenhaus conjecture, proven by Cohen in 1990, states that if $p>(d^2-3d+4)^2$, then there is no complete mapping polynomial $f$ in $\Fp[x]$ of degree $d\ge 2$. For arbitrary finite fields $\Fq$, a similar non-existence result is obtained recently by I\c sık, Topuzo\u glu and Winterhof in terms of the Carlitz rank of $f$.
Cohen, Mullen and Shiue generalized the Chowla-Zassenhaus-Cohen Theorem significantly in 1995, by considering differences of permutation polynomials. More precisely, they showed that if $f$ and $f+g$ are both permutation polynomials of degree $d\ge 2$ over $\Fp$, with $p>(d^2-3d+4)^2$, then the degree $k$ of $g$ satisfies $k \geq 3d/5$, unless $g$ is constant. In this article, assuming $f$ and $f+g$ are permutation polynomials in $\Fq[x]$, we give lower bounds for $k %=\mathrm{deg(h)} $ in terms of the Carlitz rank of $f$ and $q$. Our results generalize the above mentioned result of I\c sık et al. We also show for a special class of polynomials $f$ of Carlitz rank $n \geq 1$ that if $f+x^k$ is a permutation of $\Fq$, with $\gcd(k+1, q-1)=1$, then $k\geq (q-n)/(n+3)$.
△ Less
Submitted 23 March, 2017;
originally announced March 2017.
-
On some Galois covers of the Suzuki and Ree curves
Authors:
Massimo Giulietti,
Maria Montanucci,
Luciane Quoos,
Giovanni Zini
Abstract:
We determine the full automorphism group of two recently constructed families $\tilde{\mathcal{S}}_q$ and $\tilde{\mathcal{R}}_q$ of maximal curves over finite fields. These curves are covers of the Suzuki and Ree curves, and are analogous to the Giulietti-Korchmáros cover of the Hermitian curve. We also show that $\tilde{\mathcal{S}}_q$ is not Galois covered by the Hermitian curve maximal over…
▽ More
We determine the full automorphism group of two recently constructed families $\tilde{\mathcal{S}}_q$ and $\tilde{\mathcal{R}}_q$ of maximal curves over finite fields. These curves are covers of the Suzuki and Ree curves, and are analogous to the Giulietti-Korchmáros cover of the Hermitian curve. We also show that $\tilde{\mathcal{S}}_q$ is not Galois covered by the Hermitian curve maximal over $\mathbb{F}_{q^4}$, and $\tilde{\mathcal{R}}_q$ is not Galois covered by the Hermitian curve maximal over $\mathbb{F}_{q^6}$. Finally, we compute the genera of many Galois subcovers of $\tilde{\mathcal{S}}_q$ and $\tilde{\mathcal{R}}_q$; this provides new genera for maximal curves.
△ Less
Submitted 27 February, 2017; v1 submitted 29 September, 2016;
originally announced September 2016.
-
Algebraic Geometric codes from Kummer Extensions
Authors:
Daniele Bartoli,
Luciane Quoos,
Giovanni Zini
Abstract:
For Kummer extensions defined by $y^m = f (x)$, where $f (x)$ is a separable polynomial over the finite field $\mathbb{F}_q$, we compute the number of Weierstrass gaps at two totally ramified places. For many totally ramified places we give a criterion to find pure gaps at these points and present families of pure gaps. We then apply our results to construct many points algebraic geometric codes w…
▽ More
For Kummer extensions defined by $y^m = f (x)$, where $f (x)$ is a separable polynomial over the finite field $\mathbb{F}_q$, we compute the number of Weierstrass gaps at two totally ramified places. For many totally ramified places we give a criterion to find pure gaps at these points and present families of pure gaps. We then apply our results to construct many points algebraic geometric codes with good parameters.
△ Less
Submitted 10 November, 2016; v1 submitted 13 June, 2016;
originally announced June 2016.
-
Complete permutation polynomials from exceptional polynomials
Authors:
Daniele Bartoli,
Massimo Giulietti,
Luciane Quoos,
Giovanni Zini
Abstract:
We classify complete permutation polynomials of type $aX^{\frac{q^n-1}{q-1}+1}$ over the finite field with $q^n$ elements, for $n+1$ a prime and $n^4 < q$. For the case $n+1$ a power of the characteristic we study some known families. We also classify indecomposable exceptional polynomials of degree $8$ and $9$.
We classify complete permutation polynomials of type $aX^{\frac{q^n-1}{q-1}+1}$ over the finite field with $q^n$ elements, for $n+1$ a prime and $n^4 < q$. For the case $n+1$ a power of the characteristic we study some known families. We also classify indecomposable exceptional polynomials of degree $8$ and $9$.
△ Less
Submitted 17 February, 2017; v1 submitted 1 June, 2016;
originally announced June 2016.
-
One- and Two-Point Codes over Kummer Extensions
Authors:
Ariane M. Masuda,
Luciane Quoos,
Alonso Sepúlveda
Abstract:
We compute the Weierstrass semigroup at one totally ramified place for Kummer extensions defined by $y^m=f(x)^λ$ where $f(x)$ is a separable polynomial over $\mathbb{F}_q$. In addition, we compute the Weierstrass semigroup at two certain totally ramified places. We then apply our results to construct one- and two-point algebraic geometric codes with good parameters.
We compute the Weierstrass semigroup at one totally ramified place for Kummer extensions defined by $y^m=f(x)^λ$ where $f(x)$ is a separable polynomial over $\mathbb{F}_q$. In addition, we compute the Weierstrass semigroup at two certain totally ramified places. We then apply our results to construct one- and two-point algebraic geometric codes with good parameters.
△ Less
Submitted 16 June, 2016; v1 submitted 21 October, 2015;
originally announced October 2015.
-
Maximal curves from subcovers of the GK-curve
Authors:
Massimo Giulietti,
Luciane Quoos,
Giovanni Zini
Abstract:
For every $q=n^3$ with $n$ a prime power greater than $2$, the GK-curve is an $\mathbb F_{q^2}$-maximal curve that is not $\mathbb F_{q^2}$-covered by the Hermitian curve. In this paper some Galois subcovers of the GK curve are investigated. We describe explicit equations for some families of quotients of the GK-curve. New values in the spectrum of genera of $\mathbb F_{q^2}$-maximal curves are ob…
▽ More
For every $q=n^3$ with $n$ a prime power greater than $2$, the GK-curve is an $\mathbb F_{q^2}$-maximal curve that is not $\mathbb F_{q^2}$-covered by the Hermitian curve. In this paper some Galois subcovers of the GK curve are investigated. We describe explicit equations for some families of quotients of the GK-curve. New values in the spectrum of genera of $\mathbb F_{q^2}$-maximal curves are obtained. Finally, infinitely many further examples of maximal curves that cannot be Galois covered by the Hermitian curve are provided.
△ Less
Submitted 27 February, 2015;
originally announced February 2015.
-
Character Theory of Monoids over an Arbitrary Field
Authors:
Ariane M. Masuda,
Luciane Quoos,
Benjamin Steinberg
Abstract:
The basic character theory of finite monoids over the complex numbers was developed in the sixties and seventies based on work of Munn, Ponizovsky, McAlister, Rhodes and Zalcstein. In particular, McAlister determined the space of functions spanned by the irreducible characters of a finite monoid over $\mathbb C$ and the ring of virtual characters. In this paper, we present the corresponding result…
▽ More
The basic character theory of finite monoids over the complex numbers was developed in the sixties and seventies based on work of Munn, Ponizovsky, McAlister, Rhodes and Zalcstein. In particular, McAlister determined the space of functions spanned by the irreducible characters of a finite monoid over $\mathbb C$ and the ring of virtual characters. In this paper, we present the corresponding results over an arbitrary field.
As a consequence, we obtain a quick proof of the theorem of Berstel and Reutenauer that the characteristic function of a regular cyclic language is a virtual character of the free monoid. This is a crucial ingredient in their proof of the rationality of the zeta function of a sofic shift in symbolic dynamics.
△ Less
Submitted 26 October, 2014;
originally announced October 2014.
-
Weierstrass points on Kummer extensions
Authors:
Miriam Abdon,
Herivelto Borges,
Luciane Quoos
Abstract:
For Kummer extensions $y^m=f(x)$, we discuss conditions for an integer be a Weierstrass gap at a place $P$. In the case of totally ramified places, the conditions will be necessary and sufficient. As a consequence, we extend independent results of several authors.
For Kummer extensions $y^m=f(x)$, we discuss conditions for an integer be a Weierstrass gap at a place $P$. In the case of totally ramified places, the conditions will be necessary and sufficient. As a consequence, we extend independent results of several authors.
△ Less
Submitted 5 November, 2015; v1 submitted 9 August, 2013;
originally announced August 2013.
-
Bases for Riemann-Roch spaces of one point divisors on an optimal tower of function fields
Authors:
Francesco Noseda,
Gilvan Oliveira,
Luciane Quoos
Abstract:
For applications in algebraic geometric codes, an explicit description of bases of Riemann-Roch spaces of divisors on function fields over finite fields is needed. We give an algorithm to compute such bases for one point divisors, and Weierstrass semigroups over an optimal tower of function fields. We also explicitly compute Weierstrass semigroups till level eight.
For applications in algebraic geometric codes, an explicit description of bases of Riemann-Roch spaces of divisors on function fields over finite fields is needed. We give an algorithm to compute such bases for one point divisors, and Weierstrass semigroups over an optimal tower of function fields. We also explicitly compute Weierstrass semigroups till level eight.
△ Less
Submitted 30 June, 2011;
originally announced June 2011.