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\beta_iQ_i)\subsetneq C(D, a_1P+\sum_{i=1}^t\beta_iQ_i))\subsetneq\dots\subsetneq C(D, a_sP+\sum_{i=1}^t\beta_iQ_i)$ for any tuple of (either positive or negative) integers $\beta_1,\dots,\beta_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 $\beta_i$'s such that the flag has the isometry-dual property.
翻译:设$F_q$为有限域。若存在向量$x\in(F_q^*)^n$使得$C_i=x\cdot C_{s-i}^\perp$(其中$C_i^\perp$表示$C_i$的对偶码),则称$F_q$-线性码的旗$C_0\subsetneq C_1\subsetneq\dots\subsetneq C_s$满足等距对偶性质。考虑$F/F_q$为函数域,设$P$和$Q_1,\ldots,Q_t$为$F$的有理位点。令除子$D$为$F$的互异位点之和,且满足$P, Q_1,\dots,Q_t$不在$supp(D)$中。前期工作研究了具有非负整数$b$和递增正整数序列$a_0,\dots,a_s$的两点码旗$C(D,a_0P+bQ_1)\subsetneq C(D,a_1P+bQ_1))\subsetneq\dots\subsetneq C(D,a_sP+bQ_1)$满足等距对偶性质的存在性。对于单点码(即$b=0$)仅需分析正整数$a$,而$(t+1)$点码情形中的整数$a$可能为负值。本文从不同方向推广前期结果:一方面研究负整数$a$和$b$的情形,另一方面将结果推广至含任意(正或负)整数元组$\beta_1,\dots,\beta_t$及递增(正或负)整数序列$a_0,\dots,a_s$的$(t+1)$点码旗$C(D,a_0P+\sum_{i=1}^t\beta_iQ_i)\subsetneq C(D, a_1P+\sum_{i=1}^t\beta_iQ_i))\subsetneq\dots\subsetneq C(D, a_sP+\sum_{i=1}^t\beta_iQ_i)$。将所得结果应用于由仿射方程$y^m=f(x)$(其中$f(x)$为次数$r$的可分多项式,且$gcd(r, m)=1$)定义的广义Kummer扩张类。特别地,根据位点$P$的选择,并取$D$为$Aut(F_q(x, y)/F_q(x))$-不变的$F$有理位点之和(满足$P,Q_i\notin supp(D)$),我们得到了使得该旗具等距对偶性质时$m$与$\beta_i$所需的充分必要条件。