67
$\begingroup$

Added. Thanks to all who participated! Let me humbly apologize to those who were annoyed (quite understandably) by this thread, deeming it nothing more than an exercise in futility. If you thought the question, if legitimate at all, should have been restricted to interesting manifestations of a hyperbolic-parabolic-elliptic subdivision, then I can fully agree (although part of the idea was to interpret the question as you see fit); I left it open ended primarily because of the Weil trichotomy, which is of completely different kind and is so much more than a hierarchy, and in relation to which I was interested in hearing other people's opinions and elaborations. See, for instance, how Edward Frenkel, in a fascinating Bourbaki talk, builds upon the Weil trichotomy to introduce a parallel between Langlands and electro-magnetic dualities, which he uses as a springboard for the ideas from physics that have entered the arena of the geometric Langlands program. Or take the cherished three-sided parallel between the basic three-dimensional (from the point of view of etale cohomology) objects and their branched coverings: $\mathbb{P}_{\mathbb{F}_q}^1$, $\mathrm{Spec}(\mathbb{Z})$, and $S^3$, with primes in number fields corresponding to knots in threefolds, $\log{p}$ corresponding to hyperbolic length, etcetera.

To those who were not convinced that there was a neat trichotomy of algebraic surfaces (arguing they should instead form a tetrachotomy by Kodaira dimension), let alone in higher dimensional algebraic geometry, I refer to Sándor Kovács's answer here, which demonstrates rather eloquently the fundamental trichotomy of birational geometry:

How "frequent" are smooth projective varieties with (anti-)ample canonical bundle?

Original post. For many purposes, notably in classification hierarchies or in Weil's "big picture" of the fundamental unity in mathematics, it seems as if mathematical reality is more accurately captured by trichotomies than by two-sided dictionaries or questions of "either/or." The most basic is of course the trichotomy negative - zero - positve embodied by the complete ordered field $(\mathbb{R},<)$ --- this is the Arrow of Time, if you will, or the conditioning of a dynamical system into states of past/present/future. As evidenced by some of the examples below, this trichotomy underlies varied, if crude, classification schemes in mathematics.

Other trichotomies arise from closer examinations of a mathematical parallel. Mathematicians have always been fond of discovery by analogy; they take very seriously the intuitions supplied by different yet loosely connected fields. In doing so, they are guided by a tacit, platonic belief in the fundamental Unity of mathematics. An example is the similarity between finite geometries and Riemann surfaces. To explain this parallel, indeed to make sense of it, it is necessary to provide a "middle column" in the dictionary: the arithmetic geometry of number fields and arithmetic surfaces. This leads to the trichotomy that Weil explained so lucidly in a letter (which he wrote in 1940 in prison for his refusal to serve in the army) to his sister, the philosopher Simone Weil. This point of view led, as we know, to an entire new field of mathematical inquiry.

Below I have listed some other cherished mathematical trichotomies. I am interested in seeing yet others, perhaps more specialized. This is my question: add more trichotomies to the list. Furthermore, I am interested in any reflections anyone might have, such as pertaining, for instance, to any of the following questions. Is 3 the most ubiquitous number in coarse classification schemes? Is it fair to say that a given trichotomy echoes the primeval trichotomy $(-,0,+)$? In a given trichotomy, is there a natural "middle column" of a corresponding three-sided dictionary? Is this "middle column" in any way the most fundamental, the most interesting, or the most elusive?

