English
Related papers

Related papers: Translating between NIP integral domains and topol…

200 papers

An overview is given of the construction of a differential polynomial ring of functions on the moduli space of Calabi-Yau threefolds. These rings coincide with the rings of quasi modular forms for geometries with duality groups for which…

High Energy Physics - Theory · Physics 2014-01-23 Murad Alim

We establish that all rings of $S$-integers are universally definable in function fields in one variable over certain ground fields including global and non-archimedean local fields. That is, we show that the complement of such a ring of…

Number Theory · Mathematics 2026-05-01 Nicolas Daans , Philip Dittmann

We prove that finite-index conformal nets are fully dualizable objects in the 3-category of conformal nets. Therefore, assuming the cobordism hypothesis applies, there exists a local framed topological field theory whose value on the point…

Algebraic Topology · Mathematics 2019-05-10 Arthur Bartels , Christopher L. Douglas , André Henriques

Recall that a definable group is `definably amenable' if it admits a translation-invariant Keisler measure. We prove a combinatorial characterization of definable amenability for groups definable in NIP theories. More specifically, given a…

Logic · Mathematics 2025-11-20 Atticus Stonestrom

We study the ground-state entanglement of gapped domain walls between topologically ordered systems in two spatial dimensions. We derive a universal correction to the ground-state entanglement entropy, which is equal to the logarithm of the…

Strongly Correlated Electrons · Physics 2021-06-01 Bowen Shi , Isaac H. Kim

Based on the notion of a $\Delta$-group(oid), ring-valued invariants of pairs of topological spaces can be defined in intrinsic topological terms.

Algebraic Topology · Mathematics 2007-05-23 R. M. Kashaev

The Newlander-Nirenberg theorem says that a formally integrable complex structure is locally equivalent to the standard complex structure in the complex Euclidean space. In this paper, we consider two natural generalizations of the…

Complex Variables · Mathematics 2020-05-18 Chun Gan , Xianghong Gong

Non-commutative Henselian rings are defined and it is shown that a local ring which is complete and separated in the topology defined by its maximal ideal is Henselian provided that it is almost commutative.

Rings and Algebras · Mathematics 2010-02-10 Masood Aryapoor

The classical Hilbert specialization property is a field-theoretic tool ensuring that polynomial irreducibility over a field is preserved under specialization of some of the variables. We develop an integral counterpart by introducing the…

Number Theory · Mathematics 2026-04-09 Angelot Behajaina , Pierre Dèbes , Joachim König

Let A be an excellent integral henselian local noetherian ring, k its residue field of characteristic p>0 and K its fraction field. Using an algebraization technique introduced by the first named author, and the one-dimension case already…

Algebraic Geometry · Mathematics 2015-05-13 Ofer Gabber , Fabrice Orgogozo

Let $K$ be a finite extension of the $p$-adic numbers $\mathbb Q_p$ with ring of integers $\mathcal O_K$, $\mathcal X$ a regular scheme, proper, flat, and geometrically irreducible over $\mathcal O_K$ of dimension $d$, and $\mathcal X_K$…

Number Theory · Mathematics 2022-11-28 Thomas H. Geisser , Baptiste Morin

We introduce and discuss a definition of approximation of a topological algebraic system $A$ by finite algebraic systems of some class $\K$. For the case of a discrete algebraic system this definition is equivalent to the well-known…

Logic · Mathematics 2007-05-23 L. Yu. Glebsky , E. I. Gordon , C. W. Henson

We study groups definable in existentially closed geometric fields with commuting derivations. Our main result is that such a group can be definably embedded in a group interpretable in the underlying geometric field. Compared to earlier…

Logic · Mathematics 2026-04-13 Anand Pillay , Françoise Point , Silvain Rideau-Kikuchi

This paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of the frontier of A is strictly smaller than the dimension of A itself, and that A has a…

Logic · Mathematics 2015-09-01 Pablo Cubides-Kovacsics , Luck Darnière , Eva Leenknegt

T. Saito established a ramification theory for ring extensions locally of complete intersection. We show that for a Henselian valuation ring $A$ with field of fractions $K$ and for a finite Galois extension $L$ of $K$, the integral closure…

Number Theory · Mathematics 2024-04-03 Kazuya Kato , Vaidehee Thatte

We consider Gaussian fields of real symmetric, complex Hermitian or quaternionic Hermitian matrices over an electrical network, and describe how the isomorphisms between these fields and random walks give rise to topological expansions…

Probability · Mathematics 2022-08-31 Titus Lupu

We prove that any finite-degree polynomial functor is topologically Noetherian. This theorem is motivated by the recent resolution of Stillman's conjecture and a recent Noetherianity proof for the space of cubics. Via work by…

Commutative Algebra · Mathematics 2019-05-09 Jan Draisma

Given an algebraic function field $F|K$ and a place $\wp$ on $K$, we prove that the places that are composite with extensions of $\wp$ to finite extensions of $K$ lie dense in the space of all places of $F$, in a strong sense. We apply the…

Commutative Algebra · Mathematics 2021-01-13 Eberhard Becker , Franz-Viktor Kuhlmann , Katarzyna Kuhlmann

We study the question of $\mathcal{L}_{\mathrm{ring}}$-definability of non-trivial henselian valuation rings. Building on previous work of Jahnke and Koenigsmann, we provide a characterization of henselian fields that admit a non-trivial…

Logic · Mathematics 2025-11-12 Margarete Ketelsen , Simone Ramello , Piotr Szewczyk

We study invariant types in NIP theories. Amongst other things: we prove a definable version of the (p,q)-theorem in theories of small or medium directionality; we construct a canonical retraction from the space of M-invariant types to that…

Logic · Mathematics 2015-11-10 Pierre Simon