Related papers: There is no Definable Grauert Direct Image Theorem
We discuss some surprising phenomena from basic calculus related to oscillating functions and to the theorem on the differentiability of inverse functions. Among other things, we see that a continuously differentiable function with a strict…
We show that every definable group G in an o-minimal structure is definably finitely generated. That is, G contains a finite subset that is not included in any proper definable subgroup. This provides another proof, and a generalization to…
This paper continues the analysis of Schr\"odinger type equations with distributional coefficients initiated by the authors in [3]. Here we consider coefficients that are tempered distributions with respect to the space variable and are…
This article explains and extends semialgebraic homotopy theory (developed by H. Delfs and M. Knebusch) to o-minimal homotopy theory (over a field). The homotopy category of definable CW-complexes is equivalent to the homotopy category of…
Let $\Pi$ be an irreducible unitary completion of a locally algebraic ${\rm GL}_2(\qp)$-representation. We describe those first-order deformations of $\Pi$ which are themselves completions of a locally algebraic representation. This answers…
Let $p$ be an odd prime and $q$ a power of $p$. We examine the deformation theory of reducible and indecomposable Galois representations $\bar{\rho}:G_{\mathbb{Q}}\rightarrow \text{GSp}_{2n}(\mathbb{F}_q)$ that are unramified outside a…
This is the second paper in a series. In part I we developed deformation theory of objects in homotopy and derived categories of DG categories. Here we extend these (derived) deformation functors to an appropriate bicategory of artinian DG…
For a few quadratic fields, the non-existence is proved of continuous irreducible mod 2 Galois representations of degree 2 unramified outside 2.
We continue our earlier study of finite dimensional definable groups in models of the the model companion of an o-minimal L-theory T expanded by a generic derivation as in [F-K]. We generalize Buium's notion of an algebraic D-group to…
We give simple necessary and sufficient conditions for the $\frac{\partial}{\partial t}$-transcendence of the solutions to a parameterized second order linear differential equation of the form \frac{\partial^2 Y}{\partial x^2} - p…
In two papers we noted that in common practice many algebraic constructions are defined only `up to isomorphism' rather than explicitly. We mentioned some questions raised by this fact, and we gave some partial answers. The present paper…
In this paper we consider stochastic integration with respect to cylindrical Brownian motion in infinite dimensional spaces. We study weak characterizations of stochastic integrability and present a natural continuation of results of van…
We develop representation theory of general linear groups in the category $\text{Ver}_4^+$, the simplest tensor category which is not Frobenius exact. Since $\text{Ver}_4^+$ is a reduction of the category of supervector spaces to…
In this paper we prove the theorem that there exists no 7--dimensional Lie group manifold G of weak G2 holonomy. We actually prove a stronger statement, namely that there exists no 7--dimensional Lie group with negative definite Ricci…
The necessary and sufficient conditions for existence of a generalized representer theorem are presented for learning Hilbert space-valued functions. Representer theorems involving explicit basis functions and Reproducing Kernels are a…
It is conjectured that there are no Riemannian foliations on compact manifold of negative curvature by Gromoll-Walschap in \cite{DG}. In this note we give a positive answer.
One of the major results of [N. Robertson and P. D. Seymour. Graph minors. XIII. The disjoint paths problem. J. Combin. Theory Ser. B, 63(1):65--110, 1995], also known as the weak structure theorem, revealed the local structure of graphs…
We prove the representability theorem in derived analytic geometry. The theorem asserts that an analytic moduli functor is a derived analytic stack if and only if it is compatible with Postnikov towers, has a global analytic cotangent…
The Wigner-Eckart theorem is a well known result for tensor operators of su(2) and, more generally, any compact Lie algebra. In this paper the theorem will be generalized to the particular non-compact case of sl(2,R). In order to do so,…
The idea of applying isoperimetric functions to group theory is due to M.Gromov. We introduce the concept of a ``bicombing of narrow shape'' which generalizes the usual notion of bicombing. Our bicombing is related to but different from the…