Trichotomies in mathematics: some examples.

  • The fabric of topology, geometry, and analysis is the real line $\mathbb{R}$. Tarski's eight axioms characterize it in terms of a complete binary total order <, a binary operation +, and a constant 1. (Multiplication comes afterwards - it is implied by Tarski's axioms - and so does the Bourbaki definition of the reals as the complete ordered field). The sign trichotomies $(<,=,>)$ and $(-,0,+)$ ensuing from those axioms have repercussions throughout all of mathematics.

  • For example, there are three constant curvature spaces, leading to the three maximally symmetric geometries: hyperbolic, flat (or Euclidean), and elliptic (e.g. spherical forms).

  • Locally symmetric spaces fall into three types: non-compact type, flat, and compact type.

  • In complex analysis, there are three simply connected cloths: the Riemann surfaces $\Delta$, $\mathbb{C}$, and $\hat{\mathbb{C}}$.

  • The connected component of the group of conformal automorphisms of a compact Riemann surface is one of the following three: trivial, $S^1 \times S^1$, $\mathrm{PGL}_2(\mathbb{C})$.

  • The complexity of fundamental groups, as showcased first of all by topological surfaces: genuinely non-abelian (perhaps we could say: anabelian) - abelian (or more generally, containing a finite index nilpotent subgroup) - and trivial (or more generally, finite). This is of course related to the subject of growth of finitely generated groups, brought forward by Lee Mosher's answer.

  • In dynamics, a fixed point (or a periodic cycle) can be either repelling, indifferent, or attracting.

  • In Thurston's work on surface homeomorphisms, elements of the mapping class group are classified according to dynamics into three types: pseudo-Anosov, reducible, and finite-order.

  • In algebraic geometry, the positivity of the canonical bundle is central to the classification and minimal model problems. More generally, positivity is a salient feature of algebraic geometry. For a delightful discussion, see Kollar's review of Lazarsfeld's book "Positivity in algebraic geometry." (Bull. AMS, vol. 43, no. 2, pp. 279-284). The most basic example is the trichotomy of algebraic curves (rational, elliptic, general type).

  • In birational algebraic geometry, at a very coarse level, there are three kinds of varieties out of which a general variety is made: rational curves, Calabi-Yau manifolds, and varieties of general type (or hyperbolic type, if you prefer). For example, an algebraic surface either: 1) admits a pencil of rational curves; or 2) admits a pencil of elliptic curves or is abelian or K3 (or a double quotient of a K3); or else 3) it is of general type. Abelian and K3 are examples of Calabi-Yau manifolds.

  • More concretely, consider smooth hypersurfaces $X \subset \mathbb{P}^n$. They divide into three types, according to how their degree $d$ compares with the dimension. If $d \leq n$, they contain plenty of rational curves (certainly uncountably many). If $d = n+1$, they are an example of a Calabi-Yau manifold, and typically contain a countably infinite number of rational curves. (The generating function of the number of rational curves of a given degree is then a very interesting function, of significance in the physics of quantum gravity.) And if $d \geq n+2$, then $X$ is of general type, and it is conjectured to typically contain only finitely many rational curves. (More precisely, Bombieri and Lang have conjectured that a variety of general type contains only finitely many maximal subvarieties not of general type).

  • In diophantine geometry, rational points are supposed to come from rational curves and abelian varieties. The sporadic examples are believed to be finitely many. This leads to the following trichotomy for the growth rate of the number of rational points of bounded (big, i.e. exponential) height: polynomial growth - logarithmic growth - $O(1)$. Furthermore, even in dimension 1, it is for abelian varieties that the situation is the deepest and the most mysterious.

  • In topology, it seems as if the interesting dimensions fall into three qualitatively different ranges: $d = 3$, $d = 4$, and $d \geq 5$. (Although this might be stretching it a bit too much). Of these, four dimensions -- the "middle column" -- is the most mysterious, and also the most relevant for physics.

  • The "Weil trichotomy," of course, goes at least as far back to Kronecker and Dedekind: curves over $\mathbb{F}_q$ - number fields - Riemann surfaces. Class field theory and Iwasawa theory are particularly eloquent examples of this trichotomy. Another example is of course the zeta function and the Riemann hypothesis.

  • One would be tempted to extend the latter trichotomy to [non-Archimedean world ($p$-adic, profinite) - global arithmetic - Archimedean world (geometry, topology, complex variables)], if the middle column did not subsume (much of) the flanking columns. Likewise the triple [$l$-adic cohomology-motive-Hodge structure] would probably not be admissible. Here is a variation on the theme (you may find it to be rubbish, in which case throw it away). There are two ways of completing (or taking limits of) the regular polygons $C_n$. The first is to think of $C_n$ as $\frac{1}{n}\mathbb{Z}/\mathbb{Z}$ and take the direct limit (in this case, union, or synthesis: $\rightarrow$), which is $\mathbb{Q}/\mathbb{Z}$. Completing, we get the circle $S^1 = \mathbb{R}/\mathbb{Z}$, which is the simplest manifold. The second is to think of $C_n$ as $\mathbb{Z}/n$ and take the projective limit (or deconstruction: $\leftarrow$), which is $\hat{\mathbb{Z}} = \prod_p \mathbb{Z}_p$, the profinite version of the circle. In this way, Archimedean (continuous) objects and $p$-adic objects may be seen as the two possible different limits (synthesis and deconstruction) of the same finite objects. Taking $C_n$ to be more general finite groups, we get essentially all the Lie groups, on the one hand; and all the profinite groups, on the other hand.

  • That we live in three perceptible spatial dimensions does not, of course, fit our bill. But in 1984, Manin published an article ("New dimensions in geometry") in which, guided by ideas from number theory (Arakelov geometry) and physics (supersymmetry), he proposed that there are three kinds of geometric dimensions, modeled on the affine superscheme $\mathrm{Spec} \mathbb{Z}[x_i;\xi_j]$, an "object of the category of topological spaces locally ringed by a sheaf of $\mathbb{Z}/2$-graded supercommutative rings." Here, $\xi_j$ are "odd," anticommuting variables, commuting with the "even" variables $x_i$. See the three coordinate axes $x, \xi$ and $\mathrm{Spec} \mathbb{Z}$ in his picture of "three-space-2000." The arithmetic axis $\mathrm{Spec} \mathbb{Z}$ is implicit in complex algebraic geometry, and is essential in problems such as the Ax-Grothendieck theorem and the construction of rational curves in Fano manifolds.

  • In the theory of linear groups there is, loosely speaking, a trichotomy: $\mathbb{G}_m$ (linear tori) - semisimple - $\mathbb{G}_a$ (unipotent).

  • Algebraic groups: reductive - abelian variety - unipotent. Especially, the classification of one-dimensional groups: $\mathbb{G}_m$ - $E$ - $\mathbb{G}_a$. (Thanks, Terry Tao!)

  • Variant: among commutative algebraic groups, there are: multiplicative type - abelian varieties - additive type (unipotent).

  • $\mathbb{R}$, $\mathbb{C}$, $\mathbb{H}$ are the only finite-dimensional associative division algebras over the continuum. (Thanks Paul Reynolds, Teo B, and Sam Lewallen!)

  • The most basic PDEs of physics: the wave equation (hyperbolic) - the heat and Schrodinger equations (parabolic) - the Laplace equation (elliptic). (Thanks Alexandre Eremenko!)

  • An infinite finitely-generated group has $1,2$ or $\infty$ ends. (Thanks shane.orourke and Artie Prendergast-Smith!)

  • A random walk is either transient, null recurrent, or positive recurrent. (Thanks Vaughn Climenhaga!)

  • Zeta functions can by dynamical (Artin-Mazur); arithmetical on schemes of finite type over $\mathbb{Z}$ (Riemann and Hasse-Weil); and geometric (Selberg's zeta function of a hyperbolic surface).

  • In Model theory, there is an important trichotomy between super-stable theories, strict-stable (stable but not superstable) theories, and non stable theories.

  • It seems fair to say that there are three kinds of three-dimensional simply connected spaces: $\mathbb{P}_{\mathbb{F}_q}^1$, $\mathbb{Spec}(\mathbb{Z})$ compactified at archimedean infinity, and $S^3$. This brings about the Mazur knotty dictionary and the fruitful analogy between primes and knots (especially hyperbolic knots).

$\endgroup$
34
  • 6
    $\begingroup$ A finitely-generated infinite group has 1, 2, or infinitely many ends. (But if you leave out the word "infinite", it becomes a tetrachotomy; this seems to be a weakness of the question.) $\endgroup$
    – user5117
    Feb 2, 2013 at 21:14
  • 21
    $\begingroup$ From the movie $\pi$: "Hold on. You have to slow down. You're losing it. You have to take a breath. Listen to yourself. You're connecting a computer bug I had with a computer bug you might have had and some religious hogwash. You want to find the number 216 in the world, you will be able to find it everywhere. 216 steps from a mere street corner to your front door. 216 seconds you spend riding on the elevator. When your mind becomes obsessed with anything, you will filter everything else out and find that thing everywhere." $\endgroup$ Feb 3, 2013 at 10:05
  • 38
    $\begingroup$ This feels like an awfully arbitrary and contentless question to me. This seems like asking, what are some interesting sets with 3 elements? Voting to close. A more reasonable question would be to ask for examples where there is an interesting hyperbolic-parabolic-elliptic trichotomy and connections between these examples. $\endgroup$ Feb 3, 2013 at 13:28
  • 13
    $\begingroup$ Let's please not be quick to close this question. There are some intriguing clusters of answers, some along a (negative, 0, positive) axis, and others along a (closed, open, closed) axis [if I may put it crudely], and others along other axes still. There is a certain amount of erudition in both the question and answers, and there is some potential to glimpse "analogies between analogies" in the words of Ulam. It could be a useful exercise to pursue this. $\endgroup$
    – Todd Trimble
    Feb 4, 2013 at 2:29
  • 38
    $\begingroup$ Meta thread here: tea.mathoverflow.net/discussion/1525/…. Please upvote this comment so it appears "above the fold" $\endgroup$ Feb 4, 2013 at 16:36

33 Answers 33

43
$\begingroup$

Almost everything in mathematics, indeed, can be "hyperbolic", "parabolic" or "elliptic". Like PDE's, Riemann surfaces, or manifolds of higher dimension, fractional-linear transformations, fixed points of a map, etc.

Not even mentioning the 3 kinds of the conic sections:-)

