Skip to main content
added 247 characters in body
Source Link
ಠ_ಠ
  • 6.2k
  • 3
  • 33
  • 56

The sheaf of smooth functions on a manifold is fine and hence soft, so we can extend sections on closed subsets to global sections. However, it is not generally flabby (flasque): local sections on open subsets do not in general extend to global sections. Note that only discrete manifolds can have a flabby sheaf of smooth functions, which is the case because every subset is open and hence closed.

Modules over the sheaf of smooth functions are also soft, but not in general flabby (except for the zero module, for trivial reasons). Since the sheaf of vector fields is such a module, we wouldn't usually expect vector fields on open subsets to extend to global sections.

For example, if you have any sort of open (proper) subset which is diffeomorphic to an open ball, just take a smooth function that blows up as you go to the boundary of the ball. Then you can rescale any vector field that does not decay to zero at the boundary to a vector field which fails to globalize.

H. H. Rugh's example in his answer is also very good because it shows that even without blow ups, a smooth vector field on an open set (which in his case is diffeomorphic to an open disk) can fail to extend globally due to the topology of the sphere.

As mentioned by Ben McKay in the comments, you can have a look at Charles Fefferman's paper proving a sharp version of the Whitney extension theorem. It's available here.

The sheaf of smooth functions on a manifold is fine and hence soft, so we can extend sections on closed subsets to global sections. However, it is not generally flabby (flasque): local sections on open subsets do not in general extend to global sections.

Modules over the sheaf of smooth functions are also soft, but not in general flabby. Since the sheaf of vector fields is such a module, we wouldn't usually expect vector fields on open subsets to extend to global sections.

For example, if you have any sort of open (proper) subset which is diffeomorphic to an open ball, just take a smooth function that blows up as you go to the boundary of the ball. Then you can rescale any vector field that does not decay to zero at the boundary to a vector field which fails to globalize.

H. H. Rugh's example in his answer is also very good because it shows that even without blow ups, a smooth vector field on an open set (which in his case is diffeomorphic to an open disk) can fail to extend globally due to the topology of the sphere.

As mentioned by Ben McKay in the comments, you can have a look at Charles Fefferman's paper proving a sharp version of the Whitney extension theorem. It's available here.

The sheaf of smooth functions on a manifold is fine and hence soft, so we can extend sections on closed subsets to global sections. However, it is not generally flabby (flasque): local sections on open subsets do not in general extend to global sections. Note that only discrete manifolds can have a flabby sheaf of smooth functions, which is the case because every subset is open and hence closed.

Modules over the sheaf of smooth functions are also soft, but not in general flabby (except for the zero module, for trivial reasons). Since the sheaf of vector fields is such a module, we wouldn't usually expect vector fields on open subsets to extend to global sections.

For example, if you have any sort of open (proper) subset which is diffeomorphic to an open ball, just take a smooth function that blows up as you go to the boundary of the ball. Then you can rescale any vector field that does not decay to zero at the boundary to a vector field which fails to globalize.

H. H. Rugh's example in his answer is also very good because it shows that even without blow ups, a smooth vector field on an open set (which in his case is diffeomorphic to an open disk) can fail to extend globally due to the topology of the sphere.

As mentioned by Ben McKay in the comments, you can have a look at Charles Fefferman's paper proving a sharp version of the Whitney extension theorem. It's available here.

added 247 characters in body
Source Link
ಠ_ಠ
  • 6.2k
  • 3
  • 33
  • 56

The sheaf of smooth functions on a manifold is fine and hence soft, so we can extend sections on closed subsets to global sections. However, it is not generally flabby (flasque): local sections on open subsets do not in general extend to global sections.

Modules over the sheaf of smooth functions are also soft, but not in general flabby. Since the sheaf of vector fields is such a module, we wouldn't usually expect vector fields on open subsets to extend to global sections.

For example, if you have any sort of open (proper) subset which is diffeomorphic to an open ball, just take a smooth functionsfunction that blows up as you go to the boundary of the ball. Then you can rescale any vector field that does not decay to zero at the boundary to a vector field which fails to globalize.

H. H. Rugh's example in his answer is also very good because it shows that even without blow ups, a smooth vector field on an open set (which in his case is diffeomorphic to an open disk) can fail to extend globally due to the topology of the sphere.

