As an undergraduate student whenever I studied some subject I tried to come up with problems. Many of these problems were artificial or silly and, of course, I forgot most of them. But a few still make sense. Here are two problems:
1) Let B be the unit ball (or the unit cube) in . Does every function from B to B which is the differential of a real function on B have a fixed point?
2) Is there a common generalization for Sylows’s theorem and Frobenius’s theorem?
Updates:A few typos corrected; thanks Lior! A remark by David Speyer suggests that both results we would like to find a common generalization to, are due to Frobenius. (Who was motivated by Sylow’s theorems.) Emmanuel Kowalski’s was partially motivated by these problems to present an old sporadic problem of his. (It is a mystery for me why his post is not mentioned as a track-back in this post.)
1) A fixed point theorem for differentials?
One of the delightful theorems you learn in the first year of undergraduate studies (and later teach as a TA, and later teach as a professor) is the intermediate value theorem. If a continuous function satisfies and then for some point c in the interval [a,b], . Later you learn Darboux’s theorem asserting that if f is a differential function, and and then for some point c in the interval [a,b], . Your first reaction is: “Of course, is continuous and we can apply the intermediate value theorem.” But, no, you soon learn some subtle examples where the derivative is not continuous!
One equivalent formulation of the intemediate value theorem asserts that every continuous map from [0,1] to itself has a fixed point. Namely, for some , . This is a special case of Brouwer’s fixed point Theorem (which you learn in the second year) which asserts that every map from the unit ball of to itself has a fixed point.
We can ask if every function from the unit ball to itself, which is a differential of a real function on the unit ball, has a fixed point.
There are many very interesting and difficult problems related to basic real analysis. Not many mathematicians are fully aware of the rich and beautiful modern results in real analysis. (Just like many people outside mathematics are not aware that there is more to be discovered in mathematics itself.)
For example, it has only recently been proved by Csörnyei, O’neil, and Preiss and by Elekes, Keleti, and Prokaj, that the composition of derivatives of differential functions has the fixed point property. This is not easy at all. Also, the question regarding connectivity of the graph of differentials of functions was studied extensively. See this paper by Csörnyei and Holický
In Budapest, I mentioned this problem to Miklos Laczkovich. (His UCL home page mentions a few open problems in real analysis.) He asked Marton Elekes (an author of one of the papers I mentioned above, and the son of György Elekes whom we mentioned in connection to product sum theorems). Elekes found a simple proof that the answer is yes – there is always a fixed point . Suppose you want to prove it for a function f(x,y) whose derivative maps the unit square into itself. What you need to do is to inspect the behavior of in the boundary of the square.
So this problem was not so good, but the following problem proposed by Laczkovich might be.
Problem: Let X be a set homeomorphic to the unit ball in . Does every function from X to X which is the differential of a real function on X have a fixed point?
2) Joining Frobenius’ and Sylow’ theorems
Sylow’s theorems in group theory, which we studied in the second year of undergraduate studies, always seemed to me as one of the few theorems I did not have a conceptual understanding of. This makes Sylow’s theorems rather mysterious and charming. (A similar impression with the opposite reaction is expressed by Tim Gowers in this interesting post.)
Sylow’s theorem (one of them) asserts: In a group whose order is divisible by there are 1(mod p) subgroups of order .
Frobenius’ theorem asserts: In a group whose order is divisible n, the number of solutions to the equation is zero modulo n.
(Frobenius was probably inspired by Sylow.)
Sylow intersection with Frobenius: The case i=1 of Sylow’s theorem is the same as the case n=p of Frobenius’ theorem.
Is there a nice (Sylow JOIN with Frobenius) theorem? The case i=2 of Sylow’s theorem is the place to start.