Related papers: Relative subanalytic sheaves

Schwartz functions, or measures, are defined on any smooth semi-algebraic ("Nash") manifold, and are known to form a cosheaf for the semi-algebraic restricted topology. We extend this definition to smooth semi-algebraic stacks, which are…

Given a relatively projective birational morphism $f\colon X\to Y$ of smooth algebraic spaces with dimension of fibers bounded by 1, we construct tilting relative (over $Y$) generators $T_{X,f}$ and $S_{X,f}$ in $\mathcal{D}^b(X)$. We…

Dosi and, quite recently, the author showed that, on the character space of a nilpotent Lie algebra, there exists a sheaf of Fr\'echet--Arens--Michael algebras (of noncommutative holomorphic functions in the complex case and of…

Let X be an affine real algebraic set . We investigate on the theory of algebraically constructible functions on X and the description of the semi-algebraic subsets of X when we replace the polynomial functions on X by some rational…

We consider classes $ \mathcal{A}_M(S) $ of functions holomorphic in an open plane sector $ S $ and belonging to a strongly non-quasianalytic class on the closure of $ S $. In $ \mathcal{A}_M(S) $, we construct functions which are flat at…

For a Nash submersion $\phi\colon X\to Y$, we study the complex $\mathcal{SDR}(\phi)$ of Schwartz sections of the relative de Rham complex of $\phi$. We define the notion of Schwartz sections of constructible sheaves on Nash manifolds and…

We develop a convolution theory for quasianalytic ultradistributions of Gelfand-Shilov type. We also construct a special class of ultrapolynomials, and use it as a base for the parametrix method in the study of new topological and…

This paper gives an explicit computation of the category of constructible sheaves on a toric variety (with respect to the stratification by torus orbits). Over the complex numbers, this simplifies a description due to Braden and Lunts. The…

Let $M$ be a complex manifold and $S\subset M$ a (possibly singular) subvariety of $M$. Let $f\colon M\to M$ be a holomorphic map such that $f$ restricted to $S$ is the identity. We show that one can associate to $f$ a holomorphic section…

It is known that a real analytic CR function f on a real analytic, generic submanifold M in C^N can be holomorphically extended. A stronger result on a finite type, real analytic, generic submanifold M is found in which we assume f a…

Let $M$ be a maximal subalgebra of a Lie algebra $L$ and $A/B$ a chief factor of $L$ such that $B \subseteq M$ and $A \not \subseteq M$. We call the factor algebra $M \cap A/B$ a $c$-section of $M$. All such $c$-sections are isomorphic, and…

We give some properties (cancellation, representability, stratification) of the sheaf R^i f_* G for an affine relative curve f:U -> S admitting a smooth compactification and G a solvable group.

Arbitrary representations of a commutative unital ($\ast$-) $\mathbb{F}$-algebra $A$ as a subalgeba of $\mathbb{F}^X$ are considered, where $\mathbb{F}=\mathbb{C}$ or $\mathbb{R}$ and $X\neq\emptyset$. The Gelfand spectrum of $A$ is…

We develop classical balayage (sweeping) measures and subharmonic functions on the ray system $S$ with a general origin on the complex plane $\mathbb C$. This allows for a subharmonic function $v$ on $\mathbb C$ to construct also a…

The object of the present paper is to introduce and investigate two new general subclasses ${{S}^{*}}C(\alpha ,\beta ;\gamma )$ and $T{{S}^{*}}C(\alpha ,\beta ;\gamma )~~(\alpha, \beta \in [0,1),~\gamma \in [0,1])$ of the analytic…

Let L be a finite field extension of Q_p and let G be the group of L-rational points of a split connected reductive group over L. We view G as a locally L-analytic group with Lie algebra g. We define a functor from admissible locally…

We present more planar algebraic construction of subfactors than those of Guionet-Jones-Shlyakhtenko-Walker and Kodiyalam-Sunder which start from a subfactor planar algebra and give in a direct way a subfactor of the same standard invariant…

A function in a class $\mathcal{F}(X)$ is said to be subdifferentially determined in $\mathcal{F}(X)$ if it is equal up to an additive constant to any function in $\mathcal{F}(X)$ with the same subdifferential. A function is said to be…

The Reeb graph of a smooth function is a graph being a natural quotient space of the manifold of the domain and the space of all connected components of preimages. Such a combinatorial and topological object roughly and compactly represents…

We prove that a real-valued function (that is not assumed to be continuous) on a real analytic manifold is analytic whenever all its restrictions to analytic submanifolds homeomorphic to the 2-sphere are analytic. This is a real analog for…