Of course this can be traced back to the fundamental trichotomy "positive", "zero" and "negative".

In differential geometry we have three great areas: "positive curvature", "negative curvature" and "zero curvature".

See also:

Strichartz, Robert S. Realms of mathematics: elliptic, hyperbolic, parabolic, sub-elliptic. Math. Intelligencer 9 (1987), no. 3, 56–64.

$\endgroup$
4
  • 1
    $\begingroup$ The curvature trichotomy indeed comes up in many different ways, e.g. look at the striking differences between positive, $0$ (hyper-Kaehler) and negative quaternionic-Kaehler geometry. $\endgroup$ Feb 3, 2013 at 12:50
  • 1
    $\begingroup$ The trichotomy elliptic-parabolic-hyperbolic holds for Riemann surfaces, but in higher dimensions there are far more possibilities. In dimension 3, there are Thurston's 8 geometries ( and usually 3-manifolds have to be decomposed into pieces to be geometric). In dimension 4, Wallach had a list of 17 geometries, but one item in his list actually contains an infinite number of geometries. (And certainly not all 4-manifolds are locally homogeneous.) $\endgroup$
    – ThiKu
    Feb 4, 2013 at 12:31
  • 3
    $\begingroup$ Of course, in higher dimensions we have more possibilities, but still they are frequently roughly classified into "hyperbolic", "parabolic" and "elliptic" types. $\endgroup$ Feb 5, 2013 at 12:52
  • $\begingroup$ Since Strichartz's title mention sub-ellipticity, let me mention that in this respect, the heat operator (parbolic) is actually hypo-elliptic. This does not sustain trichotomy. $\endgroup$ Apr 5, 2019 at 8:01
32
$\begingroup$

Each set in a topological space partitions the space into three parts: interior, boundary, exterior.

$\endgroup$
3
  • $\begingroup$ I don't understand why I am downvoted. I think my example is most appropriate, it is one of the fundamental trichotomies in mathematics. In fact it is directly connected to some other fundamental examples in the original post and in other responses such as "negative, zero, positive" or "hyperbolic, parabolic, elliptic" or "false, undecidable, true". $\endgroup$
    – GH from MO
    Feb 4, 2013 at 8:24
  • 13
    $\begingroup$ +1. I think your example is good, and indeed does resonate with these other trichotomies, in fact builds a bridge between "negative, zero, positive" and "false, between-false-and-true, true" that I hadn't guessed. Indeed, it should be compared to the MO question on why we use the open-set formulation of 'topology', especially in answers such as sigfpe's (Dan Piponi's) and the summary given by Marcos here: mathoverflow.net/questions/19152/…. Compare also Tarski's interpretation of intuitionistic logic in a topology of a space. $\endgroup$
    – Todd Trimble
    Feb 4, 2013 at 10:32
  • $\begingroup$ @Todd: Thank you for your positive feedback and support! $\endgroup$
    – GH from MO
    Feb 4, 2013 at 11:57
24
$\begingroup$

Finite, countable, and uncountable.

Those are the three distinctions we have for cardinalities. For most people uncountable would usually mean $2^{\aleph_0}$. But even for set theorists, given a model of ZFC, the finite sets are finite, the countable sets are countable, and the rest is madness$^*$.

Replacing cardinality by topological-measure theoretic properties of subsets of an ordinal $\kappa$, there are non-stationary sets (small); stationary sets (big, but not too big); and clubs (which is practically everything).


$^*$ Good madness! Like a smile without a cat.

$\endgroup$
2
  • 5
    $\begingroup$ '...and the rest is madness' +! :-) $\endgroup$
    – David Roberts
    Feb 5, 2013 at 1:26
  • $\begingroup$ Predicativists like Nik Weaver would agree with "madness". $\endgroup$
    – Todd Trimble
    Jun 10, 2019 at 2:54
