Skip to main content

All Questions

7 questions with no upvoted or accepted answers
Filter by
Sorted by
Tagged with
17 votes
0 answers
648 views

Is there an Infinite dimensional sheaf theory for analysis on manifolds?

I apologize if this question is slightly vague but I don't know how to ask it non-vaguely. Moreover, my question is about an ideal situation. If there's a close answer which doesn't satisfy all the ...
Saal Hardali's user avatar
  • 7,789
10 votes
0 answers
762 views

Differential Forms in Infinite Dimensions

In Kriegl/Michor's book "The convenient setting of global analysis", they define the space of differential $k$-forms on a possibly infinite-dimensional manifold $M$ as the space of smooth sections of ...
Matthias Ludewig's user avatar
5 votes
0 answers
154 views

Sheaf-like reconstruction of a continuous function

Let $X$ and $Y$ be topological manifolds and let $\{(\phi_x,U_x)\}_{x \in X}$ and $\{(\psi_y,Y_y)\}_{y \in Y}$ be respective atlases of $X$ and $Y$; with each $\phi_x:U_x\rightarrow \mathbb{R}^n,\...
ABIM's user avatar
  • 5,405
4 votes
0 answers
195 views

Question on de Rham complex with distributional coefficients

Let $X$ be a smooth manifold (usually assumed to be paracompact). Let us denote by $\underline{\Omega}^{p,-\infty}_X$ the sheaf of real valued $p$-forms with distributional coefficients in the ...
asv's user avatar
  • 21.8k
2 votes
0 answers
75 views

Pullback by surjective submersion is injective?

Denote by $\mathcal{D}'_X$ the sheaf of distributions on a smooth manifold $X$. Let $M$ and $N$ be smooth manifolds and $\Phi: M \to N$ a submersion. Then $\Phi$ defines a unique morphism of sheaves $\...
psl2Z's user avatar
  • 261
2 votes
0 answers
66 views

For which locally ringed spaces is the structure sheaf given by LRS morphisms to the real line?

Let $\mathsf{LRS}_{\mathbb R}$ denote the category of locally $\mathbb R$-ringed spaces. Given a locally ringed space $(X,\mathcal O_X)$, write $C_{(X,\mathcal O_X)}^p$ for the hom-sheaf on $X$ of ...
Arrow's user avatar
  • 10.5k
1 vote
0 answers
178 views

Proving that two given functionally structured spaces are isomorphic

The relevant definitions are listed below. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups; and Section 2, Chapter II of Bredon's Topology and ...
John's user avatar
  • 111