Showing 1–6 of 6 results for author: Montenegro, S

Pseudo T-closed fields

Authors: Samaria Montenegro, Silvain Rideau-Kikuchi

Abstract: Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for studying them: the class of pseudo $T$-closed fields, where $T$ is an enriched theory of fields. These fields verify a "local-global" principle for the existence… ▽ More Pseudo algebraically closed, pseudo real closed, and pseudo $p$-adically closed fields are examples of unstable fields that share many similarities, but have mostly been studied separately. In this text, we propose a unified framework for studying them: the class of pseudo $T$-closed fields, where $T$ is an enriched theory of fields. These fields verify a "local-global" principle for the existence of points on varieties with respect to models of $T$. This approach also enables a good description of some fields equipped with multiple $V$-topologies, particularly pseudo algebraically closed fields with a finite number of valuations. One important result is a (model theoretic) classification result for bounded pseudo $T$-closed fields, in particular we show that under specific hypotheses on $T$, these fields are NTP$_2$ of finite burden. △ Less

Submitted 16 July, 2024; v1 submitted 20 April, 2023; originally announced April 2023.

Comments: 32 pages, comments welcome!

Groups definable in partial differential fields with an automorphism

Authors: Ronald F. Bustamante Medina, Zoé Chatzidakis, Samaria Montenegro

Abstract: In this paper we study groups definable in existentially closed partial differential fields of characteristic 0 with an automorphism which commutes with the derivations. In particular, we study Zariski dense definable subgroups of simple algebraic groups, and show an analogue of Phyllis Cassidy's result for partial differential fields. We also show that these groups have a smallest definable subgr… ▽ More In this paper we study groups definable in existentially closed partial differential fields of characteristic 0 with an automorphism which commutes with the derivations. In particular, we study Zariski dense definable subgroups of simple algebraic groups, and show an analogue of Phyllis Cassidy's result for partial differential fields. We also show that these groups have a smallest definable subgroup of finite index. △ Less

Submitted 8 May, 2023; v1 submitted 21 April, 2021; originally announced April 2021.

MSC Class: 03C98 (Primary); 12L12; 12H05; 12H10 (Secondary)

Imaginaries, invariant types and pseudo p-adically closed fields

Authors: Samaria Montenegro, Silvain Rideau

Abstract: In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these tools to the elimination of imaginaries in bounded pseudo-p-adically closed fields. In this paper, we give a very general criterion for elimination of imaginaries using an abstract independent relation. We also study germs of definable functions at certain well-behaved invariant types. Finally we apply these tools to the elimination of imaginaries in bounded pseudo-p-adically closed fields. △ Less

Submitted 25 October, 2019; v1 submitted 1 February, 2018; originally announced February 2018.

Comments: Minor corrections. Acknowledgement of support by ValCoMo (ANR-13-BS01-0006) added

Stabilizers, groups with f-generics in NTP2 and PRC fields

Authors: Samaria Montenegro, Alf Onshuus, Pierre Simon

Abstract: In this paper we develop three different subjects. We study and prove alternative versions of Hrushovski's "Stabilizer Theorem", we generalize part of the basic theory of definably amenable NIP groups to NTP2 theories, and finally, we use all this machinery to study groups with f-generic types definable in bounded PRC fields. In this paper we develop three different subjects. We study and prove alternative versions of Hrushovski's "Stabilizer Theorem", we generalize part of the basic theory of definably amenable NIP groups to NTP2 theories, and finally, we use all this machinery to study groups with f-generic types definable in bounded PRC fields. △ Less

Submitted 2 January, 2018; v1 submitted 10 October, 2016; originally announced October 2016.

MSC Class: 03C60; 03C98; 03C45

Pseudo real closed field, pseudo p-adically closed fields and NTP2

Authors: Samaria Montenegro

Abstract: The main result of this paper is a positive answer to the Conjecture 5.1 by A. Chernikov, I. Kaplan and P. Simon: If M is a PRC field, then Th(M) is NTP_2 if and only if M is bounded. In the case of PpC fields, we prove that if M is a bounded PpC field, then Th(M) is NTP_2. We also generalize this result to obtain that, if M is a bounded PRC or PpC field with exactly n orders or p-adic valuations… ▽ More The main result of this paper is a positive answer to the Conjecture 5.1 by A. Chernikov, I. Kaplan and P. Simon: If M is a PRC field, then Th(M) is NTP_2 if and only if M is bounded. In the case of PpC fields, we prove that if M is a bounded PpC field, then Th(M) is NTP_2. We also generalize this result to obtain that, if M is a bounded PRC or PpC field with exactly n orders or p-adic valuations respectively, then Th(M) is strong of burden n. This also allows us to explicitly compute the burden of types, and to describe forking. △ Less

Submitted 27 September, 2016; v1 submitted 27 November, 2014; originally announced November 2014.

MSC Class: 03C60; 03C45

Journal ref: Annals of Pure and Applied Logic, 2016

Imaginaries in bounded pseudo real closed fields

Authors: Samaria Montenegro

Abstract: The main result of this paper is that if M is a bounded PRC field then Th(M) eliminates imaginaries in the language of rings expanded by constant symbols. The main result of this paper is that if M is a bounded PRC field then Th(M) eliminates imaginaries in the language of rings expanded by constant symbols. △ Less

Submitted 27 November, 2014; originally announced November 2014.

MSC Class: 03C60; 03C64