21
$\begingroup$

There are exactly three finite-dimensional, associative division algebras over $\mathbb R $: $$\mathbb R, ~~ \mathbb C,~~\mathbb H$$

This was also mentioned in Paul Reynolds' answer.

Arnol'd thought this was a particularly fundamental trichotomy, and he has a fascinating table of "related" trichotomies in his book "Arnol'd's Problems" (sorry for the apostrophe catastrophe). Here's a picture I uploaded a few years ago:

Arnol'd's table

I wonder if these triples are in the same "family" as $(-1 ,0 , 1) $. At first they seem to be different because there is no distinguished element, analogous to $0$ - but perhaps $\mathbb C$ plays this role? I think the proof that there are three division algebras might actually use the $(-1,0,1)$ trichotomy, but I don't have a moment to think about it right now - maybe someone can leave a comment confirming this? (Edit: I could also imagine $\mathbb R$ playing the role of $0$, because it is the identity element for the tensor product, for example - any opinions either way?)

Another question I find interesting, which I'd hoped to think about at some point for fun, asks not just for (related) occurrences of 3-element sets in mathematical classifications, but more generally, for related occurrences of $n$-element sets for small $n$. I'd always dreamed of taking the number $5$ of regular platonic solids, for example, and trying to deduce from this as many other "small, finite number classifications" as possible.

$\endgroup$
3
  • 3
    $\begingroup$ I'm glad Arnol'd puts Pontryagin classes in the quaternionic column. This point seems to often go unmentioned. $\endgroup$ Feb 3, 2013 at 11:37
  • 3
    $\begingroup$ @Sam, in the setting of my answer, if you integrate $\chi(g^2)$ over all $g$ in the group $G$ where $\chi$ is the character of the rep, you get $1,0,-1$ when the rep is 'real', 'complex' or 'quaternionic' respectively. Another manifestation of the $1,0,-1$ trichotomy is in the behaviour of tensor products over $\mathbb{C}$ of the different types. $\endgroup$ Feb 3, 2013 at 14:12
  • 3
    $\begingroup$ A longer version of this table with commentary is in Polymathematics : is mathematics a single science or a set of arts? V. I. Arnold. basepub.dauphine.fr/bitstream/handle/123456789/6842/… $\endgroup$
    – user30304
    Feb 4, 2013 at 2:21
