Algebraic formulas for the coefficients of mock theta functions and Weyl vectors of Borcherds products
我们提出了一些应用的Kudla-Millson和Millson θ电梯。这两种提升分别将弱全纯模函数映射到权值为$3/2$和$1/2$的向量值调和马斯形式。给出了Ramanujan模拟θ函数$f(q)$和$ω(q)$的系数关于弱全纯模函数的CM-值的迹的有限代数公式.进一步,我们构造了阴影为一元θ函数,全纯部分具有有理系数的向量值调和Maass型.这产生模拟θ函数的系数的合理性结果,即,阴影位于一元θ函数空间的调和马斯形式。此外,我们构造的调和Maass型还可以用来计算具有调和Maass型的一元θ函数的Petersson内积,给出了Borcherds乘积的Weyl向量的计算公式和合理性结果.
2017-03-24 math.NT
An introduction to Mahler's method for transcendence and algebraic independence
在这里,我们提出了一个调查马勒的理论超越和代数的独立性集中在某些应用程序的算术期间的安德森t-动机。
2011-09-18 math.NT
Algebraic Independence and Mahler's method
本文给出了Mahler方法中代数独立性的一些新结果,包括超越点上值的代数独立性。我们还给出了无穷级数代数无关性的一些新的度量。特别地,我们的结果证明了,对于任意大的$n\geq 1$,集合$(θ_1,...,θ_n)\in\mrr^n$在Grigory Chudnovsky(1980)定义的意义下正规的新例子。
2011-03-21 math.NT
Algebraic independence of reciprocal sums of certain Fibonacci-type numbers
本文研究了Fibonacci数列与Lucas数列的某些倒数和的代数无关性。还考虑了更一般的二进制递归。主要的工具是马勒的方法减少调查的代数独立的功能价值的一个功能,如果这些满足某些类型的函数方程。
2014-03-21 math.NT
Algebraic independence of certain Mahler numbers
本文证明了一类特殊的Mahler函数值的代数独立性结果。特别地,Thue-Morse序列、正规折纸序列和Cantor序列的生成函数都属于这一类,并且我们得到了这些函数的值在开单位圆盘上的每一个非零代数点上的代数独立性.证明使用马勒方法的结果。
2015-07-09 math.NT
Algebraic independence of values of Goss L-functions at s=1
研究了类数为1的环上Dirichlet特征标在s=1时的Goss L函数的特殊值,证明了它们的超越性和代数独立性.
2011-05-31 math.NT
Algebraic independence of infinite series
本文给出了有理数级数集合代数独立的充分条件,并由此推导出级数无理性与有理数线性独立的新结果。
2025-02-26 math.NT
Algebraic independence and normality of the values of Mahler's functions
本文的主要目的是提供关于Mahler函数值的代数独立性及其推广的新结果。同时,我们建立了新的措施,这些值的代数独立性。除其他事项外,我们提供了一个措施的代数独立的价值观马勒的职能在复杂的超越点,结果的类型从来没有出现在文献中在过去。作为应用我们的新措施的代数独立性的一个例子,我们证明了马勒数不属于类$U$在马勒的分类。此外,我们的结果暗示了新的例子,$n\geq 1$任意大,集$\left(θ_1,\dots,θ_n\right)\in\mathbb{R}^n$正规的意义下G。Chudnovsky(1980).
2017-06-04 math.NT
On the algebraic independence of periods of abelian varieties and their exponentials
该文将Vasil'ev关于阿贝尔簇周期代数独立性的结果推广至周期被指数替代的情形,并应用于有理点处的beta函数值。
2023-09-06 math.NT
Local theta-regulators of an algebraic number -- p-adic Conjectures
设K/Q是Galois,K* 中的eta使得由eta生成的乘法Z[G]-模具有Z秩n,我们定义了G=Gal(K/Q)的Qp-不可约特征标θ在Fp中的局部θ-调节子Delta p^theta(eta).设V θ是θ-不可约表示.线性表示L^θ = Δ V ^θ与Δ p^θ(eta)相关联,其零值等于Δ $\ge$ 1(定理3.9)。每个Delta\_p^theta(eta)在因子分解$\prod$ \_theta中产生Reg\_p^theta(eta)模p(Reg I_p^θ(eta))= Reg I_p(eta)/p^[K:问](归一化p-adic调节器),其中φ除以θ是绝对不可约的。根据概率Prob(Δ p^θ(eta)= 0 \& L^θ = Δ V\θ)$\le$ p^(-f.delta^2)(f= p在phi值域中的剩余度)和Borel-Cantelli启发式,我们猜想,对于足够大的p,Reg\_p^G(eta)是一个p-adic单位,或者p^phi(1)恰好整除Reg\_p^G(eta)(存在一个单一的θ,f=delta=1);假设存在二项式概率定律,这个障碍可以被解除(第二节)。7)通过数值研究证实(C_3、C_5、D_6组)。这个猜想意味着,对所有足够大的p,有理数和正规化p-adic调节器的费马乘积是p-adic单位(定理1.1),由此得出数域对p \textgre…
2017-01-10 math.NT
Algebraic theta functions and Eisenstein-Kronecker numbers
在本文中,我们给出了一个概述,我们以前的文件有关调查的代数和$p$ -adic性质的Eisenstein-Kronecker数使用芒福德的理论,代数θ函数。
2007-09-05 math.AG math.NT
Algebraic Independence Measures for Values of E-functions and M-functions
本文针对任意Siegel E函数在非零代数点处的值构成的多项式建立Liouville型不等式,并在Mahler M函数框架内给出可比较结果,推进了特殊函数值的代数无关性研究。
2025-02-14 math.NT
On algebraic independence of Taylor coefficients of certain Anderson-Thakur series
本文研究Anderson-Thakur级数泰勒系数的代数无关性问题,通过考虑与正特征多重zeta值相关的t-动机的延拓,在假设下确定t-动机伽罗瓦群维数,结合Papanikolas理论得到代数无关性结果。
2024-05-13 math.NT
Algebraic independence of the partial derivatives of certain functions with arbitrary number of variables
我们构造了一个具有任意多个变量的复整函数,它具有以下性质:由它的所有偏导数在所有代数点(包括零分量)的所有值组成的无限集是代数无关的。在本文的第二节中,我们发展了一种新的技术,涉及线性同构和无穷乘积,以取代代数无关的函数值的问题与更容易处理的功能。在第二节和第三节中,我们将这种技巧与Mahler的方法结合起来,把上述无限集的代数无关性归结为某些有理函数模多元有理函数域的线性无关性。后一个问题是通过第3节和第4节中涉及某个赋值和一个泛点的讨论解决的。
2022-08-02 math.NT
Algebraic independence of periods and logarithms of Drinfeld modules (with an appendix by Brian Conrad)
设rho是定义在代数函数域上的具有通有特征的Drinfeld A-模.我们证明了rho上代数点的周期、拟周期和周期之间的所有代数关系都是由rho的自同态诱导的线性关系产生的。
2011-06-28 math.NT
Algebraic independence of certain entire functions of two variables generated by linear recurrences
本文构造了一个二元整函数,它的值和它在任何不同代数点上的任何阶的偏导数都是代数独立的。这样的整函数由线性递归生成。为了证明这一结果,我们通过线性递归的移位,将代数无关性化为多元Mahler函数的代数无关性,并应用Mahler函数理论。
2019-08-17 math.NT
Stern polynomials and algebraic independence
本文利用Mahler方法证明了斯特恩多项式子序列在非零代数点处的函数值具有代数独立性。
2026-03-26 math.NT
The algebraic functional equation of Riemann's theta function
我们给出了黎曼θ函数的函数方程的代数模拟。更确切地说,我们定义了一个“theta乘子”线丛的模堆叠上的主极化阿贝尔格式的theta特征,并证明了它的对偶是同构的模堆叠上的行列式丛。我们通过在模栈上使用Picard群进行显式计算来做到这一点。这一切都是在环R=Z[1/2,i]上完成的:通过复数,我们恢复了经典的函数方程。
2016-08-23 math.AG math.NT
Linear independence measure of logarithms over affine groups
代数数域上的连通交换代数群上的代数的线性型已得到广泛的研究。然而,非交换代数群上的代数的线性型理论还没有像交换代数群那样得到发展,本文主要研究仿射群上的代数的线性型。
2015-11-30 math.NT
Independence of Algebraic Monodromy Groups in Compatible Systems
本文给出了相容表示系统中代数单值群独立性的一般证明方法,并应用该方法推导了相容表示系统在自守和正特征条件下的独立性结果。在抽象的情况下,我们证明了一个独立的结果,相容系统的李-不可约表示,从中我们推导出一个独立的结果,相容系统承认我们所谓的李-不可约分解。在几何相容系统的伽罗瓦表示所产生的某些类的自守形式的情况下,我们证明了存在一个李不可约分解,假设一个经典的不可约猜想。由此我们推出一个独立的结果。我们得出结论的情况下,相容系统的绝对伽罗瓦群的整体函数域的表示,我们证明了存在一个李不可约分解,我们推导出一个独立的结果。由此,我们还推出了有限域上正规簇上相容的利斯层系统的独立性结果。
2019-06-06 math.NT
Periods of third kind for rank 2 Drinfeld modules and algebraic independence of logarithms
与定义在数域上的椭圆曲线的第三类微分的阿贝尔积分积分的周期类似,我们引入了定义在代数函数域上的秩为2的Drinfeld Fq[t]-模ρ的第三类周期的概念,并给出了它们的显式表达式.当rho与可分扩张作复乘时,证明了rho的CM域上线性无关的代数点的rho代数无关性.结合文献[CP 08]中的主要结果,我们完全确定了奇特征秩为2的Drinfeld Fq[t]-模的第一、第二、第三类周期之间的所有代数关系.
2009-09-01 math.NT
On a criterion for algebraic independence and its variants
本文系统研究并阐释了Elsner等人提出的代数无关性转移判据及其变体,该判据借助2n元多项式组将n个量的代数无关性转移到另外n个量。
2023-11-30 math.NT
Transcendence and algebraic independence of a family of $p$-adic valuation generating functions
本文研究了p进估值生成函数族的超越性与代数独立性,证明了其在单位圆内非零代数点处的超越性,并得出了乘法独立代数参数下的代数独立性结果。
2025-12-16 math.NT
Arithmetical independence of certain uniform sets of algebraic integers
本研究针对四组次数≤3的代数整数集合,证明其具备几乎一致性与算术独立性特征,并明确了这些集合生成的代数数域对二次、三次域的覆盖程度。
2023-08-24 math.NT
On the algebraic independence of logarithms of Anderson $t$-modules
本文确定了特定 Anderson $t$-模对数坐标间的代数关系,推广了 Chang 和 Yu 关于多重对数代数无关性的工作。
2025-04-02 math.NT
On algebraic independence of three p-adic continued fractions
Ibn Tofail University(伊本·图费利大学)
本文研究了p进连续分数A、B和A^B在有理数域上代数独立的条件,通过快速增长的部分分母提出充分条件,并扩展了Bundschuh的工作,提供了数值示例。
2026-04-01 math.NT
Historical Developments of the Theory of Transcendence and Algebraic Independence
这是什么样的国王,在极光的四个部分和四个部分结束的?让法国作家科莱特的这个问题引导我们走过一个令人兴奋的理论的充满希望的开端,迷人的演变和结果,具有挑战性的开放问题和观点,远远没有揭示其所有的秘密。
2021-02-17 math.NT
Algebraic independence of the Carlitz period and the positive characteristic multizeta values at n and (n,n)
设$k$是$q$元有限域上的有理函数域,$\bar{k}$是它的固定代数闭包.本文研究了$\bar{k}$上Carlitz模的基本周期$\widetildeπ$与正的特征多重zeta值$ζ(n)$和$ζ(n,n)$之间的代数关系,其中当$n$为“奇”整数时,若$q-1$不整除$n$,则称$n$为“奇”整数.证明了它们在$\bar{k}$上代数独立或在$k$上满足某种简单关系.我们还证明了,如果$2n$是“奇”,那么他们是代数独立的$\bar{k}$。
2013-07-14 math.NT
On algebraic independence of certain multizeta values in characteristic p
本文研究了特征$p$中函数域上的重zeta值.对于每个$d \geq 2$,我们证明了当常量域具有基数$> 2$时,由深度$d$的所有多zeta值生成的场对由所有单zeta值生成的场具有无限超越度.作为特例,这对Y的问题的函数域模拟给出了肯定的回答。安德烈
2014-01-15 math.NT
On Algebraic Conditions for the Non-Vanishing of Linear Forms in Jacobi Theta-Constants
本文研究雅西θ常数线性形式的非零性,在多种参数条件下证明相关线性无关性结论,填补了已有θ常数代数独立/相关性研究的空白,还建立了对应函数域上的线性无关定理。
2024-08-19 math.NT
Linear and algebraic independence of Generalized Euler-Briggs constants
欧拉常数$γ$可能的超越性一直是人们研究的热点。一种可能的方法是不孤立地考虑$γ$,而是将其作为广义欧拉-布里格斯常数无限族的一个元素。在最近的工作\cite{GSS}中,证明了广义欧拉-布里格斯常数的无限列表至多可以有一个代数数.本文研究了数域上由这些广义Euler-Briggs常数生成的空间的维数。更准确地说,我们得到了这些空间的维数的非平凡下界(见\thmref{pre}和\thmref{linear-ind}),从而建立了所跨越的空间的无穷维。进一步,我们研究了这些常数在所有代数数域上的线性无关性和代数无关性。
2016-04-11 math.NT
The transformation laws of algebraic theta functions
本文从代数几何的角度,即从交换格式的模的角度,对θ函数的变换规律作了全面的讨论。这是通过引入θ下降结构,hypoplectic堆栈和半形式束的几何概念来实现的,它们的分析化身是经典变换定律的不同方面的基础。作为一个应用程序,我们奠定了基础的几何理论的模形式的半整数的重量,更一般地说,模形式的值在韦尔表示。我们讨论进一步的应用代数理论的Jacobi形式和理论的行列式丛的阿贝尔计划。
2016-09-15 math.AG math.NT
Prolongations of t-motives and algebraic independence of periods
RWTH Aachen University(亚琛工业大学)
本文研究了t-动机的延拓构造,并证明了Carlitz模的周期晶格生成元的代数独立性,以及Anderson-Thakur函数的超 transcendence。
2018-07-09 math.NT
Linear independence of continued fractions with algebraic terms
本文给出了正代数数序列和数域的条件,以确保由连分数定义的数与1在该数域上线性无关。
2024-06-27 math.NT
Applications of differential algebra to algebraic independence of arithmetic functions
利用Ax关于微分Schanuel猜想的一个定理,推广和统一了关于算术函数与狄利克雷级数代数独立的几个结果的证明.一路上,我们发现反例的一些结果在文献中。
2017-01-16 math.NT
Diophantine Approximation Groups, Kronecker Foliations and Independence
我们引入丢番图逼近群及其相关的克罗内克叶,用它们来提供新的代数和几何表征的$K$ -线性和代数依赖。因此,我们发现reformations-代数和几何(图)刚性-定理的贝克和林德曼-维尔斯特拉斯,对数猜想和Schanuel猜想。有一个附录描述丢番图逼近群作为模型理论类型。
2019-02-27 math.NT
Linear independence of periods related to polylogarithms
本文首次提出了多项级数值在代数数域上线性独立性的标准,特别地,得出了在代数数域上不同点处多项级数乘积的线性独立性新结果,方法基于针对多项级数的Padé型近似显式构造。
2026-05-18 math.NT
Measures of algebraic approximation to Markoff extremal numbers
设xi是一个实数,它在Q上既不是有理数也不是二次数.基于Davenport和Schmidt的工作,Bugeaud和Laurent证明了,对于任何实数θ,存在一个常数c>0和无穷多个次数至多为2的非零多项式P,使得|θ-P(xi)|其中gamma=(1+sqrt{5})/2表示黄金分割比,并且其中P的范数|P|表示其系数的最大绝对值。在本文中,我们反过来证明了存在一类超越数xi,当我们对Z[T]中d = 3、4或5次的多项式R取θ =R(xi)时,对于这类数xi,上述估计在常数c之前是最优的,但奇怪的是,即使θ = 2 xi ^[6],d=6时也不是最优的。
2010-01-08 math.NT
On the Algebraic Independence of $E$- and $G$-Functions, II: An Effective Version
本文针对具有强 Frobenius 结构并满足 MOM 条件的幂级数集合,提出其在解析元素域上代数独立性的有效判定准则,并用于证明若干 $E$-函数与 $G$-函数的代数独立性。
2025-07-27 math.NT
Algebraic independence and difference equations over elliptic function fields
对于复平面上的格Λ,设K_Λ是Λ-椭圆函数的域.对于两个大于1的互素整数p(分别为q),考虑自同态p(分别为q)。K_Λ的K_Λ的K_Λ是通过乘以p(resp. q)在椭圆曲线\mathbb{C} /Λ上。我们证明,如果f(resp. g)是满足K_Λ上关于λ(分别为λ)的线性差分方程的复Laurent幂级数.(2)然后有一个二分法。或者,对于Λ的某个子格Λ',f或g之一属于环K_{Λ'} [z,z^{-1},n(z,n')],其中n(z,n ')是Weierstrass zeta函数,或者f和g在K_Λ上代数独立。这是一个椭圆模拟最近的定理Adamczewski,德雷福斯,Hardouin和Wibmer(在该领域的有理函数)。
2022-07-27 math.NT
Algebraic independence of the Carlitz period and its hyperderivatives
RWTH Aachen University(亚琛工业大学);FH Aachen University of Applied Sciences(亚琛应用科学大学)
本文证明了Carlitz周期及其超导数在基域上代数独立,并揭示了其与张量幂Carlitz模周期晶格生成元坐标的联系。
2021-12-04 math.NT
Algebraic theta functions and p-adic interpolation of Eisenstein-Kronecker numbers
研究了与虚二次域的Hecke $L$ -函数的特殊值有关的Eisenstein-Kronecker数的性质.我们证明了这些数的生成函数是一个约化的(在某些文献中是规范的或正则的)θ函数,它与椭圆曲线的Poincare丛有关。介绍了CM阿贝尔簇约化θ函数的代数性质和$p$ -adic性质的一般研究方法.作为推论,当素数$p$是普通的时,我们给出了二元$p$ -adic测度的一个新的构造,该测度插值于由Manin-Vishik和Katz构造的虚二次域的Hecke $L$ -函数的特殊值.我们的方法通过θ函数也给洞察的情况下,当$p$是超奇异的。本文的方法将在以后的论文中被用来研究超奇异$p$的二次虚域的Hecke特征相关的Hecke $L$ -函数的临界值的精确$p$整除性,以及CM椭圆曲线的$p$ -adic椭圆多对数的二元显式计算。
2007-12-11 math.AG math.NT
An extension of algebraic independence of special values for non-lacunary power series
本文针对非稀疏幂级数在Pisot或Salem数倒数处的特殊值,提出了三个值代数独立性的新判据,并应用于证明特定级数和的代数独立性,且系数与指数选择灵活。
2026-09-15 math.NT
Multiplicity Estimates for Algebraically Dependent Analytic Functions
我们证明了一个新的一般多重性估计适用于集合的功能没有任何假设的代数独立性。重数估计通常用于确定函数值的代数独立性的度量,例如在马勒方法的上下文中。因此,我们的结果为证明复数的代数独立性提供了一个重要的工具。同时,这些估计可以被认为是函数本身的代数独立性的度量。因此,我们的结果在一定条件下给出了${\bf F}_q[[T]]$中元素的代数独立性的度量,其中${\bf F}_q$表示有限域.
2012-11-03 math.AG math.NT
Algebraic independence of the exponential and Weierstrass $\wp$-functions
Università di Padova(帕多瓦大学)
本文证明了在复乘法椭圆曲线背景下,指数函数值与Weierstrass函数值在代数数域上代数独立,方法基于Tannakian理论。
2026-09-15 math.NT
Galois groups and automata
在马勒的代数独立的方法的框架内,我们表明,代数关系Q连接的值的函数解决方案的一个系统的函数方程来自代数关系的功能本身之间的专业化。本文给出了q-正则函数的线性无关性的一些结果。
2015-02-03 math.NT
Ramanujan's type of product of theta functions and its applications
在本文中,我们提出了大量的新发现的一般定理显式评估的产品的θ函数$b_{m, n}$使用Kronecker的极限公式和其他各种新的显式评估,介绍了。此外,我们已经获得了一些新的值的拉马努金的类不变$g_n$使用新发现的值的$b_{m, n}$。最后,我们证明了$b_{m, n}$是某些代数数域中的单位。
2021-12-08 math.NT
Maximal Unipotent Monodromy, congruences "à la Lucas" and Algebraic independence
令$f(z)$在$1+z\mathbb{Q}[[z]]$中,$\mathcal{S}$是素数的无限集合,使得对于所有$p\in\mathcal{S}$,我们可以将$f(z)$约化为$p$。我们让$f(z)_{\mid p}$表示$f(z)$模$p$的约简。通常,当$f(z)$是D-有限的时,$f(z)_{\mid p}$是$\mathbb{F}_p(z)$上的代数。如果$f(z)$是$X-A_p(z)X^{p^l}$形式的多项式的解,我们可以利用这类方程得到关于$\mathbb{Q}(z)$的超越性和代数独立性的结果。在本文中,我们寻找的条件上的微分算子零化$f(z)$,以保证这些特定的方程的存在性。设$f(z)$是具有强Frobenius结构的微分算子$p\in\mathcal{S}$的解,且$f(z)$零化Fuchsian微分算子$\mathcal{D}\in\mathbb{Q}(z)[d/dz]$,使得零是$\mathcal{D}$的正则奇点,且$\mathcal{D}$在零处的指数等于零.我们的主要结果表明,对于几乎每一个素数$p\in\mathcal{S}$,$f(z)_{\mid p}$是$X-A_p(z)X^{p^l}$形式的多项式的解,其中$A_p(z)$是一个有理函数,其系数在$\mathbb{F}_p$中的高度小于或等于$Cp^{2l}$,$C$是一个不依赖于$…
2023-02-09 math.NT
Diophantine Approximation on varieties V: Algebraic independence criteria
对于复数元组$(θ_1,..,θ_M)$,本文在本系列文献的逼近技巧的基础上,从点$θ=(1,θ_1,...,θ_M)$在射影空间中的超曲面逼近性出发,推导出$(θ_1,..,θ_M)$生成的域在有理数域上超越度的下估计.第一个给出的结果是一个新的证明的代数独立性准则,这是以前证明的劳伦特和罗伊,并推广了Philippon准则也引入评估的衍生物的整体瓣部分。第二个结果是一种新的代数独立性准则,它比第一个结果具有更广的适用范围。
2010-01-10 math.AG math.NT
Congruences modulo cyclotomic polynomials and algebraic independence for $q$-series
证明了$q$ -阶乘比的多重和的模分圆多项式的同余关系,从而推广了许多著名的$p$ -Lucas同余关系.这样的同余将各种经典生成级数与它们的$q$ -类似物联系起来。利用这一点,我们证明了一个传播现象:当这些生成系列是代数独立的,这也是他们的$q$ -类似物的情况。
2017-01-23 math.CO math.NT
Linear Independence of Harmonic Numbers over the field of Algebraic Numbers
令$H_n =\sum\limits_{k=1}^n \frac{1}{k}$为$n$次谐波数。欧拉把它扩展到复变元,并定义了$H_r$,用于除负整数以外的任何复数$r$。本文给出了有理$r$的$H_r$的超越性的一个新的证明。对于$q>1,$的某些特殊值,给出了代数数上线性无关调和数$H_{a/q}$与$ 1 \leq a \leq q$的个数的上界.另外,对于任何有限的奇素数集$J$和$|J|=n,$定义$$W_J=\overline{\mathbb{Q}}-\text {span of } \{ H_1, \ H_{a_{j_i}/q_i} | \ 1 \leq a_{j_i} \leq q_i -1, \ 1 \leq j_i \leq q_i-1, \ \ \forall q_i \in J\}.$$。最后,我们证明了$$\text{ dim }_{\overline{\mathbb{Q}}} ~W_J=\sum\limits_{\substack{i=1 \\ q_i \in J}}^n \frac{ϕ(q_i )}{2} + 2.$$
2018-10-23 math.NT
Rectangular representations and $λ$-independence of algebraic monodromy groups
The University of Hong Kong(香港大学);Chonnam National University(全南国立大学)
本文定义了复半单李代数有限维表示的矩形性,完全分类了忠实矩形表示,并应用于数域λ-adic伽罗瓦表示相容系的代数单值群的λ-独立性新结果。
2026-05-26 math.NT math.RT
Algebraic independence of $G$-functions and congruences "à la Lucas"
给出了一种证明$G$ -函数代数独立性的新方法。我们的方法依赖于以下观察:$G$ -功能并不总是一个单一的线性微分方程,但有时也与一个无限的家庭的线性差分方程与Frobenius是通过减少模素理想。当这些线性差分方程具有一阶时,$G$ -函数的系数满足令人想起卢卡斯关于二项式系数的经典定理的同余。我们用它来推导一个类似Kolkin的代数独立性准则。我们证明了这一标准的相关性,使用p-adic工具,许多经典的家庭的$G$ -功能变成满足同余“LA卢卡斯”。
2016-03-14 math.CO math.NT
Tannakian duality for Anderson-Drinfeld motives and algebraic independence of Carlitz logarithms
我们开发了一个理论的Tannakian伽罗瓦群的t-动机,并将其与Frobenius半线性差分方程的理论。我们证明了与给定的t-动机相关联的周期矩阵的超越度等于它的伽罗瓦群的维数。利用这个结果,我们证明了在有理函数域上线性无关的代数函数的Carlitz图是代数无关的。
2007-06-29 math.AG math.NT