Let $X$ be a smooth complex algebraic variety. Consider the following properties (RP) and (JC) of $X$:

**(RP) Rolle Property.** Let $f:X\to X$ be a morphism such that the differential $d_x f: T_x X \to T_x X$ is an isomorphism for all (closed) points $x\in X$. Then $f$ is (set theoretically) injective (on closed points).

[Notice][1] that (RP) is reminiscent of Rolle's theorem from elementary calculus: if $f(a)=f(b)$ then there's a point $c$ at which $f'(c)=0$.

**(JC) Jacobian Conjecture.** Let $f:X\to X$ be a morphism such that the differential $d_x f: T_x X \to T_x X$ is an isomorphism for all (closed) points $x\in X$. Then $f$ is an isomorphism.

Clearly, in general, property (JC) is stronger than (RP).

In the case of $X=\mathbb{A}^n$ the above properties are equivalent ([thm 1.4][1]) and are notoriously an open problem. For some varieties, they're obviously false: $f:\mathbb{C}^*\to \mathbb{C}^*$, $z\mapsto z^2$, has invertible differential at every point but $f$ is not injective. 

Notice that if $X$ admits a nontrivial étale cover by itself then (RP) and (JC) are false.

> **Q1.** For which varieties are the properties (RP) and/or (JC) above known to be true? (Or, what are some interesting counterexamples?)

> **Q2.** Is there a variety that satisfies (RP) but not (JC)?



Remark: for $X$ projective, whenever $f:X\to X$ is set theoretically bijective, and the differential condition is satisfied, [then][2] $f$ is already an isomorphism.


  [1]: https://www.emis.de/journals/SC/1997/2/pdf/smf_sem-cong_2_55-81.pdf
  [2]: https://mathoverflow.net/questions/164937/conditions-under-which-a-bijective-morphism-of-quasi-projective-varieties-is-an