Related papers: Prime-free discs in imaginary quadratic fields
In this paper, we show that the diffraction of the primes is absolutely continuous, showing no bright spots (Bragg peaks). We introduce the notion of counting diffraction, extending the classical notion of (density) diffraction to sets of…
A graph is $\mathcal{O}_k$-free if it does not contain $k$ pairwise vertex-disjoint and non-adjacent cycles. We prove that "sparse" (here, not containing large complete bipartite graphs as subgraphs) $\mathcal{O}_k$-free graphs have…
Let $E=\mathbb{Q}\big(\sqrt{-d}\big)$ be an imaginary quadratic field for a square-free positive integer $d$, and let $\mathcal{O}$ be its ring of integers. For each positive integer $m$, let $I_m$ be the free Hermitian lattice over…
In this paper, we study the unary Hermitian lattices over imaginary quadratic fields. Let $E=\mathbb{Q}\big(\sqrt{-d}\big)$ be an imaginary quadratic field for a square-free positive integer $d$, and let $\mathcal{O}$ be its ring of…
We establish an explicit bound for the least prime occurring in the Chebotarev density theorem without any restriction. Let $L/K$ be any Galois extension of number fields such that $L\not=\mathbb{Q}$, and let $C$ be a conjugacy class in the…
Let X be an abelian variety or a K3 surface defined over a number field K. We prove that the density of the supersingular primes of X is zero if X is non-CM. By applying an effective Chebotarev density theorem of Serre, we obtain asymptotic…
We prove Gieseker conjecture for an homogeneous space $X$, saying that if $X$ has no non-trivial tame coverings then it has no non-trivial regular singular $\mathscr{O}_X$-coherent $\mathscr{D}_{X/k}$-modules. In order to do so we prove a…
We study forms $I=(f_1,\ldots,f_r)$, $\deg f_i=d_i$, in $F$ which is the free associative algebra $k\langle x_1,\ldots,x_n\rangle$ or the polynomial ring $k[x_1,\ldots,x_n]$, where $k$ is a field and $\deg x_i=1$ for all $i$. We say that…
We give an explicit algebraic description, based on prismatic cohomology, of the algebraic K-groups of rings of the form $O_K/I$ where $K$ is a p-adic field and $I$ is a non-trivial ideal in the ring of integers $O_K$; this class includes…
Let $m$ be a rational integer with $m \neq 0, \pm 1$, and consider the pure number field $K = \mathbb{Q}(\sqrt[n]{m})$ with $n \ge 3$. Most papers discussing the monogenity of pure number fields focus exclusively on the case where $m$ is…
Let $K$ be a number field and $K_{ur}$ be the maximal extension of $K$ that is unramified at all places. In a previous article, the first author found three real quadratic fields $K$ such that $Gal(K_{ur}/K)$ is finite and nonabelian simple…
For every prime integer $p$, an explicit factorization of the principal ideal $p\z_K$ into prime ideals of $\z_K$ is given, where $K$ is a quartic number field defined by an irreducible polynomial $X^4+aX+b\in\z[X]$.
We introduce a discrete 4-dimensional module over the integers that appears to have maximal symmetry. By adjoining the usual Minkowski distance, we obtain a discrete 4-dimensional Minkowski space. Forming universe histories in this space…
Let $K$ be a number field with ring of integers $\mathcal{O}_K$. Let $\mathcal{N}_K$ be the set of positive integers $n$ such that there exist units $\varepsilon, \delta \in \mathcal{O}_K^\times$ satisfying $\varepsilon + \delta = n$. We…
Let $F$ be a non-archimedean local field of odd residue characteristic $p$. Let $G$ be the unramified unitary group $U(2, 1)(E/F)$ in three variables, and $K$ be a maximal compact open subgroup of $G$. For an irreducible smooth…
We show that the ring of integers of $\mathbb{Q}^{\text{tr}}$ is existentially definable in the ring of integers of $\mathbb{Q}^{\text{tr}}(i)$, where $\mathbb{Q}^{\text{tr}}$ denotes the field of all totally real numbers. This implies that…
Let $k\ge 1$ be an integer, and let $P= (f_1(x), \ldots, f_k(x) )$ be $k$ admissible linear polynomials over the integers, or \textit{the pattern}. We present two algorithms that find all integers $x$ where $\max{ \{f_i(x) \} } \le n$ and…
Let $q$ be a sufficiently large integer, and $a_0\in\{0,\dots,q-1\}$. We show there are infinitely many prime numbers which do not have the digit $a_0$ in their base $q$ expansion. Similar results are obtained for values of a polynomial…
Let X be a projective hypersurface in P_k^n of degree d <= n. In this paper we study the relation between the class [X] in K_0(Var_k) and the existence of k-rational points. Using elementary geometric methods we show, for some particular X,…
Let $[\, \cdot\,]$ be the floor function. In this paper we show that every sufficiently large positive integer $N$ can be represented in the form \begin{equation*} N=[p_1\log p_1]+[p_2\log p_2]+[p_3\log p_3], \end{equation*} where $p_1,\,…