MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

Ronnie Brown

5,486
Reputation
2511 views
Is this your account?

Registered User 

Name Ronnie Brown
Member for 3 years
Seen 7 hours ago
Website
Location
Age 78
I was a research student of Henry Whitehead till 1960, when he died suddenly at Princeton; then Michael Barratt, as new supervisor, suggested the problem of the homotopy type of function spaces $X^Y$, by induction on the Postnikov system of $X$. A particular problem was calculating $k^Y$ where $k$ is a cohomology operation. This worked out well. In doing this, I came across lots of exponential laws, essentially monoidal closed categories, and this led me to the notion of convenient category for topology, and my first two papers.

As a result of giving courses at BSc and MSc level at Liverpool, I got involved in writing a text published as "Elements of Modern Topology" with McGraw Hill in 1968, and the 3rd edition is now available as "Topology and Groupoids" from amazon, see my web page. It was writing this book, and trying to clarify certain points, such as the fundamental group of the circle, that got mew into the area of groupoids; this suggested the area of higher groupoids; research on this got going in the 1970s, and has been a major area in my work, with fortunate collaborations with Chris Spencer (1971-73), Philip Higgins (1974-2005), and Jean-Louis Loday (1981-1985), and excellent contributions from research students.

Since 2001 I was engaged in writing a Tract giving an exposition in one place of my work since 1974 with Philip Higgins and a number of others on (strict) higher homotopy groupoids and their applications. A first step was to make available my out of print book on Topology, and this was made available in 2006 under the title "Topology and Groupoids" see my web page. The higher dimensional work was published in August, 2011, as a European Mathematical Society Tract, Vol 15, under the title "Nonabelian algebraic topology: filtered spaces, crossed complexes, cubical homotopy groupoids" with co-authors P.J. Higgins and R. Sivera.

