Related papers: Finite field elements of high order arising from m…
In many instances in first order logic or computable algebra, classical theorems show that many problems are undecidable for general structures, but become decidable if some rigidity is imposed on the structure. For example, the set of…
We give an explicit presentation of the module of differentials of order $n$ of a finitely generated algebra via a higher-order Jacobian matrix. We use the presentation to study some aspects of this module in the case of hypersurfaces. More…
Multivector fields and differential forms at the continuum level have respectively two commutative associative products, a third composition product between them and various operators like $\partial$, $d$ and $*$ which are used to describe…
An approach for the computation of upper bounds on the size of large complete arcs is presented. We obtain in particular geometrical properties of irreducible envelopes associated to a second largest complete arc provided that the order of…
We present a framework for constructing examples of smooth projective curves over number fields with explicitly given elements in their second K-group using elementary algebraic geometry. This leads to new examples for hyperelliptic curves…
In this paper we introduce a certain space of higher order modular forms of weight 0 and show that it has a Hodge structure coming from the geometry of the fundamental group of a modular curve. This generalizes the usual structure on…
We develop a finite volume method for Maxwell's equations in materials whose electromagnetic properties vary in space and time. We investigate both conservative and non-conservative numerical formulations. High-order methods accurately…
Building on work of J. Robinson and A. Shlapentokh, we develop a general framework to obtain definability and decidability results of large classes of infinite algebraic extensions of $\mathbb{F}_p(t)$. As an application, we show that for…
Our approach to higher order Fourier analysis is to study the ultra product of finite (or compact) Abelian groups on which a new algebraic theory appears. This theory has consequences on finite (or compact) groups usually in the form of…
In this article we develop a high order accurate method to solve the incompressible boundary layer equations in a provably stable manner.~We first derive continuous energy estimates,~and then proceed to the discrete setting.~We formulate…
We address the problem of complementing higher-order patterns without repetitions of existential variables. Differently from the first-order case, the complement of a pattern cannot, in general, be described by a pattern, or even by a…
We describe a class of sharply o-minimal structures, called analytically generated structures, whose definable sets and their complexity filtration are determined by the collection of definable complex cells. We prove a polynomially…
We consider the numerical discretization of the time-domain Maxwell's equations with an energy-conserving discontinuous Galerkin finite element formulation. This particular formulation allows for higher order approximations of the electric…
We introduce a framework for the design of finite element methods for two-dimensional moving boundary problems with prescribed boundary evolution that have arbitrarily high order of accuracy, both in space and in time. At the core of our…
Geyer and Jarden proved several results for torsion points of elliptic curves defined over the fixed field by finitely many elements in the absolute Galois group of a finitely generated field over the prime field in its algebraic closure.…
Robust mixed finite element methods are developed for a quad-curl singular perturbation problem. Lower order H(grad curl)-nonconforming but H(curl)-conforming finite elements are constructed, which are extended to nonconforming finite…
We consider elements of finite order in the Riordan group $\cal R$ over a field of characteristic $0$. Viewing $\cal R$ as a semi-direct product of groups of formal power series, we solve, for all $n \geq 2$, two foundational questions…
Meshing of geometric domains having curved boundaries by affine simplices produces a polytopial approximation of those domains. The resulting error in the representation of the domain limits the accuracy of finite element methods based on…
We determine explicit birational models over Q for the modular surfaces parametrising pairs of N-congruent elliptic curves in all cases where this surface is an elliptic surface. In each case we also determine the rank of the Mordell-Weil…
In this paper we investigate examples of good and optimal Drinfeld modular towers of function fields. Surprisingly, the optimality of these towers has not been investigated in full detail in the literature. We also give an algorithmic…