Related papers: Norm one tori and Hasse norm principle
Semi-topological Galois theory associates a canonical finite splitting covering to a monic Weierstrass polynomial. The inverse limit of the corresponding deck groups defines the absolute semi-topological Galois group, $\PiST(X,x)$. This…
The transversal number $\tau(H)$ of a hypergraph $H$ is the minimum number of vertices that intersect every edge of $H$. A linear hypergraph is one in which every two distinct edges intersect in at most one vertex. A $k$-uniform hypergraph…
We show that any set of distinct homotopy classes of simple closed curves on the torus that pairwise intersect at most $k$ times has size $k + O(\sqrt{k} \log k)$. Prior to this work, a lemma of Agol, together with the state of the art…
Let $K/k$ be a finite Galois extension, $G=\text{Gal}(K/k)$, $\Sigma$ be a fan in a lattice $N$ and $X_{\Sigma}$ be an associated toric variety over $k$. It is well known that the set of $K/k$-forms of $X_{\Sigma}$ is in bijection with…
A classical object in hypergraph Tur\'{a}n theory is the Fano plane $\mathbb{F}$, the unique linear $3$-graph on seven vertices with seven edges. The Tur\'{a}n density and exact Tur\'{a}n number of $\mathbb{F}$, first proposed as a problem…
For a graph $H$, the {\em extremal number} $ex(n,H)$ is the maximum number of edges in a graph of order $n$ not containing a subgraph isomorphic to $H$. Let $\delta(H)>0$ and $\Delta(H)$ denote the minimum degree and maximum degree of $H$,…
For any $d\geq 1$, we obtain counting and equidistribution results for tori with small volume for a class of $d$-dimensional torus packings, invariant under a self-joining $\Gamma_\rho<\prod_{i=1}^d\mathrm{PSL}_2(\mathbb{C})$ of a Kleinian…
We consider the Kolyvagin cohomology classes associated to an elliptic curve $E$ defined over $\mathbb{Q}$ from a computational point of view. We explain how to go from a model of a class as an element of…
For any number field not containing $\QQ(i),$ we give an explicit construction to prove that there exists an elliptic curve defined over this field such that its Shafarevich-Tate group is nontrivial.
The celebrated Andr\'{a}sfai--Erd\H{o}s--S\'{o}s Theorem from 1974 shows that every $n$-vertex triangle-free graph with minimum degree greater than $2n/5$ must be bipartite. We establish a positive codegree extension of this result for the…
Let $G$ be a finitely presented group that can be written as an extension \[ 1 \longrightarrow K \longrightarrow G \longrightarrow F_2 \longrightarrow 1 \] where $K$ is either the finitely generated free group $F_n$, $n > 2$ or the…
Let $K$ be a complete discrete valuation field of characteristic zero with residue field $k_K$ of characteristic $p>0$. Let $L/K$ be a finite Galois extension with Galois group $G=\Gal(L/K)$ and suppose that the induced extension of residue…
We establish the last missing link allowing to describe those complete separable metric spaces $X$ in which the $k$ nearest neighbour classifier is universally consistent, both in combinatorial terms of dimension theory and via a…
Let $K$ be a number field. For positive integers $m$ and $n$ such that $m\mid n$, we let $\mathscr{S}_{m,n}$ be the set of elliptic curves $E/K$ defined over $K$ such that $E(K)_{\operatorname{tors}}\supseteq \mathscr{T}\cong…
Using a certain well-posed ODE problem introduced by Shilnikov in the sixties, G. Minervini proved in his PhD thesis [17], among other things, the Harvey-Lawson Diagonal Theorem but without the restrictive tameness condition for Morse…
We present a formula for the class number of a multinorm one torus $T_{L/k}$ associated to any \'etale algebra $L$ over a global field $k$. This is deduced from a formula for analogues of invariants introduced by T.~Ono, which are…
Let K/Q be a field extension of finite degree and let P(t) be a polynomial over Q that splits into linear factors over Q. We show that any smooth model of the affine variety defined by the equation N_{K/Q} (k) = P(t) satisfies the Hasse…
The classical K\H{o}v\'ari-S\'os-Tur\'an theorem states that if $G$ is an $n$-vertex graph with no copy of $K_{s,t}$ as a subgraph, then the number of edges in $G$ is at most $O(n^{2-1/s})$. We prove that if one forbids $K_{s,t}$ as an…
Let $X$ be a rationally connected algebraic variety, defined over a number field $k$. We find a relation between the arithmetic of rational points on $X$ and the arithmetic of zero-cycles. More precisely, we consider the following…
This is the first of a series of papers devoted to lay the foundations of Algebraic Geometry in homotopical and higher categorical contexts (for part II, see math.AG/0404373). In this first part we investigate a notion of higher topos. For…