Top 10 Arxiv Papers Today in Number Theory

#1. The $p$-rank $\varepsilon$-conjecture for $p$-extensions
Georges Gras
We prove the $p$-rank $\varepsilon$-conjecture on the class groups $\mathcal{C}\ell_F$ for the $p$-extensions $F/{\large\kappa}$ of degree $p^e$ and, more generally, for a tower of degree $p$ cyclic fields: $\# (\mathcal{C}\ell_F \otimes \mathcal{F}_p) \ll_{\kappa,p^e,\varepsilon} (\sqrt{\vert D_F \vert}\,)^\varepsilon$, where $D_F$ is the discriminant and $\large\kappa$ any base field (Theorem 3.5). This Note generalizes the case $e=1$ and ${\large\kappa} = \mathbb{Q}$ ({\it Genus theory and $\varepsilon$-conjectures on $p$-class groups}, J. Number Theory {\bf 207} (2020), 423--459), whose techniques appear to be universal'' for all relative $p$-cyclic-extensions. We prove the $p$-rank $\varepsilon$-conjecture for the $F/{\large\kappa}$ and the cohomology groups ${\rm H}^2({\mathcal G}_F,\mathbb{Z}_p)$ of Galois $p$-ramification theory (Theorem 4.3).
more | pdf | html
None.
Tweets
mathNTb: Georges Gras (LMB) : The $p$-rank $\varepsilon$-conjecture for $p$-extensions https://t.co/FsQNpriz7y https://t.co/nJFxZKE5wH
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

#2. Elliptic curves and lower bounds for class numbers
Michael Griffin, Ken Ono
Ideal class pairings map the rational points of rank $r\geq 1$ elliptic curves $E/\mathbb{Q}$ to the ideal class groups $\mathrm{CL}(-D)$ of certain imaginary quadratic fields. These pairings imply that $$h(-D) \geq (c(E)-\varepsilon)(\log D)^{\frac{r}{2}}$$ for sufficiently large discriminants $-D$ in certain families. These bounds are effective, and they offer improvements to known lower bounds for many discriminants.
more | pdf | html
None.
Tweets
mathNTb: Michael Griffin, Ken Ono : Elliptic curves and lower bounds for class numbers https://t.co/CxOwA8bD56 https://t.co/ph4gvl7RUD
None.
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

#3. Galois groups arising from families with big orthogonal monodromy
David Zywina
We study the Galois groups of polynomials arising from a compatible family of representations with big orthogonal monodromy. We show that the Galois groups are usually as large as possible given the constraints imposed on them by a functional equation and discriminant considerations. As an application, we consider the Frobenius polynomials arising from the middle \'etale cohomology of hypersurfaces in $\mathbb{P}_{\mathbb{F}_q}^{2n+1}$ of degree at least $3$. We also consider the $L$-functions of quadratic twists of fixed degree of an elliptic curve over a function field $\mathbb{F}_q(t)$. To determine the typical Galois group in the elliptic curve setting requires using some known cases of the Birch and Swinnerton-Dyer conjecture. This extends and generalizes work of Chavdarov, Katz and Jouve.
more | pdf | html
None.
Tweets
mathNTb: David Zywina : Galois groups arising from families with big orthogonal monodromy https://t.co/sgfwvG1wHZ https://t.co/UTnVqUGw7t
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

#4. Computing actions on cusp forms
David Zywina
For positive integers $k$ and $N$, we describe how to compute the natural action of $SL_2(\mathbb{Z})$ on the space of cusp forms $S_k(\Gamma(N))$, where a cusp form is given by sufficiently many terms of its $q$-expansion. This will reduce to computing the action of the Atkin--Lehner operator on $S_k(\Gamma)$ for a congruence subgroup $\Gamma_1(N)\subseteq \Gamma \subseteq \Gamma_0(N)$. Our motivating application of such fundamental computations is to compute explicit models of some modular curves $X_G$.
more | pdf | html
None.
Tweets
mathNTb: David Zywina : Computing actions on cusp forms https://t.co/K3AeLKk1Y4 https://t.co/ZKM4Kgejbo
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

#5. On Exactly $3$-Deficient-Perfect Numbers
Saralee Aursukaree, Prapanpong Pongsriiam
Let $n$ and $k$ be positive integers and $\sigma(n)$ the sum of all positive divisors of $n$. We call $n$ an exactly $k$-deficient-perfect number with deficient divisors $d_1, d_2, \ldots, d_k$ if $d_1, d_2, \ldots, d_k$ are distinct proper divisors of $n$ and $\sigma (n)=2n-(d_1+d_2+\ldots + d_k)$. In this article, we show that the only odd exactly $3$-deficient-perfect number with at most two distinct prime factors is $1521=3^2 \cdot 13^2$.
more | pdf | html
None.
Tweets
mathNTb: Saralee Aursukaree, Prapanpong Pongsriiam : On Exactly $3$-Deficient-Perfect Numbers https://t.co/SqIBAKrkNX https://t.co/4Wgj4Ad2eh
None.
None.
Other stats
Sample Sizes : None.
Authors: 2
Total Words: 0
Unqiue Words: 0

