Related papers: Peetre-Slov\'ak's theorem revisited

We prove the closedness theorem over Henselian valued fields, which was established over rank one valued fields in one of our recent papers. In the proof, as before, we use the local behaviour of definable functions of one variable and the…

In this paper a class of asymmetrical operators of generalised translation is introduced, for each of them generalised moduli of smoothness are introduced, and Jackson's and its converse theorems are proved for those moduli. ----- V…

In 2018, Kielak gave a virtual fibering criterion for RFRS groups. In this paper, we present a simpler proof of this.

We prove an accessibility theorem for finite-index splittings of groups. Given a finitely presented group G there is a number n(G) such that, for every reduced locally finite G-tree T with finitely generated stabilizers, T/G has at most…

The purpose of this paper is to give a proof of the real part of the Riemann-Roch-Grothendieck theorem for complex flat vector bundles at the differential form level in the even dimensional fiber case. The proof is, roughly speaking, an…

Using a certain well-posed ODE problem introduced by Shilnikov in the sixties, G. Minervini proved in his PhD thesis [17], among other things, the Harvey-Lawson Diagonal Theorem but without the restrictive tameness condition for Morse…

For an abelian category and a distinguished object with a graded endomorphism ring a necessary and sufficient criterion is given so that the category is equivalent to the abelian quotient of the category of finitely presented graded modules…

The characterisation of termination using well-founded monotone algebras has been a milestone on the way to automated termination techniques, of which we have seen an extensive development over the past years. Both the semantic…

We give new necessary and sufficient conditions for higher order convex ordering. These results generalize the Levin-Ste\v{c}kin theorem (1960) on convex ordering. The obtained results can be useful in the study of the Hermite-Hadamard type…

The well-known Formanek's module finiteness theorem states that every unital prime PI-algebra (i.e. a central order in a matrix algebra by Posner's theorem) embeds into a finitely generated module over its center. An analogue of this…

We provide a coordinate-free version of the local classification, due to A. G. Walker [Quart. J. Math. Oxford (2) 1, 69 (1950)], of null parallel distributions on pseudo-Riemannian manifolds. The underlying manifold is realized, locally, as…

We study the local solvability of a class of operators with multiple characteristics. The class considered here complements and extends the one studied in [9], in that in this paper we consider some cases of operators with complex…

We consider local-global principles for torsors under linear algebraic groups, over function fields of curves over complete discretely valued fields. The obstruction to such a principle is a version of the Tate-Shafarevich group; and for…

The Serre-Swan theorem in differential geometry establishes an equivalence between the category of smooth vector bundles over a smooth compact manifold and the category of finitely generated projective modules over the unital ring of smooth…

Generalized Pauli's theorem, proved by D. S. Shirokov for two sets of anticommuting elements of a real or complexified Clifford algebra of dimension $2^n$, is extended to the case, when both sets of elements depend smoothly on points of…

We view the inertia construction of algebraic stacks as an operator on the Grothendieck groups of various categories of algebraic stacks. We show that the inertia operator is locally finite and diagonalizable. This is proved for the…

We use Scholze's framework of diamonds to gain new insights in correspondences between $p$-adic vector bundles and local systems. Such correspondences arise in the context of $p$-adic Simpson theory in the case of vanishing Higgs fields. In…

We give a simple way to extend index-theoretical statements from partial differential operators with smooth coefficients to operators with coefficients of finite Sobolev order.

In this note we attempt to develop an analog of P\'olya-Schur theory describing the class of univariate hyperbolicity preservers in the setting of linear finite difference operators. We study the class of linear finite difference operators…

In order to provide a local description of a regular function in a small neighbourhood of a point $x$, it is sufficient by Taylor's theorem to know the value of the function as well as all of its derivatives up to the required order at the…