Related papers: Separation for isometric group actions and hyperim…
We give conditions on a finite set of series of rational numbers to ensure that they are algebraically independent. Specialising our results to polynomials of lower degree, we also obtain new results on irrationality and $mathbb{Q}$-linear…
In this paper, we prove that a domain which verifies some integral inequality is either (strictly) contained in the solution of some free boundary problem, or it coincides with an $N$-ball. We also present new overdetermined value problems…
Let $K$ be a finite extension of $\mathbb{Q}_p$, and let $f_1(z),\ldots, f_m(z) \in K[[z]]$ such that, for every $1 \leq i \leq m$, $f_i(z)$ is a solution of a differential operator $\mathcal{L}_i \in E_p[d/dz]$, where $E_p$ is the field of…
We discuss some issues related to the definition of different effective actions, in connection with the work on supersymmetric theories by Seiberg and collaborators. We also comment on the possibility of extending this work to broken…
In this two part work we prove that for every finitely generated subgroup $\Gamma < \text{Out}(F_n)$, either $\Gamma$ is virtually abelian or $H^2_b(\Gamma;\mathbb{R})$ contains an embedding of $\ell^1$. The method uses actions on…
We develop a new method for proving algebraic independence of $G$-functions. Our approach rests on the following observation: $G$-functions do not always come with a single linear differential equation, but also sometimes with an infinite…
We extend Hadamard's Lemma to the setting of a separable Hilbert space.
We define the notion of action of an L-infinity algebra $g$ on a graded manifold $M$, and show that such an action corresponds to a homological vector field on $g[1] \times M$ of a specific form. This generalizes the correspondence between…
The main result of this paper is a generalization of Popa's free independence result for subalgebras of ultraproduct ${\rm II_1}$ factors [Po95] to the framework of ultraproduct von Neumann algebras $(M^\omega, \varphi^\omega)$ where $(M,…
We study the properties of algebraic independence and pointwise algebraic independence in a class of continuous theories, the randomizations $T^R$ of complete first order theories $T$. If algebraic and definable closure coincide in $T$,…
We study isometric actions of Steinberg groups on Hadamard manifolds. We prove some rigidity properties related to these actions. In Particular we show that every isometric action of $St_n(F_p\langle t_1,\ldots ,t_k \rangle)$ on Hadamard…
We introduce a notion of shadowing property for actions of finitely generated groups and study its basic properties. We formulate and prove a shadowing lemma for actions of nilpotent groups. We construct an example of a faithful linear…
We prove a transcendence theorem concerning values of holomorphic maps from a disk to a quasi-projective variety over $\overline{\mathbf{Q}}$ that are integral curves of some algebraic vector field (defined over $\overline{\mathbf{Q}}$).…
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…
We consider the canonical pseudodistributive law between various free limit completion pseudomonads and the free coproduct completion pseudomonad. When the class of limits includes pullbacks, we show that this consideration leads to notions…
We prove several results asserting that the action of a Banach-Lie group on Hilbert spaces of holomorphic sections of a holomorphic Hilbert space bundle over a complex Banach manifold is multiplicity free. These results require the…
We seek to create tools for a model-theoretic analysis of types in algebraically closed valued fields (ACVF). We give evidence to show that a notion of 'domination by stable part' plays a key role. In Part A, we develop a general theory of…
We show that there is a sequence of subsets of each discrete Heisenberg group for which the non-singular ergodic theorem holds. The sequence depends only on the group; it works for any of its non-singular actions. To do this we use a metric…
For a given ring (domain) in $\overline{\mathbb{R}}^n$ we discuss whether its boundary components can be separated by an annular ring with modulus nearly equal to that of the given ring. In particular, we show that, for all $n\ge 3\,,$ the…
Subobject independence as morphism co-possibility has recently been defined in [2] and studied in the context of algebraic quantum field theory. This notion of independence is handy when it comes to systems coming from physics, but when…