A note on prime index of a certain subgroup in $\mathbb{F}_p^*$
在广义黎曼假设下,研究 $\mathbb{F}_p^*$ 中由 $-1$ 和 $2$ 生成的子群具有奇素数指标的素数比例,证明其与指标大于 $2$ 的素数之比趋近 $46\\%$。
2023-10-11 math.NT
Fields Generated by Finite Rank Subgroups of $\overline{\mathbb{Q}}^*$
设$Γ$是$\overline{\mathbb{Q}}^*$的有限秩子群.我们证明了由$Γ$的可分壳中的所有元素生成的域的乘法群是模这个可分壳的自由阿贝尔群。这证明了Rémond的广义Lehmer猜想的一个必要条件是成立的。
2020-07-30 math.NT
Minimal Subgroups of ${\rm GL}_2(\mathbb{Z}_{S})$
本文研究 ${\rm GL}_2(\mathbb{Z}_S)$ 中行列式满射的极小子群,证明其仅在 $S=\{2\}$ 时存在,给出相关亏格0模曲线模型,并构造仅在2处坏约化的椭圆曲线无限族。
2024-09-07 math.NT
On the Mod $p$ Cohomology of Pro-$p$ Iwahori Subgroups of $\operatorname{SL}_{n}(\mathbb Q_{p})$
本文可以看作是作者论文的一部分更新。我们研究了$n=2$和$n=3$的$\operatorname{SL}_{n}(\mathbb Q_{p})$(和$\operatorname{GL}_{n}(\mathbb{Q}_{p})$)的前$p$ Iwahori子群$I$的mod $p$上同调。在这里,我们使用索伦森的谱序列$E_{1}^{s,t} = H^{s,t}(\mathfrak{g},\mathbb{F}_{p}) \Longrightarrow H^{s+t}(I,\mathbb{F}_{p})$,并使用$I$的有序基进行显式计算,这给出了我们用来计算$H^{s,t}(\mathfrak{g},\mathbb{F}_{p})$的$\mathfrak{g} = \mathbb{F}_{p} \otimes_{\mathbb{F}_{p}[π]} \operatorname{gr} I$的基。我们注意到乘法谱序列$E_{1}^{s,t} = H^{s,t}(\mathfrak{g},\mathbb{F}_{p})$在第一页上折叠,注意到每一页上的所有映射都必然是平凡的,这允许我们描述上面的群上同调群和所有杯积。最后我们指出了$\mathbb{Q}_{p}$上的中心除代数与上同调的一些联系,并指出了今后的研究方向。
2022-11-13 math.NT
On the images of the Galois representations attached to certain RAESDC automorphic representations of $\mbox{GL}_n(\mathbb{A}_{\mathbb{Q}})$
在80年代,Aschbacher对几乎所有的有限几乎单群的极大子群进行了分类。基本上,这种分类将这些亚组分为两类。第一种类型大致由保留某种几何结构的子群组成,因此它们通常被称为几何类型的子群。本文证明了与$\mbox{GL}_n(\mathbb{A}_{\mathbb{Q}})$的正则代数、本质自对偶、尖点自守表示相关的$n$维伽罗瓦表示的无穷多相容系统$\{ ρ_\ell \}_\ell$的存在性(甚至是$n$)使得对于几乎所有素数$\ell$,$\overlineρ_{\ell}$的图像($ρ_\ell$约化的半简化)不能包含在$n$维辛或正交群的几何型极大子群中。然后,我们将这一结果应用到一些12维的表示,给启发式的证据对逆伽罗瓦问题的偶数维正交群。
2018-08-21 math.NT
On the distribution of primitive subgroups of $\mathbb{Z}^{d}$ of large covolume
证明了大余体积$\mathbb{Z}^{d}$的秩- $\left(d-1\right)$本原子群在$\mathbb{R}^{d}$的秩- $\left(d-1\right)$离散子群的同伦类空间$X_{d-1,d}$中象的存在性,并计算了象的极限分布.这推广了Aka,Einsiedler和Shapira的一个定理.
2019-08-20 math.DS math.NT
On Some Diophantine Parameters of the Cyclic Torsion Subgroups of Odd Order of Elliptic Curves over $\mathbb{Q}$
本文研究有理数域上椭圆曲线奇阶循环挠子群,并给出了其若干显式丢番图参数。
2025-08-24 math.AG math.NT
When is a subgroup of a ring an ideal?
设$R$是交换环.什么时候$(R, +)$的子群是$R$的理想?我们研究环$\mathbb{Z}^{d}$和$\prod_{i=1}^{d} \mathbb{Z}_{n_{i}}$的这个问题。对于这些环的各种子群,我们得到了上述问题有肯定答案的充要条件。在$\mathbb{Z} \times \mathbb{Z}$和$\mathbb{Z}_n \times \mathbb{Z}_m$的情况下,我们的结果给,这些环的任何给定的子群,一个可计算的标准考虑中的问题。我们还计算了从$\mathbb{Z}_n \times \mathbb{Z}_m$中随机选择的子群是理想子群的概率。
2015-06-17 math.AC math.NT
A classification of $\mathbb C$-Fuchsian subgroups of Picard modular groups
给定$\mathbb Q$的一个虚二次扩张$K$,给出了复双曲平面$\mathbb H^2_\mathbb C$中Picard模群$\operatorname{PSU}_{1,2}(\mathcal O_K)$的保复测地线的极大非初等子群的分类.作为对Holzapfel,Chinburg-Stover和Möller-Toledo工作的补充,我们证明了这些最大$\mathbb C$ -Fuchsian子群是算术的,它们是由四元数代数$\Big(\!\begin{array}{c} D\,,D_K\\\hline\mathbb QQ\end{array} \!\Big)$对某些显式$D\in\mathbb N-\{0\}$和$D_K$ $K$的判别式产生的.从而证明了在$\mathbb P_2(\mathbb C)$的超球面中存在无穷多个$K$ -算术链轨道.
2015-04-08 math.GR math.NT
Pink-type results for general subgroup of $\operatorname{SL}_2(\mathbb{Z}_\ell)^n$
在不假设$G$是亲$\ell$群的情况下,利用相关李代数研究了$\operatorname{SL}_2(\mathbb{Z}_\ell)^n$的开子群$G$,从而推广了Pink的一个定理.这一结果对伽罗瓦表示族的研究具有应用价值。
2015-08-09 math.GR math.NT
Arithmetic Progressions of Length Three in Multiplicative Subgroups of $\mathbb{F}_p$
在本文中,我们给出了一个算法,用于检测非平凡的3-AP的乘法子群的$\mathbb{F}_p^\times$,这是更有效的比天真的方法。因此,某些类瓦尔登数可以在多项式时间内计算。
2019-02-26 cs.DS math.NT
Distribution of residues in approximate subgroups of $\mathbb{F}_p^*$
我们延长了一个结果由于布尔甘的均匀分布的残留证明子集的类型$f(I)\cdot H$是equidistributed($p$趋于无穷大),其中$f$是一个多项式,$I$是一个区间的$\Fp$和$H$是一个近似子群的$\mathbb{F}_p^*$的大小大于polylogarithmic在$p$。
2012-07-11 math.CO math.NT
Noether's problem for some subgroups of $S_{14}$: the modular case
设$G$是$S_{n}$的子群,$S_{n}$是次数为$n$的对称群。对于任何域$k$,$G$通过由$σ\cdot x_{i}:=x_{σ\cdot i}$为任何$σ\in G$和$1\leq i\leq n$定义的$k$ -自同构自然地作用于有理函数域$k(x_{1},\cdots,x_{n})$。在这篇文章中,我们将证明,如果$G$是$S_{14}$和$\text{char}(k)=7$的可解传递子群,则固定子域$k(x_{1},\cdots,x_{14})^{G}$是有理数(即,纯粹先验的)在$k$上。在证明上述定理时,我们依赖于Kuniyoshi-Gaschütz定理或其证明中的一些想法。
2020-11-07 math.AG math.NT
Lifting Subgroups of Symplectic Groups over $\mathbb{Z} / \ell \mathbb{Z}$
对于正整数$g$,令$\mathrm{Sp}_{2g}(R)$表示环$R$上的$2g \times 2g$辛矩阵群。假设为$g \ge 2$。对于素数$\ell$,我们给出了一个完备的证明,证明了$\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$的任何闭子群如果上围在$\mathrm{Sp}_{2g}(\mathbb{Z}/\ell\mathbb{Z})$上,就一定等于所有的$\mathrm{Sp}_{2g}(\mathbb{Z}_\ell)$ .结果和方法的证明都是出于群论的考虑,出现在研究伽罗瓦表示相关的阿贝尔品种。
2017-03-25 math.GR math.NT math.RT
Connected fundamental domains for congruence subgroups
Utah State University(犹他州立大学)
本文通过研究同余子群的项目线结构,构造了连通的基本域代表集,并引入了多重性函数M与可计算函数W,展示了其在数学中的应用。
2026-08-11 math.GR math.NT
A classification of $\mathbb R$-Fuchsian subgroups of Picard modular groups
本研究对虚二次域上Picard模群中保持复双曲平面内全实全测地平面的极大非初等$\u211d$-Fuchs子群进行分类,证明其算术性并明确其来源的四元数代数,得出复射影平面超球面中存在无穷多$K$-算术$\u211d$-圆轨道的结论。
2019-02-18 math.CV math.NT
Formal Siegel modular forms for arithmetic subgroups
本文研究算术子群的形式西格尔模形式,证明在仿射覆盖数有上界时其均可由经典全纯西格尔模形式的傅里叶-雅可比展开给出,并验证属2至4时该条件恒成立,进而应用于属2无平方水平参数模群。
2024-07-08 math.AG math.NT
An arithmetic analog of Klein's classification of finite subgroups of $\mathrm{SL}_2(\mathbb{C})$
本文研究了 $\mathrm{SL}_2$ 在数域整数环上的有限、平坦且线性约化子群概型的分类问题,建立了其有限性及相关商奇点的密度结果,作为 Klein 经典分类的算术类比。
2025-06-26 math.AG math.NT
Explicit spectral gap for Schottky subgroups of $\mathrm{SL} (2,\mathbb{Z})$
本文研究整数特殊线性群 Schottky 子群对应双曲曲面同余覆盖的谱隙,在极限集足够厚时给出 Laplace–Beltrami 算子第二特征值的一致显式下界。
2023-04-19 math.DG math.NT math.SP
Uniform exponential mixing and resonance free regions for convex cocompact congruence subgroups of $\operatorname{SL}_2(\mathbb{Z})$
设$Γ<\mathrm{SL}_2(\mathbb{Z})$是一个非初等代数生成的子群,$Γ(q)$是它的同馀子群,对于每个$q\in \mathbb{N}$,它是水平$q$的同馀子群.对于所有无平方因子的素除子不存在的$q$,我们得到了具有{ \it uniform}指数误差项的$L^2(Γ(q) \backslash \mathrm{SL}_2(\mathbb{R}))$矩阵系数的渐近公式.作为应用,我们建立了一个均匀的共振自由半平面的拉普拉斯算子在$Γ(q) \backslash \mathbb{H}^2$上的预解式在$q$如上。我们的方法是延长Dolgopyat的指数混合的测地流一致的同余覆盖的动力学证明,通过建立一致的谱界的同余转移算子相关的测地流。其中一个关键因素是由于Bourgain-Gamburd-Sarnak的扩展理论。
2015-09-21 math.DS math.GT math.NT