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.

mathNTb:
Georges Gras (LMB) : The $p$-rank $\varepsilon$-conjecture for $p$-extensions https://t.co/FsQNpriz7y https://t.co/nJFxZKE5wH

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

mathNTb:
Michael Griffin, Ken Ono : Elliptic curves and lower bounds for class numbers https://t.co/CxOwA8bD56 https://t.co/ph4gvl7RUD

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

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.

mathNTb:
David Zywina : Galois groups arising from families with big orthogonal monodromy https://t.co/sgfwvG1wHZ https://t.co/UTnVqUGw7t

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

mathNTb:
David Zywina : Computing actions on cusp forms https://t.co/K3AeLKk1Y4 https://t.co/ZKM4Kgejbo

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

mathNTb:
Saralee Aursukaree, Prapanpong Pongsriiam : On Exactly $3$-Deficient-Perfect Numbers https://t.co/SqIBAKrkNX https://t.co/4Wgj4Ad2eh

None.

None.

Sample Sizes : None.

Authors: 2

Total Words: 0

Unqiue Words: 0

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.

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.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

mathNTb:
Djordjo Z. Milovic : On Hasse's Unit Index https://t.co/r6nupxfnnV https://t.co/mz3TJZmZUT

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

mathNTb:
Eva Bayer-Fluckiger : Isometries of lattices and Hasse principles https://t.co/p8xmX0jWht https://t.co/VlFyxeiDgH

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

mathNTb:
Huajie Li : An infinitesimal variant of Guo-Jacquet trace formula II https://t.co/j1lPShlgn9 https://t.co/IarirGKRcb

None.

None.

Sample Sizes : None.

Authors: 1

Total Words: 0

Unqiue Words: 0

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.

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.

Sample Sizes : None.

Authors: 3

Total Words: 0

Unqiue Words: 0

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.*

Sort results based on if they are interesting or reproducible.

Interesting

Reproducible