20
$\begingroup$
  1. After passing to a subsequence if necessary, a sequence of real numbers either (a) converges to a real number; (b) diverges to $+\infty$; or (c) diverges to $-\infty$. In a similar vein, a sequence of positive real numbers either (a) converges to a positive real; (b) diverges to $+\infty$; or (c) diverges to $0$. In nonstandard analysis, these trichotomies become those of being bounded, negative unbounded, or positive unbounded, or of being infinitesimal, unbounded, or neither (i.e. both bounded, and bounded away from zero). These are of course variants of the basic $(-,0,+)$ trichotomy.

  2. Up to isomorphism, there are only three types of (connected) one-dimensional algebraic groups over an algebraically closed field: the additive group of the field, the multiplicative group of that field, and the elliptic curves over that field. (This last family would definitely be the "middle column".) This is of course connected to many of the other trichotomies previously mentioned. On the Riemann surface side, it comes from the fact that all one-dimensional connected complex groups are isomorphic to ${\bf C}/\Gamma$ for some discrete subgroup $\Gamma$ of ${\bf C}$, which can have rank 0 (additive case), 1 (multiplicative case), or 2 (elliptic curve case).

  3. If one squints at it in just the right way, the classification of finite simple groups is a trichotomy: cyclic, Lie type (including Lie over F_1, i.e. alternating group), or sporadic. (Of course, it can be sliced in many other ways; counting the items in this Wikipedia list, for instance, would make it a tetratetracontachotomy.) Sometimes it is conceptually useful to split up the large Lie type groups into three regimes: large characteristic but bounded rank; large rank but bounded characteristic (including the alternating groups); and large characteristic and large rank. (Alternatively, one can partition into bounded rank, alternating, and unbounded rank.) One can debate as to which of these categories is the "middle column".

  4. If $\xi_1,\xi_2,\xi_3$ are three frequencies with $\xi_3 = \xi_1+\xi_2$, then we have the Littlewood-Paley trichotomy: (a) "high-low" interactions with $|\xi_1| \gg |\xi_2|$ and $|\xi_1| \sim |\xi_3|$; (b) "low-high" interactions with $|\xi_1| \ll |\xi_2|$ and $|\xi_2| \sim |\xi_3|$; and (c) "high-high" interactions with $|\xi_1| \sim |\xi_2|$ and $|\xi_1| \gg |\xi_3|$. (One has to carefully demarcate the boundaries between these three possibilities to ensure it is a true trichotomy.) To an algebraic geometer, this would reflect the Y-shaped nature of the amoeba of the set $\{ (\xi_1,\xi_2,\xi_3): \xi_3 = \xi_1 + \xi_2 \}$. This trichotomy is important in harmonic analysis and PDE, and in particular in the paradifferential calculus of products and paraproducts (see e.g. this blog post of mine). Often, one of the three interactions will be the most dominant, reflecting either a high-to-low frequency cascade or a low-to-high frequency cascade, but it depends heavily on the situation. Note that this trichotomy is basically a variant of the $(<,=,>)$ trichotomy.

  5. (ADDED LATER) Another variant of the $(<,=,>)$ trichotomy: most basic examples of semilinear PDE (or more precisely, a semilinear PDE problem, such as an initial value problem in a certain function space) can be classified as subcritical, critical, or supercritical, depending on whether the nonlinear component of the PDE is "weaker than", "comparable to", or "stronger than" the linear component in a suitable asymptotic limit (usually the fine scale/high frequency limit, although for scattering theory the coarse scale/low frequency limit is the relevant one instead). This distinction (which can usually be made precise through a scaling analysis or dimensional analysis) is often decisive in determining the difficulty level of the PDE problem. For instance, the regularity problem for 3D Navier-Stokes is supercritical and thus considered close to intractable, but 2D Navier-Stokes is critical and was solved decades ago. The global analysis of Ricci flow (with surgery) was considered supercritical until Perelman discovered new monotone quantities that made it critical, which was absolutely necessary for Perelman to be able to execute the rest of Hamilton's program and solve the Poincare and geometrisation conjectures. In this trichotomy, the critical (or scale-invariant) case is generally viewed as the most interesting and delicate, with some very nice mathematical tools coming into play to control the interaction between different scales. Perhaps it should also be pointed out that this trichotomy is orthogonal to the elliptic/parabolic/hyperbolic trichotomy, which only concerns the linear component of the PDE and not the nonlinear component, and all nine combinations (critical elliptic PDE, supercritical parabolic PDE, etc.) are studied in the literature.

  6. (ADDED YET LATER) In analysis, there are basically three scenarios that prevent a weakly convergent sequence $f_n$ of functions in some function space from being strongly convergent in that space: (a) escape to "horizontal infinity" (basically, the support of the function runs off to spatial infinity, i.e. moving bump type examples); (b) escape to "vertical infinity" (the peaks of the function go to infinity, e.g. a sequence of approximations to the identity converging weakly but not strongly to a delta function); and (c) escape to "frequency infinity" (the functions become increasingly oscillatory). If one can shut down all three modes of escape then one can recover strong convergence, and thus also strong (pre)compactness, cf. the Arzela-Ascoli theorem which has three hypotheses (compact domain, pointwise boundedness, equicontinuity) to shut down (a), (b), and (c) respectively. In Section 2.9 of Lieb-Loss, these three scenarios are called "wanders off to infinity", "goes up the spout", and "oscillates to death" respectively.

$\endgroup$
2
  • 1
    $\begingroup$ +1 for tetratetracontachotomy. I think I typed that correctly. $\endgroup$
    – Lee Mosher
    Feb 3, 2013 at 14:41
  • 2
    $\begingroup$ Perhaps one should mention that with the classification of finite simple groups, things are usually in dichotomies: for instance, the dichotomy theorem (odd or even-type characteristic), small vs. big (quasithin or large), etc. $\endgroup$
    – Steve D
    Feb 4, 2013 at 4:23
18
$\begingroup$

Every system of linear equations over the reals say has either no solution, or one solution, or infinitely many solutions.

$\endgroup$
17
$\begingroup$

A simple yet useful one: An irreducible complex representation of a compact Lie group is either 'real', 'quaternionic', or 'complex'. That is, it is the complexification of a real irreducible, or it can be considered quaternionic through the existence of an equivariant conjugate-linear (real-)automorphism $j$ that squares to $-I$, or it is neither.

The statement combines Schur's Lemma and the fact that there are three associative real division algebras, here seen through complex eyes.

$\endgroup$
1
  • $\begingroup$ This theorem of Soler is just great! Thank you for this link! $\endgroup$ Feb 3, 2013 at 7:53
16
$\begingroup$

The representation type of a finite dimensional algebra is either finite, tame or wild. This is a theorem of Drozd.

$\endgroup$
1
  • $\begingroup$ Interestingly, this also has a positive-zero-negative aspect to it. For representations of quivers, a quiver $Q$ is of finite representation type iff its Tits quadratic form is positive definite, tame iff positive semidefinite, wild otherwise. $\endgroup$ May 15, 2021 at 4:34
12
$\begingroup$

An infinite finitely generated group $G$ has either 1, 2 or infinitely many ends; the last case is equivalent to saying that $G$ splits as an amalgamated free product or an HNN extension over a finite subgroup, by a theorem of Stallings. (Of course the assumption that $G$ is infinite brushes a fourth possibility under the carpet, namely that the number of ends is zero.)

$\endgroup$
2
  • 1
    $\begingroup$ I've just seen that you beat me to it in your comment to the original question! $\endgroup$ Feb 2, 2013 at 21:53
  • $\begingroup$ Your answer is much better than my lazy comment, though, because of the extra details about Stalling's theorem. $\endgroup$
    – user5117
    Feb 2, 2013 at 22:09
12
$\begingroup$

Knots are either torus, satellite or hyperbolic.

