Related papers: Peetre-Slov\'ak's theorem revisited
We will present versions of the Rellich-Kondrachov theorem for pseudo-differential operators acting on localizable Hardy spaces. One of the techniques includes boundedness properties for pseudodifferential operators with symbols in the…
Results of P. Sj\"olin and F. Soria on the Schr\"odinger maximal operator with complex-valued time are improved by determining up to the endpoint the sharp $s \geq 0$ for which boundedness from the Sobolev space $H^s(\mathbb{R})$ into…
The cohomology of coherent sheaves and sheaves of Abelian groups on Noetherian schemes are interpreted in second order arithmetic by means of a finiteness theorem. This finiteness theorem provably fails for the etale topology even on…
We obtain a duality between certain category of finite MTL-algebras and the category of finite labeled trees. In addition we prove that certain poset products of MTL-algebras are essentialy sheaves of MTL-chains over Alexandrov spaces.…
We introduce Schottky maps-conformal maps between relative Schottky sets, and study their local rigidity properties. This continues the investigations of relative Schottky sets initiated in [S. Merenkov, "Planar relative Schottky sets and…
We prove that a $C^{\infty}$ semialgebraic local diffeomorphism of $\mathbb{R}^n$ with non-properness set having codimension greater than or equal to $2$ is a global diffeomorphism if $n-1$ suitable linear partial differential operators are…
We introduce two operators on stable configurations of the sandpile model that provide an algorithmic bijection between recurrent and parking configurations. This bijection preserves their equivalence classes with respect to the sandpile…
Continuing the study of complexity theory of Koepke's Ordinal Turing Machines (OTMs) that was started by Rin, L\"owe and the author, we prove the following results: (1) An analogue of Ladner's theorem for OTMs holds: That is, there are…
We introduce the notion of ``local system of $\Bbb{Z}_{T}$-twisted vertex operators'' on a $\Bbb{Z}_{2}$-graded vector space $M$, generalizing the notion of local system of vertex operators [Li]. First, we prove that any local system of…
The C-spectral sequence was introduced by Vinogradov in the late Seventies as a fundamental tool for the study of algebro-geometric properties of jet spaces and differential equations. A spectral sequence arise from the contact filtration…
We study a notion of realizability with a local operator J which was first considered by A.M. Pitts in his thesis. Using the Suslin-Kleene theorem, we show that the representable functions for this realizability are exactly the…
In a series of papers [Pan0], [Pan1], [Pan2], [Pan3] we give a detailed and better structured proof of the Grothendieck--Serre's conjecture for semi-local regular rings containing a finite field. The outline of the proof is the same as in…
The aim of this article is to explore in all remaining aspects the spectral theory of locally normal operators. In a previous article we proved the spectral theorem in terms of locally spectral measures. Here we prove the spectral theorem…
Starting from Sinclair's 1976 work {\it Automatic Continuity of Linear Operators}, Cambridge University Press, (1976), on automatic continuity of linear operators on Banach spaces, we prove that sequences of intertwining continuous linear…
We prove a semiample generalization of Poonen's Bertini Theorem over a finite field that implies the existence of smooth sections for wide new classes of divisors. The probability of smoothness is computed as a product of local…
Local (first order) sentences, introduced by Ressayre, enjoy very nice decidability properties, following from some stretching theorems stating some remarkable links between the finite and the infinite model theory of these sentences. We…
We generalize the classical Chevalley-Shephard-Todd theorem to the case of finite linearly reductive group schemes. As an application, we prove that every scheme X which is etale locally the quotient of a smooth scheme by a finite linearly…
In this article I describe my recent geometric localization argument dealing with actions of NONcompact groups which provides a geometric bridge between two entirely different character formulas for reductive Lie groups and answers the…
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…
In this paper we show variant of the spectral theorem using an algebraic Jordan-Schwinger map. The advantage of this approach is that we don't have restriction of normality on the class of operators we consider. On the other side, we have…