Originally published at 狗和留美者不得入内. You can comment here or there.

I like mathematics a ton and I am not bad at it. In fact, I am probably better than many math graduate students at math, though surely, they will have more knowledge than I do in some respects, or maybe even not that, because frankly, the American undergrad math major curriculum is often rather pathetic, well maybe largely because the students kind of suck. In some sense, you have to be pretty clueless to be majoring in just pure math if you’re not a real outlier at it, enough to have a chance at a serious academic career. Of course, math professors won’t say this. So we have now an excess of people who really shouldn’t be in science (because they much lack the technical power or an at least reasonable scientific taste/discernment, or more often both) adding noise to the job market. On this, Katz in his infamous *Don’t Become a Scientist *piece writes:

If you are in a position of leadership in science then you should try to persuade the funding agencies to train fewer Ph.D.s. The glut of scientists is entirely the consequence of funding policies (almost all graduate education is paid for by federal grants). The funding agencies are bemoaning the scarcity of young people interested in science when they themselves caused this scarcity by destroying science as a career. They could reverse this situation by matching the number trained to the demand, but they refuse to do so, or even to discuss the problem seriously (for many years the NSF propagated a dishonest prediction of a coming shortage of scientists, and most funding agencies still act as if this were true). The result is that the best young people, who should go into science, sensibly refuse to do so, and the graduate schools are filled with weak American students and with foreigners lured by the American student visa.

Even he believes that now the Americans who go into science are often the ones who are too dumb or clueless to realize that they basically have no future there. I can surely attest to how socially inept, or at least clueless, many math grad students are, as I interact with them much more now. The epidemic described by Katz is accentuated by the fact that professors in science are not encouraging of students who seek a plan B, which everyone should given the way the job market is right now, and even go as far as to create an atmosphere wherein even to express a desire to leave academia is a no-no. I am finding that this type of environment is even corroding my interest in mathematics itself, which is sad. In any case, I sort of disagree with Katz in that I feel like the very top scientific talent of my generation still mostly ends in top or at least good graduate schools, though surely there are many who feel alienated or don’t find the risk worth taking, and end up leaving science. I myself am thinking of forgetting about mathematics altogether. So that I can concentrate my motivation and time and energy on developing expertise in some area of software engineering that is in demand, for the money and (relative) job security, and hopefully also find it a sufficiently fulfilling experience. There are a lot of morons in tech of course, but certain corners of it do provide refuge. I had always thought of mathematics as being a field with a much higher threshold cognitively in its content, enough to filter out most of the uninteresting people, but that’s, to my disappointment, less so than I expected. I do have reason to be scared, because one of the smartest and most interesting people I know took like five years following his math PhD to make his way into full employment, in a programming/data science heavy role of course, despite being arguably much better at programming than most industry software engineers with a computer science degree, which he lacked, an indicator of the perverse extent to which our society now runs on risk-aversion and (artificial) credential signaling. I can only consider myself fortunate that I do have a computer science degree from a reputable place, and with that, I have already made a modest pot of gold, despite being frankly quite mediocre at real computer stuff, which I have had difficulty becoming as interested in as I have been in mathematics. Maybe I was even fortunate to have not been all that gifted in the first place, which in some sense compelled me to be more realistic, as there is arguably nothing worse than becoming an academic loser, which academia is full of nowadays, sadly. This type of thing can happen to real geniuses too. Look at Yitang Zhang for instance, the most prominent case to come to mind. Except he actually made it afterwards, spectacularly and miraculously, with his dogged belief in himself and perseverance under adversity. For every one of him, I would expect like 10 real geniuses (in ability) who were under-nurtured, under-recognized, or even screwed, left to fade into obscurity.

I’ll transition now to a problem that I’ve been asked to solve. Its statement is the following:

Let be holomorphic on a simply-connected Riemann surface , and assume that never vanishes. Then there exists holomorphic on such that . Show that harmonic functions on have conjugate harmonic functions.

Every corresponds to an open connected neighborhood . Let be the system consisting of these neighborhoods, a continuous branch of the logarithm of in . From this arises a family .

In Schlag, there is the following lemma.

**Lemma 5.5.** *Suppose is a simply-connected Riemann surface and*

*is a collection of domains (connected, open). Assume further that these sets form an open cover such that for each there is a family of analytic functions , where is some other Riemann surface, with the following properties: if and , then there is some so that near . Then given and some there exists an analytic function so that on .*

Using the families of analytic function as given above, it is clear that near , when , which means the hypothesis of Lemma 5.5 is satisfied by the above families.

I’ll present the proof of the above lemma here, to consolidate my own understanding, and also out of its essentiality in the construction of a global holomorphic function matching some function in each family. It does so in generality of course, whereas in the problem we are trying to solve it is on a specific case.

**Proof.** Let

where iff and in a neighborhood of . Let denote the equivalence class of . As usual, . For each , let

.

Clearly, is bijective. We define a topology on as follows: is open iff is open for each . This does indeed define open sets in : since is the union of connected components of by the uniqueness theorem (if it is not empty), it is open in as needed. With this topology, is a Hausdorff space since is Hausdorff (we use this if the base points differ) and because of the uniqueness theorem (which we use if the base points coincide). Note that by construction, we have made the fibers indexed by the functions in discrete in the topology of .

The main point is now to realize that if is a connected component of , then is onto and in fact is a covering map. Let us check that it is onto. First, we claim that is open. Thus, let and pick with and pick with and . Clearly, and since , and thus also , is open and connected, the connected component has to contiain entirely. Therefore, as claimed.

Next, we need to check that is open. Let and pick so that . If , then we are done. Otherwise, let and pick containing and some with (using the same “nonempty intersection implies containment” argument as above). But now we can find with the property that on a component of . As before, this implies that would have to contain which is a contradiction.

To see that is a covering map, one verifies that

.

The sets on the right-hand side are disjoint and in fact they are connected components of .

Since is simply-connected, is homeomorphic to (proof given in the appendix). We thus infer the existence of a globally defined analytic function which agrees with some on each . By picking the connected component that contains any given one can fix the “sheet” locally on a given . ▢

By this, we can construct an analytic such that for all ,

.

from which follows .

For the existence of harmonic conjugates, we do similarly. Take a connected open cover of , where each is conformally equivalent to the unit disc, and is a harmonic conjugate of in (which exists uniquely up to constant on the unit disc. Let . Then by the same lemma, there exists such that for all ,

that is harmonic and conjugate to since it is the harmonic conjugate to on every element of the cover, again with choise of s to ensure that on intersection of cover elements there is a match.