$\endgroup$
2
  • 1
    $\begingroup$ Do you mean prime knots? $\endgroup$ Feb 5, 2013 at 6:07
  • 3
    $\begingroup$ A connected sum is a satellite knot, albeit in a somewhat trivial way, cf. en.wikipedia.org/wiki/Satellite_knot. So there's no need to restrict to prime knots for this trichotomy to work. $\endgroup$ Feb 6, 2013 at 1:41
12
$\begingroup$

In algebraic topology, the sequence $$ \text{ordinary cohomolgy},\qquad K\text{-theory},\qquad \text{elliptic cohomology} $$ closely parallels the trichotomy in the classification of algebraic groups ($\mathbb G_a$, $\mathbb G_m$, elliptic curves).

$\endgroup$
12
$\begingroup$

Let me point out that Vladimir Arnold was quite interested in similar question. He called subj. "mathematical trinities", see e.g. his paper "Symplectization, Complexification and Mathematical Trinities". As far as I remember from his lectures, his ideas were that many of these "trinities" are actually related to each other; and he also considered subj. as a tool to invent to theories: see question marks at already cited "Arnold's table": jpg.


Let me also mention some "trinities" which occur in my own research related to Capelli identities (which are some non-commutative analogs of det(AB)=det(A)det(B) ).

Matrix trinity - a) generic b) symmetric c) antisymmetric

Here how it goes in Capelli (and related Cayley) identities:

a) generic matrices - original Capelli identity has been discovered by Capelli in 19-th century - it is for "generic matrices" $A=x_{ij}$ $B = \partial_{ji}$

b) symmetric matrices - analog of the Capelli identity has been discovered by Turnbull around 1940-ies - here $A=(x_{ij}+x_{ji})$ $B= \partial_{ji} + \partial_{ij} $.

c) antisymmetric matrices - analog has been found by Howe-Umeda and Kostant-Sahi around 1990, here $A=(x_{ij}-x_{ji})$ $B= \partial_{ji} - \partial_{ij} $.

Similar generalization were found for Cayley identity respectively: a) attributed to Cayley b) Garding 1948 c) Shimura 1984 - see arXiv:1105.6270 for quite a complete information.

My question: is it really trinity ? Or you can propose some analogs of Cayley-Capelli for some other matrices, say "symplectic" ?


It is might be strange, but other trinities like R,C,H also appears in the Capelli story - and they give different identities. Moreover trinities can be combined and we might get trinity^trinity^trinity...

Actually H-analog of the Capelli identity is not fully known for the momemnt - only analog for 1x1 matrices has been discovered quite recently by student of R. Borcherds, An Huang. Looking at this example I proposed some C-analogs of Capelli identities. Actually all generic/symmetric/antisymmetric can be complexified, hopefully there should exist quaternionic analogs and thus we might have trinity^trinity. Some partial results of trinity^trinity spirit for Cayley identity contained in loc. cit.

There are certain analogs of Capelli identities for classical Lie algebras: this can seen as gl/so/su trinity, well probably it is not the trinity in some strict sense. I have no idea can we have something like trinity^trinity^trinity ...

$\endgroup$
11
$\begingroup$

Every finitely generated group is either of polynomial growth, intermediate growth, or exponential growth.

As a statement, there is not much to this, the only mathematical content is that the growth function of every finitely generated group has an exponential upper bound.

But as a method of classifying finitely generated groups, it has been very fruitful: Gromov's theorem on groups of polynomial growth; the incredibly rich theory that arose from Grigorchuk's original construction of an intermediate growth group; and the emergence of rich classes of exponential growth groups such as word hyperbolic groups.

$\endgroup$
10
$\begingroup$

The reduction (special fiber) $E_{\mathfrak p}$ of (the Neron model of) an elliptic curve $E$ modulo a prime ${\mathfrak p}$ is one of:

  1. good reduction = stable reduction = $E_{\mathfrak p}$ is non-singular
  2. multiplicative reduction = semi-stable reduction = $E_{\mathfrak p}$ is a product of the multiplicative group times a finite group
  3. additive reduction = unstable reduction = $E_{\mathfrak p}$ is a product of the additive group times a finite group

Of course, this trichotomy is a reflection of the fact that there are only three sorts of connected one-dimensional Lie groups, namely the additive group, the multiplicative group, and the compact case (elliptic curves).

$\endgroup$
10
$\begingroup$

Every isometry of a proper $CAT(-1)$ space is either elliptic, parabolic, or hyperbolic: elliptic means fixes a finite point; hyperbolic means fixes two infinite points connected by a translation axis, equivalently translation distance bounded away from zero; parabolic means translation distance limiting to zero but no fixed point. There are versions for proper Gromov hyperbolic spaces, and even for the nonproper case, if you are willing to "quasify" the statements of the cases, and if you are willing to let the trichotomy degenerate to a dichotomy.

Every isometry of Teichmuller space is either elliptic, parabolic, or hyperbolic. This is Bers' form of Thurston's trichotomy for mapping classes: finite order, reducible, pseudo-Anosov. This trichotomy also has an interpretation in terms of the action of the mapping class group on the curve complex which is a nonproper Gromov hyperbolic space by a theorem of Masur and Minsky.

For elements of $Out(F_n)$, the outer automorphism group of a rank $n$ free group, there are related trichotomies and other -otomies coming from the work of Bestvina, Feighn, and Handel on relative train track theory. The simplest one is that every element of $Out(F_n)$ is either of finite order, or of polynomial growth, or of exponential growth.

$\endgroup$
10
$\begingroup$

Previous MO questions:

M.SE:

