Related papers: Finite field elements of high order arising from m…
Elliptic curves over finite fields with predefined conditions in the order are practically constructed using the theory of complex multiplication. The stage with longest calculations in this method reconstructs some polynomial with integer…
In this paper a class of higher order finite element methods for the discretization of surface Stokes equations is studied. These methods are based on an unfitted finite element approach in which standard Taylor-Hood spaces on an underlying…
In this PhD thesis, we give a new geometric approach to higher Teichm\"uller theory. In particular we construct a geometric structure on surfaces, generalizing the complex structure, and we explore its link to Hitchin components. The…
In this work, we propose a novel formulation for the solution of partial differential equations using finite element methods on unfitted meshes. The proposed formulation relies on the discrete extension operator proposed in the aggregated…
We resolve the strong Elementary Equivalence versus Isomorphism Problem for finitely generated fields. That is, we show that for every field in this class there is a first-order sentence which characterizes this field within the class up to…
Let $k$ be a number field. We refine a construction of Mestre--Shioda to construct (infinite) families of hyperelliptic curves $X/{k}$ having a record number of rational points and record Mordell--Weil rank relative to the genus of $g$ of…
We obtain several results concerning the concept of isotypic structures. Namely we prove that any field of finite transcendence degree over a prime subfield is defined by types; then we construct isotypic but not isomorphic structures with…
This is a book about computational aspects of modular forms and the Galois representations attached to them. The main result is the following: Galois representations over finite fields attached to modular forms of level one can, in almost…
In this paper, we first construct the $H^2$(curl)-conforming finite elements both on a rectangle and a triangle. They possess some fascinating properties which have been proven by a rigorous theoretical analysis. Then we apply the elements…
We construct moduli spaces of objects in an abelian category satisfying some finiteness hypotheses. Our approach is based on the work of Artin-Zhang and the intrinsic construction of moduli spaces for stacks developed by…
We give an effective proof of Faltings' theorem for curves mapping to Hilbert modular stacks over odd-degree totally real fields. We do this by giving an effective proof of the Shafarevich conjecture for abelian varieties of…
Let $E_1$ and $E_2$ be elliptic curves in Legendre form with integer parameters. We show there exists a constant $C$ such that for almost all primes, for all but at most $C$ pairs of points on the reduction of $E_1 \times E_2$ modulo $p$…
In this paper we study the problem of constructing non-trivial subtowers and supertowers of recursive towers of function fields over finite fields.
We classify the quasi-finite irreducible highest weight modules over the infinite rank Lie superalgebras $\hgltwo$, $\hC$ and $\hD$, and determine the necessary and sufficient conditions for quasi-finite irreducible highest weight modules…
We present a new proof of a theorem of Schur's determining the least common multiple of the orders of all finite groups of complex $n \times n$-matrices whose elements have traces in the field of rational numbers. The basic method of proof…
For an algebraic number $\alpha$ we consider the orders of the reductions of $\alpha$ in finite fields. In the case where $\alpha$ is an integer, it is known by the work on Artin's primitive root conjecture that the order is "almost always…
The purpose of this paper is to discuss representations of high order $C^0$ finite element spaces on simplicial meshes in any dimension. When computing with high order piecewise polynomials the conditioning of the basis is likely to be…
The aim of this note is to describe the structure of finite meadows. We will show that the class of finite meadows is the closure of the class of finite fields under finite products. As a corollary, we obtain a unique representation of…
We construct finite element Stokes complexes on tetrahedral meshes in three-dimensional space. In the lowest order case, the finite elements in the complex have 4, 18, 16, and 1 degrees of freedom, respectively. As a consequence, we obtain…
We present a novel, perspicuous framework for building iterated ultrapowers. Furthermore, our framework naturally lends itself to the construction of a certain type of order indiscernibles, here dubbed tight indiscernibles, which are shown…