English
Related papers

Related papers: Translating between NIP integral domains and topol…

200 papers

Let $T$ be a polynomially bounded o-minimal theory extending the theory of real closed ordered fields. Let $K$ be a model of $T$ equipped with a $T$-convex valuation ring and a $T$-derivation. If this derivation is continuous with respect…

Logic · Mathematics 2023-03-08 Elliot Kaplan

We introduce a new approach to determining the structure of topological cyclic homology by means of a descent spectral sequence. We carry out the computation for a p-adic local field with Fp-coefficients, including the case p=2 which was…

Algebraic Topology · Mathematics 2022-08-11 Ruochuan Liu , Guozhen Wang

We study directed sets definable in o-minimal structures, showing that in expansions of ordered fields these admit cofinal definable curves, as well as a suitable analogue in expansions of ordered groups, and furthermore that no analogue…

Logic · Mathematics 2021-09-17 Pablo Andujar Guerrero , Margaret E. M. Thomas , Erik Walsberg

Index maps taking values in the $K$-theory of a mapping cone are defined and discussed. The resulting index theorem can be viewed in analogy with the Freed-Melrose index theorem. The framework of geometric $K$-homology is used in a…

K-Theory and Homology · Mathematics 2016-03-11 Robin J. Deeley

We show that for a Noetherian ring $A$ that is $I$-adically complete for an ideal $I$, if $A/I$ admits a dualizing complex, so does $A$. This gives an alternative proof of the fact that a Noetherian complete local ring admits a dualizing…

Commutative Algebra · Mathematics 2025-08-13 Shiji Lyu

The paper establishes a relationship between finite separable extensions and norm groups of strictly quasilocal fields with Henselian discrete valuations, which yields a generally nonabelian one-dimensional local class field theory.

Rings and Algebras · Mathematics 2007-05-23 I. D. Chipchakov

We show that all extended functorial field theories, both topological and nontopological, are local. We define the smooth (infinity,d)-category of bordisms with geometric data, such as Riemannian metrics or geometric string structures, and…

Algebraic Topology · Mathematics 2023-09-19 Daniel Grady , Dmitri Pavlov

We prove that for p-optimal fields (a very large subclass of p-minimal fields containing all the known examples) a cell decomposition theorem follows from methods going back to Denef's paper [Invent. Math, 77 (1984)]. We derive from it the…

Logic · Mathematics 2016-02-08 Luck Darnière , Immanuel Halupczok

Provability logic GLP is well-known to be incomplete w.r.t. Kripke semantics. A natural topological semantics of GLP interprets modalities as derivative operators of a polytopological space. Such spaces satisfying all the axioms of GLP are…

Logic · Mathematics 2016-02-19 Lev D. Beklemishev , David Gabelaia

Groups of almost upper triangular infinite matrices with entries indexed by integers are studied. It is shown that, when the matrices are over a finite field, these groups admit a nondiscrete totally disconnected, locally compact group…

Group Theory · Mathematics 2019-12-17 Peter Groenhout , Colin D. Reid , George A. Willis

Let $K$ be a Henselian, non-trivially valued field with separated analytic structure. We prove the existence of definable retractions onto an arbitrary closed definable subset of $K^{n}$. Hence directly follow definable non-Archimedean…

Algebraic Geometry · Mathematics 2019-02-01 Krzysztof Jan Nowak

The main purpose of the paper is to establish a closedness theorem over Henselian valued fields $K$ of equicharacteristic zero (not necessarily algebraically closed) with separated analytic structure. It says that every projection with a…

Algebraic Geometry · Mathematics 2018-01-09 Krzysztof Jan Nowak

For a Noetherian commutative ring $R$, let $H^i_I(R)$ be the $ i$-th local cohomology module of $R$ with respect to $I$. In \cite{Hel-08}, Hellus posed the question of identifying rings $R$ such that $\operatorname{injdim}_R…

Commutative Algebra · Mathematics 2025-11-11 Sayed Sadiqul Islam

We show that if $R$ is a local domain which is dominated by a valuation $\nu$, then there does not always exist a regular local ring $R'$ which birationally dominates R and is dominated by $\nu$ and an extension of $\nu$ to the…

Algebraic Geometry · Mathematics 2018-05-04 Steven Dale Cutkosky

In characteristic zero, Zinovy Reichstein and the author generalized the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative…

Rings and Algebras · Mathematics 2012-09-19 Nikolaus Vonessen

Motivated by the "composition theorems" of Chernikov-Hempel and Abd Aldaim-Conant-Terry we introduce $k$-trace definability between first order theories. Any theory which is $k$-trace definable in a NIP theory is $k$-NIP and any theory…

Logic · Mathematics 2026-05-20 Erik Walsberg

A new technique is proposed to classify a topological field in abelian lattice gauge theories. We perform the classification by regarding the topological field as a local composite field of the gauge field tensor instead of the vector…

High Energy Physics - Lattice · Physics 2007-05-23 Daisuke Kadoh , Yoshio Kikukawa

For certain theories of existentially closed topological differential fields, we show that there is a strong relationship between $\mathcal L\cup\{D\}$-definable sets and their $\mathcal L$-reducts, where $\mathcal L$ is a relational…

Logic · Mathematics 2017-07-26 Françoise Point

The theory of matrix models is reviewed from the point of view of its relation to integrable hierarchies. Determinantal formulas, relation to conformal field models and the theory of Generalized Kontsevich model are discussed in some…

High Energy Physics - Theory · Physics 2016-09-06 A. Morozov

We address the topological classification of one-dimensional chiral symmetric interfaces embedded into a two-dimensional substrate. A proof of the validity of a topological classification based on the Green's function by explicit evaluation…

Mesoscale and Nanoscale Physics · Physics 2024-12-25 Harry MullineauxSanders , Bernd Braunecker