Related papers: Small sets in Mann pairs

Let $g \in L^2(\mathbb{R})$ be a rational function of degree $M$, i.e. there exist polynomials $P, Q$ such that $g = {{P} \over {Q}}$ and $deg(P) < deg(Q) \leq M$. We prove that for any $\varepsilon>0$ and any $M \in \mathbb{N}$ there…

We propose new structures called almost o-minimal structures and $\mathfrak X$-structures. The former is a first-order expansion of a dense linear order without endpoints such that the intersection of a definable set with a bounded open…

Given a dense additive subgroup $G$ of $\mathbb R$ containing $\mathbb Z$, we consider its intersection $\mathbb G$ with the interval $[0,1[$ with the induced order and the group structure given by addition modulo $1$. We axiomatize the…

We prove several cases of Zimmer's conjecture for actions of higher-rank cocompact lattices on low dimensional manifolds. For example, if $\Gamma$ is a cocompact lattice in $\mathrm{Sl}(n, \mathbb R)$, $M$ is a compact manifold, and…

In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in…

Let G be a unimodular Lie group, X a compact manifold with boundary, and M the total space of a principal bundle G--> M-->X so that M is also a strongly pseudoconvex complex manifold. In this work, we show that if there exists a point p in…

A pair of points (x,y) in a Riemannian manifold (M,g) is said to have the finite blocking property if there is a finite set P contained in M\{x,y} such that every geodesic segment from x to y passes through a point of P. We show that for…

We derive a set of generators for the rational homology of the desingularised genus one mapping space $\widetilde{\mathcal{M}}_{1,n}(\mathbb{P}^r,d)$ constructed by Vakil--Zinger and qualitatively describe the relations among the…

We are intereseted in quandles and their enveloping groups. Various results are proven. We show that a quandle $Q$ and its image in the enveloping group $G(Q)$ have isomorphic enveloping groups. The image quandle is injective. For $Q$ a…

We prove that for any two lattices $L, M \subseteq \mathbb{R}^d$ of the same volume there exists a measurable, bounded, common fundamental domain of them. In other words, there exists a bounded measurable set $E \subseteq \mathbb{R}^d$ such…

We study the properties of a generalized metallic, a generalized product and a generalized complex structure induced on the generalized tangent bundle of $M$ by a metallic Riemannian structure $(J,g)$ on $M$, providing conditions for their…

We study covers of the multiplicative group of an algebraically closed field as quasiminimal pregeometry structures and prove that they satisfy the axioms for Zariski-like structures presented in \cite{lisuriart}, section 4. These axioms…

We show that for any metric space $M$ satisfying certain natural conditions, there is a finitely generated group $G$, an ultrafilter $\omega $, and an isometric embedding $\iota $ of $M$ to the asymptotic cone ${\rm Cone}_\omega (G)$ such…

G\"odel's Incompleteness Theorems suggest that no single formal system can capture the entirety of one's mathematical beliefs, while pointing at a hierarchy of systems of increasing logical strength that make progressively more explicit…

We introduce a general bipartite-like representation and Schmidt decomposition of an arbitrary pure state of $N$ indistinguishable fermions, based on states of $M<N$ and $(N-M)$ fermions. It is directly connected with the reduced $M$- and…

In this paper natural necessary and sufficient conditions for quantifier elimination of matrix rings $M_n(K)$ in the language of rings expanded by two unary functions, naming the trace and transposition, are identified. This is used…

Suppose that $\tilde{G}$ is a connected reductive group defined over a field $k$, and $\Gamma$ is a finite group acting via $k$-automorphisms of $\tilde{G}$ satisfying a certain quasi-semisimplicity condition. Then the connected part of the…

We will calculate completely the Grothendieck rings, in the sense of first order logic, of o-minimal expansions of ordered abelian groups by introducing the notion of the bounded Euler characteristic.

Given a Dedekind incomplete ordered field, a pair of convergent nets of gaps which are respectively increasing or decreasing to the same point is used to obtain a further equivalent criterion for Dedekind completeness of ordered fields:…

Given a real closed field $R$, we identify exactly four proper reducts of $R$ which expand the underlying (unordered) $R$-vector space structure. Towards this theorem we introduce a new notion, of strongly bounded reducts of linearly…