Showing 1–22 of 22 results for author: Dobrowolski, J

Fields with Lie-commuting and iterative operators

Authors: Jan Dobrowolski, Omar Leon Sanchez

Abstract: We introduce a general framework for studying fields equipped with operators, given as co-ordinate functions of homomorphisms into a local algebra $\mathcal{D}$, satisfying various compatibility conditions that we denote by $Γ$ and call such structures $\mathcal{D}^Γ$-fields. These include Lie-commutativity of derivations and $\mathfrak g$-iterativity of (truncated) Hasse-Schmidt derivations. Our… ▽ More We introduce a general framework for studying fields equipped with operators, given as co-ordinate functions of homomorphisms into a local algebra $\mathcal{D}$, satisfying various compatibility conditions that we denote by $Γ$ and call such structures $\mathcal{D}^Γ$-fields. These include Lie-commutativity of derivations and $\mathfrak g$-iterativity of (truncated) Hasse-Schmidt derivations. Our main result is about the existence of principal realisations of $\mathcal{D}^Γ$-kernels. As an application, we prove companionability of the theory of $\mathcal{D}^Γ$-fields and denote the companion by $\mathcal{D}^Γ$-CF. In characteristic zero, we prove that $\mathcal{D}^Γ$-CF is a stable theory that satisfies the CBP and Zilber's dichotomy for finite-dimensional types. We also prove that there is a uniform companion for model-complete theories of large $\mathcal{D}^Γ$-fields, which leads to the notion of $\mathcal{D}^Γ$-large fields and we further use this to show that PAC substructures of $\mathcal{D}^Γ$-DCF are elementary. △ Less

Submitted 24 June, 2025; originally announced June 2025.

MSC Class: 16W99; 12H05; 03C60; 03C45

Corrigendum to "Kim-independence in positive logic"

Authors: Jan Dobrowolski, Mark Kamsma

Abstract: The proof of the Independence Theorem for Kim-independence in positive thick NSOP$_1$ theories from (Dobrowolski and Kamsma, 2022) contains a gap. The theorem is still true, and in this corrigendum we give a different proof. The proof of the Independence Theorem for Kim-independence in positive thick NSOP$_1$ theories from (Dobrowolski and Kamsma, 2022) contains a gap. The theorem is still true, and in this corrigendum we give a different proof. △ Less

Submitted 16 January, 2024; originally announced January 2024.

Comments: 12 pages; corrigendum to https://doi.org/10.2140/mt.2022.1.55

MSC Class: 03C45 (Primary) 03C10 (Secondary)

Journal ref: Model Th. 3 (2024) 883-895

Elekes-Szabó for collinearity on cubic surfaces

Authors: Martin Bays, Jan Dobrowolski, Tingxiang Zou

Abstract: We study the orchard problem on cubic surfaces. We classify possibly reducible cubic surfaces $X\subseteq \mathbb{P}^3(\C)$ with smooth components on which there exist families of finite sets (of unbounded size) with quadratically many 3-rich lines which do not concentrate (in a natural sense) on any projective plane. Namely, we prove that such a family exists precisely when $X$ is a union of thre… ▽ More We study the orchard problem on cubic surfaces. We classify possibly reducible cubic surfaces $X\subseteq \mathbb{P}^3(\C)$ with smooth components on which there exist families of finite sets (of unbounded size) with quadratically many 3-rich lines which do not concentrate (in a natural sense) on any projective plane. Namely, we prove that such a family exists precisely when $X$ is a union of three planes sharing a common line. Along the way, we obtain a general result about nilpotency of groups admitting an algebraic action satisfying an Elekes-Szabó condition, and we prove the following purely algebrogeometric statement: if the composition of four Geiser involutions through sufficiently generic points $a,b,c,d$ on a smooth irreducible cubic surface has infinitely many fixed points, then a single plane contains $a,b,c,d$ and all but finitely many of the fixed points. △ Less

