English
Related papers

Related papers: Type-definable NIP fields are Artin-Schreier close…

200 papers

For G a group definable in an NIP theory we prove that there is a smallest type-definable subgroup H of G such that the quotient G/H is stable. This generalizes the existence of G^00, the smallest type-definable subgroup of G of bounded…

Logic · Mathematics 2016-06-06 Mike Haskel , Anand Pillay

A relevant thesis is that for the family of complete first order theories with NIP (i.e. without the independence property) there is a substantial theory, like the family of stable (and the family of simple) first order theories. We examine…

Logic · Mathematics 2007-05-23 Saharon Shelah

For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…

Logic · Mathematics 2013-01-04 David Pierce

We classify finite-dimensional Hopf algebras over an algebraically closed field of characteristic zero whose Hopf coradcial is isomorphic to the smallest non-pointed basic Hopf algebra, under the assumption that the diagrams are strictly…

Quantum Algebra · Mathematics 2018-05-16 Rongchuan Xiong

The notion of a complete type can be generalized in a natural manner to allow assigning a value in an arbitrary Boolean algebra B to each formula. We show some basic results regarding the effect of the properties of B on the behavior of…

Logic · Mathematics 2022-01-19 Itay Kaplan , Ori Segel , Saharon Shelah

We construct, for every prime p, a function field K of characteristic p and an ordinary abelian variety A over K, with no isotrivial factors, that admits an etale self-isogeny of p-power degree. As a consequence, we deduce that there exist…

Algebraic Geometry · Mathematics 2021-07-28 David Helm

Let $k$ be a rational congruence function field and consider an arbitrary finite separable extension $K/k$. If for each prime in $k$ ramified in $K$ we have that at least one ramification index is not divided by the characteristic of $K$,…

Let K be an algebraically closed field of characteristic zero. We show that if the automorphisms group of a quasi-affine variety X is infinite, then X is uniruled.

Algebraic Geometry · Mathematics 2014-03-27 Zbigniew Jelonek

This paper aims at developing model-theoretic tools to study interpretable fields and definably amenable groups, mainly in $\mathrm{NIP}$ or $\mathrm{NTP_2}$ settings. An abstract theorem constructing definable group homomorphisms from…

Logic · Mathematics 2025-01-07 Paul Z. Wang

Let K be a local field whose residue field is a finite field of characteristic p, and let L/K be a finite totally ramified Galois extension. Fried and Heiermann defined the "indices of inseparability" of L/K, a refinement of the…

Number Theory · Mathematics 2013-11-08 Kevin Keating

For a NIP theory $T$, a sufficiently saturated model $\mathfrak{C}$ of $T$, and an invariant (over some small subset of $\mathfrak{C}$) global type $p$, we prove that there exists a finest relatively type-definable over a small set of…

Logic · Mathematics 2025-07-16 Krzysztof Krupiński , Adrián Portillo

Let $H$ be a pointed Hopf algebra. We show that under some mild assumptions $H$ and its associated graded Hopf algebra $\gr H$ have the same Gelfand-Kirillov dimension. As an application, we prove that the Gelfand-Kirillov dimension of a…

Rings and Algebras · Mathematics 2012-11-20 Guangbin Zhuang

It is shown that over an arbitrary countable field, there exists a finitely generated algebra that is nil, infinite dimensional, and has Gelfand-Kirillov dimension at most three.

Rings and Algebras · Mathematics 2010-08-27 T H Lenagan , Agata Smoktunowicz , Alexander Young

In this note we prove a generalization of the Frobenius-Schur theorem for finite groups for the case of semisimple Hopf algebra over an algebraically closed field of characteristic 0. A similar result holds in characteristic $p > 2$ if the…

Representation Theory · Mathematics 2007-05-23 Vitaly Linchenko , Susan Montgomery

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

Algebraic Geometry · Mathematics 2025-10-31 Emiliano Ambrosi

Let $k$ be a perfect field of characteristic $p \geq 3$. We classify $p$-divisible groups over regular local rings of the form $W(k)[[t_1,...,t_r,u]]/(u^e+pb_{e-1}u^{e-1}+...+pb_1u+pb_0)$, where $b_0,...,b_{e-1}\in W(k)[[t_1,...,t_r]]$ and…

Number Theory · Mathematics 2012-07-25 Adrian Vasiu , Thomas Zink

We show that if a field A is not pseudo-finite, then there is no prime model of the theory of pseudo-finite fields over A. Assuming GCH, we generalise this result to \kappa-prime models, for \kappa a regular uncountable cardinal or…

Logic · Mathematics 2025-08-06 Zoé Chatzidakis

A differential-algebraic geometric analogue of the Dixmier-Moeglin equivalence is articulated, and proven to hold for $D$-groups over the constants. The model theory of differentially closed fields of characteristic zero, in particular the…

Rings and Algebras · Mathematics 2018-05-23 Jason Bell , Omar Leon Sanchez , Rahim Moosa

Let $\mathbf{K}$ be an algebraically closed field of arbitrary characteristic, complete with respect to a non-archimedean absolute value $|\,|$. We establish a Second Main Theorem type estimate for analytic map $f\colon…

Complex Variables · Mathematics 2024-05-24 Dinh Tuan Huynh

We give a classification of open Klein topological conformal field theories in terms of Calabi-Yau $A_\infty$-categories endowed with an involution. Given an open Klein topological conformal field theory, there is a universal open-closed…

Quantum Algebra · Mathematics 2016-04-26 Ramses Fernandez-Valencia