Groups elementarily equivalent to a free nilpotent group of finite rank

In this paper we give a complete algebraic description of groups elementarily equivalent to a given free nilpotent group of finite rank

Field Arithmetic

Field Arithmetic studies the interrelation between arithmetic properties of fields and their absolute Galois groups. It is an interdisciplinary area that uses methods of algebraic number theory, commutative algebra, algebraic geometry, arithmetic geometry, finite and profinite groups, and nonarchimedean analysis. Some of the results are motivated by questions of model theory and used to establish results in (un-)decidability

Komplexe Analysis - Algebraicity and Transcendence (hybrid meeting)

This is the report of the Oberwolfach workshop Komplexe Analysis 2020. It was mainly devoted to the transcendental methods of complex algebraic geometry and featured eighteen talks about recent important developments in Hodge theory, moduli spaces, hyperbolicity, Fano varieties, algebraic foliations, algebraicity theorems for subvarieties and their applications to transcendence proofs for numbers. Two talks were more algebraic in nature and devoted to non-commutative deformations and syzygies of secant varieties

Model Theory and Groups

The aim of the workshop was to discuss the connections between model theory and group theory. Main topics have been the interaction between geometric group theory and model theory, the study of the asymptotic behaviour of geometric properties on groups, and the model theoretic investigations of groups of finite Morley rank around the Cherlin-Zilber Conjecture

Nonstandard analysis, deformation quantization and some logical aspects of (non)commutative algebraic geometry

This paper surveys results related to well-known works of B. Plotkin and V. Remeslennikov on the edge of algebra, logic and geometry. We start from a brief review of the paper and motivations. The first sections deal with model theory. In Section 2.1 we describe the geometric equivalence, the elementary equivalence, and the isotypicity of algebras. We look at these notions from the positions of universal algebraic geometry and make emphasis on the cases of the first order rigidity. In this setting Plotkin's problem on the structure of automorphisms of (auto)endomorphisms of free objects, and auto-equivalence of categories is pretty natural and important. Section 2.2 is dedicated to particular cases of Plotkin's problem. Section 2.3 is devoted to Plotkin's problem for automorphisms of the group of polynomial symplectomorphisms. This setting has applications to mathematical physics through the use of model theory (non-standard analysis) in the studying of homomorphisms between groups of symplectomorphisms and automorphisms of the Weyl algebra. The last two sections deal with algorithmic problems for noncommutative and commutative algebraic geometry. Section 3.1 is devoted to the Gr\"obner basis in non-commutative situation. Despite the existence of an algorithm for checking equalities, the zero divisors and nilpotency problems are algorithmically unsolvable. Section 3.2 is connected with the problem of embedding of algebraic varieties; a sketch of the proof of its algorithmic undecidability over a field of characteristic zero is given.Comment: In this review we partially used results of arXiv:1512.06533, arXiv:math/0512273, arXiv:1812.01883 and arXiv:1606.01566 and put them in a new contex

Towards the Andr\'e-Oort conjecture for mixed Shimura varieties: the Ax-Lindemann theorem and lower bounds for Galois orbits of special points

We prove in this paper the Ax-Lindemann-Weierstrass theorem for all mixed Shimura varieties and discuss the lower bounds for Galois orbits of special points of mixed Shimura varieties. In particular we reprove a result of Silverberg in a different approach. Then combining these results we prove the Andr\'e-Oort conjecture for any mixed Shimura variety whose pure part is a subvariety of A_6^n.Comment: The arXiv version differs from the published versio

Non-Archimedean Analytic Geometry

The workshop focused on recent developments in non-Archimedean analytic geometry with various applications to arithmetic and algebraic geometry. These applications include questions in Arakelov theory, p-adic differential equations, p-adic Hodge theory and the geometry of moduli spaces. Various methods were used in combination with analytic geometry, in particular perfectoid spaces, model theory, skeleta, formal geometry and tropical geometry

Stable domination and independence in algebraically closed valued fields

We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of stably dominated types, showing they enjoy an excellent independence theory, as well as a theory of definable types and germs of definable functions. In Part B, we show that the general theory applies to ACVF. Over a sufficiently rich base, we show that every type is stably dominated over its image in the value group. For invariant types over any base, stable domination coincides with a natural notion of `orthogonality to the value group'. We also investigate other notions of independence, and show that they all agree, and are well-behaved, for stably dominated types. One of these is used to show that every type extends to an invariant type; definable types are dense. Much of this work requires the use of imaginary elements. We also show existence of prime models over reasonable bases, possibly including imaginaries