Submitted 28 August, 2023; v1 submitted 28 December, 2022; originally announced December 2022.

Comments: v2: misc minor improvements; v3: plug gap in proof of Proposition 4.6

MSC Class: 52C10 (Primary) 03C98; 14C17 (Secondary)

The Amalgamation Property for automorphisms of ordered abelian groups

Authors: Jan Dobrowolski, Rosario Mennuni

Abstract: We prove that the category of ordered abelian groups equipped with an automorphism has the Amalgamation Property, deduce that their inductive theory is NIP in the sense of positive logic, and initiate a development of the latter framework. As byproducts of the proof, we obtain a generalised version of the Hahn Embedding Theorem which allows to lift each automorphism of an ordered abelian group t… ▽ More We prove that the category of ordered abelian groups equipped with an automorphism has the Amalgamation Property, deduce that their inductive theory is NIP in the sense of positive logic, and initiate a development of the latter framework. As byproducts of the proof, we obtain a generalised version of the Hahn Embedding Theorem which allows to lift each automorphism of an ordered abelian group to one of an ordered real vector space, and we show that, on existentially closed structures, linear combinations of iterates of the automorphism have the Intermediate Value Property. △ Less

Submitted 19 February, 2024; v1 submitted 8 September, 2022; originally announced September 2022.

Comments: 46 pages, 3 figures

MSC Class: 06F20; 03C60 (Primary) 03C45; 03C64 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 377 (2024), 7037-7079

Quadratic Forms in Prime Variables with small off-diagonal ranks

Authors: Jakub Dobrowolski

Abstract: The main goal of this note is to establish the limits of L. Zhao's techniques for counting solutions to quadratic forms in prime variables. Zhao considered forms with rank at least 9, and showed that these equations have solutions in primes provided there are no local obstructions. We consider in detail the degenerate cases of off-diagonal rank 1 and 2, and improve the rank lower bounds to at leas… ▽ More The main goal of this note is to establish the limits of L. Zhao's techniques for counting solutions to quadratic forms in prime variables. Zhao considered forms with rank at least 9, and showed that these equations have solutions in primes provided there are no local obstructions. We consider in detail the degenerate cases of off-diagonal rank 1 and 2, and improve the rank lower bounds to at least 6 and at least 8 respectively. These results complement a recent breakthrough of Green on the non-degenerate rank 8 case. △ Less

Submitted 14 February, 2022; originally announced February 2022.

Comments: 15 pages

On rank not only in NSOP1 theories

Authors: Jan Dobrowolski, Daniel Max Hoffmann

Abstract: We introduce a family of local ranks DQ depending on a finite set Q of pairs of the form (\varphi(x,y),q(y)) where \varphi(x,y) is a formula and q(y) is a global type. We prove that in any NSOP1 theory these ranks satisfy some desirable properties; in particular, DQ(x=x)<ωfor any finite variable x and any Q, if q\supseteq p is a Kim-forking extension of types, then DQ(q)<DQ(p) for some Q, and if q… ▽ More We introduce a family of local ranks DQ depending on a finite set Q of pairs of the form (\varphi(x,y),q(y)) where \varphi(x,y) is a formula and q(y) is a global type. We prove that in any NSOP1 theory these ranks satisfy some desirable properties; in particular, DQ(x=x)<ωfor any finite variable x and any Q, if q\supseteq p is a Kim-forking extension of types, then DQ(q)<DQ(p) for some Q, and if q\supseteq p is a Kim-non-forking extension, then DQ(q)=DQ(p) for every Q that involves only invariant types whose Morley powers are \ind^K-stationary. We give natural examples of families of invariant types satisfying this property in some NSOP1 theories. We also answer a question of Granger about equivalence of dividing and dividing finitely in the theory T_\infty of vector spaces with a generic bilinear form. We conclude that forking equals dividing in T_\infty, strengthening an earlier observation that T_\infty satisfies the existence axiom for forking independence. Finally, we slightly modify our definitions and go beyond NSOP1 to find out that our local ranks are bounded by the well-known ranks: the inp-rank (burden), and hence, in particular, by the dp-rank. Therefore, our local ranks are finite provided that the dp-rank is finite, for example if T is dp-minimal. Hence, our notion of ranks identifies a non-trivial class of theories containing all NSOP1 and NTP2 theories. △ Less

