What is the meaning of the symbol $\pitchfork$?

$\begingroup$

I have seen this symbol in the formulation of this question. There, it is said:

Let $f: X \to Y$ be a smooth map with $f \pitchfork Z$.

I was googling, but I haven't found any answers.

$\endgroup$ 1

1 Answer

$\begingroup$

It means transversality. Spesifically, that the image of $f$ is transverse to $Z$. See

Two submanifolds $U$ and $V$ of a manifold $M$ are called transversal at $x\in Z$ if $$T_xU+T_xV=T_xM$$ and simply transversal if they are transversal at all intersection points. Note that the sum is not direct. We identify $T_xU$ and $T_xV$ by the appropriate subspaces of $T_xM$.

$\endgroup$ 1

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy