F. Jouve, E. Kowalski, D. Zywina
Using the principle that characteristic polynomials of matrices obtained from elements of a reductive group over a number field typically have splitting field with Galois group isomorphic to its Weyl group, we construct an explicit monic integral polynomial of degree 240 whose splitting field has Galois group the Weyl group of the exceptional group of type E_8.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Right Splitting, Galois Correspondence, Galois Representations and Inverse Galois Problem
本文通过研究右分裂、伽罗瓦对应和伽罗瓦表示，实现某些群作为有理数域和有限扩展域的伽罗瓦群。
Finding Galois splitting models to compute local invariants
本研究利用伽罗瓦分裂模型思想计算合次数分歧扩张的相关伽罗瓦不变量，补充了Jones和Roberts建立的p进扩张不变量数据库，并提出了含泛多项式与Panayi根查找算法的多种找伽罗瓦分裂模型的策略。
We enhance the analogy between field extensions and covering spaces by introducing the concept of splitting covering which correspondences to the splitting field in Galois theory. We define semi-topological Galois groups for Weierstrass polynomials and prove the existence of a Galois correspondence. This new tool enables us to study the inverse Galois problem from a new viewpoint.
Using the action of the Galois group of a normal extension of number fields, we generalize and symmetrize various fundamental statements in algebra and algebraic number theory concerning splitting types of prime ideals, factorization types of polynomials modulo primes, and cycle types of the Galois groups of polynomials. One remarkable example is the removal of all artificial constraints from the Kummer-Dedekind Theorem that relates splitting and factorization patterns. Finally, we present an elementary proof that the discriminant of the splitting field of a monic irreducible polynomial with i…
We describe algorithms to compute fixed fields, splitting fields and towers of radical extensions without using polynomial factorisation in towers or constructing any field containing the splitting field, instead extending Galois group computations for this task. We also describe the computation of geometric Galois groups (monodromy groups) and their use in computing absolute factorizations.
This paper continues the study of certain two-dimensional Galois representations attached to modular forms (mod p) via a construction due to Deligne. In particular, we prove a criterion for determining when the representation is split when restricted to a decomposition group at p.While this problem was already well understood for "nonexceptional" modular forms, here we specifically address the "exceptional" case. Although the problem is not solved in all generality, it is reasonable to hope that this proof will in fact provide the framework of a proof in the more general case.
On Minimal generating sets of splitting field, Cluster towers and Multiple transitivity of Galois groups
本文研究了分裂域中最小生成集的性质，揭示了其在Galois群多重传递性下的行为，并将其与根聚类塔概念联系起来。
A splitting field of a central simple algebra is said to be absolute Galois if it is Galois over some fixed subfield of the centre of the algebra. The paper provides an existence theorem for such fields over global fields with enough roots of unity. As an application, all twisted function fields and all twisted Laurent series rings over symbol algebras (or p-algebras) over global fields are crossed products. A closely related statement holds for division algebras over Henselian valued fields with global residue field. The existence of absolute Galois splitting fields in central simple algebras…
This paper justifies an assertion in (Elder, Proc AMS 137 (2009), no 4, 1193--1203) that Galois scaffolds make the questions of Galois module structure tractable. Let $k$ be a perfect field of characteristic $p$ and let $K=k((T))$. For the class of characteristic $p$ elementary abelian $p$-extensions $L/K$ with Galois scaffolds described in mentioned paper, we give a necessary and sufficient condition for the valuation ring $\mathfrak{O}_L$ to be free over its associated order $\mathcal{A}_{L/K}$ in $K[\Gal(L/K)]$. Interestingly, this condition agrees with the condition found by Y. Miyata, con…
Splitting of Polynomial Families via Galois Theory
利用经典伽罗瓦理论和Chebotarev密度定理，研究有限域上参数化多项式族的分裂行为，推广Slavov关于平方值独立性的结果到n次幂剩余，并解释为Kummer扩张的线性无关条件。
We prove very general index formulae for integral Galois modules, specifically for units in rings of integers of number fields, for higher K-groups of rings of integers, and for Mordell-Weil groups of elliptic curves over number fields. These formulae link the respective Galois module structure to other arithmetic invariants, such as class numbers, or Tamagawa numbers and Tate-Shafarevich groups. This is a generalisation of known results on units to other Galois modules and to many more Galois groups, and at the same time a unification of the approaches hitherto developed in the case of units.
We investigate some Galois groups of linearized polynomials over fields such as $\mathbb{F}_q(t)$. The space of roots of such a polynomial is a module for its Galois group. We present a realization of the symmetric powers of this module, as a subspace of the splitting field of another linearized polynomial.
We present a method to determine Frobenius elements in arbitrary Galois extensions of global fields, which may be seen as a generalisation of Euler's criterion. It is a part of the general question how to compare splitting fields and identify conjugacy classes in Galois groups, that we will discuss as well.
Tame Galois Groups, Linking Numbers and Mildness
通过结合加权Zassenhaus滤过、图论方法和Koch型表示，证明对于任意有限驯服素数集S0（|S0|≥2），存在两个驯服素数组成的集合S1使得G_{S0∪S1}的上同调维数为2，从而改进了Labute的结果并回答了其关于温和群的问题。
We show that any Lambda-ring, in the sense of Riemann-Roch theory, which is finite etale over the rational numbers and has an integral model as a Lambda-ring is contained in a product of cyclotomic fields. In fact, we show that the category of them is described in a Galois-theoretic way in terms of the monoid of pro-finite integers under multiplication and the cyclotomic character. We also study the maximality of these integral models and give a more precise, integral version of the result above. These results reveal an interesting relation between Lambda-rings and class field theory.
Let F be a finitely generated field of characteristic zero and Γ<GL_n(F) a finitely generated subgroup. For an element g in Γ, let Gal(F(g)/ F) be the Galois group of the splitting field of the characteristic polynomial of g over F. We show that the structure of Gal(F(g)/ F) has a typical behaviour depending on F, and on the geometry of the Zariski closure of Γ(but not on Γ).
We prove modularity for any irreducible crystalline $\ell$-adic odd 2-dimensional Galois representation (with finite ramification set) unramified at 3 verifying an "ordinarity at 3" easy to check condition, with Hodge-Tate weights $\{0, w \}$ such that $2 w < \ell$ (and $\ell > 3$) and such that the traces $a_p$ of the images of Frobenii verify $\Q(\{a_p \}) = \Q $. This result applies in particular to any motivic compatible family of odd two-dimensional Galois representations of $\Gal(\bar{\Q}/\Q)$ if the motive has rational coefficients, good reduction at 3, and the "ordinarity at 3" conditi…
On the Galois-module structure of polydifferentials of Artin-Schreier-Mumford curves, modular and integral representation theory
本文利用调和上闭链理论研究了正特征域上 Mumford 曲线多重微分的 Galois 模结构，并显式计算了 Artin-Schreier-Mumford 曲线全纯多重微分的结构。
Let $L/K$ be a finite, totally ramified $p$-extension of complete local fields with residue fields of characteristic $p > 0$, and let $A$ be a $K$-algebra acting on $L$. We define the concept of an $A$-scaffold on $L$, thereby extending and refining the notion of a Galois scaffold considered in several previous papers, where $L/K$ was Galois and $A=K[G]$ for $G=\mathrm{Gal}(L/K)$. When a suitable $A$-scaffold exists, we show how to answer questions generalizing those of classical integral Galois module theory. We give a necessary and sufficient condition, involving only numerical parameters, f…
Let $p$ be prime. Let $L/K$ be a finite, totally ramified, purely inseparable extension of local fields, $\left[ L:K\right] =p^{n},\;n\geq2.$ It is known that $L/K$ is Hopf Galois for numerous Hopf algebras $H,$ each of which can act on the extension in numerous ways. For a certain collection of such $H$ we construct "Hopf Galois scaffolds" which allow us to obtain a Hopf analogue to the Normal Basis Theorem for $L/K.$ The existence of a scaffold structure depends on the chosen action of $H$ on $L.$ We apply the theory of scaffolds to describe when the fractional ideals of $L$ are free over th…
We analyze the probability that, for a fixed finite set of primes S, a random, monic, degree n polynomial f(x) with integer coefficients in a box of side B around 0 satisfies: (i) f(x) is irreducible over the rationals, with splitting field over the rationals having Galois group $S_n$; (ii) the polynomial discriminant Disc(f) is relatively prime to all primes in S; (iii) f(x) has a prescribed splitting type at each prime p in S. The limit probabilities as $B \to \infty$ are described in terms of values of a one-parameter family of measures on $S_n$, called splitting measures, with parameter $z…
In this note, we consider function fields of higher-dimensional algebraic varieties defined over non-local fields, and show how the Galois action on the cohomology such function fields can be used to parameterize their divisorial valuations. By applying a recent theorem of Pop, we observe that, in dimension $\geq 3$, this information is enough to completely determine the function field and the base-field in question.
We characterize finite Galois extensions $K$ of the field of rational numbers in terms of the rings ${\rm Int}_{\mathbb{Q}}(\mathcal O_K)$, recently introduced by Loper and Werner, consisting of those polynomials which have coefficients in $\mathbb{Q}$ and such that $f(\mathcal O_K)$ is contained in $\mathcal O_K$. We also address the problem of constructing a basis for ${\rm Int}_{\mathbb{Q}}(\mathcal O_K)$ as a $\mathbb{Z}$-module.
In his paper titled "Torsion points on Fermat Jacobians, roots of circular units and relative singular homology", Anderson determines the homology of the degree $n$ Fermat curve as a Galois module for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_n)}$. In particular, when $n$ is an odd prime $p$, he shows that the action of $G_{\mathbb{Q}(ζ_p)}$ on a more powerful relative homology group factors through the Galois group of the splitting field of the polynomial $1-(1-x^p)^p$. If $p$ satisfies Vandiver's conjecture, we prove that the Galois group of this splitting field over $\mathbb{…
Irreducibility of Newton strata in Picard modular surfaces and split local Galois representations
本文通过计算分歧素数处Picard模曲面特殊纤维中非寻常Newton层闭包的单值群与不可约性，证明Picard模形式的伴随形式存在性等价于其关联局部Galois表示的分歧性质。
We prove that the number of unimodular integral matrices in a norm ball whose characteristic polynomial has Galois group different than the full symmetric group is of strictly lower order of magnitude than the number of all such matrices in the ball, as the radius increases. More generally, we prove a similar result for the Galois groups associated with elements in any connected semisimple linear algebraic group defined and simple over a number field $F$. Our method is based on the abstract large sieve method developed by Kowalski, and the study of Galois groups via reductions modulo primes de…
Let~$E$ be a Hilbertian field of characteristic~$0$. R.W.K. Odoni conjectured that for every positive integer~$n$ there exists a polynomial~$f\in E[X]$ of degree~$n$ such that each iterate~$f^{\circ{k}}$ of~$f$ is irreducible and the Galois group of the splitting field of~$f^{\circ k}$ is isomorphic to the automorphism group of a regular,~$n$-branching tree of height~$k.$ We prove this conjecture when~$E$ is a number field.
Twisted Siegel-Weil formulas for $\mathrm{GL}_2$ over non-Galois quartic CM fields
研究非伽罗瓦四次CM域上\(\mathrm{GL}_2\)的扭曲西格尔 - 韦伊公式，通过联系扭曲西塔积分与赫克积分的土居 - 永野提升，证明雅克比 - 朗兰兹对应基变换是同构，还得出博切尔兹形式扭曲CM值相关结论。
Let $N/F$ be an odd degree Galois extension of number fields with Galois group $G$ and rings of integers ${\mathfrak O}_N$ and ${\mathfrak O}_F=\bo$ respectively. Let $\mathcal{A}$ be the unique fractional ${\mathfrak O}_N$-ideal with square equal to the inverse different of $N/F$. Erez has shown that $\mathcal{A}$ is a locally free ${\mathfrak O}[G]$-module if and only if $N/F$ is a so called weakly ramified extension. There have been a number of results regarding the freeness of $\mathcal{A}$ as a $\Z[G]$-module, however this question remains open. In this paper we prove that $\mathcal{A}$ i…
In this paper we discuss applications of our earlier work in studying certain Galois groups and splitting fields of rational functions in $\mathbb Q\left(X_0(N)\right)$ using Hilbert's irreducibility theorem and modular forms. We also consider computational aspect of the problem using MAGMA and SAGE.
Motivic Galois theory for one-loop Feynman integrals in momentum space
本文提出了一种动机构建一阶费曼积分在动量空间中的理论，通过关联通用动量学的动机局部系统来处理带有切口的图，并计算了这些系统的重量分量，这些分量是与最大切口商图相关的二次Artin动机的塔扭曲。
In this paper, we study the Iwasawa theory of a motive whose Hodge-Tate weights are $0$ or $1$ (thence in practice, of a motive associated to an abelian variety) at a non-ordinary prime, over the cyclotomic tower of a number field that is either totally real or CM. In particular, under certain technical assumptions, we construct Sprung-type Coleman maps on the local Iwasawa cohomology groups and use them to define integral $p$-adic $L$-functions and (one unconditionally and other conjecturally) cotorsion Selmer groups. This allows us to reformulate Perrin-Riou's main conjecture in terms of the…
Explicit descriptions of local integral Galois module generators in certain extensions of $p$-adic fields due to Pickett have recently been used to make progress with open questions on integral Galois module structure in wildly ramified extensions of number fields. In parallel, Pulita has generalised the theory of Dwork's power series to a set of power series with coefficients in Lubin-Tate extensions of $\Q_p$ to establish a structure theorem for rank one solvable p-adic differential equations. In this paper we first generalise Pulita's power series using the theories of formal group exponent…
Cup product of inhomogeneous Tate cochains, and Galois cohomology of tori over local fields that split over cyclic extensions
本文给出Tate上同调中杯积的非齐次上链公式，并用于计算分裂于循环扩张的局部域上环面的一阶上同调类的显式上循环。
In this paper, we consider integral and irreducible binary quartic forms whose Galois group is isomorphic to a subgroup of the dihedral group of order eight. We first show that the set of all such forms is a union of families indexed by integral binary quadratic forms $f(x,y)$ of non-zero discriminant. Then, we shall enumerate the $\operatorname{GL}_2(\mathbb{Z})$-equivalence classes of all such forms associated to a fixed $f(x,y)$.
Minimal Mahler Measure in Quartic Galois Number Fields
本研究聚焦四次伽罗瓦数域中最小整马勒测度与域判别式的关联，推导了有条件依赖ABC猜想的密度结论及若干无条件结论。
The groups $\operatorname{SL}_2(\mathbb{F}_{13})$ and $\operatorname{SL}_2(\mathbb{F}_{19})$ are Galois over $\mathbb{Q}$
本文通过构造对应次数的多项式、验证Böge准则并求解中心嵌入问题，结合二次扭与Hurwitz族、模方程工具，证明了两个特殊线性群是有理数域全实扩张的伽罗瓦群。
Given two monic polynomials f and g with coefficients in a number field K, and some a in K, we examine the action of the absolute Galois group of K on the directed graph of iterated preimages of a under the correspondence g(y)=f(x), assuming that deg(f)>deg(g) and that gcd(deg(f), deg(g))=1. If a prime of K exists at which f and g have integral coefficients, and at which a is not integral, we show that this directed graph of preimages consists of finitely many Galois-orbits. We obtain this result by establishing a p-adic uniformization of such correspondences, tenuously related to Bottcher's u…
On the analyticity of the maximal extension of a number field with prescribed ramification and splitting
本文在偏离Tame Fontaine-Mazur猜想的假设下，完全刻画了可作为数域指定分歧与分裂的极大pro-p扩张Galois群的p-adic解析群。
Let $L/K$ be a finite Galois CM-extension of number fields with Galois group $G$. In an earlier paper, the author has defined a module $SKu(L/K)$ over the center of the group ring $\mathbb Z[G]$ which coincides with the Sinnott-Kurihara ideal if $G$ is abelian and, in particular, contains many Stickelberger elements. It was shown that a certain conjecture on the integrality of $SKu(L/K)$ implies the minus part of the equivariant Tamagawa number conjecture at an odd prime $p$ for an infinite class of (non-abelian) Galois CM-extensions of number fields which are at most tamely ramified above $p$…
The Mathieu group $M_{23}$ is a Galois group over $\mathbb{Q}$
该研究完成逆伽罗瓦问题的相关计划，证明Mathieu群$M_{23}$是$\boldsymbol{\text{Q}}$上的伽罗瓦群，构造了对应显式23次多项式，利用非刚性共轭类三元组与数值Belyi映射算法完成证明。
Breuil-Kisin modules and integral $p$-adic Hodge theory
本文通过构造带 Galois 作用的 Breuil-Kisin 模范畴，分类积分半稳定 Galois 表示，并给出有限 $E(u)$-高度表示的分类，从而建立积分 $p$-进 Hodge 理论的代数对应物。
Let L/K be a finite Galois extension of complete local fields with finite residue fields and let G=Gal(L/K). Let G_1 and G_2 be the first and second ramification groups. Thus L/K is tamely ramified when G_1 is trivial and we say that L/K is weakly ramified when G_2 is trivial. Let O_L be the valuation ring of L and let P_L be its maximal ideal. We show that if L/K is weakly ramified and n is congruent to 1 mod |G_1| then P_L^n is free over the group ring O_K[G], and we construct an explicit generating element. Under the additional assumption that L/K is wildly ramified, we then show that every…
We make a zig-zag conjecture describing the reductions of irreducible crystalline two-dimensional representations of $G_{\mathbb{Q}_p}$ of half-integral slopes and exceptional weights. Such weights are two more than twice the slope mod $(p-1)$. We show that zig-zag holds for half-integral slopes at most $\frac{3}{2}$. We then explore the connection between zig-zag and local constancy results in the weight. First we show that known cases of zig-zag force local constancy to fail for small weights. Conversely, we explain how local constancy forces zig-zag to fail for some small weights and half-i…
Proving the Grothendieck--Teichmüller Conjecture for Profinite Spaces & The Galois Grothendieck Path Integral
本文在有限空间情形下证明格罗滕迪克-泰希缪勒猜想，通过推广路径积分构造新算术不变量，并提出立方套娃算法编码GT与Gal路径，揭示二者同构与对称性对应。
We establish a connection between the theory of cyclotomic ideal class groups and the theory of "geometric" Galois modules and obtain results on the Galois module structure of coherent cohomology groups of Galois covers of varieties over Z. In particular, we show that an invariant that measures the obstruction to the existence of a virtual normal integral basis for the coherent cohomology of such covers is annihilated by a product of certain Bernoulli numbers with orders of even K-groups of Z. We also show that the existence of such a normal integral basis is closely connected to the truth of …
Chebyshev's Bias against Splitting and Principal Primes in Global Fields
本文基于深度黎曼假设，探讨了切比雪夫偏差的成因，提出了一种新的偏差表述方法，并在伽罗华扩张中建立了素数偏差的判据，应用于阿贝尔扩张中的非分裂和非主素数偏差研究。
In this paper, we develop a new necessary and sufficient condition for the vanishing of 4-Massey products of elements in the mod-2 Galois cohomology of a field. This new description allows us to define a splitting variety for 4-Massey products, which is shown in the Appendix to satisfy a local-to-global principle over number fields. As a consequence, we prove that, for a number field, all such 4-Massey products vanish whenever they are defined. This provides new explicit restrictions on the structure of absolute Galois groups of number fields.
In the first part of this paper we study the coaction dual to the action of the cosmic Galois group on the motivic lift of the sunrise Feynman integral with generic masses and momenta, and we express its conjugates in terms of motivic lifts of Feynman integrals associated to related Feynman graphs. Only one of the conjugates of the motivic lift of the sunrise, other than itself, can be expressed in terms of motivic lifts of Feynman integrals of subquotient graphs. To relate the remaining conjugates to Feynman integrals we introduce a general tool: subdiving edges of a graph. We show that all m…
The Significance of Proposition II in Galois' Mémoire, The Origin of Galois Automorphisms
研究伽罗瓦《回忆录》中命题二，重构其核心内容，用现代术语刻画“置换群”和“代换群”，证明伽罗瓦群的代换是分裂域自同构，建立伽罗瓦原始表述与现代伽罗瓦理论表述的联系。
We establish new conditions that prevent the existence of (weak) normal integral bases in tame Galois extensions of number fields. This leads to the following result: under appropriate technical hypotheses, the existence of a normal integral basis in the upper layer of an abelian tower Q \subset K \subset L forces the tower to be split in a very strong sense.
Integrality of Stickelberger elements and annihilation of natural Galois modules
本文研究 Stickelberger 元的系数分母及其对类群和 Quillen K-群的零化作用，将 Brumer、Coates–Sinnott 相关进展推广到幂零扩张，并回答 Greenberg–Gross 问题。
Let L be an abelian number field of degree n with Galois group G. In this paper we study how to compute efficiently a normal integral basis for L, if there is at least one, assuming that the group G and an integral basis for L are known.
Massey products and unipotent extensions with restricted ramification
本文构造了具有限制分歧和分裂的数域pro-p扩张新例子，其伽罗瓦群分解为局部域pro-p绝对伽罗瓦群的余积，并证明这些扩张满足强Massey消失性质，从而具有大的单幂商。
When monic integral polynomials of degree $n \geq 2$ are ordered by the maximum of the absolute value of their coefficients, the Hilbert irreducibility theorem implies that asymptotically 100% are irreducible and have Galois group isomorphic to $S_n$. In particular, amongst such polynomials whose coefficients are bounded by $B$ in absolute value, asymptotically $(1+o(1))(2B+1)^n$ are irreducible and have Galois group $S_n$. When $G$ is a proper transitive subgroup of $S_n$, however, the asymptotic count of polynomials with Galois group $G$ has been determined only in very few cases. Here, we s…
We prove an integral formula computing multiplicities of square-integrable representations relative to Galois pairs over $p$-adic fields and we apply this formula to verify two consequences of a conjecture of Dipendra Prasad. One concerns the exact computation of the multiplicity of the Steinberg representation and the other the invariance of multiplicities by transfer among inner forms.
Let $L/K$ be a finite Galois, totally ramified $p$-extension of complete local fields with perfect residue fields of characteristic $p>0$. In this paper, we give conditions, valid for any Galois $p$-group $G={Gal}(L/K)$ (abelian or not) and for $K$ of either possible characteristic (0 or $p$), that are sufficient for the existence of a Galois scaffold. The existence of a Galois scaffold makes it possible to address questions of integral Galois module structure, which is done in a separate paper. But since our conditions can be difficult to check, we specialize to elementary abelian extensions …
Let $E$ be an elliptic curve over a finite field $k$, and $\ell$ a prime number different from the characteristic of $k$. In this paper we consider the problem of finding the structure of the Tate module $T_\ell(E)$ as an integral Galois representations of $k$. We indicate an explicit procedure to solve this problem starting from the characteristic polynomial $f_E(x)$ and the $j$-invariant $j_E$ of $E$. Hilbert Class Polynomials of imaginary quadratic orders play here an important role. We give a global application to the study of prime-splitting in torsion fields of elliptic curves over numbe…
Let $Z \to X$ be a finite branched Galois cover of normal projective geometrically integral varieties of dimension $d \geq 2$ over a perfect field $k$. For such a cover, we prove a Chebotarev-type density result describing the decomposition behaviour of geometrically integral Cartier divisors. As an application, we classify Galois covers among all finite branched covers of a given normal geometrically integral variety $X$ over $k$ by the decomposition behaviour of points of a fixed codimension $r$ with $0 < r < \dim X$.
We construct and study the moduli of continuous representations of a profinite group with integral $p$-adic coefficients. We present this moduli space over the moduli space of continuous pseudorepresentations and show that this morphism is algebraizable. When this profinite group is the absolute Galois group of a $p$-adic local field, we show that these moduli spaces admit Zariski-closed loci cutting out Galois representations that are potentially semi-stable with bounded Hodge-Tate weights and a given Hodge and Galois type. As a consequence, we show that these loci descend to the universal de…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。