arXiv Science⌕ Search
Home/Archive/arXiv

arXiv · 2610.09129

Idempotence in Carmichael and Giuga numbers and its application to the Agoh-Giuga conjecture

Miguel Ángel López
View original source ↗Read source document ↗Export metadata ↓

Abstract

This article analyzes the idempotence of Giuga numbers and Carmichael numbers. The first sections will lead us to define an arithmetic function through which we will find a new characterization of Giuga numbers. The following sections will lead us to generalize Carmichael numbers, finding numbers that are Fermat pseudoprimes in certain specific cases, and to formulate various statements and open questions regarding their properties. Finally, we will find a new alternative condition, based on idempotence, that a number must satisfy to be a counterexample to the Agoh-Giuga conjecture and which, therefore, presumably, no number will ever satisfy. We will almost always work under the premise that n is square-free, since both numbers always have that property, but in certain situations we will extend some of the results to the general case.

Explore related subjects

math.NT

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Miguel Ángel López. 2026-10-06. Idempotence in Carmichael and Giuga numbers and its application to the Agoh-Giuga conjecture. https://arxiv.org/abs/2610.09129

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Compatibility of the Fargues-Scholze and Gan-Takeda Local Langlands

Given a prime $p$, a finite extension $L/\mathbb{Q}_{p}$, a connected $p$-adic reductive group $G/L$, and a smooth irreducible representation $π$ of $G(L)$, Fargues-Scholze recently attached a semisimple Weil parameter to such $π$, giving a general candidate for the local Langlands correspondence. It is natural to ask whether this construction is compatible with known instances of the correspondence after semisimplification. For $G = \mathrm{GL}_{n}$ and its inner forms, Fargues-Scholze and Hansen-Kaletha-Weinstein showed that the correspondence is compatible with the correspondence of Harris-Taylor/Henniart. We verify a similar compatibility for $G = \mathrm{GSp}_{4}$ and its unique non-split inner form $G = \mathrm{GU}_{2}(D)$, where $D$ is the quaternion division algebra over $L$, assuming that $L/\mathbb{Q}_{p}$ is unramified and $p > 2$. In this case, the local Langlands correspondence has been constructed by Gan-Takeda and Gan-Tantono. Analogous to the case of $\mathrm{GL}_{n}$ and its inner forms, this compatibility is proven by describing the Weil group action on the cohomology of a local Shimura variety associated to $\mathrm{GSp}_{4}$, using basic uniformization of abelian type Shimura varieties due to Shen, combined with various global results of Kret-Shin and Sorensen on Galois representations in the cohomology of global Shimura varieties associated to inner forms of $\mathrm{GSp}_{4}$ over a totally real field. After showing the parameters are the same, we apply some ideas from the geometry of the Fargues-Scholze construction explored recently by Hansen, to give a more precise description of the cohomology of this local Shimura variety, verifying a strong form of the Kottwitz conjecture in the process.

math.NT↗
arXiv2026

Period integrals of distinguished polarised strongly tempered hyperspherical varieties

Recent work of Mao, Wan and Zhang has provided a complete list of strongly tempered hyperspherical varieties and they proposed some new period integrals. In this paper, I will present new period integrals of distinguished polarised strongly tempered hyperspherical varieties and discuss the L-functions these integrals represent, as examples of the Relative Langlands Duality.

math.NT↗
arXiv2026

Harder's conjecture and Hermitian automorphic forms

Let $k\ge4$ and $j\ge2$ be integers with $j$ even. Harder's conjecture predicts a congruence between a primitive elliptic cusp form of weight $2k+j-2$ and a degree-two vector-valued Siegel Hecke cusp eigenform of weight ${\det}^{k}\mathrm{Sym}^{j}$. We prove the corresponding Harder-type congruence for the spinor $L$-polynomials under explicit arithmetic hypotheses on a congruence prime and an auxiliary imaginary quadratic field. Our approach uses Hermitian automorphic forms on the quasi-split unitary group $\mathrm{U}_{2,2}$. We construct Hermitian spin lifts of Siegel cusp forms and show that the Hermitian cusp form produced by a Hermitian Klingen-Eisenstein congruence lies in the image of this lift. The key step is to prove that the Galois representation attached to this Hermitian cusp form is conjugate invariant. For this, we combine the endoscopic classification for quasi-split unitary groups with Selmer-group vanishing results. This allows us to identify the Hermitian cusp form as the spin lift of a Siegel cusp eigenform and thereby obtain the Harder-type congruence. The argument applies uniformly to both even and odd $k$.

math.NT↗