# Your favorite surprising connections in Mathematics

There are certain things in mathematics that have caused me a pleasant surprise -- when some part of mathematics is brought to bear in a fundamental way on another, where the connection between the two is unexpected. The first example that comes to my mind is the proof by Furstenberg and Katznelson of Szemeredi's theorem on the existence of arbitrarily long arithmetic progressions in a set of integers which has positive upper Banach density, but using ergodic theory. Of course in the years since then, this idea has now become enshrined and may no longer be viewed as surprising, but it certainly was when it was first devised.

Another unexpected connection was when Kolmogorov used Shannon's notion of probabilistic entropy as an important invariant in dynamical systems.

So, what other surprising connections are there out there?

-

The fact that the circumference of a unit circle is used to normalize the bell curve. Elementary compared to the other examples, yes, but how shocking was it when you first learned it?

-
To me, this isn't really shocking. It's a natural consequence of the cute (and, yes, maybe even surprising) fact that the square of $\int e^{x^2}\;dx$ is equal to $\int e^{x^2 + y^2}\;dx\;dy$, the integral of a function whose level sets are circles. – Vectornaut Feb 1 '12 at 21:45

Here is one of my favorite, that I learned from A. G. Khovanskii: let $f$ be a univariate rational function with real coefficients. Then, you can think of $f$ as inducing a continuous self-map of $\mathbb{RP}^1 \cong S^1$, in particular, it has a topological degree, say $[f]$, and if $f$ happens to be a polynomial, it is obvious that $[f]=0$ if $\deg(f)$ is even, and that $[f]=\pm 1$ if $\deg(f)$ is odd (depending on the sign of the main coefficient).

If the decomposition of $f$ in continued fraction is $$f=P_0+\frac{1}{P_1+\frac{1}{P_2+\ddots}}$$ Then one can prove easily that $[f]$ is the (finite) sum: $[f]=\sum_{i \geq 0} (-1)^i[P_i]$. (Khovanskii himself taught this to high-schoolers in Moscow.)

The interesting connection for me follows: for any real polynomial $P$, the topological degree of the fraction $P'/P$ is clearly the (negative of the) number of real roots of $P$. Thus, the computation formula above applied to $[P'/P]$ allows us to recover Sturm's theorem.

I don't know if it really qualifies as a new proof of the theorem, but it's definitely a different point of view on that proof.

-

I agree with Zavosh that Jones' linking of Von Neumann algebras to knot theory is one of the great connections in modern times. Closer to home for me is Pisier's use of a theorem of Beurling on holomorphic semigroups to prove the duality of type and cotype of B-convex Banach spaces.

-

Taniyama-Shimura-Weil connecting error terms counting number of points on an elliptic curve over finite fields and the Fourier coefficients of modular forms. It's less surprising these days because it's almost as famous as the two things it connects.

-

The connection between homotopy groups of S2, Brunnian braids over the sphere, and Brunnian braids. This knocked me off my chair when I first heard about it. I know no conceptual explanation of this connection.

A. Berrick, F. R. Cohen, Y. L. Wong and J. Wu, Configurations, braids and homotopy groups, J. Amer. Math. Soc., 19 (2006), 265-326. Also available at http://www.math.nus.edu.sg/~matwujie/BCWWfinal.pdf See also http://www.math.nus.edu.sg/~matwujie/cohen.wu.GT.revised.29.august.2007.pdf

-
I'd like to find a more geometric proof of their result. There's a lot of geometric constructions that lead me to suspect such a result but I haven't found anything quite right. The main idea is to consider the closure of a Brunnian braid then look at things like the Koschorke invariants. mathoverflow.net/questions/234/… – Ryan Budney Feb 8 '10 at 7:17
1. The Curry-Howard isomorphism linking various lambda calculi with intuitionistic logics; its extension to the classic logic via the concept of continuations.
2. The conncetion between Borel hierarchy and arithmetical hierarchy.
3. Fagin's theorem --- and later the whole branch of descriptive complexity --- linking well-known complexity classes with logics over finite models.
-

Paul Vojta's discovery of the unexpected parallels between value distribution theory (Nevanlinna theory) in complex analysis and Diophantine approximation in number theory. See, e.g., Vojta's paper "Recent Work on Nevanlinna Theory and Diophantine Approximation". Serge Lang and William Cherry discuss the matter in their book Topics in Nevanlinna Theory.

-

Being a physicist I'm still puzzled by the connection between:

1. Wick theorem -- which is combinatorics (for me).
2. Multivariate Gaussian integrals -- which is calculus (for me).
3. Determinants and eigensystems -- which is linear algebra (for me).
-

The surprising application of algebra into solving the problem of classification of manifolds or topological spaces, from which arose such concepts as fundamental group, homology groups, etc..

I think a lot of things will be "surprising" like this. I think the creations of most of the important topics or active areas of research in math arose out of some such "surprising" connection.