Jun
12
comment What are some examples of mathematicians who had an unconventional education?
To see how unconventional was Alexander Grothdndieck's background and education, see the book "Who is Alexander Grothendieck? Part 1: Anarchy" Winfried Scharlau , available from amazon.
Jun
8
awarded  Critic
Jun
6
comment “Mathematics talk” for five year olds
@Douglas: I agree about the advantages of polydron. A good test is: how many essentially different convex solids (hollow of course!) can you make from the triangles? This gets over ideas of "convex", "essentially different", and the answer is not so well known. (My memory is 7. Anyone with a web reference? ) I once completely baffled first year undergraduates by giving them this test! They are used to thinking of maths in other ways, I fear. This was in a varuation of the course pages.bangor.ac.uk/~mas010/ideasev.htm
Jun
6
revised “Mathematics talk” for five year olds
added some more ideas
Jun
3
comment Can we invert barycentric subdivision?
I wonder if this question is related to the idea of a simplex as a kind of "composition" of the simplices if its barycentric subdivision? See my "cubical" answer to mathoverflow.net/questions/128831/… . At the moment there is quite a contrast between the cubical ideas, which have "natural" compositions, and the simplicial, where composition is not so obvious. Perhaps work of Richard Steiner is relevant here: Opetopes and chain complexes. Theory Appl. Categ. 26 (2012), No. 19, 501–519
Jun
2
revised Obstruction theory for non-simple spaces
typo
Jun
2
answered how to make the category of chain complexes into an $(\infty,1)$-category
Jun
2
answered Obstruction theory for non-simple spaces
Jun
1
comment Computing homotopies
@Fernando: The proof in my book "Topology and Groupoids" (first edition 1968) of "cofiber homotopy equivalence" is derived from the classic proof that a homotopy equivalence of spaces induces an isomorphism of homotopy groups. What I did is generalise from the case $(S^n,1)$ to the case of $(Z,A)$ having the HEP. To carry this out one generalises operation of the fundamental groupoid to operations of a track groupoid. The "segment formulae" come in giving examples of the HEP. As Peter wrote in "Concise...", my book is "idiosyncratic", perhaps in its generality!
May
31
revised Where to publish a math textbook in Creative Commons
typos and giving some links
May
31
revised Fundamental group of a topological pullback
added extra information about the exactness at the bottom end
May
30
answered Fundamental group of a topological pullback
May
30
answered Computing homotopies
May
29
comment Can the various proofs of the connectivity in the Blakers-Massey theorem be algebraicised?
@John: Sorry if I have confused you. Corollary 3.2 refers to the Brown-Loday Topology paper which determines a $\pi_3(X;A,B)$ as $\pi_2(A,C) \otimes \pi_2(B,C)$. There are many calculations (including computer ones) of the tensor product. This leads to some calculations of $3$-types, and the $n$-cube result leads to some calculations of $n$-types. I presume our $n$-pushouts (in our Proc. LMS paper) are your strongly cartesian $n$-cubes. Can you get the $n$-adic Hurewicz theorem of the latter paper? I don't see the relations between the two methods, and results, I fear.
May
29
comment Is a background in Category Theory enough for starting a PhD in Category Theory?
Following on from Andrej's comment, you cold also do a web search on "Category theory and combinatorics" and follow up leads from there.
May
29
answered What is a good basic reference on model categories?
May
28
comment Can the various proofs of the connectivity in the Blakers-Massey theorem be algebraicised?
@John: But your paper does not refer to Ellis-Steiner. Are you claiming that you generalise their results? Do your results imply Corollary 3.2 (which uses the nonabelian tensor product) of the Brown-Loday paper in Topology? That would all be very interesting.
May
27
asked Can the various proofs of the connectivity in the Blakers-Massey theorem be algebraicised?
May
27
comment Transversality in the proof of the Blakers-Massey Theorem. Is it necessary?
@John Klein: As an algebraic topologist, I prefer to get the connectivity result from a determination of the critical group in the Blakers-Massey theorem as a tensor product, and then to note that a tensor product is zero if one of the terms is zero. This kind of explains the dimensions involved. It also suggests the problem of whether one can use the techniques of Puppe/Goodwillie/Munson to give a different, and hopefully more geometric, proof of the van Kampen theorem for $n$-cubes of spaces proved with J.-L. Loday, see my answer below. That theorem also has other consequences.
May
27
answered Universal Property of the Smash Product (of pointed spaces)
May
24
awarded  Yearling
May
24
awarded  Necromancer
May
24
answered Why did Bourbaki ignore the theory of categories?
May
23
comment Why is Set, and not Rel, so ubiquitous in mathematics?
I am reminded that Paul Suppes has a book on logic which defined a function in terms of a set of ordered pairs, but also used the term "onto" or "surjective" for a function. He was amazed when I pointed out the difficulty of this, and discussed it at a conference, when others were also suitably amazed!
May
19
revised Connected groupoids and action groupoids
added extra description of the argument given by Sam
May
19
revised Groupoid actions on spaces
added more information on the left action of a groupoid on itrs stars
May
19
comment Why is Set, and not Rel, so ubiquitous in mathematics?
To add to the last comment: Ehresmann's interest in analysis led him to grouoids which he applied to foliations, and also developed the notion of differential groupoid, now called Lie groupoid, and also topological groupoid, and fibre bundles. He used in essence pseudo groups, and related them to ordered groupoids. See also my article `Three themes in the work of Charles Ehresmann: Local-to-global; Groupoids; Higher dimensions', [147] on my publication list. By contrast, the notion of groupoid has been notably absent or not much developed in most algebraic topology books.
May
19
comment Why is Set, and not Rel, so ubiquitous in mathematics?
By a partial function $f : X \to Y$ I mean a triple consisting of $X,Y, Gr(f)$ where $Gr(f)$ is the graph, a functional subset of $X \times Y$, so that $dom(f), range(f)$ are subsets of $X,Y$ resp. Historically, category arose from algebraic topology, where all functions are total. Ehresmann's approach to category theory arose from analysis, and local-to-global questions, hence his difference in style, and relation to geometry. My definition of "higher dimensional algebra" is the study of algebraic structures with partial operations whose domains are defined by geometric conditions.
May
18
revised Why is Set, and not Rel, so ubiquitous in mathematics?
added 831 characters in body
May
18
answered Why is Set, and not Rel, so ubiquitous in mathematics?
May
18
revised Groupoid actions on spaces
typo
May
18
answered Groupoid actions on spaces
May
17
comment Why are Schur multipliers of finite simple groups so small?
Sorry, there was mistype, and the link is pages.bangor.ac.uk/~mas010/nonabtens.html
May
17
comment Why are Schur multipliers of finite simple groups so small?
@Arturo: It may be helpful to put the result of Claire Miller in the context of the nonabelian tensor product of groups, see the bibliography at pages.bangor.ac.uk/~masoao/nonabtens.html
May
16
comment Grothendieck fibrations and classifying spaces
@David: The facts on crossed complexes are in the EMS Tract Vol 15 on "Nonabelian algebraic topology" (2011) advertised on my web site (with pdf) and the EMS web site.
May
16
comment Grothendieck fibrations and classifying spaces
@David: R.Brown, "Fibrations of groupoids", J. Algebra, 15 (1970) 103-132, gave the first definition, and a paper by Anderson, Bull AMS, 1978 contains the facts on geometric realisations you might need. I use the exact sequence of a fibration of groupoids in my book "Topology and groupoids", which also has a Mayer-Vietoris type sequence in the chapter on covering spaces. Maybe also P.R. Heath, groupoid operations and fibre homotopy equivalences, Math Z. 130 (1973) 207-233, is relevant to your interests.
May
16
comment Grothendieck fibrations and classifying spaces
I mention that that the case $D,C$ are groupoids is well studied, as special cases of fibrations of crossed complexes, although the groupoid case is simpler. Does that help? References given if needed.
May
14
comment Homotopy Equivalence of Mapping Cones
Model category arguments, and I presume also for triangulated categories, tend to be non explicit on homotopies. So I would expect my answer to mathoverflow.net/questions/130116 could be relevant, since it gives explicit desription of homotopies in an analogous situation, relevant to, indeed used as a basis for a basis for, gluing homotopy equivalances.
May
12
revised Magic trick based on deep mathematics
typos
May
12
answered Magic trick based on deep mathematics
May
11
comment Compact open topology
[]:pages.bangor.ac.uk/~mas010/pdffiles/… My paper "Function spaces and product topologies" (1964), available [here][1], showed in the Hausdorff case that the compact-open topology allows for a non symmetric monoidal closed category of topological spaces. The non Hausddorff case was treated later by by Booth and Tillotson(Pacific J Math).
May
10
revised Compact open topology
improved picture
May
10
answered Compact open topology
May
10
revised Homotopy equivalences preserving structure
added another reference
May
9
answered Homotopy equivalences preserving structure
May
7
revised Group extensions with a non-commutative kernel
typos
May
7
comment Modern Mathematical Achievements Accessible to Undergraduates
Personally, I am attracted by those advances which widen perspectives without being too technical. So I am fond of the Lawvere advertisement for the topos of directed graphs, in which the logic is non Boolean, as can be easily explained, to undergraduates and to scientists.
May
7
comment Does anyone know where I can get a copy of Gaunce Lewis’s thesis?
This is relevant to the answers to mathoverflow.net/questions/127841/128362#128362 I mentioned there Peter Johnson'e paper on a "Topologiacal Topos", and I notice that this idea is endorsed by Gaunce in his final section of the Appendix.
May
7
answered Group extensions with a non-commutative kernel
May
7
awarded  Nice Answer