No Arabic abstract
The concept of a covering system was first introduced by ErdH{o}s in 1950. Since their introduction, a lot of the research regarding covering systems has focused on the existence of covering systems with certain restrictions on the moduli. Arguably, the most famous open question regarding covering systems is the odd covering problem. In this paper, we explore a variation of the odd covering problem, allowing a single odd prime to appear as a modulus in the covering more than once, while all other moduli are distinct, odd, and greater than $1$. We also consider this variation while further requiring the moduli of the covering system to be square-free.
A $textit{portrait}$ $mathcal{P}$ on $mathbb{P}^N$ is a pair of finite point sets $Ysubseteq{X}subsetmathbb{P}^N$, a map $Yto X$, and an assignment of weights to the points in $Y$. We construct a parameter space $operatorname{End}_d^N[mathcal{P}]$ whose points correspond to degree $d$ endomorphisms $f:mathbb{P}^Ntomathbb{P}^N$ such that $f:Yto{X}$ is as specified by a portrait $mathcal{P}$, and prove the existence of the GIT quotient moduli space $mathcal{M}_d^N[mathcal{P}]:=operatorname{End}_d^N//operatorname{SL}_{N+1}$ under the $operatorname{SL}_{N+1}$-action $(f,Y,X)^phi=bigl(phi^{-1}circ{f}circphi,phi^{-1}(Y),phi^{-1}(X)bigr)$ relative to an appropriately chosen line bundle. We also investigate the geometry of $mathcal{M}_d^N[mathcal{P}]$ and give two arithmetic applications.
We establish a structure theorem for the integral points on moduli of special linear rank two local systems over surfaces, using mapping class group descent and boundedness results for systoles of local systems.
We investigate the arithmetic of algebraic curves on coarse moduli spaces for special linear rank two local systems on surfaces with fixed boundary traces. We prove a structure theorem for morphisms from the affine line into the moduli space. We show that the set of integral points on any nondegenerate algebraic curve on the moduli space can be effectively determined.
We investigate the integer solutions of Diophantine equations related to perfect numbers. These solutions generalize the example, found by Descartes in 1638, of an odd, ``spoof perfect factorization $3^2cdot 7^2cdot 11^2cdot 13^2cdot 22021^1$. More recently, Voight found the spoof perfect factorization $3^4cdot 7^2cdot 11^2cdot 19^2cdot(-127)^1$. No other examples appear in the literature. We compute all nontrivial, odd, primitive spoof perfect factorizations with fewer than seven bases -- there are twenty-one in total. We show that the structure of odd, spoof perfect factorizations is extremely rich, and there are multiple infinite families of them. This implies that certain approaches to the odd perfect number problem that use only the multiplicative nature of the sum-of-divisors function are unworkable. On the other hand, we prove that there are only finitely many nontrivial, odd, primitive spoof perfect factorizations with a fixed number of bases.
We incorporate covers of quasisplit reductive groups into the Langlands program, defining an L-group associated to such a cover. We work with all covers that arise from extensions of quasisplit reductive groups by $mathbf{K}_2$ -- the class studied by Brylinski and Deligne. We use this L-group to parameterize genuine irreducible representations in many contexts, including covers of split tori, unramified representations, and discrete series for double covers of semisimple groups over $mathbb R$. An appendix surveys torsors and gerbes on the etale site, as they are used in the construction of the L-group.