TCS.SE:

  • "one of the most amazing facts about logic is that consistency strength boils down to the question "what is the fastest-growing function you can prove total in this logic?" As a result, the consistency of many classes of logics can be linearly ordered! If you have an ordinal notation capable of describing the fastest growing functions your two logics can show total, then you know by trichotomy that either one can prove the consistency of the other, or they are equiconsistent." https://cstheory.stackexchange.com/questions/4816/axioms-necessary-for-theoretical-computer-science/4821


A frequently cited paper: "A trichotomy theorem in natural models of AD+", in "Set Theory and Its Applications", Contemporary Mathematics, vol. 533, Amer. Math. Soc., Providence, RI, 2011, pp. 227-258.

$\endgroup$
2
  • 3
    $\begingroup$ "A frequently cited paper" Oh, that's nice to know. $\endgroup$ Feb 4, 2013 at 22:44
  • 3
    $\begingroup$ The first and fourth bullet points are essentially the same trichotomy :) $\endgroup$ Feb 5, 2013 at 2:54
9
$\begingroup$

The Gelfand-Kirillov dimension of an algebra is either zero, one, or at least $2$.

This sounds silly, but one has to remember that the GKdim is a real number (or $\infty$) and that there are algebras with GKdim equal to $r$ for all real $r\geq2$.

This is a combination of results of several people. See the books by McConnell and Robson, or by Krause and Lenagan.

$\endgroup$
9
$\begingroup$

Every $2\times2$ real matrix is similar to a real matrix in one of these three forms: $$\pmatrix{a&0\cr0&b\cr},\qquad\pmatrix{a&1\cr0&a\cr},\qquad\pmatrix{a&b\cr-b&a\cr}$$

$\endgroup$
8
$\begingroup$

The endomorphism ring of an elliptic curve is either $\mathbb{Z}$, an order in a quadratic field, or an order in a quaternion algebra (ranks $1,2$, and $4$, respectively).

$\endgroup$
7
$\begingroup$

Every prime of a field either ramifies, splits or is inert in a field extension.

$\endgroup$
6
$\begingroup$

Every logical statement is either true, undecidable or false.

$\endgroup$
7
  • 32
    $\begingroup$ This is wrong because you are mixing apples and organges. You should say "provable", "undecidable", or "refutable". $\endgroup$ Feb 2, 2013 at 21:41
  • 19
    $\begingroup$ But also, there is the fourth possibility of "both provable and refutable", which arises when the underlying theory is inconsistent. $\endgroup$ Feb 2, 2013 at 21:57
  • 4
    $\begingroup$ I'm not a logician. I knew I was going to get slated on this one but for some reason I wrote it anyway... $\endgroup$ Feb 2, 2013 at 23:10
  • $\begingroup$ Primes of the form 4n+1, of the form 4n+3, and 2 Primes over a prime p which are unramifed, tamely ramified, or wildly ramified $\endgroup$ Feb 3, 2013 at 0:13
  • 2
    $\begingroup$ "True" means valid in every model. "Provable" means that there is a proof. These two are not the same, and the distinction between these two notions is quite essential to proper understanding of logic and the mathematical method in general. The phrase "provably true" should be eschewed. It is abused by computer scientists who for some strange reason say "provably true" instead of "proved". I have no idea why mathematicians would want to use it. Lawyers on the other hand, I am sure they could use it to their advantage. $\endgroup$ Feb 6, 2013 at 13:12
6
$\begingroup$

A local domain can be pure characteristic $0$, pure positive characteristic, or mixed characteristic. (Meaning that the algebra has characteristic $0$ but its residue field has positive characteristic.)

