Related papers: An equality between two towers over cubic fields

In the first part of the paper, we formulate several arithmetic transfer conjectures, which are variants of the arithmetic fundamental lemma conjecture in the presence of ramification. The ramification comes from the choice of…

Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with supersingular reduction at $p \geq 5$, and $K$ be an imaginary quadratic field such that $p$ is inert in $K/\mathbb{Q}$. In this paper, we prove the analogous of the ``weak''…

In this paper we prove the existence and uniqueness of a topological quantum field theory that incorporates, for all Riemann surfaces, the corresponding spaces of theta functions and the actions of the Heisenberg groups and modular groups…

We study convex domino towers using a classic dissection technique on polyominoes to find the generating function and an asymptotic approximation.

We give a new proof of a result of DiPippo and Wan for counting points of bounded height on projective spaces over global function fields. The new proof adapts the geometry of numbers arguments used by Schanuel in the number field case.

This paper builds a cumulative tower of Grothendieck universes that provides a precise size discipline for higher type theory. Starting from an increasing sequence of inaccessible cardinals, we give an inductive-recursive definition of…

We study the analogy between number fields and function fields in one variable over finite fields. The main result is an isomorphism between the Hilbert class fields of class number one and a family of the function fields $\mathbf{F}_q(C)$…

We prove that if the cardinality of a subset of the 2-dimensional vector space over a finite field with $q$ elements is $\ge \rho q^2$, with $\frac{1}{\sqrt{q}}<<\rho \leq 1$, then it contains an isometric copy of $\ge c\rho q^3$ triangles.

In this article we prove lower and upper bounds for class numbers of algebraic curves defined over finite fields. These bounds turn out to be better than most of the previously known bounds obtained using combinatorics. The methods used in…

Consider a subfield of the field of rational functions in several indeterminates. We present an algorithm that, given a set of generators of such a subfield, finds a simple generating set. We provide an implementation of the algorithm and…

The notion of a Frobenius coring is introduced, and it is shown that any such coring produces a tower of Frobenius corings and Frobenius extensions. This establishes a one-to-one correspondence between Frobenius corings and extensions.

We study Grothendieck rings (in the sense of logic) of fields. We prove the triviality of the Grothendieck rings of certain fields by constructing definable bijections which imply the triviality. More precisely, we consider valued fields,…

We study the possibility of applying a finite-dimensionality argument in order to address parts of the Baum-Connes conjecture for finitely generated linear groups. This gives an alternative approach to the results of Guentner, Higson, and…

Starting from the original Einstein action, sometimes called the Gamma squared action, we propose a new setup to formulate modified theories of gravity. This can yield a theory with second order field equations similar to those found in…

We prove that there exists, up to isomorphism, exactly one function field over the finite field of two elements of class number one and genus four. This result, together with the ones of MacRae, Madan, Leitzel, Queen and Stirpe, establishes…

Given a semisimple linear algebraic $k$-group $G$, one has a spherical building $\Delta_G$, and one can interpret the geometric realisation $\Delta_G(\mathbb R)$ of $\Delta_G$ in terms of cocharacters of $G$. The aim of this paper is to…

This is the fourth article about the isomorphism between Lubin-Tate and Drinfeld towers. We prove the final result concerning the isomorphism that is to say the existence of an equivariant isomorphism between some blow-up of the formal…

The purpose of this paper is to give a linear and effective height inequality for algebraic points on curves over functional fields. Our height inequality can be viewed as the logarithmic canonical class inequality of a punctured curve over…

Using a construction of Hassett--V\'arilly-Alvarado, we produce derived equivalent twisted K3 surfaces over $\mathbb{Q}$, $\mathbb{Q}_2$, and $\mathbb{R}$, where one has a rational point and the other does not. This answers negatively a…

In this paper we present three different results dealing with the number of $(\leq k)$-facets of a set of points: 1. We give structural properties of sets in the plane that achieve the optimal lower bound $3\binom{k+2}{2}$ of $(\leq…