Related papers: The Ramificant Determinant

Using tools from the Siegel-Shidlovskii theory of transcendental numbers, we prove that a nontrivial solution of the Airy equation, its derivative, and an antiderivative are algebraically independent over the field of rational functions.…

We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version…

Given a covering of the projective line with ramifications defined over a number field, we define a plain model of the algebraic curve realizing the Riemann existence theorem for this covering, and bound explicitly the defining equation of…

We consider elliptic surfaces $\mathcal{E}$ over a field $k$ equipped with zero section $O$ and another section $P$ of infinite order. If $k$ has characteristic zero, we show there are only finitely many points where $O$ is tangent to a…

We define noncommutative binary forms. Using the typical representation of Hermite we prove the fundamental theorem of algebra and we derive a noncommutative Cardano formula for cubic forms. We define quantized elliptic and hyperelliptic…

Transversal structures (also known as regular edge labelings) are combinatorial structures defined over 4-connected plane triangulations with quadrangular outer-face. They have been intensively studied and used for many applications…

Leivant's ramified recurrence is one of the earliest examples of an implicit characterization of the polytime functions as a subalgebra of the primitive recursive functions. Leivant's result, however, is originally stated and proved only…

The geometry of Arithmetic Random Waves has been extensively investigated in the last fifteen years, starting from the seminal papers [RW08, ORW08]. In this paper we study the correlation structure among different functionals such as nodal…

The aim of this work is to lay the foundations of differential geometry and Lie theory over the general class of topological base fields and -rings for which a differential calculus has been developed in recent work (collaboration with H.…

There are many notions of rank in multilinear algebra: tensor rank, partition rank, slice rank, and strength (or Schmidt rank) are a few examples. Typically the rank $\le r$ locus is not Zariski closed, and understanding the closure (the…

We obtain a sub-Riemannian version of the classical Gauss-Bonnet theorem. We consider subsurfaces of a three dimensional contact sub-Riemannian manifolds, and using a family of taming Riemannian metric, we obtain a pure sub-Riemannian…

For an (imaginary) hyperelliptic curve $ \mathcal{H} $ of genus $g$, with a Weierstrass point $\Omega$, taken as the point at infinity, we determine a basis of the Riemann-Roch space $\mathcal{L}(\Delta + m \Omega)$, where $\Delta$ is of…

We consider normal covers of CP^1 with abelian deck group, branched over at most four points. Families of such covers yield arithmetic Teichm\"uller curves, whose period mapping may be described geometrically in terms of Schwarz triangle…

In this article, we functorially associate definable sets to $k$-analytic curves, and definable maps to analytic morphisms between them, for a large class of $k$-analytic curves. Given a $k$-analytic curve $X$, our association allows us to…

We establish a noncommutative generalisation of the Borel-Weil theorem for the Heckenberger-Kolb calculi of the quantum Grassmannians. The result is formulated in the framework of quantum principal bundles and noncommutative complex…

This is the first in a series of papers laying the foundations for a differential graded approach to derived differential geometry (and other geometries in characteristic zero). In this paper, we study theories of supercommutative algebras…

In this paper we prove two results. The first shows that the Dirichlet-Neumann map of the operator $\Delta_g+q$ on a Riemannian surface can determine its topological, differential, and metric structure. Earlier work of this type assumes a…

Let $(X,x_0)$ be any one--pointed compact connected Riemann surface of genus $g$, with $g\geq 3$. Fix two mutually coprime integers $r>1$ and $d$. Let ${\mathcal M}_X$ denote the moduli space parametrizing all logarithmic…

Consider the smooth sections of the tangent bundle of a reductive homogeneous space. This is a vector space over the field of real numbers. The canonical connection acts as a linear binary operator on this vector space, making it an…

We develop an algorithm computing the transcendental lattice and the Mordell--Weil group of an extremal elliptic surface. As an example, we compute the lattices of four exponentially large series of surfaces