Related papers: An explicit triangular integral basis for any sepa…
For a particular class of Galois structures, we prove that the normal extensions are precisely those extensions that are "locally" split epic and trivial, and we use this to prove a "Galois theorem" for normal extensions. Furthermore, we…
A new criterion on normal bases of finite field extension $\mathbb{F}_{q^n} / \mathbb{F}_{q}$ is presented and explicit criterions for several particular finite field extensions are derived from this new criterion.
For a differential field $F$ having an algebraically closed field of constants, we analyze the structure of Picard-Vessiot extensions of $F$ whose differential Galois groups are unipotent algebraic groups and apply these results to study…
An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…
In this paper, we develop an explicit method to express finite algebraic numbers (in particular, certain idempotents among them) in terms of linear recurrent sequences, and give applications to the characterization of the splitting primes…
In this paper we will give an explicit construction of the geometric model for a prescribed extension of a function field in several variables over a number field. As a by-product, we will also prove the existence of quasi-galois closed…
This extended abstract gives a construction for lifting a Gr\"obner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gr\"obner basis for every ideal in R.
In this paper we present a conjecture on the construction of generalised elliptic units above number fields with exactly one complex place. These elliptic units obtained as values of multiple elliptic Gamma functions. These form a…
Given a number field $k$ and a quadratic extension $K_2$, we give an explicit asymptotic formula for the number of isomorphism classes of cubic extensions of $k$ whose Galois closure contains $K_2$ as quadratic subextension, ordered by the…
Let $A$ be a Dedekind domain, $K$ the fraction field of $A$, and $f\in A[x]$ a monic irreducible separable polynomial. For a given non-zero prime ideal $\mathfrak{p}$ of $A$ we present in this paper a new method to compute a…
In this work we explore the construction of abelian extensions of number fields with exactly one complex place using multivariate analytic functions in the spirit of Hilbert's 12th problem. To this end we study the special values of the…
In this paper we obtain the extended genus field of a finite abelian extension of a global rational function field. We first study the case of a cyclic extension of prime power degree. Next, we use that the extended genus fields of a…
We prove that every place P of an algebraic function field F|K of arbitrary characteristic admits local uniformization in a finite extension E of F. We show that E|F can be chosen to be Galois, after a finite purely inseparable extension of…
We show that every linear algebraic group over an algebraically closed field of characteristic zero is the differential Galois group of a regular singular linear differential equation with rational function coefficients.
Given a triangulated category over a field $K$ and a field extension $L/K$, we investigate how one can construct a triangulated category over $L$. Our approach produces the derived category of the base change scheme $X_L$ if the category…
Let $(K,\nu)$ be an arbitrary-rank valued field, $R_\nu$ its valuation ring, $K(\alpha)/K$ a separable finite field extension generated over $K$ by a root of a monic irreducible polynomial $f\in R_\nu[X]$. We give necessary and sufficient…
Refining a constructive combinatorial method due to MacLane and Schilling, we give several criteria for a valued field that guarantee that all of its maximal immediate extensions have infinite transcendence degree. If the value group of the…
We provide a categorical interpretation of a well-known identity from linear algebra as an isomorphism of certain functors between triangulated categories arising from finite dimensional algebras. As a consequence, we deduce that the Serre…
Inspired by the intrinsic formality of graded algebras, we prove a necessary and sufficient condition for strongly uniqueness of DG-enhancements. This approach offers a generalization to linearity over any commutative ring. In particular,…
In this paper we study couples of finite separable extensions of the function field $\mathbb{F}_q(T)$ which are arithmetically equivalent, i.e. such that prime ideals of $\mathbb{F}_q[T]$ decompose with the same inertia degrees in the two…