Submitted 3 November, 2021; originally announced November 2021.

MSC Class: Primary 03C95; Secondary: 03C45; 03C52

Elekes-Szabó for groups, and approximate subgroups in weak general position

Authors: Martin Bays, Jan Dobrowolski, Tingxiang Zou

Abstract: We show that with a suitable weak notion of general position, the Elekes-Szabó condition on the group operation of a connected complex algebraic group characterises nilpotence of the group. Along the way, we prove a Mordell-Lang result for generic finitely generated subgroups of commutative complex algebraic groups. We show that with a suitable weak notion of general position, the Elekes-Szabó condition on the group operation of a connected complex algebraic group characterises nilpotence of the group. Along the way, we prove a Mordell-Lang result for generic finitely generated subgroups of commutative complex algebraic groups. △ Less

Submitted 26 May, 2023; v1 submitted 12 July, 2021; originally announced July 2021.

MSC Class: 05E15 (Primary) 03C98; 22E25; 14K05 (Secondary)

Kim-independence in positive logic

Authors: Jan Dobrowolski, Mark Kamsma

Abstract: An important dividing line in the class of unstable theories is being NSOP$_1$, which is more general than being simple. In NSOP$_1$ theories forking independence may not be as well-behaved as in stable or simple theories, so it is replaced by another independence notion, called Kim-independence. We generalise Kim-independence over models in NSOP$_1$ theories to positive logic -- a proper generali… ▽ More An important dividing line in the class of unstable theories is being NSOP$_1$, which is more general than being simple. In NSOP$_1$ theories forking independence may not be as well-behaved as in stable or simple theories, so it is replaced by another independence notion, called Kim-independence. We generalise Kim-independence over models in NSOP$_1$ theories to positive logic -- a proper generalisation of first-order logic where negation is not built in, but can be added as desired. For example, an important application is that we can add hyperimaginary sorts to a positive theory to get another positive theory, preserving NSOP$_1$ and various other properties. We prove that, in a thick positive NSOP$_1$ theory, Kim-independence over existentially closed models has all the nice properties that it is known to have in a first-order NSOP$_1$ theory. We also provide a Kim-Pillay style theorem, characterising which thick positive theories are NSOP$_1$ by the existence of a certain independence relation. Furthermore, this independence relation must then be the same as Kim-independence. Thickness is the mild assumption that being an indiscernible sequence is type-definable. In first-order logic Kim-independence is defined in terms of Morley sequences in global invariant types. These may not exist in thick positive theories. We solve this by working with Morley sequences in global Lascar-invariant types, which do exist in thick positive theories. We also simplify certain tree constructions that were used in the study of Kim-independence in first-order theories. In particular, we only work with trees of finite height. △ Less

Submitted 21 April, 2022; v1 submitted 17 May, 2021; originally announced May 2021.

Comments: 45 pages

MSC Class: 03C45; 03C10

Journal ref: Model Th. 1 (2022) 55-113

The relativized Lascar groups, type-amalgamation, and algebraicity

Authors: Jan Dobrowolski, Byunghan Kim, Alexei Kolesnikov, Junguk Lee

Abstract: We apply compact group theory to obtain some model-theoretic results about the relativized Lascar Galois group of a strong type. We apply compact group theory to obtain some model-theoretic results about the relativized Lascar Galois group of a strong type. △ Less

Submitted 23 April, 2020; originally announced April 2020.

Journal ref: Journal of Symbolic Logic (86), 531-557, 2021

Sets, groups, and fields definable in vector spaces with a bilinear form

Authors: Jan Dobrowolski

