English
Related papers

Related papers: Model Theory of Differentially Closed Fields with …

200 papers

This is the first of two papers which construct a purely algebraic counterpart to the theory of Gromov-Witten invariants (at all genera). These Gromov-Witten type invariants depend on a Calabi-Yau A-infinity category, which plays the role…

Quantum Algebra · Mathematics 2007-05-23 Kevin J. Costello

Initially motivated by Hrushovski's paper on definability patterns, we obtain homeomorphisms between Ellis semigroups related to natural actions of the automorphism groups of first order structures and certain collections of types and…

Logic · Mathematics 2025-08-01 Kyle Gannon , Daniel Max Hoffmann , Krzysztof Krupiński

In [2], an exhaustive construction is achieved for the class of all 4-dimensional unital division algebras over finite fields of odd order, whose left nucleus is not minimal and whose automorphism group contains Klein's four-group. We…

Rings and Algebras · Mathematics 2019-08-20 Ernst Dieterich

We study the model theory of the $2$-sorted structure $(\mathbb{F}, \mathbb{C};\chi)$, where $\mathbb{F}$ is an algebraic closure of a finite field of characteristic $p$, $\mathbb{C}$ is the field of complex numbers and $\chi: \mathbb{F}…

Logic · Mathematics 2017-05-02 Tigran Hakobyan , Minh Chieu Tran

A series of recent papers by Bergfalk, Lupini and Panagiotopoulus developed the foundations of a field known as `definable algebraic topology,' in which classical cohomological invariants are enriched by viewing them as groups with a Polish…

Logic · Mathematics 2025-07-21 Nicholas Meadows

Let f : X --> X be a dominant rational map of a projective variety defined over a number field. An important geometric-dynamical invariant of f is its (first) dynamical degree d_f= lim SpecRadius((f^n)^*)^{1/n}. For algebraic points P of X…

Number Theory · Mathematics 2012-12-14 Shu Kawaguchi , Joseph H. Silverman

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…

Logic · Mathematics 2018-01-03 Samaria Montenegro , Alf Onshuus , Pierre Simon

Given an algebraic differential equation of order greater than one, it is shown that if there is any nontrivial algebraic relation amongst any number of distinct nonalgebraic solutions, along with their derivatives, then there is already…

Algebraic Geometry · Mathematics 2022-11-23 James Freitag , Rémi Jaoui , Rahim Moosa

We aim to provide a family of Drinfeld-Hecke eigenforms given in terms of a determinant of twisted Eisenstein series. Our main tool is the theory of vectorial Drinfeld modular forms, previously introduced by Pellarin [18] and extensively…

Number Theory · Mathematics 2025-09-26 Oğuz Gezmiş , Özge Ülkem

This paper is a sequel to [1] and considers definability in differential-henselian monotone fields with c-map and angular component map. We prove an Equivalence Theorem among whose consequences are a relative quantifier reduction and an NIP…

Logic · Mathematics 2018-06-11 Tigran Hakobyan

We prove a linearization theorem for pre-rings of endogenies acting on a definable abelian group of finite dimension. Observe that no assumptions on the connectivity of A are made. We also prove a similar result when one of the two…

Group Theory · Mathematics 2025-11-11 Moreno Invitti

We study the automorphism group of the algebraic closure of a substructure A of a pseudo-finite field F, or more generally, of a bounded PAC field F. This paper answers some of the questions of [1], and in particular that any finite group…

Logic · Mathematics 2016-02-26 Özlem Beyarslan , Zoé Chatzidakis

We develop a geometric theory for difference equations with a given group of automorphisms. To solve this problem we extend the class of difference fields to the class of absolutely flat simple difference rings called pseudofields. We prove…

Commutative Algebra · Mathematics 2010-10-22 Dima Trushin

The aim of this paper is to generalize and improve two of the main model-theoretic results of "Stable group theory and approximate subgroups" by E. Hrushovski to the context of piecewise hyperdefinable sets. The first one is the existence…

Logic · Mathematics 2025-10-01 Arturo Rodriguez Fanlo

An expansion of a definably complete field either defines a discrete subring, or the image of a definable discrete set under a definable map is nowhere dense. As an application we show a definable version of Lebesgue's differentiation…

Logic · Mathematics 2016-01-19 Antongiulio Fornasiero , Philipp Hieronymi

For a finite dimensional algebra $A$, we prove that the bounded homotopy category of projective $A$-modules and the bounded derived category of $A$-modules are dual to each other via certain categories of locally-finite cohomological…

Rings and Algebras · Mathematics 2018-10-09 Xiao-Wu Chen

The presence of a boundary (or defect) in a conformal field theory allows one to generalize the notion of an exactly marginal deformation. Without a boundary, one must find an operator of protected scaling dimension $\Delta$ equal to the…

High Energy Physics - Theory · Physics 2020-02-19 Christopher P. Herzog , Itamar Shamir

We develop a framework for derived deformation theory, valid in all characteristics. This gives a model category reconciling local and global approaches to derived moduli theory. In characteristic 0, we use this to show that the homotopy…

Algebraic Geometry · Mathematics 2019-09-09 J. P. Pridham

We classify the stable formulas in the theory of Dense Linear Orders without endpoints, the stable formulas in the theory of Divisible Abelian Groups, and the stable formulas without parameters in the theory of Real Closed Fields. The third…

Logic · Mathematics 2024-10-24 Daniel Max Hoffmann , Chieu-Minh Tran , Jinhe Ye

The text is based on notes from a class entitled {\em Model Theory of Berkovich Spaces}, given at the Hebrew University in the fall term of 2009, and retains the flavor of class notes. It includes an exposition of material from…

Logic · Mathematics 2014-03-31 Ehud Hrushovski