English
Related papers

Related papers: Existentially closed models of fields with a disti…

200 papers

We show a transfer principle for the property that all types realised in a given elementary extension are definable. It can be written as follows: a Henselian valued fields is stably embedded in an elementary extension if and only if its…

Logic · Mathematics 2020-12-01 Pierre Touchard

In this paper, we characterize NIP henselian valued fields modulo the theory of their residue field, both in an algebraic and in a model-theoretic way. Assuming the conjecture that every infinite NIP field is either separably closed, real…

Logic · Mathematics 2024-03-14 Sylvy Anscombe , Franziska Jahnke

In this paper, we classify certain subcategories of modules over a ring R. A wide subcategory of R-modules is an Abelian subcategory of R-Mod that is closed under extensions. We give a complete classification of wide subcategories of…

Rings and Algebras · Mathematics 2007-05-23 Mark Hovey

We study the topology of a class of proper submodules and some of its distinguished subclasses and call them structure spaces. We give several criteria for the quasi-compactness of these structure spaces. We study $T_0$ and $T_1$ separation…

Rings and Algebras · Mathematics 2023-04-18 Amartya Goswami

We study IE-closed subcategories of a module category, subcategories which are closed under taking Images and Extensions. We investigate the relation between IE-closed subcategories and torsion pairs, and characterize $\tau$-tilting finite…

Representation Theory · Mathematics 2022-08-31 Haruhisa Enomoto , Arashi Sakai

The following conjecture is due to Shelah-Hasson: Any infinite strongly NIP field is either real closed, algebraically closed, or admits a non-trivial definable henselian valuation, in the language of rings. We specialise this conjecture to…

Logic · Mathematics 2022-07-04 Lothar Sebastian Krapp , Salma Kuhlmann , Gabriel Lehéricy

The purpose of this paper is to clarify the relationship between various conditions implying essential undecidability: our main result is that there exists a theory $T$ in which all partially recursive functions are representable, yet $T$…

Logic · Mathematics 2020-05-13 Emil Jeřábek

A famous result due to L. S. Levy provides a classification of all finitely generated indecomposable modules over Dedekind-like rings. This motivates us to outline an approach to the classification of indecomposable pseudo-absorbing primary…

Commutative Algebra · Mathematics 2022-08-18 M. J. Nikmehr , R. Nikandish , A. Yassine

In this paper, we prove that a pseudoexponential field has continuum many non-isomorphic countable real closed exponential subfields, each with an order preserving exponential map which is surjective onto the nonnegative elements. Indeed,…

Logic · Mathematics 2016-02-10 Ahuva C. Shkop

In this paper, we provide a classification of certain points on Hilbert modular varieties over finite fields under a mild assumption on Newton polygon. Furthermore, we use this characterization to prove estimates for the size of isogeny…

Number Theory · Mathematics 2025-04-02 Tejasi Bhatnagar , Yu Fu

Fisher [Fis75] and Baur [Bau75] showed independently in the seventies that if $T$ is a complete first-order theory extending the theory of modules, then the class of models of $T$ with pure embeddings is stable. In [Maz4, 2.12], it is asked…

Logic · Mathematics 2021-07-12 Marcos Mazari-Armida

Let G be a semisimple group over an algebraically closed field of characteristic p>0. We give a (partly conjectural) simple, closed formula for the character of many indecomposable tilting rational G-modules, assuming that p is large.

Representation Theory · Mathematics 2015-02-18 George Lusztig , Geordie Williamson

We investigate existentially closed models (of a quite arbitrary theory) equipped which an action of a fixed group G. We embed these structures in a monster model D of some well-rounded theory and describe them as PAC substructures of D.…

Logic · Mathematics 2019-05-24 Daniel Max Hoffmann

We prove that if a separable II$_1$ factor $M$ is existentially closed, then every $M$-bimodule is weakly contained in the trivial $M$-bimodule, $\text{L}^2(M)$, and, equivalently, every normal completely positive map on $M$ is a pointwise…

Operator Algebras · Mathematics 2023-08-25 Adrian Ioana , Hui Tan

We describe the structure of module categories of finite dimensional algebras over an algebraically closed field for which the cycles of nonzero nonisomorphisms between indecomposable finite dimensional modules are finite (do not belong to…

Representation Theory · Mathematics 2013-10-24 Piotr Malicki , José A. de la Peña , Andrzej Skowroński

Existentially closed groups are, informally, groups that contain solutions to every consistent finite system of equations and inequations. They were introduced in 1951 in an algebraic context and subsequent research elucidated deep…

Logic · Mathematics 2024-04-18 I Scott

Let $K$ be an algebraically closed field of characteristic $p\geqslant 0$ and let $Y=\mbox{Spin}_{2n+1}(K)$ $(n\geqslant 3)$ be a simply connected simple algebraic group of type $B_n$ over $K.$ Also let $X$ be the subgroup of type $D_n,$…

Representation Theory · Mathematics 2016-08-23 Mikaël Cavallin

We show that when G is a finite group which contains an elementary Abelian subgroup of order p^2 and k is an algebraically closed field of characteristic p, then the study of simple endotrivial kG-modules which are not monomial may be…

Representation Theory · Mathematics 2014-02-26 Geoffrey R. Robinson

E. Hrushovski proved tha the theory of difference-differential fields has a model companion. We prove this result and other maind properties of this theory that we call DCFA. We describe the SU rank a its relation with transcendence degree.…

Logic · Mathematics 2009-07-24 Ronald F. Bustamante Medina

We give necessary and sufficient geometric conditions for a theory definable in an o-minimal structure to interpret a real closed field. The proof goes through an analysis of thorn-minimal types in super-rosy dependent theories of finite…

Logic · Mathematics 2007-11-02 Assaf Hasson , Alf Onshuus