Related papers: Normal hyperimaginaries
The space of Lascar strong types, on some sort and relative to a given first order theory T, is in general not a compact Hausdorff space. This paper has at least three aims. First to show that spaces of Lascar strong types and other related…
In this work, we show that extending the standard description of space-time symmetries from groups of isometries to the more flexible framework of kinematical groupoids allows for the extension of Wigner's program to curved space-times. We…
We prove the convergence of normal form power series for suitably nonsingular analytic submanifolds under a broad class of infinite-dimensional Lie pseudo-group actions. Our theorem is illustrated by a number of examples, and includes, as a…
A class of representations of a Lie superalgebra (over a commutative superring) in its symmetric algebra is studied. As an application we get a direct and natural proof of a strong form of the Poincare'-Birkhoff-Witt theorem, extending this…
We study nonlocal minimal surfaces as a new approximation theory for the area functional, and more specifically in the context of Yau's conjecture on the existence of minimal surfaces in closed three-dimensional manifolds. This programme…
We give a constructive proof for the following new collar theorem: every locally collared closed set that is paracompact in a Hausdorff space is collared. This includes the important special case of locally collared closed sets in…
The objective of this article is to characterise elimination of finite generalised imaginaries (as defined by Hrushovski) in terms of group cohomology. As an application, I consider series of Zariski geometries constructed by Hrushovski and…
We prove that every functor from the category of Hilbert spaces and linear isometric embeddings to the category of sets which preserves directed colimits must be essentially constant on all infinite-dimensional spaces. In other words, every…
Let $A\sub \R^{n+r}$ be a set definable in an o-minimal expansion $\S$ of the real field, $A' \sub \R^r$ be its projection, and assume that the non-empty fibers $A_a \sub \R^n$ are compact for all $a \in A'$ and uniformly bounded, {\em…
We introduce a Lie bialgebra structure on the central extension of the Lie algebra of differential operators on the line and the circle (with scalar or matrix coefficients). This defines a Poisson--Lie structure on the dual group of…
A p-adic analogue of the pseudonorm version of the birational Torelli type theorem is obtained via a comparison theorem of image closures. Among other results obtained, we have a criterion for existence of rational points of canonically…
In this paper we formulate some conjectures in sub-Riemannian geometry concerning a characterisation of the Koranyi-Kaplan ball in a group of Heisenberg type through the existence of a solution to suitably overdetermined problems. We prove…
Generalising a conjecture of Singerman, it is shown that there exist orientably regular chiral hypermaps of every non-spherical type. The proof uses the representation theory of automorphism groups acting on homology and on various spaces…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
In this paper, the notion of pronormal L-subgroups of an L-group has been introduced by using the concept of conjugate L-subgroup. The notion of pronormal L-subgroups has been investigated in context of normality and subnormality of…
We show that a regular cover of a general topological space provides structure similar to a triangulation. In this general setting we define analogues of simplicial maps and prove their existence and uniqueness up to homotopy. As an…
We use the upper and lower potential functions and Bowen's formula estimating the Hausdorff dimension of the limit set of a regular semigroup generated by finitely many $C^{1+\alpha}$-contracting mappings. This result is an application of…
In this paper we prove two new abstract compactness criteria in normed spaces. To this end we first introduce the notion of an equinormed set using a suitable family of semi-norms on the given normed space satisfying some natural…
We prove that hypersurfaces of $\R^{n+1}$ which are almost extremal for the Reilly inequality on $\lambda_1$ and have $L^p$-bounded mean curvature ($p>n$) are Hausdorff close to a sphere, have almost constant mean curvature and have a…
A new generalized function space in which all Gelfand-Shilov classes $S^{\prime 0}_\alpha$ ($\alpha>1$) of analytic functionals are embedded is introduced. This space of {\it ultrafunctionals} does not possess a natural nontrivial topology…