-
No, I don't think that everything is really surprising. There are a lot of theorems that have been based on hard work, but within the existing circle of ideas surrounding that result. What I'm after is when disparate parts of mathematics are brought together in unexpected ways. – Victor Miller Feb 8 '10 at 0:20
Well personally it was surprising for me. I knew something about point set topology from one book, and from the next book I knew about groups, rings, linear algebra and so on. Then I go and sit in algebraic topology course because it was mandatory for some reason, and lo and behold! – Feb7 Feb 8 '10 at 0:35
Hi Ryan, would you consider it obvious that the obstruction to promoting a homotopy equivalence to a simple homotopy equivalence should live in a group? And if so, could you have guessed which group? I think there are many places in topology where algebra is surprisingly effective. And for at least half a century mathematicians studied topological spaces, and manifolds in particular, before beginning to apply algebra to these questions. In 1942 the field was still referred to, at least by some, as "combinatorial topology" rather than "algebraic topology". – Tom Church Feb 8 '10 at 3:37

Another post reminded me of the following fact. The Poisson summation formula is a special case of the trace formula. Also the Frobenius reciprocity for finite groups follows from another spacial case of the trace formula, where the groups in question are finite. I find that these two theorems are related in such a way very surprising.

-
For me, the Frobenius reciprocity formula follows from $\left(A\otimes_R B\right)\otimes_S C\cong A\otimes_R\left(B\otimes_S C\right)$, where $R$ and $S$ are two unital (not necessarily commutative) rings, $A$ is a $\left(\mathbb Z,R\right)$-bimodule, $B$ is a $\left(R,S\right)$-bimodule, and $C$ is a $\left(S,\mathbb Z\right)$-bimodule. The "other" Frobenius formula is simply the trace of the former. Is this what you mean? But then I wouldn't really call it a connection. – darij grinberg Feb 8 '10 at 11:26
The connection that I was talking about is the following. The Arthur-Selberg trace formula is an identity of distributions for a pair of groups(with some conditions). When the groups are R and Z, then the trace formula reduces to Poisson summation. When the groups are finite, and with the right choice of a test function, the trace formula reduces to Frobenius reciprocity. – MBN Feb 8 '10 at 14:28

Another surprising connection: The Ax-Kochen theorem that for each positive integer $d$ there is a finite set $Y_d$ of prime numbers, such that if $p$ is any prime not in $Y_d$ then every homogeneous polynomial of degree $d$ over the $p$-adic numbers in at least $d^2+1$ variables has a nontrivial zero.

This was proved using model theory.

-

The chromatic number of the Kneser graph $KG_{n,k}$ is equal exactly $2n-k+2$. There are very simple proof based on Borsuk-Ulam theorem.

-

Root systems, which are completely combinatorial objects have a lot to do with topological objects, such as compact Lie groups, and linear algebraic objects, such as Lie algebras. Not just that, they classify semisimple ones among them!

-

That mechanical vibrations (mass-spring-dashpot systems) satisfy the same differential equations as electrical systems (inductor-resistor-capacitor circuits).

-

The analogy, still not understood to the full I think, between prime numbers and knots.

See Arithmetic topology in Wikipedia.

A most condensed picture is given by the Kapranov-Reznikov-Mazur dictionary

This is actually closely related to several answers here, and in fact initially I mentioned it in a comment to one of the answers but then still decided to make a separate entry.

-

I believe the way R. Schoen solved Yamabe problem "http://en.wikipedia.org/wiki/Yamabe_problem" (after the contributions of Yamabe, Trudinger, Obata and Aubin) is truly impressive: after a long series of computations, he unexpectedly related the constant term in the expansion of certain Green functions associated to Yamabe problem (a Differential Geometry problem) with the so-called ADM mass in General Relativity (from Mathematical Physics); thus, he "reduced" the (remaining cases of) Yamabe problem to the infamous positive mass theorem, a result S.-T. Yau and himself proved (using Differential Geometry) to answer a (seemingly unrelated) central problem in General Relativity. See the survey of Lee and Parker "http://www.ams.org/journals/bull/1987-17-01/S0273-0979-1987-15514-5/" for a nice account on this surprising connection between Differential Geometry and General Relativity.

-

Grothendieck's dessins d'enfants: the Galois group $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$ acts on certain graphs (with a decoration) on 2-dimensional topological surfaces.

-

Stumbled on the following couple of days ago, when searching a good picture for a general 3-step filtration in an abelian category (in fact, there are similar structures in triangulated categories which I am ultimately up to):

After feasting my eyes on it for a while I suddenly realized that what I am actually staring at is the Desargues configuration (in the form of five generic planes in 3-space)!

Not sure if this has any significance or whether one can do anything with it, but I certainly find it amusing.

-

The connection between rational homotopy theory and local algebra has been very useful, I was told. See Section 3 of this survey by Kathryn Hess and the references therein, especially Anick's counterexample to a conjecture of Serre.

-

This is much fuzzier than many of the other answers, but the connections between graph theory, arithmetic, and geometry are breathtaking. (IMHO, anyone working anywhere even close to the intersection of these fields who hasn't read [at least some of] Serre's Trees needs to. Really everyone should read Trees though.)

