Related papers: Translating between NIP integral domains and topol…

We prove an analogue of the Affine Horrocks' Theorem for local complete intersection ideals of height $n$ in $R[T]$, where $R$ is a regular domain of dimension $d$, which is essentially of finite type over an infinite perfect field of…

Let $X$ be a scheme. In this text, we extend the known definitions of a topology on the set $X(R)$ of $R$-rational points from topological fields, local rings and ad\`ele rings to any ring $R$ with a topology. This definition is functorial…

We study cofinal systems of finite subsets of $\omega_1$. We show that while such systems can be NIP, they cannot be defined in an NIP structure. We deduce a positive answer to a question of Chernikov and Simon from 2013: in an NIP theory,…

Let A be a local conformal net of factors on the circle with the split property. We provide a topological construction of soliton representations of the tensor product of n copies of A, that restrict to true representations of subnet…

We study definably amenable NIP groups. We develop a theory of generics, showing that various definitions considered previously coincide, and study invariant measures. Applications include: characterization of regular ergodic measures, a…

Let R be a commutative ring and let Spec(R) denote the collection of prime ideals of R. We define a topology on Spec(R) by using ultrafilters and demonstrate that this topology is identical to the well known patch or constructible topology.…

Given a positive integer $p$, we consider $W^{1,p}$-maps from a Euclidean domain of dimension $p+1$ into a closed Riemannian manifold $\mathcal{N}$. The target manifold is required to satisfy suitable topological conditions; in particular,…

In this paper we extend the study of total graphs $\tau(R)$ to non-commutative finite rings $R$. We prove that $\tau(R)$ is connected if and only if $R$ is not local and we see that in that case $\tau(R)$ is always Hamiltonian. We also find…

We continue the analysis of definably compact groups definable in a real closed field $\mathcal{R}$. In [3], we proved that for every definably compact definably connected semialgebraic group $G$ over $\mathcal{R}$ there are a connected…

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…

Topologies $\tau, \sigma$ on a set $X$ are called $\pi$-compatible if $\tau$ is a $\pi$-network for $\sigma$, and vice versa. If topologies $\tau, \sigma$ on a set $X$ are $\pi$-compatible then the families of nowhere dense sets (resp.…

The set of open subsets in a proximity space (X,{\zeta}) forms a topological system that enables the definition of proximal and descriptive topological groups. This framework naturally extends to proximal and descriptive topological rings…

Let $D$ be an integrally closed local Noetherian domain of Krull dimension 2, and let $f$ be a nonzero element of $D$ such that $fD$ has prime radical. We consider when an integrally closed ring $H$ between $D$ and $D_f$ is determined…

For an arbitrary field $K$ and $K$-variety $V$, we introduce the \'etale-open topology on the set $V(K)$ of $K$-points of $V$. This topology agrees with the Zariski topology, Euclidean topology, or valuation topology when $K$ is separably…

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…

We generalize the usual relationship between irreducible Zariski closed subsets of the affine space, their defining ideals, coordinate rings, and function fields, to a non-commutative setting, where "varieties" carry a PGL_n-action, regular…

Let K be a henselian valued field of characteristic 0. Then K admits a definable partition on each piece of which the leading term of a polynomial in one variable can be computed as a definable function of the leading term of a linear map.…

In this note we reproduce Johnson's analysis of $W_2$-topologies on fields of characteristic 2, which was originally stated for fields of characteristic different than 2. Following his framework, we prove that the canonical topology of an…

We give an elementary proof of a version of the implicit function theorem over Henselian valued fields $K$. It yields a density property for such fields (introduced in a joint paper with J. Koll{\'a}r), which is indispensable for ensuring…

We construct higher categories of iterated spans, possibly equipped with extra structure in the form of "local systems", and classify their fully dualizable objects. By the Cobordism Hypothesis, these give rise to framed topological quantum…