Related papers: Peetre-Slov\'ak's theorem revisited
We use Kiehl-Verdier's and Houzel's finiteness theorems in the setting of local analytic geometry, and the Whitney-Thom theory of stratified spaces, to prove that fibrewise constructible complex of sheaves have coherent direct images. We…
This paper aims to investigate the numerical approximation of a general second order parabolic stochastic partial differential equation(SPDE) driven by multiplicative and additive noise under more relaxed conditions. The SPDE is discretized…
A famous result by Jeavons, Cohen, and Gyssens shows that every constraint satisfaction problem (CSP) where the constraints are preserved by a semi-lattice operation can be solved in polynomial time. This is one of the basic facts for the…
We develop sheaf-theoretic methods to deal with non-smooth objects in symplectic geometry. We show the completeness of a derived category of sheaves with respect to the interleaving distance and construct a sheaf quantization of a…
Given a commutative unital ring $R$, we show that the finiteness length of a group $G$ is bounded above by the finiteness length of the Borel subgroup of rank one $\mathbf{B}_2^\circ(R)=\left( \begin{smallmatrix} * & * \\ 0 & *…
We show that Sobczyk's Theorem holds for a new class of Banach spaces, namely spaces of continuous functions on linearly ordered compacta.
In a bounded domain $G$ with smooth border studied boundary value and spectral problems for operators of the rotor (vortex) and the gradient of the divergence $+\lambda\,I$ in the Sobolev spaces. For $\lambda\neq 0$ these operators are…
We give a new proof of the known Shunkov's Theorem on locally finite groups with the minimal condition for nonabelian subgroups and also an extension of the known Suchkova-Shunkov Theorem on Shunkov groups with the minimal condition for…
A general approach to transference principles for discrete and continuous operator (semi)groups is described. This allows to recover the classical transference results of Calder\'on, Coifman and Weiss and of Berkson, Gillespie and Muhly and…
Assume that $A$ is a closed linear operator defined on all of a Hilbert space $H$. Then $A$ is bounded. A new short proof of this classical theorem is given on the basis of the uniform boundedness principle. The proof can be easily extended…
End-spaces of infinite graphs naturally generalise the Freudenthal boundary and sit at the interface between graph theory, geometric group theory and topology. Our main result is that every end-space can topologically be represented by a…
It is well known that the internal suplattices in the topos of sheaves on a locale are precisely the modules on that locale. Using enriched category theory and a lemma on KZ doctrines we prove (the generalization of) this fact in the case…
In this paper we give Peter-Weyl type formulas for the space of $K$-finite solutions to intertwining differential operators between degenerate principal series representations. Our results generalize a result of Kable for conformally…
The theory of p-local compact groups, developed in an earlier paper by the same authors, is designed to give a unified framework in which to study the p-local homotopy theory of classifying spaces of compact Lie groups and p-compact groups,…
The famous Brauer-Fowler theorem states that the order of a finite simple group can be bounded in terms of the order of the centralizer of an involution. Using the classification of finite simple groups, we generalize this theorem and prove…
The first-order theory of finite and infinite trees has been studied since the eighties, especially by the logic programming community. Following Djelloul, Dao and Fr\"uhwirth, we consider an extension of this theory with an additional…
Motivated by Lang-Vojta's conjecture, we show that the set of dominant rational self-maps of an algebraic variety over a number field with only finitely many rational points in any given number field is finite by combining Amerik's theorem…
The study of certain differential operators between Sobolev spaces of sections of vector bundles on compact manifolds equipped with rough metric is closely related to the study of locally Sobolev functions on domains in the Euclidean space.…
In a seminal paper from 1985, Sistla and Clarke showed that satisfiability for Linear Temporal Logic (LTL) is either NP-complete or PSPACE-complete, depending on the set of temporal operators used. If, in contrast, the set of propositional…
This paper addresses a question posed by F\'elix, Halperin and Thomas. We prove that the Lusternik-Schnirelmann category of a relative Sullivan algebra is finite if such invariants of the base algebra and fiber algebra are both finite.…