Abstract: We study definable sets, groups, and fields in the theory $T_\infty$ of infinite-dimensional vector spaces over an algebraically closed field equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define an ($\mathbb{N}\times \mathbb{Z},\leq_{lex}$)-valued dimension on definable sets in $T_\infty$ enjoying many properties of Morley rank in strongly minimal theories. Then… ▽ More We study definable sets, groups, and fields in the theory $T_\infty$ of infinite-dimensional vector spaces over an algebraically closed field equipped with a nondegenerate symmetric (or alternating) bilinear form. First, we define an ($\mathbb{N}\times \mathbb{Z},\leq_{lex}$)-valued dimension on definable sets in $T_\infty$ enjoying many properties of Morley rank in strongly minimal theories. Then, using this dimension notion as the main tool, we prove that all groups definable in $T_\infty$ are (algebraic-by-abelian)-by-algebraic, which, in particular, answers a question of Granger. We conclude that every infinite field definable in $T_\infty$ is definably isomorphic to the field of scalars of the vector space. We derive some other consequences of good behaviour of the dimension in $T_\infty$, e.g. every generic type in any definable set is a definable type; every set is an extension base; every definable group has a definable connected component. We also consider the theory $T^{RCF}_\infty$ of vector spaces over a real closed field equipped with a nondegenerate alternating bilinear form or a nondegenerate symmetric positive-definite bilinear form. Using the same construction as in the case of $T_\infty$, we define a dimension on sets definable in $T^{RCF}_\infty$, and using it we prove analogous results about definable groups and fields: every group definable in $T^{RCF}_{\infty}$ is (semialgebraic-by-abelian)-by-semialgebraic (in particular, it is (Lie-by-abelian)-by-Lie), and every field definable in $T^{RCF}_{\infty}$ is definable in the field of scalars, hence it is either real closed or algebraically closed. △ Less

Submitted 6 July, 2020; v1 submitted 15 April, 2020; originally announced April 2020.

Comments: v2: The particular bounds on dimension obtained in Section 3 were corrected, and a number of minor corrections has been made throughout the paper

Journal ref: Annales de l'Institut Fourier (73), 1795-1841, 2023

Independence over arbitrary sets in NSOP$_1$ theories

Authors: Jan Dobrowolski, Byunghan Kim, Nicholas Ramsey

Abstract: We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP$_{1}$ theory. We deduce symmetry of Kim-independence and the independence theorem for Lascar strong types. We study Kim-independence over arbitrary sets. Assuming that forking satisfies existence, we establish Kim's lemma for Kim-dividing over arbitrary sets in an NSOP$_{1}$ theory. We deduce symmetry of Kim-independence and the independence theorem for Lascar strong types. △ Less

Submitted 18 September, 2019; originally announced September 2019.

Elementary Equivalence Theorem for PAC structures

Authors: Jan Dobrowolski, Daniel Max Hoffmann, Junguk Lee

Abstract: We generalize a well-known theorem binding the elementary equivalence relation on the level of PAC fields and the isomorphism class of their absolute Galois groups. Our results concern two cases: saturated PAC structures and non-saturated PAC structures. We generalize a well-known theorem binding the elementary equivalence relation on the level of PAC fields and the isomorphism class of their absolute Galois groups. Our results concern two cases: saturated PAC structures and non-saturated PAC structures. △ Less

Submitted 13 December, 2019; v1 submitted 20 November, 2018; originally announced November 2018.

MSC Class: 03C95 (Primary); 03C45; 03C50 (Secondary)

Journal ref: J. symb. log. 85 (2020) 1467-1498

On omega-categorical groups and rings of finite burden

Authors: Frank Olaf Wagner, Jan Dobrowolski

Abstract: An $ω$-categorical group of finite burden is virtually finite-by-abelian; an $ω$-categorical ring of finite burden is virtually finite-by-null; an $ω$-categorical NTP2 ring is virtually nilpotent. An $ω$-categorical group of finite burden is virtually finite-by-abelian; an $ω$-categorical ring of finite burden is virtually finite-by-null; an $ω$-categorical NTP2 ring is virtually nilpotent. △ Less

