I apologize for being unclear. It’s wrong in the sense that it’s unfounded. Once the foundation is properly relaid then analogous arguments can go through.
Not offhand, though it’s one of those things that tends to exist more ephemerally than in the literature. Basically, the people who need the proper view learn it by reading a book or taking a class that assumes that viewpoint and bang their heads against the wall until finally they realize that their earlier classes had been lying in the name of simplicity of exposition. It’s definitely needed in differential and algebraic geometry, and I really don’t see that explicitly pointing out the choice (even if you don’t ever use the other choice) slows up the students in any way.
Semi-analogous cases:
In multivariable calculus classes, the space of tangent vectors to R[sup]3[/sup] at any point p is erroneously confounded with R[sup]3[/sup] itself. When the student tries studying differential geometry they must unlearn the naïve notion of tangent vectors. Some books do a better job than others in making this explicit.
Many terms are around for historical reasons, being named before they were as well-understood as they are now. The homology “groups” in topology are more properly homology Z-modules, since that’s the concept that generalizes to homology with coefficients (homology R-modules) and additional algebraic structures (homology algebras).
One book I’m sure is written in a style that makes the choice more explicit is Griffiths’ and Harris’ Principles of Algebraic Geometry. In fact, I seem to notice that it’s usually exactly this leap from the style of a typical complex analysis course that torpedoes most people who try to get beyond chapter 0.
Z-modules are groups, abelian groups. But that’s an interesting point, that students might be hindered from moving up by a changing nomenclature. But what about the connection down, what about bridging to the student’s previous knowledge of groups?
And now I’m curious. What would you say is the derivative of f(z) = (z + {\bar z})/2 ? ( the Re(z) )
They’re called “groups” because they were first thought of as abelian groups. Ideally, a student would be taught that abelian group = Z-module, but just in case I’d define the homology modules and remind students that a Z-module is an abelian group.
It doesn’t have one. It has partial derivatives with respect to z and {\bar z}, but since neither of them vanish neither holds all the information. Alternatively, if you specify a curve in the plane, which specifies a relationship between z and {\bar z}, you can write a total derivative using the chain rule, which is then the total derivative along the curve.
Doesn’t seem that hard
And so, the derivative of f(z) = {\bar z} ?
The holomorphic derivative is zero. The anholomorphic derivative is 1. Again, “the derivative” is only defined when you restrict to a specific choice of complex structure and to either the sheaf of holomorphic or of anholomorphic functions with respect to that complex structure.
But, once you’ve chosen the particular structure, the holomorphic derivative of F(z) = z is always 1, just as the holomorphic derivative of f(z) = {\bar z} is zero, as you say.
So, for complex polynomial functions of z as in the OP, yes, there seems to be a canonical derivative. I disagree with your objections.