首页/论文/0802.3200

arXiv 0802.32002008-02-21math.NTmath.AG

关于给定迹和范数的元素个数的Katz界

On Katz's bound for number of elements with given trace and norm

Marko Moisio, Daqing Wan

备注：: 5 pages

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

摘要英文摘要相关论文

摘要：

本文对具有给定迹和范数的有限域中元素个数的Katz界进行了改进。改进的方法是将问题归结为估计复曲面上的有理点的个数，然后利用Rojas-Leon和第二作者对复曲面上的上同调计算.

英文摘要：

In this note an improvement of the Katz's bound on the number of elements in a finite field with given trace and norm is given. The improvement is obtained by reducing the problem to estimating the number of rational points on certain toric Calabi-Yau hypersurface, and then to use detailed cohomological calculations by Rojas-Leon and the second author for such toric hypersurfaces.

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

阅读原文

阅读 PDF ↗

arXiv 页面 ↗HTML 原文 ↗

本文内容

摘要英文摘要相关论文

机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。

继续探索

相关论文

Frobenius迹的Möbius随机律

Möbius Randomness Law for Frobenius Traces

最近E. Bengeri和N. M. Katz（2010）已经证明了关于线性递归序列的值的分布的几个众所周知的结果导致代数曲线的Frobenius迹的有趣陈述。在这里，我们继续这条线的研究和建立莫比乌斯随机性法律定量的规范化形式的弗罗贝纽斯痕迹。

2020-05-18math.NT

Kloosterman和、椭圆曲线和具有规定迹和范数的不可约多项式

Kloosterman sums, elliptic curves, and irreducible polynomials with prescribed trace and norm

设$\F_q$（$q=p^r$）是一个有限域.本文在某些特殊情况下计算了具有指定迹和模系数的$\F_q[x]$中$m$次数的不可约多项式的数量，并获得了该数量的一般界，如果$m$与$q$相比较小，则改进了Wan的界。作为推论，在$\F_q$上得到了具有给定迹和范数的$\F_{q^3}$中元素个数的精确界，改进了Katz在这种特殊情况下的估计.此外，给出了可被3整除的$\F_{2^r}$上的Kloosterman和的一个特征，推广了Charpin，Helleseth和Zinoviev仅在$r$为奇数时得到的结果.最后，给出了域$\F_{3^r}$上Kloosterman和的值分布的一个新的简单证明，该证明首先由Katz和Livne证明。

2007-11-21math.COmath.NT

关于有限域上具有固定迹的交换簇个数的逐点收敛性

On the pointwise convergence of the number of abelian varieties over $\mathbb{F}_p$ with fixed trace

Princeton University（普林斯顿大学）；Massachusetts Institute of Technology（麻省理工学院）

本文证明了有限域上具有固定迹的交换簇个数的极限分布猜想，对所有g成立，并回答了关于低 genus 曲线分布的问题。

2026-01-28math.AGmath.NT

有限域上曲线上最大有理点个数的下界

Lower bounds on the maximal number of rational points on curves over finite fields

对于给定的亏格$g \geq 1$，给出了${\mathbb F}_q$上亏格$g \geq 1$的光滑射影绝对不可约曲线上的最大有理点个数的下界.作为Katz-Sarnak理论的一个结果，我们首先得到了对于任意给定的$g>0$，任意$\varepsilon>0$和所有足够大的$q$，存在一条在${\mathbb F}_q$上亏格$g$的曲线，至少有$1+q+ (2g-\varepsilon) \sqrt{q}$有理点.然后利用超椭圆曲线的Frobenius迹的幂和，得到了对$g \geq 3$和奇$q \geq 11$成立的形式为$1+q+1.71 \sqrt{q}$的下界.最后，显式构造的曲线塔改善了这一结果，与形式$1+q+4 \sqrt{q} -32$的所有$g\ge 2$和所有$q$有效的限制。

2022-04-29math.AGmath.NT

有限域中间扩张中具有给定迹的范数与原始范数元素

Normal and primitive normal elements with prescribed traces in intermediate extensions of finite fields