Submitted 21 November, 2018; v1 submitted 27 June, 2018; originally announced June 2018.

Valuation theory, generalized IFS attractors and fractals

Authors: Jan Dobrowolski, Franz-Viktor Kuhlmann

Abstract: Using valuation rings and valued fields as examples, we discuss in which ways the notions of "topological IFS attractor" and "fractal space" can be generalized to cover more general settings. Using valuation rings and valued fields as examples, we discuss in which ways the notions of "topological IFS attractor" and "fractal space" can be generalized to cover more general settings. △ Less

Submitted 10 April, 2018; v1 submitted 21 March, 2018; originally announced March 2018.

MSC Class: 28A80; 12J25 (Primary); 37C25; 37C70; 12J15 (Secondary)

Journal ref: Archiv der Mathematik (111), 287-297, 2018

A preservation theorem for theories without the tree property of the first kind

Authors: Jan Dobrowolski, Hyeungjoon Kim

Abstract: We prove that the NTP$_1$ property of a geometric theory $T$ is inherited by theories of lovely pairs and $H$-structures associated to $T$. We also provide a class of examples of nonsimple geometric NTP$_1$ theories. We prove that the NTP$_1$ property of a geometric theory $T$ is inherited by theories of lovely pairs and $H$-structures associated to $T$. We also provide a class of examples of nonsimple geometric NTP$_1$ theories. △ Less

Submitted 21 August, 2016; originally announced August 2016.

Journal ref: Mathematical Logic Quarterly (63), 536-543, 2017

Left-ordered inp-minimal groups

Authors: Jan Dobrowolski, John Goodrick

Abstract: We prove that any left-ordered inp-minimal group is abelian, and we provide an example of a non-abelian left-ordered group of dp-rank 2. We prove that any left-ordered inp-minimal group is abelian, and we provide an example of a non-abelian left-ordered group of dp-rank 2. △ Less

Submitted 14 August, 2017; v1 submitted 5 August, 2016; originally announced August 2016.

Journal ref: Archive for Mathematical Logic (58), 267-274, 2019

The Lascar groups and the 1st homology groups in model theory

Authors: Jan Dobrowolski, Byunghan Kim, Junguk Lee

