Related papers: Inseparable local uniformization
We study ordinary differential equations in the complex domain given by meromorphic vector fields on K\"ahler compact complex surfaces. We prove that if such an equation has a maximal single valued solution with Zariski-dense image (in…
A classic result by Raynaud and Gruson says that the notion of an (infinite dimensional) vector bundle is Zariski local. This result may be viewed as a particular instance (for n = 0) of the locality of more general notions of…
Transductions are binary relations of finite words. For rational transductions, i.e., transductions defined by finite transducers, the inclusion, equivalence and sequential uniformisation problems are known to be undecidable. In this paper,…
For any given algebra of local observables in Minkowski space an associated scaling algebra is constructed on which renormalization group (scaling) transformations act in a canonical manner. The method can be carried over to arbitrary…
Pairs $\aa \subset \bb$ of local quantum field theories are studied, where $\aa$ is a chiral conformal \qft and $\bb$ is a local extension, either chiral or two-dimensional. The local correlation functions of fields from $\bb$ have an…
We present a generalization of first-order unification to a term algebra where variable indexing is part of the object language. We exploit variable indexing by associating some sequences of variables ($X_0,\ X_1,\ X_2,\dots$) with a…
We prove that every 2-local automorphism of the unitary group or the general linear group on a complex infinite-dimensional separable Hilbert space is an automorphism. Thus these types of transformations are completely determined by their…
A simplicial set is said to be non-singular if the representing map of each non-degenerate simplex is degreewise injective. The inclusion into the category of simplicial sets, of the full subcategory whose objects are the non-singular…
Let $F$ be a field, let $D$ be a local subring of $F$, and let Val$_F(D)$ be the space of valuation rings of $F$ that dominate $D$. We lift Zariski's connectedness theorem for fibers of a projective morphism to the Zariski-Riemann space of…
Unification in Description Logics has been introduced as a means to detect redundancies in ontologies. We try to extend the known decidability results for unification in the Description Logic $\mathcal{EL}$ to disunification since negative…
When the plane is pie-sliced in $n\leq 4$ parts (with nonempty interior and common vertex at the origin) our main result provides a sufficient condition for any map $L$, that is continuous and piecewise linear relatively to this slicing, to…
Let $\Lambda$ be a finite dimensional algebra over an algebraically closed field. Criteria are given which characterize existence of a fine or coarse moduli space classifying, up to isomorphism, the representations of $\Lambda$ with fixed…
We construct a unital locally matrix algebra of uncountable dimension that (1) does not admit a primary decomposition, (2) has an infinite locally finite Steinitz number. It gives negative answers to questions from \cite{BezOl} and…
A computation method of algebraic local cohomology with parameters, associated with zero-dimensional ideal with parameter, is introduced. This computation method gives us in particular a decomposition of the parameter space depending on the…
In this paper we extend a result of Dubouloz on the Cancellation Problem in higher dimensions ($\geqslant 2$) over the field of complex numbers to fields of arbitrary characteristic. We then apply the generalised result to describe the…
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…
By generalizing the notion of linearization, a concept originally arising from microlocal analysis and symbolic calculus, to diffeological spaces, we make a first proposal setting for optimization problems in this category. We show how…
Contrary to previous approaches bringing together algebraic geometry and signatures of paths, we introduce a Zariski topology on the space of paths itself, and study path varieties consisting of all paths whose iterated-integrals signature…
The classical Artin--Whaples approximation theorem allows to simultaneously approximate finitely many different elements of a field with respect to finitely many pairwise inequivalent absolute values. Several variants and generalizations…
Based on the treatment of the chiral Ising model by Mack and Schomerus, we present examples of localized endomorphisms $\varrho_1^{\rm loc}$ and $\varrho_{1/2}^{\rm loc}$. It is shown that they lead to the same superselection sectors as the…