Tezpur University（特兹普尔大学）；University of Thessaly（色萨利大学）

本文研究有限域中间扩张中具有给定迹的范数及原始范数元素，完整刻画了范数情形下的存在条件并给出显式计数，对原始范数情形提供了渐近结果。

2025-10-16math.NT

素域上迹函数Gowers范数的一个逆定理

An inverse theorem for Gowers norms of trace functions over prime fields

证明了$\Zz/p\Zz$上某些$\ell$ -adic层的迹函数的Gowers一致性范数的估计，并建立了这些函数的强逆定理.

2013-02-10math.NT

更多相关论文收起更多论文

具有指定迹和限制范数的不可约多项式

Irreducible polynomials with prescribed trace and restricted norm

设GF（q），q=p^r，是具有一个本原元g的有限域.本文利用指数和和Jacobi和计算了GF（q）上迹固定且范数限制在子群<g^s>的陪集上的m次不可约多项式的个数|（q-1）。当q=p时，我们显式地给出了s=2，3，4的数，并且对于s|（p^e+1），当r= 2 en时。最后，当迹和模都固定，p=2，m =< 30时，给出了该数的显式表达式.

2007-10-15math.NT

关于从$Γ_0(\mathfrak{p})$到$\operatorname{GL}_2(A)$的迹和模映射

On the trace and norm maps from $Γ_0(\mathfrak{p})$ to $\operatorname{GL}_2(A)$

设$f$是$Γ_0(\mathfrak{p})$的Drinfeld模形式。从这样的形式，可以得到全模群$\operatorname{GL}_2(A)$的两种形式：取$Γ_0(\mathfrak{p})$到$\operatorname{GL}_2(A)$的迹或范数。本文给出了$f$的$u$ -级数展开式的系数的算术模$\mathfrak{p}$与与其迹密切相关的形式的系数的算术模之间的关系，以及$f$的系数的算术模与其范数的算术模之间的关系。

2014-06-16math.NT

关于扩展范数-迹码的子场子码的参数

On Parameters of Subfield Subcodes of Extended Norm-Trace Codes

本文讨论了如何求扩展范数迹码的子域子码的参数。利用范数迹曲线的$\mathbb{F}_{q^r}$有理点的理想的Gröbner基，可以确定子域子码的维数或迹码的维数。我们还发现了BCH-从原来的超码的最小距离的限制。

2016-04-20cs.ITmath.ACmath.AG

用规范化迹区分纯表示

Distinguishing pure representations by normalized traces

给出了系数在$\overline{\mathbb{Q}}_p$（含$\ell\neq p$）中的$\ell$-adic数域的绝对伽罗瓦群的两个纯表示，证明了当它们具有相等的正规化迹时，相应的Weil-Deligne表示的Frobenius-半简化是彼此以某个非分歧特征的整数幂扭转的.这是一个模拟的帕坦卡和拉詹在本地伽罗瓦表示的背景下，最近的结果。

2018-01-02math.NT

立方阶不可分解整数的迹与范数

Trace and norm of indecomposable integers in cubic orders

本文研究了全实三次域族中的余差和加法不可分解整数的结构。我们证明了在这些领域的三次订单，不可分解的整数乘上的共差的完全正的元素的最小迹可以是任意大的。这是非常令人惊讶的，因为在迄今为止研究的二次和最简单的三次域的例子中，这个最小值是1和2。进一步给出了不可分解整数族的范数的精确上界。

2021-05-10math.NT

有理四元数代数阶的迹零范数形式及其应用

On trace-zero norm forms of orders of rational quaternion algebras with applications

Institute of Mathematics, Henan Academy of Sciences（河南科学院数学研究所）；School of Mathematics and Statistics, North China University of Water Resources and Electric Power（华北水利水电大学数学与统计学院）；School of Mathematical Sciences, Tongji University（同济大学数学科学学院）

本文针对有理四元数代数的迹零范数形式，给出了适用于所有阶的三元表示数与阶元素个数的恒等式，推导了相关公式并解释了同余数问题中的三元形式。

2026-10-14math.NT

