Related papers: There is no Definable Grauert Direct Image Theorem
It is quite well-known from Kurt Godel's (1931) ground-breaking result on the Incompleteness Theorem that rudimentary relations (i.e., those definable by bounded formulae) are primitive recursive, and that primitive recursive functions are…
We discuss several questions which remained open in our joint work with M. Sodin "Almost periodic Jacobi matrices with homogeneous spectrum, infinite-dimensional Jacobi inversion, and Hardy spaces of character--automorphic functions". In…
We introduce some classical concepts in the representation theory of compact groups, in order to use them for a new generalization of the Peter-Weyl Theorem. We mostly deal with functions on locally compact groups possessing large…
Let $G$ be a connected semisimple noncompact real Lie group and let $\rho: G \longrightarrow \mathrm{SL}(V)$ be a representation on a finite dimensional vector space $V$ over $\mathbb R$, with $\rho(G)$ closed in $\mathrm{SL}(V)$.…
We prove generic differentiability in $P$-minimal theories, strengthening an earlier result of Kuijpers and Leenknegt. Using this, we prove Onshuus and Pillay's $P$-minimal analogue of Pillay's conjectures on o-minimal groups. Specifically,…
Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…
We prove the existence of Verdier stratifications for sets definable in any o-minimal structure on (R, +, .). It is also shown that the Verdier condition (w) implies the Whitney condition (b) in o-minimal structures on (R, +, .). As a…
Attached to any reductive Lie group $G$ is a "Cartan motion group" $G_0$ $-$ a Lie group with the same dimension as $G$, but a simpler group structure. A natural one-to-one correspondence between the irreducible tempered representations of…
Skorokhod's representation theorem states that if on a Polish space, there is defined a weakly convergent sequence of probability measures $\mu_n\stackrel{w}\to\mu_0,$ as $n\to \infty$, then there exist a probability space $(\Omega,…
The combination of words ``discrete curvature'' is only an apparent contradiction. In this survey we describe curvature notions associated with polygons, polyhedral surfaces, and with abstract polyhedral manifolds. Several theorems about…
The purpose of this note is to give a short proof of a theorem of Koll\'ar that the derived direct image of the canonical sheaf splits into a sum of its cohomology sheaves. This is deduced from a stronger decomposition theorem for direct…
We show that the sequential closure of a family of probability measures on the canonical space of c{\`a}dl{\`a}g paths satisfying Stricker's uniform tightness condition is a weak${}^*$ compact set of semimartingale measures in the pairing…
We define Gromov-Witten classes and invariants of smooth proper tame Deligne-Mumford stacks of finite presentation over a Dedekind domain. We prove that they are deformation invariants and verify the fundamental axioms. For a smooth proper…
We introduce a general method for showing under weak forcing axioms that reduced products of countable models of a theory $T$ have as few automorphisms as possible. We show that such forcing axioms imply that reduced products of countably…
Two representations theorems are presented: 1. Any Borel action of a second countable locally compact group $G$ on a standard Borel space $X$ admits an injective $G$-equivariant Borel map into the shift space of $1$-Lipschitz functions from…
As it is known, finitely presented quivers correspond to Dynkin graphs (Gabriel, 1972) and tame quivers -- to extended Dynkin graphs (Donovan and Freislich, Nazarova, 1973). In the article "Locally scalar reresentations of graphs in the…
Orlov's famous representability theorem asserts that any fully faithful functor between the derived categories of coherent sheaves on smooth projective varieties is a Fourier-Mukai functor. This result has been extended by Lunts and Orlov…
We prove the functoriality for proper push-forward of the characteristic cycles of constructible complexes by morphisms of smooth projective schemes over a perfect field, under the assumption that the direct image of the singular support…
We are dealing with the complexity of the homeomorphism equivalence relation on some classes of metrizable compacta from the viewpoint of invariant descriptive set theory. We prove that the homeomorphism equivalence relation of absolute…
The following two assertions are equivalent for an o-minimal expansion of an ordered group $\mathcal M=(M,<,+,0,\ldots)$. There exists a definable bijection between a bounded interval and an unbounded interval. Any definable continuous…