-

The inverse calculus of a slope is the calculation of an area.

Barrow's Lemma: http://en.wikipedia.org/wiki/Fundamental_theorem_of_calculus

-

There are several surprises regarding convex polytopes:

A) There are combinatorial types of polytopes that cannot be realized with rational coordinates (first discovered by Perles). This is not the case in three dimension but by now there are examples in every dimension greater equal 4. This adds to several examples on the wild combinatorial nature of convex polytopes in dim at least 4.

B) The applications of commutative algebra to the study of face-numbers of polytopes - Stanley proofs of the upper bound theorem using the Cohen-Macaulay argument and many subsequent results. Also surprising is the application of algebraic geometry: toric varieties, Hard Lefschetz theorem, intersection homology etc.

C) It is a special surprise that some proofs regarding the face number of polytopes applies only to polytopes with rational coordinates.

-

One more. The application of string theory (mirror symmetry) to solving the Clemens conjecture in enumerative geometry, by finding the generating function for the number of rational curves which pass through a certain number of points. The coefficients are Gromov-Witten invariants. This is the work of Candelas, et al.

-

The amazing connection between $\eta$-identities and affine root systems, due to Macdonald and further elaborated upon by Kac! These identities encompass the jacobi triple product identity, Euler's pentagonal number identity and many others. And these have connections to Complex simple Lie algebras.

-

Application of thermodynamic formalism'' to questions of Analysis. Thermodynamic formalism have its origin in equilibrium statistical mechanics. First unexpected thing was its application to the theory of smooth dynamical systems, see beautiful paper of Ruelle, Is our mathematics natural? in BAMS. Later unexpected applications were discovered to problems of analysis which have nothing to do with dynamical systems, statistical mechanics or mathematical physics. One example is Astala's theorem on the area distortion under quasiconformal mappings. There is a very simple, self-contained proof of this theorem in MR1283548, using no dynamical considerations. But it is hard to imagine how could this proof be invented without dynamical and "thermodynamical" considerations.

-

Stone duality usually refers to the equivalence between the category of Boolean algebras and the category of compact totally disconnected spaces. This duality intertwines the theory of Boolean algebras with general topology so much that Boolean algebras cannot be studied in depth without mentioning general topology and compact totally disconnected spaces cannot be studied in great detail without mentioning their relation with Boolean algebras. For example, the free Boolean algebras and free $\sigma$-complete Boolean algebras are normally represented not in terms of generators and relations, but as clopen sets (Baire sets) on the cantor cube $2^{I}$ for some set $I$.

Stone duality was originally a very surprising result, and it is probably a bit surprising to people seeing this result for the first time as well. Around 1937 when Marshall Stone formulated this duality it was difficult to imagine nice topological spaces that arose from algebraic structures rather than geometric or analytic structures.

Besides Stone duality, there are many dualities (equivalences of categories) similar in nature to Stone duality that relate different structures to each other and hence relate different areas of mathematics to each other (I have developed some of these dualities myself). For instance, one can relate topologies satisfying higher separation axioms with topologies that are not even $T_{1}$. One can also relate structures such as proximity spaces and uniform spaces with algebras of sets and Boolean algebras. There are also many dualities relating different in order theory to each other.

-

Fact that something such well known as group of rotations SO(3) is connected but not simply connected and which is more it may be shown (!) by Dirac Belt or even by toying of cup of tee and a hand!

-

"Vojta's analogy" between Nevanlinna theory and Diophantine approximation. Nevanlinna theory studies holomorphic curves from the affine line $C$ to complex projective space $P^n$ (or to other complex manifolds). The main characteristic of such a curve is called the Nevanlinna characteristic. It was introduced by H. Cartan (for the case of projective space) in 1929. Almost simultaneously, heights was introduced to number theory by Weil and Siegel (1928).

Some people noticed the similarity of these two notions, but only in 1987, Vojta started to explore this similarity systematically. The result was very profitable for both theories.

-

Traveling wave solutions to the KdV Equation for any speed and whose profiles look like the graph of the $\wp$-function for any elliptic curve.

More precisely, if $u(x, t)$ is a solution of the KdV Equation that has the form $$u(x, t) = w(x + ct)$$ then $$u(x,t)=-2\wp(x + ct + \omega; k_1, k_2)+2c/3.$$

(See e.g. Glimpses of Soliton Theory: The Algebra and Geometry of Nonlinear PDEs by Alex Kasman)

-

It seems that no one gave this one yet, although it probably hides behind many of previous answers.

The fact that in $\mathbb{C}$, product by a fixed complex number corresponds to a similarity is an incredible and far-reaching connection between algebra and geometry.

Among other things, it ties holomorphic functions with conformal maps of surfaces, so that for example one can identify a Riemann surface with a surface having a Riemannian metric of curvature $-1$, $0$ or $1$; more generally it allows for the use of complex analysis to study a number of problems in the geometry of surfaces.

-

## protected by François G. Dorais♦Sep 30 '13 at 0:52

Thank you for your interest in this question. Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site.