数域族中的通用二次型、小范数与迹

Universal quadratic forms, small norms and traces in families of number fields

本文研究多类全实数域上通用二次型的秩，通过刻画不可分解整数与余微分中小迹元素，并估计小范数主理想数量，给出秩的良好界。

2020-05-25math.NT

极迹和克卢斯特曼和在有限半单代数中的研究

Norm-trace and Kloosterman sums in finite semi-simple algebras

Center for Discrete Mathematics, College of Mathematics and Statistics, Chongqing University（重庆大学数学与统计学院离散数学中心）

本文研究了有限半单代数中给定极迹和范数的元素数量，推导出带有平方根误差项的渐进行为，并将结果从有限交换代数推广到非交换的有限半单代数，同时得到克卢斯特曼和的平方根估计。

2026-04-07math.NT

算术双曲曲面与三维流形的系统

Systoles of Arithmetic Hyperbolic Surfaces and 3-manifolds

我们的主要结果是，对于所有足够大的$x_0>0$，具有固定不变迹场$k$且收缩以$x_0$为界的算术双曲2-或3-orbifolds的可积类的集合在具有不变迹场$k$的算术双曲2-或3-orbifolds的可积类的集合中具有密度1.证明依赖于界限的绝对对数韦尔高度的代数整数由于西尔弗曼，Brindza和Hajdu，以及精确估计的数量合理四元数代数不承认嵌入任何二次域具有小的判别式。当跟踪字段是$\mathbf{Q}$，使用Granville和Soundarajan的工作，我们建立了一个更强的结果，允许我们的恒定下界$x_0$的面积增长。作为一个应用程序，我们建立了算术双曲曲面，这是有关以前的工作Buser-Sarnak和Katz-Schaps-Vishne的收缩界。最后，我们建立了一个类似的密度结果的可拓类的算术双曲3-orbifolds与小面积全测地$2$ -orbifolds。

2017-03-04math.DGmath.GTmath.NT

迹与范数L函数的合理性

Rationality of trace and norm L-functions

对于给定的有限域k和整数r上的交换代数群上的l-adic层F，定义了F在G（k）中点t处的r阶局部范数L-函数，并证明了它的合理性.该函数给出了F在G（k_r）（其中k_r是k的r次扩张）上的范数为t的点上的局部Frobenius迹的和的信息。对于G的一维仿射直线或环面，这些和可以反过来被用来估计曲线上的有理点的数量或指数和的绝对值，这些指数和在一大群平移或同态下是不变的。

2011-09-14math.NT

有限域上具有一个指定范数和迹的有理函数的本原正规值

Primitive normal Values of rational functions with one prescribed norm and trace over finite fields

本文研究有限域扩展中本原正规对的存在性，证明带指定本原范数与非零迹的有理函数值存在的充分条件，并界定少数潜在例外域。

2024-05-08math.NT

有限域上具有一条预定迹的本原正规对的存在性

Existence of Primitive Normal Pairs with One Prescribed Trace over Finite Fields

给定$m, n, q\in \mathbb{N}$使得$q$是素数幂，且$m\geq 3$，$a\in \mathbb{F}_q$，我们建立了$\mathbb{F}_{q^m}$中存在本原对$(α, f(α))$使得$α$在$\mathbb{F}_q$和$\text{Tr}_{\mathbb{F}_{q^m}/\mathbb{F}_q}(α^{-1})=a$上正规的充分条件，其中$f(x)\in \mathbb{F}_{q^m}(x)$是度和$n$的有理函数.此外，当$n=2$和$q=5^k$用于某些$k\in \mathbb{N}$时，除了最多$20$选择之外，对于所有$(q, m)$肯定存在这样的对。

2021-01-20math.NT

余类细化的迹统计、节点特征和立方范数托里 affine 分支

Coset-refined trace statistics, nodal characters, and affine branches in cubic norm tori

本文研究了立方范数托里的余类细化迹统计、节点特征以及立方范数托里的affine分支，证明了余类细化迹定理，并探讨了迹和范数曲线上的几何输入及其对局部分支理论的影响。

2026-05-21math.NT