Related papers: Universality lifting from a general base field

A review of the connections between K_2 of a field and universal central extensions, quadratic forms, central simple algebras, differential forms, abelian extensions, abelian coverings, explicit reciprocity laws, special values of zeta…

We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In…

Let n be an odd number and F an imaginary quadratic field with odd discriminant. We show that there exists infinitely many cubic fields K such that the class number of K is divisible by n and the Galois closure of K contains F.

We give an overview of universal quadratic forms and lattices, focusing on the recent developments over the rings of integers in totally real number fields. In particular, we discuss indecomposable algebraic integers as one of the main…

We characterise the slices of the category of graphs that are algebraically universal in terms of the structure of the slicing graph. In particular, we show that algebraic universality is obtained if, and only if, the slicing graph contains…

Universality has been an important concept in computable structure theory. A class $\mathcal{C}$ of structures is universal if, informally, for any structure, of any kind, there is a structure in $\mathcal{C}$ with the same…

Let $K$ be a field finitely generated over the field of rational numbers, $K(c)$ the extension of $K$ obtained by adjoining all roots of unity, $L$ an infinite Galois extension of $K$, $X$ an abelian variety defined over $K$. We prove that…

We prove the following generalization of Severi's Theorem: Let $X$ be a fixed complex variety. Then there exist, up to birational equivalence, only finitely many complex varieties $Y$ of general type of dimension at most three which admit a…

Given any polynomial with real coefficients, the existence of a real quadratic polynomial factor is proven using only basic real analysis. The aim is to provide an approachable proof to anybody who is familiar with the least upper bound…

Let $G$ be a linear algebraic group over a field $k$ of characteristic 0. We show that any two connected semisimple $k$-subgroups of $G$ that are conjugate over an algebraic closure of $k$ are actually conjugate over a finite field…

In this paper we are interested in the class numbers of a family of real quadratic fields for which the square roots of the discriminants have a known expansion in continued fraction. In particular we prove that $h(D)>1$, with possibly a…

We consider the expansion of the real field by the group of rational points of an elliptic curve over the rational numbers. We prove a completeness result, followed by a quantifier elimination result. Moreover we show that open sets…

We use the notion of universal extension in a linear abelian category to study extensions of variations of mixed Hodge structure and convergent and overconvergent isocrystals. The results we obtain apply, for example, to prove the exactness…

Let $L$ be a separable quadratic extension of either $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We propose efficient algorithms for finding isomorphisms between quaternion algebras over $L$. Our techniques are based on computing maximal one-sided…

For an algebraic function field $F/K$ and a discrete valuation $v$ of $K$ with perfect residue field $k$, we bound the number of discrete valuations on $F$ extending $v$ whose residue fields are algebraic function fields of genus zero over…

We consider the fragment F of first order arithmetic in which quantification is restricted to ''for all but finitely many.'' We show that the integers form an F-elementary substructure of the real numbers. Consequently, the F-theory of…

Let $K$ be a number field, let $L$ be an algebraic (possibly infinite degree) extension of $K$, and let $O_K$ $\subset$ $O_L$ be their rings of integers. Suppose $A$ is an abelian variety defined over $K$ such that $A(K)$ is infinite and…

We furnish any category of a universal (co)homology theory. Universal (co)homologies and universal relative (co)homologies are obtained by showing representability of certain functors and take values in $R$-linear abelian categories of…

A positive definite integral quadratic form is said to be almost (primitively) universal if it (primitively) represents all but at most finitely many positive integers. In general, almost primitive universality is a stronger property than…

A set of valuable universal similarity factorization equalities are established over complex Clifford algebras $\Cn.$ Through them matrix representations of complex Clifford algebras $\Cn$ can directly be derived, and their properties can…