Related papers: On the canonical base property

This note is a development of our two previous papers, arXiv:1212.3392v1 and 1306.3660v1. The fundamental question is whether there exists a Galois theory, in which the Galois group is a quantum group. For a linear equations with respect to…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

This paper surveys the methods that have been used to attack the conjecture, still open, that an abelian variety over a characteristic $0$ field with finitely generated Galois group is always of infinite rank.

Let $A$ be a non-zero abelian variety over a field $F$ that is not algebraic over a finite field. We prove that the rational rank of the abelian group $A(F)$ is infinite when $F$ is large in the sense of Pop (also called ample). The main…

We construct examples of localizations in the category of groups which take the Mathieu group $M_{11}$ to groups of arbitrarily large cardinality which are ``abelian up to finitely many generators''. The paper is part of a broader study on…

Proofs that an arbitrary field has a separable closure are necessarily non-constructive, and separable closures are unique only up to non-canonical isomorphism. This means that the absolute Galois group of a field is defined only up to…

It has been known since their birth in Bao and Wang's work that the $\imath$canonical bases of $\imath$quantum groups are not stable in general. In the author's previous work, the stability of $\imath$canonical bases of certain quasi-split…

We classify all cubic function fields over any finite field, particularly developing a complete Galois theory which includes those cases when the constant field is missing certain roots of unity. In doing so, we find criteria which allow…

We give an algebraic description of the structure of the analytic universal cover of a complex abelian variety which suffices to determine the structure up to isomorphism. More generally, we classify the models of theories of "universal…

We prove that arboreal Galois extensions of number fields are never abelian for post-critically finite rational maps and non-preperiodic base points. For polynomials, this establishes a new class of known cases of a conjecture of…

In this talk, I report on three theorems concerning algebraic varieties over a field of characteristic $p>0$. a) over a finite field of cardinal $q$, two proper smooth varieties which are geometrically birational have the same number of…

An abelian group is said to be aleph_1-free if all its countable subgroups are free. Our main result is: If R is a ring with R^+ free and |R|<lambda <= 2^{aleph_0}, then there exists an aleph_1-free abelian group G of cardinality lambda…

We propose a conjectural characterization of when the dynamical Galois group associated to a polynomial is abelian, and we prove our conjecture in several cases, including the stable quadratic case over ${\mathbb Q}$. In the postcritically…

Non-n-ampleness as defined by Pillay and Evans is preserved under analysability. Generalizing this to a more general notion of Sigma-ampleness, we obtain an immediate proof for all simple theories of CHatzidakis weak Canonical Base Property…

Let $L/K$ be a finite Galois extension of fields with group $\Gamma$. When $\Gamma$ is nilpotent, we show that the problem of enumerating all nilpotent Hopf-Galois structures on $L/K$ can be reduced to the corresponding problem for the…

Several structural results about permutation groups of finite rank definable in differentially closed fields of characteristic zero (and other similar theories) are obtained. In particular, it is shown that every finite rank definably…

Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at…

The outlines of a "Galois theory" for bimeromorphic geometry is here developed, via the study of model-theoretic definable binding groups in the theory CCM of compact complex spaces. As an application, a structure theorem about principal…

By a recent result of Viehweg, projective manifolds with ample canonical class have a coarse moduli space, which is a union of quasiprojective varieties. In this paper, we prove that there are manifolds with ample canonical class that lie…

In this paper, we study the Hopf-Galois structures on a finite Galois extension whose Galois group $G$ is an almost simple group in which the socle $A$ has prime index $p$. Each Hopf-Galois structure is associated to a group $N$ of the same…