Of course, this being a trichotomy relies on the fact that it's a domain; otherwise you could also have characteristic $p^n$ (with the residue field having characteristic $p$). I don't really know how that case is classified (I guess it's a form of mixed characteristic)...

$\endgroup$
2
  • 6
    $\begingroup$ If the ring contains a field, then it can't be mixed characteristic. Better would be to say that any local domain has this trichotomy. $\endgroup$ Feb 5, 2013 at 14:42
  • $\begingroup$ Oops, you are absolutely right. Silly me. I will go fix this. $\endgroup$ Feb 6, 2013 at 1:03
6
$\begingroup$

In thermodynamic formalism for dynamical systems, a Hölder continuous potential function $\phi$ on a countable state topological Markov chain $(X,\sigma)$ is either positive recurrent, null recurrent, or transient. These correspond to the three possibilities for equilibrium states (shift-invariant measures maximising the quantity $h(\mu) + \int_X \phi\,d\mu$): existence of a finite equilibrium state is equivalent to positive recurrence; null recurrence is the boundary case where the equilibrium state becomes $\sigma$-finite but not finite, and transience is the case where there is no equilibrium state (all the weight has gone to infinity).

These can be characterised in terms of a particular sequence $a_n>0$: positive recurrence is equivalent to $\limsup a_n > 0$, null recurrence is equivalent to $a_n\to 0$ and $\sum a_n=\infty$, and transience is equivalent to $\sum a_n<\infty$. I imagine this trichotomy for sequences appears in other places as well.

Edit: It's worth mentioning that this trichotomy is also true for random walks on directed graphs (weighted or unweighted) -- historically I believe this is where it was first studied and where the terminology came from, but as a dynamicist I more immediately think of the interpretation above. In this setting the interpretations are as follows:

  • Positive recurrent -- with probability 1, a random walk returns to where it started, and the expected return time is finite.
  • Null recurrent -- the walk returns to the starting position with probability 1, but the expected return time is infinite.
  • Transient -- with probability 1, the walk never returns to its starting position.
$\endgroup$
5
$\begingroup$

Here is a cluster of examples with a common theme, based partly on comments here and in an MO thread on whether an empty space should be considered connected, and partly on an article in the nLab, "too simple to be simple".

One should note that some of these trichotomies were once-upon-a-time considered dichotomies; for example, for many people in the past, 1 was a prime number. Also one should notice that there are a number of cross-connections (homomorphisms, if you will) between these examples, and that list is by no means complete (this is CW, so feel free to add more!).

  • A module can be reducible, irreducible, or zero.

  • A filter in a Boolean algebra can be "submaximal" (faute de mieux!), a maximal filter = ultrafilter, or an improper filter.

  • An element in a p.i.d. is composite, prime, or a unit.

  • A topological space (or a graph) can be disconnected, connected, or "unconnected" (empty).

  • As for elements satisfying a predicate, one can have a multiplicity, unique existence, or nonexistence.

The last trichotomy is often considered a dichotomy: nonuniqueness vs. uniqueness. (I.e., nonexistence falls under the scope of uniqueness = "at most one".) But experience in mathematics, e.g. in category theory and its focus on universal properties, shows that unique-existence deserves to be considered in a category of its own.

  • Theories can be incomplete but consistent, complete, or inconsistent.
$\endgroup$
2
  • 1
    $\begingroup$ Unfortunately, the p.i.d. example has the blemish that one has to exclude the zero element (or add it to make it a tetrachotomy). $\endgroup$
    – Terry Tao
    Feb 6, 2013 at 18:43
  • 1
    $\begingroup$ Oh, thanks for pointing that out. I guess one could say instead that an ideal in a commutative ring is either submaximal, maximal, or unit, but this makes it look a lot like the previous example (in fact, the previous example becomes a special case in some sense). Perhaps I'll edit; I don't know. $\endgroup$
    – Todd Trimble
    Feb 6, 2013 at 18:52
4
$\begingroup$

Did anybody mention yet the different arithmetic-wise behaviour of algebraic curves of genus $0$, $1$, or $\geq2$?

$\endgroup$
1
  • 4
    $\begingroup$ Over on Riemann surface land, this is the positive curvature / zero curvature / negative curvature trichotomy. (So this is the translate of one trichotomy by another (the Weil trichotomy)!) $\endgroup$
    – Terry Tao
    Feb 4, 2013 at 16:29
4
$\begingroup$

In number theory, there is the trichotomy $\infty$, odd $p$, and $2$ (the oddest prime).

$\endgroup$
2
  • $\begingroup$ This is a special case of $\infty$, $\ell \neq p$, and $\ell = p$. It's just that usually we take $p = 2$ because $2$ is small, and often we don't realize that we've chosen a special prime $p$. $\endgroup$ Nov 7, 2014 at 16:22
  • $\begingroup$ @Jamie Weigandt Can you please elaborate a bit on what you mean by the last comment? I do indeed not realize having chosen 2, but I am (therefore) intrigued! $\endgroup$
    – Vincent
    Jun 15, 2015 at 10:53
4
$\begingroup$

Let $G$ be a complex reductive algebraic group and $F$ a finite rank free group. In the moduli space of $G$-representations of $F$, namely the character variety $\mathrm{Hom}(F,G)//G$, the regularity of points are (generally, but not always) classified as follows:

  1. Smooth points: good representations (irreducible with central stabilizer)

  2. Orbifold singular points: bad representations (irreducible with non-central stabilizer)

  3. non-Orbifold singular points: reducible representations

See here, here, and here for more information.

$\endgroup$
3
$\begingroup$

There are three types of subgroups of $PGL_2(\mathbb{C})$ that act on $\mathbb{P}^1$ non-transitively but with finitely many orbits:

(1) Type $T$: a one-dimensional torus

(2) Type $N$: the normalizer of a one-dimensional torus

(3) Type $U$: containing a non-trivial one-dimensional unipotent subgroup

This trichotomy plays a key role in the study of the geometry of spherical varieties, a class of algebraic varieties that includes grassmannians, flag varieties, toric varieties, algebraic monoids and symmetric spaces. It is particularly important in understanding the analogues of Schubert subvarieties (i.e. closures of orbits of a Borel subgroup) of a spherical variety.

In this example, there is no "middle" case as there is no intrinsic order to the three types.

$\endgroup$
2
  • 1
    $\begingroup$ This is related to the trichotomy of elements of $PGL_2$ which are either elliptic, parabolic, or hyperbolic. $\endgroup$
    – Ian Agol
    Feb 3, 2013 at 3:36
  • 1
    $\begingroup$ So I really should have ordered the list in the more fun manner of N-U-T. As far as I know, there is no use made of the ordering of this trichotomy in the study of spherical varieties, at least not explicitly. $\endgroup$ Feb 3, 2013 at 14:11
3
$\begingroup$

Suppose that a group $G$ has an action on a tree with no inversions and no global fixed point. Then either (a) $G$ is expressible as a (non-trivial) amalgamated free product; (b) $G$ is indicable (i.e. it maps onto an infinite cyclic group); or (c) $G$ is expressible as the union of a strictly ascending sequence of subgroups.

The negation of this property (every action of $G$ on a tree without inversions has a fixed point) is called FA by (J.-P.) Serre.

A more mundane, but related, example: a single automorphism of a tree either fixes a point, inverts an edge, or has an invariant (doubly-infinite) line contained in the tree on which the automorphism acts by translations.

$\endgroup$
3
$\begingroup$

A simply laced Dynkin diagram is A, D, or E. (This is perhaps implicit in Alexander Chervov's answer but I think deserves to be explicitly stated.)

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.