6
$\begingroup$

This question stems from this other one mentioning 7 ways of constructing smooth manifolds. I quote:

At the 2010 Clay Research Conference, Gromov explained that we know of only 7 different methods for constructing smooth manifolds.[...]

  • Algebraic geometry (affine and projective varieties, ...)
  • Lie groups (homogeneous spaces, ...)
  • General position arguments (Morse theory, Pontryagin-Thom construction, ...)
  • Solutions to PDE (Moduli spaces in gauge theory, Floer theory, ...)
  • Surgery (Cut and paste techniques, ...)
  • Markov processes
  • [and also bundles seems to be the consensus in the answers to the cited question]

Note that all of these methods are actually areas of mathematics in their own right (five of the six listed in that question involve trailing dots), so that got me thinking that 7 methods is actually a sign of a rich subject and a fairly ubiquitous concept. I have trouble comparing this to anything else: e.g., would you say that there are fewer ways to build a group? I don't know nearly enough about groups to answer that one. So here's my question:

Do you know of an abstract math construct that can be built in truly more than seven ways?

I realize that this is somewhat in the eye of the beholder (hence the soft question tag) since it may not be obvious where to draw the line between methods. But for the comparison to make sense, you need to consider broad categories like Gromov does.

$\endgroup$
5
  • $\begingroup$ That's only 6 methods, and your indentation makes it look like algebraic geometry encompasses all of them. $\endgroup$ Sep 23, 2010 at 18:51
  • $\begingroup$ That's because I was quoting from the original question, which had only 6 of the 7. $\endgroup$ Sep 23, 2010 at 18:57
  • 2
    $\begingroup$ Cohomology of complex algebraic manifolds: smooth deRham, algebraic deRham, Cech, singular, derived functor, Alexander-Spanier, canonical flasque resolution, etale topology, infinitesimal site,... They're all "the same", yet each viewpoint useful for various reasons. $\endgroup$
    – BCnrd
    Sep 23, 2010 at 19:11
  • 4
    $\begingroup$ The word 'truly' in the question is problematic. $\endgroup$
    – HJRW
    Sep 23, 2010 at 19:34
  • 1
    $\begingroup$ somewhat related, though different: mathoverflow.net/questions/15731/cryptomorphisms $\endgroup$
    – j.c.
    Sep 25, 2010 at 0:43

2 Answers 2

10
$\begingroup$

How about models of computation?

  • Turing machines
  • Register machines
  • Cellular automata
  • $\mu$-recursive functions
  • The untyped $\lambda$-calculus
  • Unrestricted grammars
  • Term-rewriting systems
  • Recursively-enumerable subsets of $\mathbb{N}$
  • $\ldots$

To this list we can add finite presentations of semigroups and groups, diophantine sets, and many other mathematical structures that realize universal computation.

$\endgroup$
2
  • 1
    $\begingroup$ I imagine I would be tempted to lump at least some of them together. $\endgroup$ Sep 23, 2010 at 19:04
  • 4
    $\begingroup$ To this list we can add finite presentations of semigroups and groups, diophantine sets, and many other mathematical structures that realize universal computation. $\endgroup$ Sep 23, 2010 at 19:11
6
$\begingroup$

There are lots of different ways to construct a finitely generated (discrete) group. For example (in no particular order):

  1. Fundamental groups of topological spaces;

  2. Groups of symmetries of mathematical objects (including fields, manifolds, simplicial, real and $\Lambda$-trees, etc.);

  3. Groups given by presentations satisfying various small cancelation conditions (from Tartakovsky to Olshanskii to Gromov);

  4. Lattices in Lie groups;

  5. Wreath products of various kinds;

  6. Direct limits of sequences of groups and their homomorphisms (including various "monsters", etc.);

  7. Free constructions (HNN extensions and amalgamated products);

  8. Groups simulating various computing devices (there are several different constructions here);

  9. Groups acting on locally finite rooted trees (including Grigorchuk groups and iterated monodromy groups of Nekrashevych);

10 Automatic groups,

..................

$\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.