#6. A Bound for the Image Conductor of a Principally Polarized Abelian Variety with Open Galois Image
Jacob Mayle
Let $A$ be a principally polarized abelian variety of dimension $g$ over a number field $K$. Assume that the image of the adelic Galois representation of $A$ is open. Then there exists a positive integer $m$ so that the Galois image of $A$ is the full preimage of its reduction modulo $m$. The least $m$ with this property, denoted $m_A$, is called the image conductor of $A$. A recent paper (arXiv:1904.10431) established an upper bound for $m_A$, in terms of standard invariants of $A$, in the case that $A$ is an elliptic curve without complex multiplication. In this note, we generalize the aforementioned result to provide an analogous bound in arbitrary dimension.
more | pdf | html
None.
Tweets
mathNTb: Jacob Mayle : A Bound for the Image Conductor of a Principally Polarized Abelian Variety with Open Galois Image https://t.co/naZGSIPZDY https://t.co/Ld4jxY7lnU
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

#7. On Hasse's Unit Index
Djordjo Z. Milovic
We study the distribution of Hasse's unit index $Q(L)$ for the CM-fields $L = \mathbb{Q}(\sqrt{d}, \sqrt{-1})$ as $d$ varies among positive squarefree integers. We prove that the number of $d\leq X$ such that $Q(L) = 2$ is proportional to $X/\sqrt{\log X}$.
more | pdf | html
None.
Tweets
mathNTb: Djordjo Z. Milovic : On Hasse's Unit Index https://t.co/r6nupxfnnV https://t.co/mz3TJZmZUT
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

#8. Isometries of lattices and Hasse principles
Eva Bayer-Fluckiger
We give necessary and sufficient conditions for an integral polynomial without repeated factors to be the characteristic polynomial of an isometry of some even, unimodular lattice of given signature. This gives rise to Hasse principle questions, which we answer in a more general setting.
more | pdf | html
None.
Tweets
mathNTb: Eva Bayer-Fluckiger : Isometries of lattices and Hasse principles https://t.co/p8xmX0jWht https://t.co/VlFyxeiDgH
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

#9. An infinitesimal variant of Guo-Jacquet trace formula II
Huajie Li
We establish an infinitesimal variant of Guo-Jacquet trace formula for the case of a central simple algebra over a number field $F$ containing a quadratic field extension $E/F$. It is an equality between a sum of geometric distributions on the tangent space of some symmetric space and its Fourier transform. To prove this, we need to define an analogue of Arthur's truncation and then use the Poisson summation formula. We describe the terms attached to regular semi-simple orbits as explicit weighted orbital integrals. To compare them to those for another case studied in our previous work, we state and prove the weighted fundamental lemma at the infinitesimal level by using Labesse's work on the base change for $GL_n$.
more | pdf | html
None.
Tweets
mathNTb: Huajie Li : An infinitesimal variant of Guo-Jacquet trace formula II https://t.co/j1lPShlgn9 https://t.co/IarirGKRcb
None.
None.
Other stats
Sample Sizes : None.
Authors: 1
Total Words: 0
Unqiue Words: 0

#10. The existence of primitive normal elements of quadratic forms over finite fields
Himangshu Hazarika, Dhiren Kumar Basnet, Stephen D Cohen
For $q=3^r$ ($r>0$), denote by $\mathbb{F}_q$ the finite field of order $q$ and for a positive integer $m\geq2$, let $\mathbb{F}_{q^m}$ be its extension field of degree $m$. We establish a sufficient condition for existence of a primitive normal element $\alpha$ such that $f(\alpha)$ is a primitive element, where $f(x)= ax^2+bx+c$, with $a,b,c\in \mathbb{F}_{q^m}$ satisfying $b^2\neq ac$ in $\Fm$ except for at most 9 exceptional pairs $(q,m)$.
more | pdf | html
None.
Tweets
mathNTb: Himangshu Hazarika, Dhiren Kumar Basnet, Stephen D Cohen : The existence of primitive normal elements of quadratic forms over finite fields https://t.co/MIwr9D1zBp https://t.co/FuHZKlyGLA
None.
None.
Other stats
Sample Sizes : None.
Authors: 3
Total Words: 0
Unqiue Words: 0

About

Assert is a website where the best academic papers on arXiv (computer science, math, physics), bioRxiv (biology), BITSS (reproducibility), EarthArXiv (earth science), engrXiv (engineering), LawArXiv (law), PsyArXiv (psychology), SocArXiv (social science), and SportRxiv (sport research) bubble to the top each day.

Papers are scored (in real-time) based on how verifiable they are (as determined by their Github repos) and how interesting they are (based on Twitter).

To see top papers, follow us on twitter @assertpub_ (arXiv), @assert_pub (bioRxiv), and @assertpub_dev (everything else).

To see beautiful figures extracted from papers, follow us on Instagram.

Tracking 257,099 papers.

Search
Sort results based on if they are interesting or reproducible.
Interesting
Reproducible
Online
Stats
Tracking 257,099 papers.