Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I would like to know if sheaf theory can be applied to a particular class of questions in topology.

The Schwarz genus (also known as sectional category) of a continuous map $p\colon\thinspace E\to B$ is the smallest integer $k$ such that $B$ can be covered by open subsets $U_1,\ldots ,U_k$ over each of which $p$ admits a local section, ie a continuous map $s_i\colon\thinspace U_i\to E$ such that $p\circ s_i$ equals the inclusion $U_i\hookrightarrow B$. If no such cover exists (eg if $p$ is not surjective) we set the genus to be $\infty$.

Several important numerical invariants in topology are special cases of this genus. For instance, the Lusternik-Schnirelmann category $\mathrm{cat}(X)$ of a space $X$, defined to be the smallest $k$ such that $X$ can be covered by open subsets $U_1,\ldots ,U_k$ such that each inclusion $U_i\hookrightarrow X$ is null-homotopic, is easily seen to be the genus of the Serre fibration $PX\to X$ of based paths on $X$. More recently, Farber has defined the topological complexity $\mathrm{TC}(X)$ of a space $X$ to be the genus of the fibration $X^I\to X\times X$ which takes a free path in $X$ to its pair of initial and final points, and this is relevant to the motion planning problem in robotics.

On the other hand, one of the most natural examples of a sheaf (at least for a topologist) is the sheaf of sections of a continuous map $p\colon\thinspace E\to B$. This is the sheaf $\Gamma(p)$ on $B$ whose sections over an open set $U\subseteq B$ are the set $\Gamma(p)(U)$ of local sections $s\colon\thinspace U\to E$ of $p$, as defined above.

This leads me to the following (perhaps naive) question.

Definition. Let $\mathcal{F}$ be a sheaf of sets over $X$. Define the Schwarz genus of $\mathcal{F}$ to be the least $k$
such that $X$ has a cover by open subsets $U_1,\ldots, U_k$ such that each $\mathcal{F}(U_i)\neq\emptyset$.

Do there exist techniques in sheaf theory to approximate (bound from above or below) the Schwarz genus of $\mathcal{F}$? Has this invariant been considered before?

I suspect the answer is no, but I would like to hear this from a sheafy person (of which there seem to plenty on MO). Also I would be interested to hear of any extra conditions
you would impose to make the question more interesting or tractable.

Edit: As Ben noted below, we can apply the free abelian group functor to $\mathcal{F}$ to get a sheaf $\mathcal{G}$ of abelian groups over $X$. Define the Schwarz genus of $\mathcal{G}$ to be the least $k$ such that $X$ has a cover by open subsets $U_1,\ldots, U_k$ such that each $\mathcal{G}(U_i)\neq 0$. Can we obtain bounds on this genus using the Cech spectral sequence, or something similar?

share|improve this question
    
Doesn't the Cech spectral sequence tell you that this genus is less than or equal to the lowest degree in which cohomology is non-zero? –  Ben Webster Oct 3 '10 at 17:49
    
Hi Ben. Do you mean this one: en.wikipedia.org/wiki/… ? Is it possible to define Cech cohomology when you only have a sheaf of sets? It seems the boundary operator requires an abelian groups structure. (Also how can I get rid of the pesky > in my grey box)? Thanks. –  Mark Grant Oct 4 '10 at 8:22
    
No, though actually it does make sense to ask if it is zero in a particular degree or not, since you can ask if a chain complex of sets is exact or not; I don't know if that is at all useful. You could also look at the free abelian group on your sheaf. –  Ben Webster Oct 4 '10 at 15:47

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.