As mentioned by Ben McKay in the comments, you can have a look at Charles Fefferman's paper proving a sharp version of the Whitney extension theorem. It's available here.

The sheaf of smooth functions on a manifold is fine and hence soft, so we can extend sections on closed subsets to global sections. However, it is not generally flabby (flasque): local sections on open subsets do not in general extend to global sections.

Modules over the sheaf of smooth functions are also soft, but not in general flabby. Since the sheaf of vector fields is such a module, we wouldn't usually expect vector fields on open subsets to extend to global sections.

For example, if you have any sort of open (proper) subset which is diffeomorphic to an open ball, just take a smooth functions that blows up as you go to the boundary of the ball. Then you can rescale any vector field that does not decay to zero at the boundary to a vector field which fails to globalize.

As mentioned by Ben McKay in the comments, you can have a look at Charles Fefferman's paper proving a sharp version of the Whitney extension theorem. It's available here.

The sheaf of smooth functions on a manifold is fine and hence soft, so we can extend sections on closed subsets to global sections. However, it is not generally flabby (flasque): local sections on open subsets do not in general extend to global sections.

Modules over the sheaf of smooth functions are also soft, but not in general flabby. Since the sheaf of vector fields is such a module, we wouldn't usually expect vector fields on open subsets to extend to global sections.

For example, if you have any sort of open (proper) subset which is diffeomorphic to an open ball, just take a smooth function that blows up as you go to the boundary of the ball. Then you can rescale any vector field that does not decay to zero at the boundary to a vector field which fails to globalize.

H. H. Rugh's example in his answer is also very good because it shows that even without blow ups, a smooth vector field on an open set (which in his case is diffeomorphic to an open disk) can fail to extend globally due to the topology of the sphere.

As mentioned by Ben McKay in the comments, you can have a look at Charles Fefferman's paper proving a sharp version of the Whitney extension theorem. It's available here.

added 59 characters in body
Source Link
ಠ_ಠ
  • 6.2k
  • 3
  • 33
  • 56

The sheaf of smooth functions on a manifold is fine and hence soft, so we can extend sections on closed subsets to global sections. However, it is not generally flabby (flasque): local sections on open subsets do not in general extend to global sections.

Modules over the sheaf of smooth functions are also soft, but not in general flabby. Since the sheaf of vector fields is such a module, we wouldn't expect usually expect vector fields on open subsets to extend to global sections.

For example, if you have any sort of open (proper) subset which is diffeomorphic to an open ball, just take a smooth functions that blows up as you go to the boundary of the ball. Then you can rescale any vector field that does not decay to zero at the boundary to a vector field which fails to globalize.

As mentioned by Ben McKay in the comments, you can have a look at Charles Fefferman's paper proving a sharp version of the Whitney extension theorem. It's available here.

The sheaf of smooth functions on a manifold is soft, so we can extend sections on closed subsets to global sections. However, it is not generally flabby (flasque): local sections on open subsets do not in general extend to global sections.

Modules over the sheaf of smooth functions are also soft, but not in general flabby. Since the sheaf of vector fields is such a module, we wouldn't expect usually expect vector fields on open subsets to extend to global sections.

For example, if you have any sort of open (proper) subset which is diffeomorphic to an open ball, just take a smooth functions that blows up as you go to the boundary of the ball. Then you can rescale any vector field that does not decay to zero at the boundary to a vector field which fails to globalize.

The sheaf of smooth functions on a manifold is fine and hence soft, so we can extend sections on closed subsets to global sections. However, it is not generally flabby (flasque): local sections on open subsets do not in general extend to global sections.

Modules over the sheaf of smooth functions are also soft, but not in general flabby. Since the sheaf of vector fields is such a module, we wouldn't usually expect vector fields on open subsets to extend to global sections.

For example, if you have any sort of open (proper) subset which is diffeomorphic to an open ball, just take a smooth functions that blows up as you go to the boundary of the ball. Then you can rescale any vector field that does not decay to zero at the boundary to a vector field which fails to globalize.

As mentioned by Ben McKay in the comments, you can have a look at Charles Fefferman's paper proving a sharp version of the Whitney extension theorem. It's available here.

Source Link
ಠ_ಠ
  • 6.2k
  • 3
  • 33
  • 56
Loading