Related papers: On the asymptotic Fermat's Last Theorem over numbe…

We formalise the proof of the first case of Fermat's Last Theorem for regular primes using the \emph{Lean} theorem prover and its mathematical library \emph{mathlib}. This is an important 19th century result that motivated the development…

Given positive integers $j,k$, with $j\geq 2$, we show that there are positive integers $d,e$ such that $\sqrt{d}$ has continued fraction expansion $\sqrt{d}=[e,\overline{k,\dots,k,2e}]$, with period $j$, if and only if $k$ is even or…

Given a field $K$ equipped with a set of discrete valuations $V$, we develop a general theory to relate reduction properties of skew-hermitian forms over a quaternion $K$-algebra $Q$ to quadratic forms over the function field $K(Q)$…

Let n be an odd number and F an imaginary quadratic field with odd discriminant. We show that there exists infinitely many cubic fields K such that the class number of K is divisible by n and the Galois closure of K contains F.

An example of interpolation by means of local field theories between the case of normal Kogut-Susskind fermions and the case of keeping just the fourth root of the Kogut-Susskind determinant is given. For the fourth root trick to be a valid…

The rank one Gross conjecture for Deligne-Ribet $p$-adic $L$-functions was solved in works of Darmon-Dasgupta-Pollack and Ventullo by the Eisenstein congruence among Hilbert modular forms. The purpose of this paper is to prove an analogue…

We introduce a new approach to the the asymptotic iteration method (AIM) by means of which we establish the standard AIM connection with the continued fractions technique and we develop a novel termination condition in terms of the…

We investigate Eisenstein discriminants, which are squarefree integers $d \equiv 5 \pmod{8}$ such that the fundamental unit $\varepsilon_d$ of the real quadratic field $K=\mathbb{Q}(\sqrt{d})$ satisfies $\varepsilon_d \equiv 1…

Based on results by S.K. Roushon (math.KT/0408243 and math.KT/0405211) this thesis summarizes in an axiomatic way when a Meta-Isomorphism-Conjecture in the sense of Lueck and Reich (math.KT/0402405) is true for fundamental groups of…

We prove a version of the countable union theorem for asymptotic dimension and we apply it to groups acting on asymptotically finite dimensional metric spaces. As a consequence we obtain the following finite dimensionality theorems. A) An…

It is shown that for some explicit constants $c>0, A>0$, the asymptotic for the number of positive non-square discriminants $D<x$ with fundamental solution $\varepsilon_D< x^{\frac 12+\alpha}, 0<\alpha <c$, remains preserved if we require…

Motivated by connections with observable phenomena, in particular with soft factorization theorems for scattering amplitudes and with memory effects, renewed interest has been recently shown in the subject of asymptotic symmetries at null…

In this paper, we prove the cohomological Lichtenbaum conjecture of abelian extensions of imaginary quadratic fields up to a finite set of bad primes.

Let $\mathbb{F}_q$ be the finite field of order $q$ and $E\subset \mathbb{F}_q^d$, where $4|d$. Using Fourier analytic techniques, we prove that if $|E|>\frac{q^{d-1}}{d}\binom{d}{d/2}\binom{d/2}{d/4}$, then the points of $E$ determine a…

A proof of the Quadratic Reciprocity Law is presented using a Lemma of Gauss, the theory of finite fields and the Frobenius automorfism.

We obtain quantitative versions of the Balog-Szemeredi-Gowers and Freiman theorems in the model case of a finite field geometry F_2^n, improving the previously known bounds in such theorems. For instance, if A is a subset of F_2^n such that…

Let $K$ be a complete discretely valued field with residue field $k$ with $\mathrm{char}(k)\neq 2$. Assuming that the norm principle holds for extended Clifford groups $\Omega(q)$ for every even dimensional non-degenerate quadratic form $q$…

We construct an infinite family of imaginary bicyclic biquadratic number fields $k$ with the 2-ranks of their 2-class groups are $\geq3$, whose strongly ambiguous classes of $k/Q(i)$ capitulate in the absolute genus field $k^{(*)}$, which…

We prove an asymptotic formula with four main terms for the fourth moment of quadratic Dirichlet $L$-functions unconditionally. Our proof is based on the work of Li , Soundararajan, and Soundararajan-Young. Our proof requires several new…

H. J. S. Smith proved Fermat's two-square theorem using the notion of palindromic continuants. In this paper we extend Smith's approach to proper binary quadratic form representations in some commutative Euclidean rings, including rings of…