Christophe Soulé
Let p be an odd prime, n an odd positive integer and C the p-Sylow subgroup the class group of the p-cyclotomic extension of the rationals. When log(p) is bigger than n**(224n**4), we prove that the eigenspace on C attached to the (p-n)-th power of the Teichmuller character is trivial. The proof uses the K-theory of the integers and the Voronoi reduction theory of quadratic forms.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The link between Vandiver's conjecture and Gauss sums is well known since the papers of Iwasawa (1975), Thaine (1995-1999) and Angl{è}s-Nuccio (2010). This conjecture is required in many subjects and we shall give such examples of relevant references. In this paper, we recall our interpretation of Vandiver's conjecture in terms of minus part of the torsion of the Galois group of the maximal abelian p-ramified pro-p-extension of the pth cyclotomic field (1984). Then we provide a specific use of Gauss sums of characters of order p of F\_ell^x and prove new criteria for Vandiver's conjecture to h…
A famous conjecture bearing the name of Vandiver states that $p \nmid h_p^+$ in the $p$ - cyclotomic extension of $\Q$. Heuristics arguments of Washington, which have been briefly exposed in Lang (1978), p. 261 and Washington (1996), p. 158 suggest that the Vandiver conjecture should be false if certain conditions of statistical independence are fulfilled. In this note, we assume that Greenberg's conjecture is true for the \nth{p} cyclotomic extensions and prove an elementary consequence of the assumption that Vandiver's conjecture fails for a certain value of $p$: the result indicates that th…
Vandiver's conjecture states that any prime p does not divide the class number $h(R)$ of the maximal real subfield R of the p-th cyclotomic field. The aim of this paper is to prove Vandiver's conjecture, which has several consequences including the first case of Fermat's Great Theorem. The main idea lies in using relations of the algebraic K-theory and the Iwasawa theory, discovered by M.Kervaire and M.P.Murthy in 1977.
This article deals with a conjecture generalizing the second case of Fermat's Last Theorem, called $SFLT2$ conjecture: {\it Let $p>3$ be a prime, $K:=\Q(ζ)$ the $p$th cyclotomic field and $\Z_K$ its ring of integers. The diophantine equation $(u+vζ)\Z_K=\mk w_1^p$, with $u,v\in\Z\backslash\{0\}$ coprime, $uv\equiv 0 \bmod p$ and $\mk w_1$ ideal of $\Z_K$, has no solution.} Assuming that $SFLT2$ fails for $(p,u,v)$, let $q$ be an odd prime not dividing $uv$, $n$ the order of $\frac{v}{u}\bmod q$, $ξ$ a primitive $n$th root of unity and $M:=\Q(ξ,ζ)$. The aim of this complement of the article [GQ…
We compute all irregular primes less than 163,577,356. For all of these primes we verify that the Kummer-Vandiver conjecture holds and that the lambda-invariant is equal to the index of irregularity.
In this short note, we observe that the techniques of our recent work "Pseudo-modularity and Iwasawa theory" can be used to provide a new proof of some of the residually reducible modularity lifting results of Skinner and Wiles. In these cases, we have found that a deformation ring of ordinary pseudorepresentations is equal to the Eisenstein local component of a Hida Hecke algebra. We also show that Vandiver's conjecture implies Sharifi's conjecture.
We compute all irregular primes less than 2^31 = 2 147 483 648. We verify the Kummer-Vandiver conjecture for each of these primes, and we check that the p-part of the class group of Q(zeta_p) has the simplest possible structure consistent with the index of irregularity of p. Our method for computing the irregular indices saves a constant factor in time relative to previous methods, by adapting Rader's algorithm for evaluating discrete Fourier transforms.
This article deals with a conjecture, introduced in [GQ] (hereinafter $SFLT2$), which generalizes the second case of Fermat's Last Theorem: {\it Let $p>3$ be a prime. The diophantine equation $\frac{u^p+v^p}{u+v}=w_1^p$ with $u,v,u+v, w_1\in\Z\backslash\{0\}$, $u,v$ coprime and $v\equiv 0 \mod p$ has no solution.} Let $ζ$ be a $p$th primitive root of unity and $K:=\Q(ζ)$. A prime $q$ is said {\it $p$-principal} if the class of any prime ideal $\mathfrak q_K$ of $K$ over $q$ is a $p$-power of a class. Assume that $SFLT2$ fails for $(p,u,v)$. Let $q$ be any odd prime coprime with $puv$, $f$ the …
Let $p>3$ be a prime. Euler numbers $E_{p-3}$ first appeared in H. S. Vandiver's work (1940) in connection with the first case of Fermat Last Theorem. Vandiver proved that $x^p+y^p=z^p$ has no solution for integers $x,y,z$ with $\gcd(xyz,p)=1$ if $E_{p-3}\equiv 0 (\bmod p)$. Numerous combinatorial congruences recently obtained by Z.-W. Sun and by Z.-H. Sun involve the Euler numbers $E_{p-3}$. This gives a new significance to the primes $p$ for which $E_{p-3}\equiv 0 (\bmod p)$. For the computation of residues of Euler numbers $E_{p-3}$ modulo a prime $p$, we use the congruence which runs signi…
Let $p$ be an irregular prime. Let $K=\Q(ζ)$ be the $p$-cyclotomic field. From Kummer and class field theory, there exist Galois extensions $S/\Q$ of degree $p(p-1)$ such that $S/K$ is a cyclic unramified extension of degree $[S:K]=p$. We give an algebraic construction of the subfields $M$ of $S$ with degree $[M:\Q]=p$ and an explicit formula for the prime decomposition and ramification of the prime number $p$ in the extensions $S/K$, $M/\Q$ and $S/M$. In the last section, we examine the consequences of these results for the Vandiver's conjecture. This article is at elementary level on Classic…
For an odd prime $p$ satisfying Vandiver's conjecture, we give explicit formulae for the action of the absolute Galois group $G_{\mathbb{Q}(ζ_p)}$ on the homology of the degree $p$ Fermat curve, building on work of Anderson. Further, we study the invariants and the first Galois cohomology group which are associated with obstructions to rational points on the Fermat curve.
The Descartes-Frenicle-Sorli conjecture predicts that $k=1$ if $q^k n^2$ is an odd perfect number with Euler prime $q$. In this note, we present some conditions equivalent to this conjecture.
If $N={q^k}{n^2}$ is an odd perfect number given in Eulerian form, then the Descartes-Frenicle-Sorli conjecture predicts that $k=ν_{q}(N)=1$. In this article, we give a short proof for this conjecture.
The Euler's form of odd perfect numbers, if any, is $n=π^αN^2$, where $π$ is prime, $(π,N)=1$ and $π\equiv α\equiv 1 \pmod{4}$. Dris conjecture states that $N>π^α$. We find that $N^2>\frac{1}{2}π^γ$, with $γ=max\{ω(n)-1,α\}$; $ω(n)\geq 9$ is the number of distinct prime factors of $n$.
If $N={q^k}{n^2}$ is an odd perfect number given in Eulerian form, then the Descartes-Frenicle-Sorli conjecture predicts that $k=1$. Brown has recently announced a proof for the inequality $q < n$, and a partial proof that $q^k < n$ holds under many cases. In this article, we give a strategy for strengthening Brown's result to $q^2 < n$.
If $N={q^k}{n^2}$ is an odd perfect number given in Eulerian form, then Sorli's conjecture predicts that $k=ν_{q}(N)=1$. In this article, we give some further results related to this conjecture and those contained in the papers \cite{Dris} and \cite{Dris2}. (withdrawn because of a crucial gap in Theorem 1 [see https://arxiv.org/pdf/1309.0906.pdf for what is currently provable in this regard], as well as elementary mistakes in the numerical bounds from pages 2 to 4)
Dris conjectured in his masters thesis that the inequality $q^k < n$ always holds, if $N = {q^k}{n^2}$ is an odd perfect number with special prime $q$. In this note, we initially show that either of the two conditions $n < q^k$ or $σ(q)/n < σ(n)/q$ holds. This is achieved by first proving that $σ(q)/n \neq σ(n)/q^k$, where $σ(x)$ is the sum of the divisors of $x$. Using this analysis, we further show that the condition $q < n < q^k$ holds in four out of a total of six cases. Finally, we prove that $n < q^k$, and that this holds unconditionally. This finding disproves both the Dris Conjecture a…
Let $σ(x)$ be the sum of the divisors of $x$. If $N$ is odd and $σ(N) = 2N$, then the odd perfect number $N$ is said to be given in Eulerian form if $N = {q^k}{n^2}$ where $q$ is prime with $q \equiv k \equiv 1 \pmod 4$ and $\gcd(q,n) = 1$. In this note, we show that $q < n$ implies that Descartes's conjecture (previously Sorli's conjecture), $k = ν_{q}(N) = 1$, is not true. This then implies an unconditional proof for the biconditional $$k = ν_{q}(N) = 1 \Longleftrightarrow n < q.$$ Lastly, following a recent result of Cohen and Sorli, we show that if $q < n$, then either $q > 5$ or $k > 5$ i…
An infinite family of counterexamples to Goss's conjecture on L-functions of cyclotomic function fields
本文构造了一族无穷反例，否证了 Goss 关于分圆函数域 L-函数的猜想，通过精确同余式证明 deg_X g 可任意大。
Euler showed that if an odd perfect number $N$ exists, it must consist of two parts $N=q^k n^2$, with $q$ prime, $q \equiv k \equiv 1 \pmod{4}$, and gcd$(q,n)=1$. Dris conjectured that $q^k < n$. We first show that $q<n$ for all odd perfect numbers. Afterwards, we show $q^k < n$ holds in many cases.
A perfect cuboid is a rectangular parallelepiped whose all linear extents are given by integer numbers, i. e. its edges, its face diagonals, and its space diagonal are of integer lengths. None of perfect cuboids is known thus far. Their non-existence is also not proved. This is an old unsolved mathematical problem. Three mathematical propositions have been recently associated with the cuboid problem. They are known as three cuboid conjectures. These three conjectures specify three special subcases in the search for perfect cuboids. The case of the second conjecture is associated with solutions…
The problem of finding perfect Euler cuboids or proving their non-existence is an old unsolved problem in mathematics. The third cuboid conjecture is the last of the three propositions suggested as intermediate stages in proving the non-existence of perfect Euler cuboids. It is associated with a certain Diophantine equation of the order 12. In this paper a structural theorem for the solutions of this Diophantine equation is proved.
Catalan's conjecture claims that the Diophantine equation $x^p-y^q=1$ admits the unique solution $3^2-2^3=1$ in integers $x,y,p,q \ge 2$. The conjecture has been finally proved by P. Mihăilescu (2002) using the theory of cyclotomic fields and Galois modules. Here, relying only on elementary techniques, we prove several instances of this classical result. In particular, we prove the conjecture in the following cases: $p$ even (due to V.A. Lebesgue), $q$ is even (due to L. Euler and Chao Ko), $x$ divides $q$, $y$ divides $x-1$, $y$ is a power of a prime, and $y\le p^{p/2}$.
Recently, Chappelon and Alfons\'ın defined the square Frobenius number of coprime numbers $m$ and $n$ to be the largest perfect square that cannot be expressed in the form $mx+ny$ for nonnegative integers $x$ and $y$. When $m$ and $n$ differ by $1$ or $2$, they found simple expressions if neither $m$ nor $n$ is a perfect square. If either $m$ or $n$ is a perfect square, they formulated some interesting conjectures which have an unexpected close connection with a known recursive sequence, related to the denominators of Farey fraction approximations to $\sqrt{2}$. In this note, we prove these co…
The problem of finding perfect Euler cuboids or proving their non-existence is an old unsolved problem in mathematics. The second cuboid conjecture is one of the three propositions suggested as intermediate stages in proving the non-existence of perfect Euler cuboids. It is associated with a certain polynomial Diophantine equation of the order 10. In this paper a structural theorem for the solutions of this Diophantine equation is proved and some examples of its application are considered.
We investigate the consecutive primes $p$ and $q$ ($p > q$) for which there exists a pair of natural numbers $(x,y)$ such that $p^x-q^y$ is a perfect square and make some conjectures.
A perfect cuboid is a rectangular parallelepiped whose edges, whose face diagonals, and whose space diagonal are of integer lengths. The second cuboid conjecture specifies a subclass of perfect cuboids described by one Diophantine equation of tenth degree and claims their non-existence within this subclass. This Diophantine equation has two parameters. Previously asymptotic expansions and estimates for roots of this equation were obtained in the case where the first parameter is fixed and the other tends to infinity. In the present paper reverse asymptotic expansions and estimates are derived …
In this paper, we consider a conjecture of Erdős and Rosenfeld when the number is a perfect square. In particular, we show that every perfect square $n$ can have at most five divisors between $\sqrt{n} - c \sqrt[4]{n}$ and $\sqrt{n} + c \sqrt[4]{n}$.
Disproofs of two conjectures concerning nondeficient numbers
本文针对罗斯2024年提出的关于\(\{ -1, 1 \}\)-完美数和非亏数的两个猜想进行研究，通过特定方法对这两个猜想进行反证，得出与原猜想不同的结论。
Galois representations ramified at one prime and with suitably large image
本文证明了存在无穷多个在单个素数及其无穷远点外不分歧且具有大像的Galois表示，其像包含特定模约化映射的核，该结果通过纯Galois理论的提升构造证明，在特定条件下依赖于弱版本的Vandiver猜想。
We show that the number of positive integers $n\leq N$ such that $\mathbb{Z}/(n^2+n+1)\mathbb{Z}$ contains a perfect difference set is asymptotically $N/\log{N}$.
Partial Resolution of the Erdös-Straus, Sierpinski, and Generalized Erdös-Straus Conjectures Using New Analytical Formulas
本文通过新的分析公式部分解决了埃德尔斯-斯特劳斯、西尔伯尼克及广义猜想，并探讨了其进一步证明的可能性。
In this paper, we introduce the concept of $F$-perfect number, which is a positive integer $n$ such that $\sum_{d|n,d<n}d^2=3n$. We prove that all the $F$-perfect numbers are of the form $n=F_{2k-1}F_{2k+1}$, where both $F_{2k-1}$ and $F_{2k+1}$ are Fibonacci primes. Moreover, we obtain other interesting results and raise a new conjecture on perfect numbers.
Recently the problem of constructing a perfect Euler cuboid was related with three conjectures asserting the irreducibility of some certain three polynomials depending on integer parameters. In this paper a partial result toward proving the first cuboid conjecture is obtained. The polynomial which, according to this conjecture, should be irreducible over integers is proved to have no integer roots.
The problem of constructing a perfect cuboid is related to a certain class of univariate polynomials with three integer parameters $a$, $b$, and $u$. Their irreducibility over the ring of integers under certain restrictions for $a$, $b$, and $u$ would mean the non-existence of perfect cuboids. This irreducibility is conjectured and then verified numerically for approximately 10000 instances of $a$, $b$, and $u$.
We derive heuristically the approximate formula for the difference $\sqrt{p_{n+1}} - \sqrt{p_n}$, where $p_n$ is the n-th prime. We find perfect agreement between this formula and the available data from the list of maximal gaps between consecutive primes.
A strategy of numeric search for perfect cuboids in the case of the second cuboid conjecture
本文基于第二立方体猜想，研究了一个十次迪ophantine方程，并提出优化的计算机辅助搜索策略以寻找完美立方体。
George Voronoi (1908, 1909) introduced two important reduction methods for positive quadratic forms: the reduction with perfect forms, and the reduction with L-type domains, often called domains of Delaunay type. The first method is important in studies of dense lattice packings of spheres. The second method provides the key tools for finding the least dense lattice coverings with equal spheres in lower dimensions. In his investigations Voronoi heavily relied on that in dimensions less than 6 the partition of the cone of positive quadratic forms into L-types refines the partition of this cone …
Perfect $2$-codes over arbitrary alphabets
该研究证实了非素数幂q的字母表上不存在完美2-码的猜想，覆盖q=2^α p^β等多种情形，推进了完美码分类问题的解决。
Existence of global Néron models beyond semi-abelian varieties
本文证明了完美剩余域情形下非半阿贝尔代数群的Bosch-Lütkebohmert-Raynaud猜想，给出了非完美剩余域的反例，并分类了完美剩余域上的单有理有界幂幺群。
In this paper, we introduce the notion of unit reducibility for number fields, that is, number fields in which all positive unary forms attain their nonzero minimum at a unit. Furthermore, we investigate the link between unit reducibility and the number of homothety classes of perfect unary forms for a given number field, and prove an open conjecture about the number of classes of perfect unary forms in real quadratic fields, stated by D. Yasaki.
The study of finite projective planes involves planar functions, namely, functions f : F_q --> F_q such that, for each nonzero a in F_q, the function c --> f(c+a) - f(c) is a bijection on F_q. Planar functions are also used in the construction of DES-like cryptosystems, where they are called perfect nonlinear functions. We determine all planar functions on F_q of the form c --> c^t, under the assumption that q >= (t-1)^4. This implies two conjectures of Hernando, McGuire and Monserrat. Our arguments also yield a new proof of a conjecture of Segre and Bartocci from 1971 about monomial hyperoval…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。