Abstract: Let $p$ be a strong type of an algebraically closed tuple over $B=\acl^{\eq}(B)$ in any theory $T$. Depending on a ternary relation $\indo^*$ satisfying some basic axioms (there is at least one such, namely the trivial independence in $T$), the first homology group $H^*_1(p)$ can be introduced, similarly to \cite{GKK1}. We show that there is a canonical surjective homomorphism from the Lascar grou… ▽ More Let $p$ be a strong type of an algebraically closed tuple over $B=\acl^{\eq}(B)$ in any theory $T$. Depending on a ternary relation $\indo^*$ satisfying some basic axioms (there is at least one such, namely the trivial independence in $T$), the first homology group $H^*_1(p)$ can be introduced, similarly to \cite{GKK1}. We show that there is a canonical surjective homomorphism from the Lascar group over $B$ to $H^*_1(p)$. We also notice that the map factors naturally via a surjection from the `relativised' Lascar group of the type (which we define in analogy with the Lascar group of the theory) onto the homology group, and we give an explicit description of its kernel. Due to this characterization, it follows that the first homology group of $p$ is independent from the choice of $\indo^*$, and can be written simply as $H_1(p)$. As consequences, in any $T$, we show that $|H_1(p)|\geq 2^{\aleph_0}$ unless $H_1(p)$ is trivial, and we give a criterion for the equality of stp and Lstp of algebraically closed tuples using the notions of the first homology group and a relativised Lascar group. We also argue how any abelian connected compact group can appear as the first homology group of the type of a model. △ Less

Submitted 3 May, 2017; v1 submitted 11 November, 2015; originally announced November 2015.

Comments: 30 pages, no figures, this merged with the article arXiv:1504.07721

MSC Class: 03C45

Journal ref: Annals of Pure and Applied Logic (168), 2129-2151, 2017

Topologies induced by group actions

Authors: Jan Dobrowolski

Abstract: We introduce some canonical topologies induced by actions of topological groups on groups and rings. For $H$ being a group [or a ring] and $G$ a topological group acting on $H$ as automorphisms, we describe the finest group [ring] topology on $H$ under which the action of $G$ on $H$ is continuous. We also study the introduced topologies in the context of Polish structures. In particular, we prove… ▽ More We introduce some canonical topologies induced by actions of topological groups on groups and rings. For $H$ being a group [or a ring] and $G$ a topological group acting on $H$ as automorphisms, we describe the finest group [ring] topology on $H$ under which the action of $G$ on $H$ is continuous. We also study the introduced topologies in the context of Polish structures. In particular, we prove that there may be no Hausdorff topology on a group $H$ under which a given action of a Polish group on $H$ is continuous. △ Less

Submitted 1 December, 2014; originally announced December 2014.

Comments: 13 pages

Journal ref: Topology and its Applications (189), 136-146, 2015

Locally finite profinite rings

Authors: Jan Dobrowolski, Krzysztof Krupiński

Abstract: We investigate the structure of locally finite profinite rings. We classify (Jacobson-) semisimple locally finite profinite rings as products of complete matrix rings of bounded cardinality over finite fields, and we prove that the Jacobson radical of any locally finite profinite ring is nil of finite nilexponent. Our results apply to the context of small compact $G$-rings, where we also obtain a… ▽ More We investigate the structure of locally finite profinite rings. We classify (Jacobson-) semisimple locally finite profinite rings as products of complete matrix rings of bounded cardinality over finite fields, and we prove that the Jacobson radical of any locally finite profinite ring is nil of finite nilexponent. Our results apply to the context of small compact $G$-rings, where we also obtain a description of possible actions of $G$ on the underlying ring. △ Less

Submitted 25 June, 2013; originally announced June 2013.

Comments: 17 pages

Journal ref: Journal of Algebra, (401), 161-178, 2014

New examples of small Polish structures

Authors: Jan Dobrowolski

Abstract: We answer some questions from a paper of Krupiński by giving suitable examples of small Polish structures. First, we present a class of small Polish group structures without generic elements. Next, we construct a first example of a small non-zero-dimensional Polish $G$-group. We answer some questions from a paper of Krupiński by giving suitable examples of small Polish structures. First, we present a class of small Polish group structures without generic elements. Next, we construct a first example of a small non-zero-dimensional Polish $G$-group. △ Less

Submitted 23 June, 2012; originally announced June 2012.

Journal ref: Journal of Symbolic Logic (78), 969-976, 2013

On ω-categorical, generically stable groups and rings

Authors: Jan Dobrowolski, Krzysztof Krupinski

Abstract: We prove that every ω-categorical, generically stable group is nilpotent-by-finite and that every ω-categorical, generically stable ring is nilpotent-by-finite. We prove that every ω-categorical, generically stable group is nilpotent-by-finite and that every ω-categorical, generically stable ring is nilpotent-by-finite. △ Less

Submitted 10 February, 2012; originally announced February 2012.

MSC Class: 03C45; 03C35; 20A15

Journal ref: Annals of Pure and Applied Logic (164), 802-812, 2013

On ω-categorical, generically stable groups

Authors: Jan Dobrowolski, Krzysztof Krupinski

Abstract: We prove that each ω-categorical, generically stable group is solvable-by-finite. We prove that each ω-categorical, generically stable group is solvable-by-finite. △ Less

Submitted 17 August, 2011; originally announced August 2011.

Comments: 11 pages

MSC Class: 03C45; 20A15

Journal ref: Journal of Symbolic Logic (77), 1047-1056, 2012