John David Stuart Jones

__John David Stuart Jones__ (J.D.S. Jones) is a mathematician at the University of Warwick.

* [personal page](http://www2.warwick.ac.uk/fac/sci/maths/people/staff/john_jones/)

* [MathematicsGenealogy page](http://www.genealogy.math.ndsu.nodak.edu/id.php?id=24472)

## Selected writings

On [[Yang-Mills theory]] and [[topology]]/[[homotopy theory]]:

* [[Michael Atiyah]], [[John David Stuart Jones]], _Topological aspects of Yang-Mills theory_, Comm. Math. Phys. Volume 61, Number 2 (1978), 97-118 ([arXiv:1103904210](https://projecteuclid.org/euclid.cmp/1103904210))

On [[cyclic homology]] and homology of [[cyclic loop spaces]]:

* {#Jones87} [[John D. S. Jones]], _Cyclic homology and equivariant homology_, Invent. Math. __87__, 403-423 (1987) ([pdf](https://math.berkeley.edu/~nadler/jones.pdf), [doi:10.1007/BF01389424](https://doi.org/10.1007/BF01389424))

On the [[homotopy type of spaces of rational maps]] and [[moduli spaces of monopoles]] related to [[braid groups]]:

* [[Ralph Cohen]], [[John D. S. Jones]],  _Monopoles, braid groups, and the Dirac operator_, Comm. Math. Phys. Volume 158, Number 2 (1993), 241-266 ([euclid:cmp/1104254240](https://projecteuclid.org/euclid.cmp/1104254240))

* [[Ralph L. Cohen]], [[John D. S. Jones]], [[Graeme B. Segal]], *Stability for holomorphic spheres and Morse theory*, in: K. Grove, I. H. Madsen, E. K. Pedersen (eds.) *Geometry and Topology: Aarhus*, Contemporary Mathematics
Volume: 258 (2000) ([arXiv:math/9904185](https://arxiv.org/abs/math/9904185), [ ISBN:978-0-8218-2158-9](https://bookstore.ams.org/conm-258))

On [[operads]] and [[iterated loop spaces]]:

* [[Ezra Getzler]], [[John Jones]], _Operads, homotopy algebra and iterated integrals for double loop spaces_ ([arXiv:hep-th/9403055](https://arxiv.org/abs/hep-th/9403055))

On [[string topology]]:

* {#CohenJones} [[Ralph Cohen]], [[John David Stuart Jones]], _A homotopy theoretic realization of string topology_ , Math. Ann. 324 (2002), no. 4, ([arXiv:0107187](http://arxiv.org/abs/math/0107187))

* [[Ralph Cohen]], [[John Jones]], _Gauge theory and string topology_ ([arXiv:1304.0613](http://arxiv.org/abs/1304.0613))

On [[string topology]] (and [[Pontrjagin rings]] of [[based loop spaces]]) of [[complex projective spaces]] and [[n-spheres]]:

* [[Ralph L. Cohen]], [[John D. S. Jones]], Jun Yan, *The loop homology algebra of spheres and projective spaces*, in *Categorical Decomposition Techniques in Algebraic Topology*, Progress in Mathematics **215**, Birkhäuser (2003) [[arXiv:math/0210353](https://arxiv.org/abs/math/0210353), [doi:10.1007/978-3-0348-7863-0_5](https://doi.org/10.1007/978-3-0348-7863-0_5)]

## Related entries

* [[Jones' theorem]]

* [[Hochschild homology]], [[cyclic homology]]

* [[free loop space]], [[cyclic loop space]]

* [[Sullivan model of free loop space]]

* [[Fulton-MacPherson operad]]

* [[configuration space of points]]

* [[instanton]]

category: people

[[!redirects JDS Jones]]
[[!redirects J.D.S. Jones]]
[[!redirects John D.S. Jones]]
[[!redirects John D. S. Jones]]
[[!redirects John Jones]]


John Dirk Walecka

* [German Wikipedia entry](https://de.m.wikipedia.org/wiki/John_Dirk_Walecka)

## Selected writings

Introducing the [[Walecka model]] of [[nuclear physics]] ([[quantum hadrodynamics]]):

* [[John Dirk Walecka]], _A Theory of highly condensed matter_, Annals Phys. 83 (1974) 491 ([spire:91609](http://inspirehep.net/record/91609?ln=en), dpi:10.1016/0003-4916(74)90208-5)

* Brian D. Serot, [[John Dirk Walecka]], _The Relativistic Nuclear Many Body Problem_, Adv. Nucl. Phys. 16 (1986) 1-327 ([spire:207866](https://inspirehep.net/literature/207866))

* Brian D. Serot, [[John Dirk Walecka]], _Recent Progress in Quantum Hadrodynamics_,  Int. J. Mod. Phys. E6:515-631, 1997 ([arXiv:nucl-th/9701058](http://arxiv.org/abs/nucl-th/9701058))

A textbook on [[quantum theory]]/[[quantum field theory]] of many-particle systems with application to [[condensed matter theory]]:

* [[Alexander L. Fetter]], [[John Dirk Walecka]], *Quantum theory of many-particle systems*, Mcgraw-Hill (1991); Dover (2003) [[archive.org](https://archive.org/details/quantum-theory-of-many-particle-systems-by-alexander-l.-fetter-john-dirk-walecka-physics-z-lib.org/mode/thumb)]

category: people


John Donoghue

* [webpage](http://blogs.umass.edu/donoghue/)

## Selected writings

On [[perturbative quantum gravity]] as an [[effective quantum field theory]]:

* [[John Donoghue]], *General relativity as an effective field theory: The leading quantum corrections*, Phys. Rev. D **50** (1994) 3874-3888 [[arXiv:gr-qc/9405057](https://arxiv.org/abs/gr-qc/9405057)]

* {#DonoghueIntroduction} [[John Donoghue]], _Introduction to the Effective Field Theory Description of Gravity_ [[arXiv:gr-qc/9512024](http://arxiv.org/abs/gr-qc/9512024), [spire](http://inspirehep.net/record/403510)]

* [[John F. Donoghue]], *Quantum General Relativity and Effective Field Theory*, in: *[[Handbook of Quantum Gravity]]*, Springer (2023) [[arXiv:2211.09902](https://arxiv.org/abs/2211.09902)]

* [[John F. Donoghue]], *General Relativity as a Perturbative Quantum Field Theory*, lecture series at *[Basics of Quantum Gravity](https://indico.cern.ch/event/1279592/)*, ISQG (2023) [[web](https://blogs.umass.edu/grqft/)]

On [[asymptotic safety]] (or not):

* {#Donoghue19} [[John Donoghue]], _A Critique of the Asymptotic Safety Program_,  Frontiers in Physics 8, 56 (2020)
([arXiv:1911.02967](https://arxiv.org/abs/1911.02967), [doi:10.3389/fphy.2020.00056](https://www.frontiersin.org/articles/10.3389/fphy.2020.00056/full))

* [[John Donoghue]] vs. [[Roberto Percacci]], *Debate on Asymptotically Safe Quantum Gravity*, Perimeter Institute, April 2021 ([video](https://pirsa.org/21040021), [slided](https://pdf.pirsa.org/files/21040021.pdf))

On subtleties of [[renormalization]] of the [[cosmological constant]]:

* [[John Donoghue]], _The cosmological constant and the use of cutoffs_ ([arXiv:2009.00728](https://arxiv.org/abs/2009.00728))

## Related $n$Lab entries

* [[gravity]]

* [[effective field theory]], [[quantum gravity]]

category: people

[[!redirects John F. Donoghue]]


John Dougherty

* [webpage](http://www.johnedougherty.com)

category: people


John Duncan

* [webpage](http://www.case.edu/artsci/math/individuals/duncan.htm)

category: people


John Duskin

__John Williford Duskin__ (1937-2020) was a [[category theory|category theorist]] from the [[joyalscatlab:North American School of Category Theory]] in the [Buffalo group](http://ncatlab.org/joyalscatlab/published/North+American+School+of+Category+Theory#BuffaloGroup). He is often refered to as **Jack Duskin**.

* [MathGenealogy page](https://www.mathgenealogy.org/id.php?id=30995)

* [ResearchGate page](https://www.researchgate.net/profile/John-Duskin-2)

* [Univ. Buffalo In Memoriam](https://www.buffalo.edu/cas/math/news-events/archives/memoriam.html)

## Selected writings

On [[monadic cohomology]]:

*  {#Duskin75} [[John Duskin]], *Simplicial methods and the interpretation of "triple" cohomology"*  Memoirs  of the AMS **163**, Amer. Math. Soc. (1975) [[ISBN:978-1-4704-0645-5](https://bookstore.ams.org/memo-3-163)]

On [[nerves of bicategories]]:

* {#Duskin02} [[John Duskin]], _Simplicial matrices and the nerves of weak $n$-categories I: nerves of bicategories_, Theory and Applications of Categories **9** 10 (2002) 198–308 [[tac:9-10](http://www.tac.mta.ca/tac/volumes/9/n10/9-10abs.html)]

On [[ordinary cohomology]] in [[toposes]] ([[abelian sheaf cohomology]]), higher [[gerbes]] and introducing the notion of [[hypergroupoids]]:

* {#Duskin79} [[John Duskin]], _Higher-dimensional torsors and the cohomology of topoi: the abelian theory_, p. 255-279 in: _Applications of sheaves_,  Lecture Notes in Mathematics **753**, Springer (1979) [[doi:10.1007/BFb0061822](https://doi.org/10.1007/BFb0061822)]

On [[descent theory]]:

* [[John Duskin]], *An outline of a theory of higher dimensional descent*, Bull. de la Soc. Math. de  Belgique **41** (1989) 249-277

On [[Azumaya complexes]]:

* [[John W. Duskin]], _The Azumaya complex of a commutative ring_, in: *Categorical algebra and its applications*, Lecture Notes in Math. **1348**, Springer (1988) 107-117 [[doi:10.1007/BFb0081352](https://doi.org/10.1007/BFb0081352)]

On [[cat-n-groups]]:

* [[Manuel Bullejos]], [[Antonio M. Cegarra]], [[John W. Duskin]], *On cat$^n$ -groups and homotopy types*, J. Pure
Appl. Alg. **86** (1993) 135-154 \[doi:10.1016/0022-4049(93)90099-F]

On [[non-abelian cohomology]] in a [[topos]]:

* [[John W. Duskin]], *Non-abelian cohomology in a topos*, Reprints in Theory and Applications of Categories **23** (2013) 1-165 [[tac:tr23](http://www.tac.mta.ca/tac/reprints/articles/23/tr23abs.html), [pdf](http://www.tac.mta.ca/tac/reprints/articles/23/tr23.pdf)]

category: people

[[!redirects Duskin]]
[[!redirects J. Duskin]]
[[!redirects Jack Duskin]]

[[!redirects John W. Duskin]]
[[!redirects John Williford Duskin]]


John Elias Roberts

> Not to be confused with [[John A. G. Roberts]] working in [[dynamical systems]].

John Elias Roberts was a [[mathematical physicist]] working on the mathematical foundations of [[quantum mechanics]] and [[quantum field theory]] in terms of [[AQFT]].

He was born in England, but his father came from the Llŷn Peninsula. He worked in Rome at Tor Vergata for a long time, before living his last few years in Goettingen.

## Selected writings

John Roberts wrote his PhD thesis on the notion of *[[rigged Hilbert spaces]]*, a way of making [[Dirac]]'s description of [[quantum mechanics]] precise. After that he followed the [[Haag-Kastler axioms|Haag-Kastler approach]] for axiomatizing quantum theory and became one of its central proponents.

Early on he suggested in

* {#Roberts79} [[John E. Roberts]], *Mathematical Aspects of Local Cohomology*, in: *Algèbres d’opérateurs et leurs applications en physique mathématique*, Colloques Internationaux du Centre National de la Recherche Scientifique (C.N.R.S) **274**, Paris (1979) 321–332 [ISBN:2-222-02441-2, [pdf](https://dmitripavlov.org/scans/roberts-mathematical-aspects-of-local-cohomology.pdf), [[Roberts-LocalCohomology.pdf:file]]]

that [[local nets]] of [[quantum observables]] (as formulated in [[algebraic quantum field theory]]) should  carry a notion of [[cohomology]] -- or rather of [[nonabelian cohomology]] -- with [[coefficients]] in an [[∞-category]].

Motivated by this he was one of the first to consider a notion of [[strict ∞-categories]]. He [[conjecture|conjectured]] that these are characterized by their [[∞-nerves]] being [[complicial sets]]. This led [[Ross Street]] to develop the notion of [[orientals]] and to formulate a precise version of this conjecture, which was proven by [[Dominic Verity]]. An account of this development is in:

* [[Ross Street]], pages 9-10 of: *An Australian conspectus of higher category theory*, talk at Institute for Mathematics and its Applications Summer Program: *$n$-Categories: Foundations and Applications* at the University of Minnesota (Minneapolis, 7–18 June 2004), in: *[[Towards Higher Categories]]*, The IMA Volumes in Mathematics and its Applications **152**, Springer (2010) 237-264 [[pdf](http://www.math.uchicago.edu/~may/IMA/Street.pdf), [[Street-Conspectus.pdf:file]], [doi:10.1007/978-1-4419-1524-5](https://link.springer.com/book/10.1007/978-1-4419-1524-5)]

Later Roberts proved together with [[Doplicher]] what is now one of the central results in [[AQFT]], the [[Doplicher-Roberts reconstruction theorem]] -- a version of [[Tannaka duality]] -- which in the context of [[AQFT]] serves to intrinsically characterize the [[superselection sector]]s of a QFT. See also *[[DHR superselection theory]]*.

On [[C-star category|$C^\ast$-categories]] and introducing the special case of [[W-star category|$W^\ast$-categories]]:

* {#GhezLinaRoberts85} [[P. Ghez]], [[Ricardo Lima]], [[John E. Roberts]], *$W^\ast$-categories*,  Pacific J. Math. **120** 1 (1985) 79-109 [[euclid:pjm/1102703884](https://projecteuclid.org/journals/pacific-journal-of-mathematics/volume-120/issue-1/Wast-categories/pjm/1102703884.full)]

category: people

[[!redirects John Roberts]]
[[!redirects John E. Roberts]]


John Ellis

* [Wikipedia entry](http://en.wikipedia.org/wiki/John_Ellis_%28physicist%29)

## Interviews

On [[phenomenology]] of [[supersymmetry]]:

* [John Ellis on the symbiosis between particle physics & astrophysics](http://archive.sciencewatch.com/ana/st/super/12janSTSuperElli/), Special topic of supersymmetry interview, January 2012

## Selected writings

On the [[QCD trace anomaly]]:

* M. S. Chanowitz, [[John Ellis]], _Canonical Anomalies and Broken Scale Invariance_, Phys. Lett. 40B397 (1972) (doi:10.1016/0370-2693(72)90829-5)

* M. S. Chanowitz, [[John Ellis]], _Canonical Trace Anomalies_, Phys. Rev.D72490 (1973) ([doi:10.1103/PhysRevD.7.2490](https://doi.org/10.1103/PhysRevD.7.2490))

On the [[Starobinsky model of cosmic inflation]]

* {#Ellis13} [[John Ellis]], _Planck-Compatible Inflationary Models_, talk 2013 ([pptx](http://londoncosmology.files.wordpress.com/2013/09/lcdm.pptx))

and embedded in [[supergravity]]:

* [[John Ellis]], [[Dimitri Nanopoulos]], [[Keith Olive]], _No-Scale Supergravity Realization of the Starobinsky Model of Inflation_ Phys. Rev. Lett. 111, 111301 (2013) ([arXiv:1305.1247](http://arxiv.org/abs/1305.1247))

* [[John Ellis]], [[Dimitri Nanopoulos]], [[Keith Olive]], _Starobinsky-like Inflationary Models as Avatars of No-Scale Supergravity_ JCAP 1310, 009 (2013) ([arXiv:1307.3537](http://arxiv.org/abs/1307.3537))

* [[John Ellis]], Dimitri V. Nanopoulos, [[Keith Olive]], _From $R^2$ Gravity to No-Scale Supergravity_, Phys. Rev. D 97, 043530 (2018) ([arXiv:1711.11051](https://arxiv.org/abs/1711.11051))

* {#EllisCarciaNanopoulosOlive15} [[John Ellis]], Marcos A. G. Garcia, [[Dimitri Nanopoulos]], [[Keith Olive]], _Phenomenological Aspects of No-Scale Inflation Models_ ([arXiv:1503.08867](http://arxiv.org/abs/1503.08867))

* {#ENOV19} [[John Ellis]], [[Dimitri Nanopoulos]], [[Keith Olive]], Sarunas Verner, _A Unified No-Scale Model of Modulus Fixing, Inflation, Supersymmetry Breaking and Dark Energy_, Phys. Rev. D 100, 025009 (2019) ([arXiv:1903.05267](https://arxiv.org/abs/1903.05267), [doi:10.1103/PhysRevD.100.025009](https://doi.org/10.1103/PhysRevD.100.025009))

On quasi-[[phenomenology|realistic]] "flipped" [[SU(5)|$SU(5)$]]-[[GUT]],  modeled in 4d [[heterotic string theory]] and subsuming realistic [[Starobinsky model of cosmic inflation|Starobinsky-type cosmic inflation]]:

* [[Ignatios Antoniadis]], [[John Ellis]], [[John S. Hagelin]], [[Dimitri Nanopoulos]], *The flipped $SU(5) \times U(1)$ string model revamped*, Physics Letters B **231** 1–2 (1989) 65-74 [doi:10.1016/0370-2693(89)90115-9]

category: people


John F. Clauser

* [personal page](https://www.johnclauser.com/)

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Clauser)

## Selected writings

On [[Bell's theorem]] in [[quantum physics]]:

* [[John F. Clauser]], [[Abner Shimony]], *Bell's theorem. Experimental tests and implications*, Rep. Prog. Phys. **41** (1978) 1881 [[doi:10.1088/0034-4885/41/12/002](https://iopscience.iop.org/article/10.1088/0034-4885/41/12/002)]

## Selected speeches

* [[John F. Clauser]], *Remarks as Inspiration to Young Scientists*, at *Quantum Korea 2023*, Conference on Quantum Information (2023) [video:[YT](https://www.youtube.com/watch?v=8-WoobS7jtw)]

category: people

[[!redirects John Clauser]]


John Faulkner

* [webpage](https://math.virginia.edu/people/jrf/)

* [MathematicsGenealogy page](https://www.genealogy.math.ndsu.nodak.edu/id.php?id=7973)

## Selected writings

On the [[Faulkner construction]] (which became known as the [[M2-brane 3-algebra]] constructed from a [[metric Lie representation]]):

* {#Faulkner73} [[John Faulkner]], _On the geometry of inner ideals_, Journal of Algebra, Volume 26, Issue 1, July 1973, Pages 1-9 (doi:10.1016/0021-8693(73)90032-X)

category: people


John Fogarty

* [MathematicsGenealogy page](https://www.mathgenealogy.org/id.php?id=18927&fChrono=1)

## Selected writings

On [[geometric invariant theory]]:

*  {#MumfordFogartyKirwan65} [[David Mumford]], [[John Fogarty]], [[Frances Clare Kirwan]], _Geometric invariant theory_, Ergebnisse der Mathematik und ihrer Grenzgebiete (2) __34__, Springer-Verlag (1965/1982) ([ISBN:978-3-540-56963-3](https://www.springer.com/gp/book/9783540569633), [pdf](https://altexploit.files.wordpress.com/2017/08/mumford-d-fogarty-j-geometric-invariant-theory-springer-1982.pdf))

category: people


John Fornæss

* [webpage](http://www.math.lsa.umich.edu/~fornaess/)

category: people

[[!redirects John Fornaess]]


John Francis

* [publications](http://en.scientificcommons.org/john_francis) (well there are several. John Francis-es at this page...)

* Northwestern University, Mathematics :[faculty profile](http://www.math.northwestern.edu/people/facultyProfiles/john.francis.html)

## Selected writings

On [[tmf]]:

* [[Christopher Douglas]], [[John Francis]], [[André Henriques]], [[Michael Hill]], _Topological Modular Forms_, Mathematical Surveys and Monographs Volume 201, AMS 2014  ([ISBN:978-1-4704-1884-7](https://bookstore.ams.org/surv-201))

## Related $n$Lab entries

* [[geometric ∞-function theory]]

* [[little cubes operad]]

* [[E-k operad]]

* [[Ek-Algebras]]

category: people


John Frank Adams

[[!redirects Frank Adams]]

Frank Adams (John Frank Adams) was a British mathematician who made a great contribution to [[algebraic topology]] and in particular [[stable homotopy theory]].

* [wikipedia entry (English)](http://en.wikipedia.org/wiki/Frank_Adams)

* [wikipedia entry (German)](http://de.wikipedia.org/wiki/John_Frank_Adams)

* [Mathematics Genealogy Project entry](http://www.genealogy.math.ndsu.nodak.edu/id.php?id=24507)

* [History of Mathematics archive entry (St. Andrews)](http://www-history.mcs.st-andrews.ac.uk/Biographies/Adams_Frank.html)

* [[Peter May]], _Reminiscences of the Life and Mathematics of J. Frank Adams_ ([pdf](http://www.math.uchicago.edu/~may/PAPERS/69.pdf))

* [[Ioan James]], _John Frank Adams_ ([pdf](https://www.maths.ed.ac.uk/~v1ranick/papers/adamsbio.pdf), [[JamesOnAdams.pdf:file]])

## Selected writings

Introducing the [[Adams-Hilton model]] for the [[Pontrjagin ring]]-structure on the [[ordinary homology|homology]] of a [[based loop space]], refined to the [[singular chain complex]]:

* [[John F. Adams]], [[Peter J. Hilton]], *On the chain algebra of a loop space*, Commentarii Mathematici Helvetici **30** (1956) 305–330 [[doi:10.1007/BF02564350](https://doi.org/10.1007/BF02564350)]

On [[stable homotopy theory]] and [[generalized (Eilenberg-Steenrod) cohomology]]:

* [[John Frank Adams]], *[[Stable homotopy and generalized homology]]*, Chicago Lectures in Mathematics, The University of Chicago Press (1974) [[ucp:bo21302708](https://www.press.uchicago.edu/ucp/books/book/chicago/S/bo21302708.html), [pdf](https://www.uio.no/studier/emner/matnat/math/MAT9580/v17/documents/adams-shgh.pdf)]

On the work of [[Henri Cartan]] in relation to [[homotopy theory]]:

* [[John Frank Adams]], _The work of M. H. Cartan in its relation with homotopy theory_, Colloque analyse et topologie,Astérisque no. 32-33 (1976), p. 29-41 ([numdam:AST_1976__32-33__29_0/](http://www.numdam.org/item/AST_1976__32-33__29_0/))

On [[infinite loop spaces]] and [[An-spaces|$A_n$-spaces]], [[A-infinity algebra|$A_\infty$-algebras]]:

* {#Adams78} [[John Adams]], _Infinite loop spaces_, Hermann Weyl lectures at IAS, Annals of Mathematics Studies **90** Princeton University Press (1978) [[ISBN:9780691082066](https://press.princeton.edu/books/paperback/9780691082066/infinite-loop-spaces-am-90-volume-90), [doi:10.1515/9781400821259](https://doi.org/10.1515/9781400821259)]

On [[Lie groups]]:

* {#Adams82} [[Frank Adams]], *Lectures on Lie groups*, University of Chicago Press (1982) [[ISBN:9780226005300](https://press.uchicago.edu/ucp/books/book/chicago/L/bo3614673.html), [gbooks](https://www.google.com/books/edition/Lectures_on_Lie_Groups/TC7d3ZcqjfsC?hl=en)]

## Related entries

* [[Adams operation]]

* [[Adams conjecture]]

* [[Adams spectral sequence]]

* [[Adams-Novikov spectral sequence]]

* [[MU]], [[Quillen's theorem on MU]]

category: people

[[!redirects John Adams]]

[[!redirects John F. Adams]]
[[!redirects J. Frank Adams]]
[[!redirects J. F. Adams]]


John Frederick Jardine

John Frederick Jardine or Rick Jardine is a
[[homotopy theory|homotopy theorist]] at the University of Western Ontario in London, Canada. His work on [[model category]] structures [[model structure on simplicial presheaves|on simplicial presheaves]] is fundamental in the subject. His web pages have much course material in [[homotopy theory]], [[topos theory|sheaf theory]] and related subjects.

* [webpage](http://uwo.ca/math/faculty/jardine/)

## Selected writings

On [[simplicial homotopy theory]]:

* [[Paul Goerss]], [[John Frederick Jardine]], *[[Simplicial homotopy theory]]*, Progress in Mathematics, Birkhäuser (1999), Modern Birkhäuser Classics (2009) [[doi:10.1007/978-3-0346-0189-4](https://link.springer.com/book/10.1007/978-3-0346-0189-4)]

On the [[simplicial approximation theorem]]:

* {#Jardine04} [[John F. Jardine]], *Simplicial approximation*, Theory and Applications of Categories, **12** 2 (2004) 34-72 [[tac:12-02](https://www.emis.de/journals/TAC/volumes/12/2/12-02abs.html), [pdf](http://www.tac.mta.ca/tac/volumes/12/2/12-02.pdf)]

On [[model structures on simplicial presheaves]] with an eye to application in [[motivic homotopy theory]]:

* [[John F. Jardine]], _Simplical presheaves_, Journal of Pure and Applied Algebra **47** 1 (1987) 35-87 [doi:10.1016/0022-4049(87)90100-9]

* [[John F. Jardine]], *[[Local homotopy theory]]*, Springer Monographs in Mathematics (2015) [[doi:10.1007/978-1-4939-2300-7](https://doi.org/10.1007/978-1-4939-2300-7)]

with brief exposition in:

* [[John F. Jardine]], *Motivic spaces and the motivic stable category* [[pdf](http://www.aimath.org/WWN/motivesdessins/motivic.pdf), [[Jardine-MotivicSpaces.pdf:file]]]

On [[nonabelian cohomology]] using [[model structures on simplicial presheaves]]:

* [[J. F. Jardine]], _Cocycle categories_, In: Baas N., Friedlander E., Jahren B., Østvær P. (eds) _Algebraic Topology_, Abel Symposia, vol 4. Springer 2009 ([arXiv:math/0605198](https://arxiv.org/abs/math/0605198), [doi:10.1007/978-3-642-01200-6_8]( https://doi.org/10.1007/978-3-642-01200-6_8))

On [[persistent homotopy theory]]:

* [[J. F. Jardine]], *Persistent homotopy theory* (2020) $[$[pdf](https://www.uwo.ca/math/faculty/jardine/lectures/persist-OSU-beamer.pdf), [[Jardine-PersistentHomotopy.pdf:file]]$]$

* [[Rick Jardine]], *Thoughts on big data sets*, talk at *[Homotopical Perspectives on TDA](Center+for+Quantum+and+Topological+Systems#JardineAtHomotopicalPerspectivesOnTDAJune2022)* (2020)

category: people

[[!redirects J. F. Jardine]]
[[!redirects Jardine]]
[[!redirects Rick Jardine]]
[[!redirects Frederick Jardine]]
[[!redirects John F. Jardine]]


John Greenlees

John Greenlees is professor for [[mathematics]] in Sheffield.

* [website](http://www.greenlees.staff.shef.ac.uk/)

## Selected writings

On [[equivariant complex oriented cohomology theory]] and [[equivariant formal group laws]]:

* [[Michael Cole]], [[John Greenlees]], [[Igor Kriz]], _Equivariant Formal Group Laws_, Proceedings of the LMS, Volume81, Issue2 (2000)([doi:10.1112/S0024611500012466]( https://doi.org/10.1112/S0024611500012466))

* {#Greenlees01a} [[John Greenlees]], _The coefficient ring of equivariant homotopical bordism classifies equivariant formal group laws over Noetherian rings_, 2001 ([preprint](https://homepages.abdn.ac.uk/d.j.benson/pages/html/archive/greenlees.html))

* [[John Greenlees]], _Equivariant formal group laws and complex oriented cohomology theories_, Homology Homotopy Appl. Volume 3, Number 2 (2001), 225-263 ([euclid:hha/1139840255](https://projecteuclid.org/euclid.hha/1139840255))

* [[John Greenlees]], _Multiplicative equivariant formal group laws_, Journal of Pure and Applied Algebra Volume 165, Issue 2, 7 December 2001, Pages 183-200 (doi:10.1016/S0022-4049(00)00184-5)

* [[Michael Cole]], [[John Greenlees]], [[Igor Kriz]], _The universality of equivariant complex bordism_, Math Z 239, 455–475 (2002) ([doi:10.1007/s002090100315](https://doi.org/10.1007/s002090100315))

On [[equivariant K-theory]] and [[KR-theory]] for [[finite group|finite]] [[equivariance groups]]:

* {#BrunerGreenlees10} [[Robert Bruner]], [[John Greenlees]], *Connective Real K-Theory of Finite Groups*, Mathematical Surveys and Monographs **169** AMS 2010 ([ISBN:978-0-8218-5189-0](https://bookstore.ams.org/surv-169))

On [[equivariant elliptic genera]] in [[equivariant elliptic cohomology]]:

* [[Matthew Ando]], [[John Greenlees]], _Circle-equivariant classifying spaces and the rational equivariant sigma genus_, Math. Z. 269, 1021–1104 (2011) ([arXiv:0705.2687](https://arxiv.org/abs/0705.2687), [doi:10.1007/s00209-010-0773-7](https://doi.org/10.1007/s00209-010-0773-7))

## Related $n$Lab entries

* [[equivariant stable homotopy theory]]

* [[rational equivariant stable homotopy theory]]

category: people


John Harding

* [webpage](http://www.math.nmsu.edu/~jharding/)

## Selected writings

On [[quantum logic]]:

* {#Harding08} [[John Harding]], _A link between quantum logic and categorical quantum mechanics_, Int J Theor Phys (2009) 48: 769–802

* [[John Harding]], Taewon Yang, *The Logic of Bundles*, International Journal of Theoretical Physics **54** 12 (2015) [[doi:10.1007/s10773-015-2760-6](http://dx.doi.org/10.1007/s10773-015-2760-6)]

The [[Döring-Harding-Hamhalter theorem]]:

* [[Andreas Döring]], [[John Harding]],  *Abelian subalgebras and the Jordan structure of a von Neumann algebra*, Houston Journal of Mathematics **42** 2 (2016) [[arXiv:1009.4945](http://arxiv.org/abs/1009.4945), [issue](https://www.math.uh.edu/~hjm/Vol42-2.html), [pdf](https://wordpress.nmsu.edu/hardingj/files/2019/10/2010-Abelian-subalgebras-and-the-Jordan-structure-of-von-Neumann-algebras.pdf)]

On [[Bohr toposes]]:

* [[John Harding]], [[Chris Heunen]], *Topos quantum theory with short posets*, Order **38** 111–125 (2021) [[arXiv:1903.01897](https://arxiv.org/abs/1903.01897), [doi:10.1007/s11083-020-09531-6](https://doi.org/10.1007/s11083-020-09531-6)]

## Related entries

* [[Harding-Döring-Hamhalter theorem]]

* [[poset of commutative subalgebras]]

* [[matrix calculus]]

category: people

[[!redirects J. Harding]]


John Harper

* [webpage](https://people.math.osu.edu/harper.903/)

## related $n$Lab entries

* [[E-infinity ring]]

* [[Blakers-Massey theorem]]

* [[integral chains homotopy theory]]

category: people


John Harrison

* [personal page](https://www.cl.cam.ac.uk/~jrh13/)

## Selected writings

On the [[HOL light]] [[theorem prover]]:

* [[John Harrison]], _[The HOL Light theorem prover](http://www.cl.cam.ac.uk/~jrh13/hol-light/index.html)_

On [[software verification]] and [[hardware verification]] by [[formal logic]] and [[proof assistants]]:

* [[John Harrison]], *Formal Verification*, Lecture notes Marktoberdorf 2010 [[web](https://www.cl.cam.ac.uk/~jrh13/papers/mark10.html), [pdf](https://www.cl.cam.ac.uk/~jrh13/papers/mark10.pdf), [[Harrison-FormalVerification.pdf:file]]]

category: people


John Horton Conway

> Not to be confused with [[John Bligh Conway]], the [[analysis|analyst]].

***

\tableofcontents

\section{Introduction}

John Horton Conway  (born 26 December 1937, died 11 April 2020) was an English mathematician. He developed new ideas in many branches of mathematics, notable, here, for the [[Conway polynomial]] of a knot, and for study of the [[Conway groups]], $Co_{1}, Co_{2}, Co_{3}$,  three of the [[sporadic finite simple groups]].

* [Wikipedia entry](http://en.wikipedia.org/wiki/John_Horton_Conway)

\section{Reminiscences}

By [[Gavin Wraith]], at the nForum [in this post](https://nforum.ncatlab.org/discussion/11136/john-conway/?Focus=83846#Comment_83846).

> I first met John Conway while he was manning a stall for the Archimedeans at the beginning-of-the-year student fair in the Guildhall in Cambridge. He was demonstrating a computer, built of string and meccano, that had to be fed ball-bearings. I think it was 1957.
>
> One of the first mathematical lollipops he showed me was a very slick proof that a triangle of nonzero area whose sides were in rational proportion and whose angles were in rational proportion must be equilateral. Hint: the cyclotomic field of $N$-th roots of unity has $\phi(N)$ automorphisms. But ruler-and-compass construction shows that there can only be 2 triangles with given sides. So $N$ has to be 3 times a power of 2.
>
> In those days it was knots and sphere-packing. Later came games. For years he had a running exchange of puzzles with someone in the North of England who made them as toys. He was very hands-on: popper beads for demonstrating knots and links, and strange wooden devices for calculating the touching-graph of circle-packings using pennies and a ruler to shove them up tight.
>
> The last time I saw him not in the Mill Lane maths department tearoom he was tiling his kitchen floor with Penrose kites and darts. My mother used to babysit his daughters. Some of the faculty at Cambridge thought that he was a disturbing influence on their students; not serious enough.

## Related entries

* [[Conway's game of life]]

category: people

[[!redirects John Horton Conway]]
[[!redirects John H. Conway]]
[[!redirects John H Conway]]
[[!redirects John Conway]]
[[!redirects Conway]]


John Hubbard

* [webpage](http://www.math.cornell.edu/m/People/Faculty/hubbard)

category: people


John Huerta

* [webpage](https://www.math.tecnico.ulisboa.pt/~jhuerta/).

### Selected writings

* [[John Baez]], [[John Huerta]], _Division algebras and supersymmetry I_ ([arXiv:0909.0551](http://arxiv.org/abs/0909.0551))

* [[John Baez]], [[John Huerta]], _Division algebras and supersymmetry II_ ([arXiv:1003.34360](http://arxiv.org/abs/1003.3436))

* [[John Huerta]], [[Urs Schreiber]], _[[schreiber:M-Theory from the Superpoint]]_, Letters of Mathematical Physics, 2018 ([arXiv:1702.01774](https://arxiv.org/abs/1702.01774))

* {#HSS18} [[John Huerta]], [[Hisham Sati]], [[Urs Schreiber]], _[[schreiber:Equivariant homotopy and super M-branes|Real ADE-equivariant (co)homotopy and Super M-branes]]_, CMP (2019) ([arXiv:1805.05987](https://arxiv.org/abs/1805.05987), [doi:10.1007/s00220-019-03442-3](http://link.springer.com/article/10.1007/s00220-019-03442-3))

* [[John Huerta]], _How Space-Times Emerge from the Superpoint_ ([arXiv:1903.02822](https://arxiv.org/abs/1903.02822))

* [[John Huerta]], _Bundle gerbes on supermanifolds_ ([arXiv:2012.15813](https://arxiv.org/abs/2012.15813))

On [[D=3 supergravity]] via [[super Cartan geometry]] for [[super L-infinity algebras]]:

* [[Konstantin Eder]], [[John Huerta]], [[Simone Noja]], §16 in: *Poincaré Duality for Supermanifolds, Higher Cartan Geometry and Geometric Supergravity* [[arXiv:2312.05224](https://arxiv.org/abs/2312.05224)]

category: people


John Hughes

* Wikipedia entry

## Selected writings

On [[arrows in computer science]]:

* [[John Hughes]], *Generalising monads to arrows*, Sci. Comput. Program. **37** 1-3 (2000) 67-111 [[doi:10.1016/S0167-6423(99)00023-4](https://doi.org/10.1016/S0167-6423%2899%2900023-4), [pdf](http://www.cse.chalmers.se/~rjmh/Papers/arrows.pdf)]

On [[monads in computer science]]:

* [[Nick Benton]], [[John Hughes]], [[Eugenio Moggi]], *Monads and Effects*, in: *Applied Semantics*, Lecture Notes in Computer Science **2395**, Springer (2002) 42-122 [[doi:10.1007/3-540-45699-6_2](https://doi.org/10.1007/3-540-45699-6_2)]

On the history of the development of the [[Haskell]] [[programming language]]:

* [[Paul Hudak]], [[John Hughes]], [[Simon Peyton Jones]], [[Philip Wadler]], *A history of Haskell: being lazy with class*, History of Programming Languages (2007) 12-1 - 12-55 [[doi:10.1145/1238844.1238856](https://doi.org/10.1145/1238844.1238856)]

category: people


John Iliopoulos

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Iliopoulos)

* {#Bjorken85} [[James Bjorken]], _The November Revolution: A Theorist Reminisces_, 1985 ([spire:214067](http://inspirehep.net/record/214067))

> The big international conference of $[$1974$]$ in
London was a turning point
 $[$...$]$ Ellis' catalog well reflected the state  of theoretical confusion and general disarray in trying to  interpret the $e^+ e^-$ data. But in the midst of all of this was a
talk by [[John Iliopoulos]] (I think I was there too). With
passionate zealotry, he laid out with great accuracy what we call
the [[standard model of particle physics|standard model]]. Everything was there: [[proton decay]], [[charm quark|charm]],  the GIM mechanism of course, [[QCD]], the $SU(2)\times U(1)$ [[electroweak  theory]], $SU(5)$ [[GUT|grand unification]], [[Higgs field|Higgs]], etc. It was all presented with absolute conviction and sounded at the time just a little mad, at least to me (I am a conservative).

## Seleteced writings

On [[gauge theory]]/[[Yang-Mills theory]]:

* {#Iliopoulos75} [[John Iliopoulos]], _Progress in Gauge Theories_, 1975 ([spire:3000](http://inspirehep.net/record/3000))

On the [[standard model of particle physics]]:

* {#Iliopoulos16} [[John Iliopoulos]], _The making of the standard theory_, Adv.Ser.Direct.High Energy Phys. 26 (2016) 29-59 ([spire:1497884](http://inspirehep.net/record/1497884), [pdf](http://cds.cern.ch/record/2217096/files/9789814733519_0002.pdf))

On [[non-commutative geometry]] in [[D-brane]] physics and [[Connes-Lott-Chamseddine-Barrett models]]:

* [[Jean Iliopoulos]], _Gauge Theories and Non-Commutative Geometry_, Fortsch.Phys. 54 (2006) 139-145 ([arXiv:hep-th/0506005](https://arxiv.org/abs/hep-th/0506005))

* [[John Iliopoulos]], _Gauge Theories and non-Commutative Geometry: A review_, EPJ Web Conf. Volume 182, 2018 6th International Conference on New Frontiers in Physics (ICNFP 2017) ([doi:10.1051/epjconf/201818202055](https://doi.org/10.1051/epjconf/201818202055))

## Related $n$Lab entries

* [[gauge theory]]

* [[standard model of particle physics]]

* [[Connes-Lott-Chamseddine-Barrett model]]

category: people

[[!redirects Jean Iliopoulos]]


John Isbell

* [Wikipedia entry](https://en.m.wikipedia.org/wiki/John_R._Isbell)

* [MathGenealogy page](https://www.mathgenealogy.org/id.php?id=18496)

* K.D. Magill, Jr., _An Interview with John Isbell_ ([web](http://at.yorku.ca/t/o/p/c/06.htm))

* Melvin Henriksen, _John Isbell 1931-2005_ Obituary ([web](http://at.yorku.ca/t/o/p/d/64.htm))

* [[F. W. Lawvere]], _John Isbell's Adequate Subcategories_ ([web](http://at.yorku.ca/t/o/p/d/65.htm))

## Selected writings

Introducing the notion that came to be known as *[[Isbell duality]]* (and discussing [[foundations]] for [[category theory]] via a kind of [[Grothendieck universes]]):

* {#Isbell66} [[John Isbell]], *Structure of categories*, Bulletin of the American Mathematical Society **72** (1966), 619-655. [[euclid:1183528163](http://projecteuclid.org/euclid.bams/1183528163), [ams:1966-72-04/S0002-9904-1966-11541-0](https://www.ams.org/journals/bull/1966-72-04/S0002-9904-1966-11541-0/)]

* {#Isbell67} [[John Isbell]], _Normal completions of categories_, Reports of the Midwest Category Seminar, **47**, Springer (1967) 110-155 [[doi:10.1007/BFb0074302](https://doi.org/10.1007/BFb0074302)]

On [[large cocompleteness]]:

* {#Isbell68} [[John Isbell]]. _Small subcategories and completeness_. Mathematical systems theory **2** 1 (1968) 27-50 [[doi:10.1007/BF01691344](https://doi.org/10.1007/BF01691344)]

On the theory of *[[locales]]* (and introducing that term):

* [[John R. Isbell]], *Atomless Parts of Spaces*, Mathematica Scandinavica **31** (1972) 5–32 [[doi:10.7146/math.scand.a-11409](https://doi.org/10.7146/math.scand.a-11409)]

On [[functorial semantics]]:

* [[John Isbell]], *General functorial semantics, I*, American Journal of Mathematics 94.2 (1972) 535-596 [[doi:10.2307/2374638](https://doi.org/10.2307/2374638), [jstor:2374638](https://www.jstor.org/stable/2374638)]

* [[John Isbell]], _**Top** and its adjoint relatives_, General Topology and Its Relations to Modern Analysis and Algebra (1971) 143-154 [[eudml:221076](https://eudml.org/doc/221076)]

## Related entries

* [[Isbell duality]]

* [[concrete category]]

category: people

[[!redirects John R. Isbell]]


John Joseph Carrasco

* [personal page](https://prettyquestions.com/)

* [institute page](https://physics.northwestern.edu/people/faculty/core-faculty/john-carrasco.html)

## Selected writings

On [[scattering amplitudes]] in [[perturbative quantum gravity|perturbative]] [[D=4 N=8 supergravity]]:

* [[Zvi Bern]], [[John Joseph Carrasco]], [[Lance Dixon]], [[Henrik Johansson]], [[Radu Roiban]], _Amplitudes and Ultraviolet Behavior of $N=8$ Supergravity_, Fortschr. Phys. **59** (2011) 7-8 [[arXiv:1103.1848](http://arxiv.org/abs/1103.1848), [doi:10.1002/prop.201100037](https://doi.org/10.1002/prop.201100037)]

On the "[[double copy]]" [[KLT relations]]-approach to [[scattering amplitudes]] in [[perturbative quantum gravity]] and [[supergravity]]:

* [[Zvi Bern]], [[John Joseph Carrasco]], [[Henrik Johansson]], _Perturbative Quantum Gravity as a Double Copy of Gauge Theory_, Phys. Rev. Lett. **105** 061602 (2010) [[arXiv:1004.0476](https://arxiv.org/abs/1004.0476)]

* [[Zvi Bern]], [[John Joseph Carrasco]], [[Marco Chiodaroli]], [[Henrik Johansson]], [[Radu Roiban]], *Supergravity amplitudes, the double copy and ultraviolet behavior*, in *[[Handbook of Quantum Gravity]]*, Springer (2023) [[arXiv:2304.07392](https://arxiv.org/abs/2304.07392)]

category: people

[[!redirects John J. Carrasco]]
[[!redirects John Carrasco]]


John Kelley

John Kelley (1916-1999) was an American mathematician, known primarily for his work in [[general topology|general]] [[topology]] and in [[functional analysis]]. He also founded, with [[A.P. Morse]], the study of [[Morse-Kelley set theory]].

* [Wikipedia article](http://en.wikipedia.org/wiki/John_L._Kelley)

## Selected writings

On [[general topology]]:

* [[John Kelley]], _General topology_, D. van Nostrand, New York (1955), reprinted as: Graduate Texts in Mathematics, Springer (1975) [[ISBN:978-0-387-90125-1](https://www.springer.com/gp/book/9780387901251)]

## Related $n$Lab entries

* [[one-point compactification]]

* [[compactly generated topological space]]

category: people


John Kennison

* [ResearchGate page](https://www.researchgate.net/profile/John-Kennison-2)

## Selected writings

On [[product topological space|product spaces]] with [[Lindelöf topological spaces]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *On productively  Lindelöf spaces*, Scient. Math. Japon. **65** (2007) 23–36 [[pdf](https://www.math.mcgill.ca/barr/papers/alster.pdf), [[BKR-ProductivelyLindeloef.pdf:file]]]

In [[Isbell duality]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Isbell Duality* Theory and Applications of Categories **20** 15 (2008) 504-542 [[tac:20-15](http://www.tac.mta.ca/tac/volumes/20/15/20-15abs.html)]

and specifically for [[modules]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Isbell duality for for modules*, Theory and Applications of Categories **22** 17 (2009) 401-419 [[tac:22-17](http://www.tac.mta.ca/tac/volumes/22/17/22-17abs.html), [pdf](https://www.math.mcgill.ca/barr/papers/rmod.pdf)]

On discrete [[dynamical systems]] (here called "flows") on [[compact Hausdorff spaces]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Flows: cocyclic and almost cocyclic*, Theory Appl. Categories **25** 18 (2010) 490–507 [[tac:25-18](http://www.tac.mta.ca/tac/volumes/25/18/25-18abs.html)]

On [[coherent spaces]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Countable meets in coherent spaces with applications to the cyclic spectrum*, Theory Appl. Categories **25** 19 (2011), 508–232 [[tac:25-19](http://www.tac.mta.ca/tac/volumes/25/19/25-19abs.html)]

On [[injective hulls]] of [[partial order|partially ordered]] [[monoids]]:

* [[Joachim Lambek]], [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Injective hulls of partially ordered monoids*, Theory Appl. Categories **26** 13 (2012) 338–348 [[tac:16-13](http://www.tac.mta.ca/tac/volumes/26/13/26-13abs.html)]

On [[star-autonomous categories]] of [[suplattice|sup]]-[[semilattices]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *The $\ast$-autonomous category of uniform sup semi-lattices*,  Theory & Applications of Categories **27** 11 (2012) 222–241 [[tac:27-11](http://www.tac.mta.ca/tac/volumes/27/11/27-11abs.html)]

On [[limits]] of [[integral domains]] among [[commutative rings]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Limit closures of classes of commutative rings*, Theory Appl. Categories **30** (2015) 229–304 [[tac:30-08](http://www.tac.mta.ca/tac/volumes/30/8/30-08abs.html), [pdf](https://www.math.mcgill.ca/barr/papers/domrefl.pdf)]

On [[reflective subcategory|reflective]] and [[coreflective subcategories]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *On reflective and coreflective hulls*, [[Cahiers|Cahiers Topologie Géométrie Différentielle Catégorique]] **56** (2015) 162–208 [[pdf](https://www.math.mcgill.ca/barr/papers/biref.pdf), [[BarrKennisonRaphael-Reflective.pdf:file]]]

On contractibility of [[simplicial objects]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Contractible simplicial objects*, Comm. Math. Univ. Carol. **60** 4 (2019) 473–495 [[pdf](https://math.mcgill.ca/barr/papers/cso.pdf), [eudml:295068](https://eudml.org/doc/295068)]

On [[coequalizers]] and [[free monads]]:

* [[Michael Barr]], [[John Kennison]], [[Robert Raphael]], *Coequalizers and free triples, II*, Theory Appl. Categories **34** (2019) 662–683 [[tac:34-23](http://www.tac.mta.ca/tac/volumes/34/23/34-23abs.html)]

category: people


John Klein

* [webpage](http://www.math.wayne.edu/~klein/)

## related $n$Lab entries

* [[Becker-Gottlieb transfer]]
* [[Farrell-Tate cohomology]]

category: people


John Kogut

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Kogut)

* [InSpire page](https://inspirehep.net/authors/1002421)

* [MathGenealogy page](https://www.mathgenealogy.org/id.php?id=115090)

## Selected writings

Early suggestion that [[confinement|confined]] [[QCD]] is described by regarding the [[color charge|color]]-[[flux tubes]] as [[string]]-like dynamical degrees of freedoms (cf. [gauge/string duality](AdS-QCD+correspondence#PolyakovGaugeStringDualityReferences)):

* [[John Kogut]], [[Leonard Susskind]], *Vacuum polarization and the absence of free quarks in four dimensions*, Phys. Rev. D **9** (1974) 3501-3512 [[doi:10.1103/PhysRevD.9.3501](https://doi.org/10.1103/PhysRevD.9.3501)]

* [[John Kogut]], [[Leonard Susskind]], *Hamiltonian formulation of Wilson's lattice gauge theories*, Phys. Rev. D **11** (1975) 395 [[doi:10.1103/PhysRevD.11.395](https://doi.org/10.1103/PhysRevD.11.395)]

  > "The gauge-invariant configuration space consists of a collection of strings with quarks at their ends. The strings are lines of non-Abelian electric flux. In the strong coupling limit the dynamics is best described in terms of these strings. Quark confinement is a result of the inability to break a string without producing a pair. [...]"

  > "The confining mechanism is the appearance of one dimensional electric flux tubes which must link separated quarks. The appropriate description of the strongly coupled limit consists of a theory of interacting, propagating strings. [...]"

  > "This picture of the strongly coupled Yang-Mills theory in terms of a collection of stringlike flux lines is the central result of our analysis. It should be compared with the phenomenological use of stringlike degrees of freedom which has been widely used in describing hadrons."

category: people


John L. Friedman

* [institute page](https://uwm.edu/physics/people/friedman-john/)

* [InSpire page](https://inspirehep.net/authors/1009417)

* [MathGenealogy page](https://www.genealogy.math.ndsu.nodak.edu/id.php?id=138949)

## Selected writings

On the [[phase space]], [[Poisson brackets]] and their [[quantization]] in [[Yang-Mills theory]]:

* {#FriedmanPapastamatiou83} [[John L. Friedman]], Nicholas J. Papastamatiou, *On the canonical quantization of Yang-Mills theories*, Nuclear Physics B **219** 1 (1983) 125-142 \[doi:10.1016/0550-3213(83)90431-5\]

category: people

[[!redirects John Friedman]]


John L. Harer

* [Institute page](https://scholars.duke.edu/person/john.harer)

## Selected writings

Introducing [[stability of persistence diagrams]]:

* {#CohenSteinerEdelsbrunnerHarer07} [[David Cohen-Steiner]], [[Herbert Edelsbrunner]], [[John Harer]], *Stability of Persistence Diagrams*, Discrete & Computational Geometry **37** (2007) 103–120 $[$[doi:10.1007/s00454-006-1276-5](https://doi.org/10.1007/s00454-006-1276-5)$]$

On [[persistent homology]]:

* [[Herbert Edelsbrunner]], [[John Harer]], *Persistent homology -- a survey*, in: *Surveys on Discrete and Computational Geometry: Twenty Years Later*, Contemporary Mathematics *453* (2008) $[$[doi:10.1090/conm/453](http://dx.doi.org/10.1090/conm/453)$]$

On [[computational topology]]:

* {#EdelsbrunnerHarer10} [[Herbert Edelsbrunner]], [[John L. Harer]], *[[Computational Topology, An Introduction]]*, American Mathematical Society, 2010 ([ISBN:978-0-8218-4925-5](http://www.ams.org/bookstore-getitem/item=MBK-69), [pdf](https://www.maths.ed.ac.uk/~v1ranick/papers/edelcomp.pdf))

category: people

[[!redirects John Harer]]


John L. MacDonald

* [personal page](https://personal.math.ubc.ca/~johnm/)

* [Mathematics Genealogy page](https://personal.math.ubc.ca/~johnm/)

## Selected writings

On [[adjunctions]], their induced ([[comonad|co]]-)[[monads]] and their decomposition, such as of [[idempotent adjunctions]]:

* {#MacDonaldStone82} [[John L. MacDonald]], [[Arthur L. Stone]], *The tower and regular decomposition*, Cahiers de Topologie et Géométrie Différentielle Catégoriques, Tome 23 (1982) no. 2, pp. 197-213 ([numdam:CTGDC_1982__23_2_197_0](http://www.numdam.org/item/?id=CTGDC_1982__23_2_197_0))

On certain [[pushouts]] ([[amalgamations]]) in the [[1-category]] [[Cat]] of [[small categories]]:

* {#MacdonalScull09} [[John MacDonald]], [[Laura Scull]], _Amalgamations of categories_, Canad. Math. Bull. **52** 2 (2009) 273–284 [[pdf](http://faculty.fortlewis.edu/Scull_L/pushouts.pdf), journal:[pdf](https://www.cambridge.org/core/services/aop-cambridge-core/content/view/A414F5D3FA9FB08ACBBB72143C70FE28)]

category: people

[[!redirects John MacDonald]]
[[!redirects John Lauchlin MacDonald]]


John Lane Bell

John Lane Bell works in mathematical [[logic]], [[philosophy of mathematics]], [[set theory]] and [[category theory]]

* [webpage](http://publish.uwo.ca/~jbell/)

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Lane_Bell)

> (beware that there is also the physicist [[John Stewart Bell]])

## Selected writings

On [[mathematical logic]]:

* {#BellMach77} [[John Lane Bell]], M. Machover, _A Course in Mathematical Logic_, North-Holland Amsterdam 1977 ([ISBN:9780720428445](https://www.elsevier.com/books/a-course-in-mathematical-logic/bell/978-0-7204-2844-5))

On [[synthetic differential geometry]]:

* [[John Lane Bell]], _A Primer of Infinitesimal Analysis_, Cambridge UP 1998 ([ISBN:9780521887182](https://www.cambridge.org/de/academic/subjects/mathematics/logic-categories-and-sets/primer-infinitesimal-analysis-2nd-edition?format=HB&isbn=9780521887182))

On [[Zorn's lemma]] and [[Boolean algebra]] in [[intuitionistic type theories]]:

* {#Bell} [[John Lane Bell]], *Zorn’s lemma and complete Boolean algebras in intuitionistic type theories*, The Journal of Symbolic Logic, 62(4):1265–1279, 1997 ([doi:10.2307/2275642](https://doi.org/10.2307/2275642))

## Related $n$Lab entries

* [[well-ordering principle]]

* [[synthetic differential geometry]]

category: people


John Launchbury

* [personal page](https://launchbury.blog/)

* [institute page](https://galois.com/team/john-launchbury/)

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Launchbury)

## Selected writings

Introducing what came to be known as *[[do-notation]]* for [[Kleisli composition]] of effectful programs via [[monads in computer science]]:

* {#Launchbury93} [[John Launchbury]], §3.3 in: *Lazy imperative programming*, Proceedings of *ACM Sigplan Workshop on State in Programming Languages*, Copenhagen (1993) [[pdf](https://launchbury.files.wordpress.com/2019/01/lazy-imperative-programming.pdf), [[Launchbury-LazyImperative.pdf:file]]]

category: people


John Lee

> Not to be confused with [[Jeffrey Marc Lee]], who also wrote a book on [[smooth manifolds]].

***

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_M._Lee)

## Selected writings

On [[differential geometry]] over [[smooth manifolds]]:

* {#Lee12} [[John M. Lee]], _Introduction to Smooth Manifolds_, Springer 2012 ([doi:10.1007/978-1-4419-9982-5](https://doi.org/10.1007/978-1-4419-9982-5), [pdf](https://lost-contact.mit.edu/afs/adrake.org/usr/rkh/Books/books/Introduction%20to%20Smooth%20Manifolds%20-%20J.%20Lee.pdf))

On [[Riemannian manifolds]]:

* [[John M. Lee]], _Riemannian manifolds. An introduction to curvature_. Graduate Texts in Mathematics 176 (1997), Springer.  ISBN: 0-387-98271-X.
Second Edition (retitled): *Introduction to Riemannian Manifolds* (2018), Springer.  ISBN: 978-3-319-91754-2 ([doi:10.1007/978-3-319-91755-9](https://doi.org/10.1007/978-3-319-91755-9))

On [[topological manifolds]] and basic [[algebraic topology]]:

* [[John M. Lee]], _Introduction to topological manifolds_. Graduate Texts in Mathematics 202 (2000), Springer.  ISBN: 0-387-98759-2, 0-387-95026-5.
Second edition: Springer, 2011.  ISBN: 978-1-4419-7939-1 ([doi:10.1007/978-1-4419-7940-7](https://doi.org/10.1007/978-1-4419-7940-7), errata [pdf](https://sites.math.washington.edu/~lee/Books/ITM/errata.pdf))

category: people

[[!redirects John Marshall Lee]]
[[!redirects John M. Lee]]


John Lind

* [webpage](http://homepages.uni-regensburg.de/~lij60053/)

## Selected writings

On the [[algebraic K-theory]] $K(R)$ of a [[ring spectrum]] $R$ ([[iterated algebraic K-theory]]) as the [[Grothendieck group]] of [[(∞,1)-module bundles]] over $R$:

* [[John Lind]], _Bundles of spectra and algebraic K-theory_, Pacific J. Math. 285 (2016) 427-452 ([arXiv:1304.5676](https://arxiv.org/abs/1304.5676), [doi:10.2140/pjm.2016.285.427](https://doi.org/10.2140/pjm.2016.285.427))

On [[equivariant twisted cohomology theory]]:

* [[John Lind]], *Equivariantly Twisted Cohomology Theories*, Baltimore 2014 (slides [pdf](https://jlind.yourweb.csuchico.edu/papers/equivtwists_jmm2014.pdf), [[LindEquivariantlyTwistedCohomology.pdf:file]])

On [[spherical T-duality]] in [[iterated algebraic K-theory]]:

* {#LindSatiWesterland16} [[John Lind]], [[Hisham Sati]], [[Craig Westerland]], _A higher categorical analogue of topological T-duality for sphere bundles_, Annals of K-Theory, Vol. 5 (2020), No. 1, 1–42 ([arXiv:1601.06285](http://arxiv.org/abs/1601.06285), [doi:doi:10.2140/akt.2020.5.1](https://msp.org/akt/2020/5-1/p01.xhtml))

On the [[Dennis trace]] on [[algebraic K-theory]] and relating to [[bicategorical trace]]:

* {#CLMPZ20} [[Jonathan Campbell]], [[John Lind]], [[Cary Malkiewich]], [[Kate Ponto]], [[Inna Zakharevich]], _K-theory of endomorphisms, the TR-trace, and zeta functions_ [[arXiv:2005.04334](https://arxiv.org/abs/2005.04334)]

## Related entries

* [[spherical T-duality]]

category: people


John Lott

* [website](http://math.berkeley.edu/~lott/papers.html)

## Selected writings

On [[differential K-theory]]:

* [[John Lott]], *$\mathbf{R}/\mathbf{Z}$ Index theory*, Communications in Analysis and Geometry **2** 2 (1994) 279-311 ([pdf](https://math.berkeley.edu/~lott/rztheory.pdf))

## Related $n$Lab entries

* [[fiber integration in differential K-theory]]

* [[torsion of a G-structure]]

* [[torsion constraints in supergravity]]

* [[Connes-Lott model]]

category: people


John Madore

## Selected writings

Introducing the [[fuzzy sphere]]:

* [[John Madore]], _The Fuzzy sphere_, Class. Quant. Grav. 9 (1992) 69-88 ([spire:314358](http://inspirehep.net/record/314358))

category: people


John McCleary

* [webopage](http://math.vassar.edu/bios/mccleary.html)

## Related entries

* [[spectral sequence]]

category: people


John McGreevy

* [Institute page](https://www.physics.ucy.ac.cy/phyucy/toumbas)

## Selected writings

Introducing the notion of [[giant gravitons]]:

* [[John McGreevy]], [[Leonard Susskind]], [[Nicolaos Toumbas]], _Invasion of the Giant Gravitons from Anti-de Sitter Space_, JHEP 0006:008, 2000 ([arXiv:hep-th/0003075](https://arxiv.org/abs/hep-th/0003075))

On [[AdS/CFT in condensed matter physics]]

* [[John McGreevy]], *Holographic duality with a view toward many-body physics*, Adv. High Energy Phys. 723105 (2010) ([arXiv:0909.0518](https://arxiv.org/abs/0909.0518))

On "generalized symmetries" in [[condensed matter physics]] and specifically in [[topological phases of matter]]

* [[John McGreevy]], *Generalized Symmetries in Condensed Matter*, Annual Review of Condensed Matter Physics **14** (2023) 57-82 [[arXiv:2204.03045](https://arxiv.org/abs/2204.03045), [doi:10.1146/annurev-conmatphys-040721-021029](https://doi.org/10.1146/annurev-conmatphys-040721-021029)]

category: people


John McKay

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_McKay_%28mathematician%29)

## Selected writings

* {#McKay80} [[John McKay]], _Graphs, singularities, and finite groups_ Proc. Symp. Pure Math. Vol. 37. No. 183. 1980

On [[exceptional structures]] ([[exceptional Lie algebras]] and [[sporadic finite simple groups]]) via [[del Pezzo surfaces]]:

* [[Yang-Hui He]], [[John McKay]], _Sporadic and Exceptional_ [[arXiv:1505.06742](https://arxiv.org/abs/1505.06742)]

On the [[Monster group]]

* [[Yang-Hui He]], [[John McKay]], _Kashiwa Lectures on "New Approaches to the Monster"_, ([arXiv:2106.01162](https://arxiv.org/abs/2106.01162))

## Related $n$Lab entries

* [[McKay correspondence]]

* [[McKay quiver]]

category: people


John Millson

* [webpage](http://www.math.umd.edu/~millson/)

## related $n$Lab entries

* [[zeta function of a Riemann surface]]

* [[eta invariant]]

category: people


John Milnor

* [website](http://www.math.sunysb.edu/~jack/)

* [Wikipedia entry](http://en.wikipedia.org/wiki/John_Milnor)

## Selected writings

See also the *Collected Works of John Milnor* [[gBooks](http://books.google.com/books?id=WyZeeEn8VFwC)]

On [[universal principal bundles]] via the *[[Milnor construction]]*:

* [[John Milnor]], *Construction of Universal Bundles I*, Ann. of Math. __63__ 2 (1956) 272-284 [[jstor:1969609](http://www.jstor.org/stable/1969609)]

* [[John Milnor]], _Construction of Universal Bundles II_, Ann. of Math. __63__ 3 (1956) 430-436 [[jstor:1970012](http://www.jstor.org/stable/1970012)]

On [[differential topology]]:

* {#Milnor64} [[John Milnor]], _Differential topology_, chapter 6 in T. L. Saaty (ed.) _Lectures On Modern Mathematic II_ 1964 ([[Milnor_DifferentialTopology.pdf:file]])

* [[John Milnor]], _Topology from the differential viewpoint_, Princeton University Press, 1997. ([ISBN:9780691048338](https://press.princeton.edu/books/paperback/9780691048338/topology-from-the-differentiable-viewpoint), [pdf](https://www.maths.ed.ac.uk/~v1ranick/papers/milnortop.pdf))

On [[exotic 7-spheres]]:

* {#Milnor1956} [[John Milnor]], _On manifolds homeomorphic to the 7-sphere_, Annals of Mathematics 64 (2): 399–405 (1956) ([pdf](https://www.maths.ed.ac.uk/~v1ranick/papers/exotic.pdf), [doi:10.1142/9789812836878_0001](https://doi.org/10.1142/9789812836878_0001))

On [[Hopf algebras]]:

* {#MilnorMoore65} [[John Milnor]], [[John Moore]], _On the structure of Hopf algebras_, Annals of Math. __81__ (1965), 211-264 ([doi:10.2307/1970615](https://doi.org/10.2307/1970615), [pdf](http://www.uio.no/studier/emner/matnat/math/MAT9580/v12/undervisningsmateriale/milnor-moore-ann-math-1965.pdf))

On the [[cobordism ring]]:

* {#Milnor60} [[John Milnor]], _On the cobordism ring $\Omega^\bullet$ and a complex analogue_, Amer. J. Math. 82 (1960), 505–521 ([jstor:2372970](https://www.jstor.org/stable/2372970))

On [[Whitehead torsion]] and classification of [[lens spaces]]:

* {#Milnor66} [[John Milnor]], *Whitehead torsion*, Bull. Amer. Math. Soc. **72** (1966) 358–426 [[doi:10:1090/S0002-9904-1966-11484-2](https://www.ams.org/journals/bull/1966-72-03/S0002-9904-1966-11484-2), [maths.ed.ac.uk](https://web.archive.org/web/20160529051526/http://www.maths.ed.ac.uk/~s1122173/surgerygroup12/milnorwh.pdf), [jstor:bams/1183527946](https://projecteuclid.org/journals/bulletin-of-the-american-mathematical-society-new-series/volume-72/issue-3/Whitehead-torsion/bams/1183527946.full)]

On [[bilinear forms]]:

* [[John Milnor]], [[Dale Husemöller]], *Symmetric Bilinear Forms*,  Ergebnisse der Mathematik und ihrer Grenzgebiete **73**, Springer (1973) [[doi:10.1007/978-3-642-88330-9](https://doi.org/10.1007/978-3-642-88330-9)]

On [[characteristic classes]]:

* [[John Milnor]], [[Jim Stasheff]], _Characteristic classes_, Princeton Univ. Press (1974) ([ISBN:9780691081229](https://press.princeton.edu/books/paperback/9780691081229/characteristic-classes-am-76-volume-76), [doi:10.1515/9781400881826](https://doi.org/10.1515/9781400881826), [pdf](https://www.maths.ed.ac.uk/~v1ranick/papers/milnstas.pdf))

On [[invariant Riemannian metrics]] on ([[compact Lie group|compact]]) [[Lie groups]]:

* {#Milnor76} [[John Milnor]], _Curvatures of left invariant metrics on Lie groups_, Advances in Mathematics, Volume 21, Issue 3, September 1976, Pages 293-329 (doi:10.1016/S0001-8708(76)80002-3)

## Related entries

* [[Pontrjagin ring]]

[[!redirects John W. Milnor]]
[[!redirects J. Milnor]]
[[!redirects Milnor]]

category: people


John Moffat

* [webpage](https://www.dur.ac.uk/research/directory/staff/?id=11814)

## related $n$Lab entries

* [[inhomogeneous cosmology]]

category: people


John Moore

John C. Moore

* [wikipedia entry](http://en.wikipedia.org/wiki/John_Coleman_Moore)

## Selected writings

On [[twisting functions]] and ([[semisimplicial set|semi]]-)[[simplicial fiber bundles]]:

* [[Michael G. Barratt]], [[Victor K.A.M. Gugenheim]], [[John C. Moore]], _On semisimplicial fibre-bundles_, Amer. J. Math. __81__ (1959) 639-657 [[doi:10.2307/2372920](https://doi.org/10.2307/2372920), [jstor:2372920](https://www.jstor.org/stable/2372920), MR0111028]

On [[Hopf algebras]]:

* {#MilnorMoore65} [[John Milnor]], [[John Moore]], _On the structure of Hopf algebras_, Annals of Math. __81__ (1965), 211-264 ([doi:10.2307/1970615](https://doi.org/10.2307/1970615), [pdf](http://www.uio.no/studier/emner/matnat/math/MAT9580/v12/undervisningsmateriale/milnor-moore-ann-math-1965.pdf))

On [[homology of loop spaces]]:

* [[Samuel Eilenberg]], [[John Moore]], _Homology and fibrations_, Comment. Math. Helv., 40 (1966), pp. 199-236 ([pdf](https://www.maths.ed.ac.uk/~v1ranick/papers/eilemoor.pdf))

The idea of generalizing the notion of [[compactly generated topological spaces]] to [[weakly Hausdorff compactly generated topological spaces]] is attibuted to John Moore in

* [[Michael C. McCord]], Section 2 of: *Classifying Spaces and Infinite Symmetric Products*, Transactions of the American Mathematical Society, Vol. 146 (Dec., 1969), pp. 273-298  ([jstor:1995173](https://www.jstor.org/stable/1995173), [pdf](https://www.ams.org/journals/tran/1969-146-00/S0002-9947-1969-0251719-4/S0002-9947-1969-0251719-4.pdf))

The original reference for the [[Eilenberg-Moore category]] of a monad:

* [[Samuel Eilenberg]], [[John Moore]], _Adjoint functors and triples_, Illinois J. Math. 9 (3), pp. 381 - 398, September 1965. ([doi:10.1215/ijm/1256068141](https://doi.org/10.1215/ijm/1256068141))

## Related entries

* [[Moore complex]]

* [[compactly generated topological spaces]]

* [[Pontrjagin product]]

category: people

[[!redirects John Coleman Moore]]
[[!redirects John C. Moore]]
[[!redirects J. C. Moore]]


John Morgan

* [Wikipedia entry](http://de.wikipedia.org/wiki/John_Morgan_%28Mathematiker%29)

## Selected writings

On [[rational homotopy theory]] of [[Kähler manifolds]] the statement that _[[the co-binary Sullivan differential is the dual Whitehead product]]_:

* {#DeligneGriffithsMorganSullivan75} [[Pierre Deligne]], [[Phillip Griffiths]], [[John Morgan]], [[Dennis Sullivan]], _Real homotopy theory of Kähler manifolds_, Invent Math (1975) 29: 245 ([doi:10.1007/BF01389853](https://doi.org/10.1007/BF01389853))

On [[complex surfaces]] and their [[elliptic fibrations]]:

* {#FriedmanMorgan94} [[Robert Friedman]], [[John Morgan]], _Smooth Four-Manifolds and Complex Surfaces_, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge / A Series of Modern Surveys in Mathematics (1994) ([doi:10.1007/978-3-662-03028-8](https://www.springer.com/gp/book/9783540570585))

On [[string theory]] [[perturbative string theory vacuum|vacua]] [[KK-compactification|compactified]] on [[orbifolds]] and [[orientifolds]]:

* {#BDHKMMS01} [[Jan de Boer]], [[Robbert Dijkgraaf]], [[Kentaro Hori]], [[Arjan Keurentjes]], [[John Morgan]], [[David Morrison]], [[Savdeep Sethi]], section 3 of _Triples, Fluxes, and Strings_, Adv.Theor.Math.Phys. 4 (2002) 995-1186 ([arXiv:hep-th/0103170](https://arxiv.org/abs/hep-th/0103170))

On [[rational homotopy theory]]:

* {#GriffithMorgan13} [[Phillip Griffiths]], [[John Morgan]], _Rational Homotopy Theory and Differential Forms_,  Progress in Mathematics Volume 16, Birkhauser (2013)

On [[quantum field theory]] and [[string theory]]:

* [[Pierre Deligne]], [[Pavel Etingof]], [[Dan Freed]], L. Jeffrey, [[David Kazhdan]], [[John Morgan]], [[David Morrison]] and [[Edward Witten]], eds.

  _[[Quantum Fields and Strings]], A course for mathematicians_, 2 vols. Amer. Math. Soc. Providence 1999. ([web version](http://www.math.ias.edu/qft))

## Related $n$Lab entries

* [[Whitehead product]],

* [[the co-binary Sullivan differential is the dual Whitehead product]]

category: people


John Myhill

* [Wikipedia entry](http://en.wikipedia.org/wiki/John_Myhill)

## related $n$Lab entries

* [[constructive set theory]]
* [[Schanuel topos]]

category: people


John Norman Mather

> Not to be confused with [[Michael R. Mather]].

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_N._Mather)

* [MathematicsGenealogy entry](https://www.mathgenealogy.org/id.php?id=22445)

John Norman Mather was a mathematician at Princeton University.
He got his PhD degree from Princeton University in 1967, advised by [[John Milnor]].

## Selected writings

Introducing [[Mather's stability theorem]]:

* {#Mather68} [[John N. Mather]], _Stability of $C^\infty$ mappings: I.  The division theorem_,  Annals of Mathematics **87** 1 (1968) 89  $[$[doi:10.2307/1970595](http://dx.doi.org/10.2307/1970595)$]$

* {#Mather69} [[John N. Mather]], _Stability of $C^\infty$ Mappings: II. Infinitesimal Stability Implies Stability_, Annals of Mathematics **89** 2 (1969) 254  $[$[doi:10.2307/1970668](http://dx.doi.org/10.2307/1970668)$]$

* {#Mather70} [[John N. Mather]], *Stability of $C^\infty$ mappings: V. Transversality*, Advances in Mathematics **4** 3 (1970) 301-336 (doi:10.1016/0001-8708(70)90028-9)

## Related entries

* [[Mather's stability theorem]]

[[!redirects John N. Mather]]
[[!redirects J. N. Mather]]
[[!redirects John Mather]]
[[!redirects J. Mather]]

category: people


John Oprea

* [webpage](https://academic.csuohio.edu/oprea_j/)

## Selected writings

On [[rational homotopy theory]]:

* [[Yves Félix]], [[John Oprea]], [[Daniel Tanré]], _Algebraic models in geometry_, Oxford University Press 2008 ([pdf](https://www.maths.ed.ac.uk/~v1ranick/papers/tanre.pdf), [ISBN:9780199206520](https://global.oup.com/academic/product/algebraic-models-in-geometry-9780199206520))

category: people


John Palmieri

* [webpage](http://www.math.washington.edu/~palmieri/)

## Selected writings

On [[stable homotopy theory]]:

* [[Mark Hovey]], [[John Palmieri]], [[Neil Strickland]],  *Axiomatic stable homotopy theory*, Memoirs Amer. Math. Soc. **610** (1997) [[ISBN:978-1-4704-0195-5](https://bookstore.ams.org/memo-128-610), [pdf](http://www.math.rochester.edu/people/faculty/doug/otherpapers/axiomatic.pdf)]

## Related entries

* [[model structure on chain complexes]]

category: people


John Peacock

* [webpage](http://www.roe.ac.uk/~jap/)

## Selected writings

On [[cosmology]]:

* [[John Peacock]], _Cosmological Physics_, Cambridge University Press (1998, 2012) [[doi:10.1017/CBO9780511804533](https://doi.org/10.1017/CBO9780511804533), [book webpage](http://www.roe.ac.uk/~jap/book.html)]

## Related pages

* [[cosmology]]

* [[Fourier transform]]

category: people


John Polkinghorne

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Polkinghorne)

## related $n$Lab entries

* [[S-matrix]]

category: people


John Power

A. John Power is a Theoretical Computer Scientist working at the University of Bath, England.

* [Google Scholar page](https://scholar.google.com/citations?user=aOCekqQAAAAJ&hl=en)

## Selected writings

On [[coherence theorems]] in [[category theory]] and [[bicategory]] theory:

* [[A. J. Power]],  _A general coherence result_, J. Pure Appl. Algebra 57 (1989), no. 2, 165–173. [doi:10.1016/0022-4049(89)90113-8](http://dx.doi.org/10.1016/0022-4049%2889%2990113-8) [MR0985657](http://www.ams.org/mathscinet-getitem?mr=985657)

On [[PIE-limits]]:

* [[John Power]], [[Edmund Robinson]], *A characterization of pie limits*, Math. Proc. Cam. Phil. Soc.  **110** (1991) 33 [[doi:10.1017/S0305004100070092](https://doi.org/10.1017/S0305004100070092)]

On [[coherence theorems]] for [[tricategories]]:

* [[Robert Gordon]], [[A. John Power]], [[Ross Street]], _Coherence for tricategories_, Mem. Amer. Math Soc. 117 (1995) no 558 ([ISBN:978-1-4704-0137-5](https://bookstore.ams.org/memo-117-558))

On [[monads in computer science]], such as the (local) [[state monad]]:

* {#PlotkinPower02} [[Gordon Plotkin]], [[John Power]], Section 3 of: *Notions of computation determine monads* In: M. Nielsen, U. Engberg, (eds.) FOSSACS 2002. LNCS, Lecture Notes in Computer Science **2303** 342-356 Springer (2002) [[doi:10.1007/3-540-45931-6_24p](https://doi.org/10.1007/3-540-45931-6_24)]

On [[bireflective subcategories]] with [[ambidextrous adjoints]]:

* {#FOPTST99} [[Peter Freyd]], [[Peter O’Hearn]],  [[A. John Power]], [[M. Takeyama]], [[Ross Street]], [[Robert D. Tennent]], *Bireflectivity*, Theoretical Computer Science **228** 1–2 (1999) 49-76 [doi:10.1016/S0304-3975(98)00354-5]

On [[distributive laws]] between [[monads]] and [[comonads]]:

* {#PowerWatanabe99} [[John Power]], [[Hiroshi Watanabe]], *Distributivity for a monad and a comonad*, Electronic Notes in Theoretical Computer Science **19** (1999) 102 [doi:10.1016/S1571-0661(05)80271-3, [[PowerWatanabe-Distributivity.pdf:file]]]

* {#PowerWatanabe02} [[John Power]], [[Hiroshi Watanabe]], *Combining a monad and a comonad*, Theoretical Computer Science **280** 1–2 (2002) 137-162 [doi:10.1016/S0304-3975(01)00024-X]

On the history of [[categorical algebra|categorical]] [[universal algebra]] via [[Lawvere theories]] and [[monads]]:

* [[Martin Hyland]], [[John Power]], *The Category Theoretic Understanding of Universal Algebra: Lawvere Theories and Monads*, Electronic Notes in Theor. Comp. Sci. **172** (2007) 437-458 [[doi:10.1016/j.entcs.2007.02.019](https://doi.org/10.1016/j.entcs.2007.02.019), [preprint](https://www.dpmms.cam.ac.uk/~martin/Research/Publications/2007/hp07.pdf)]

category: people

[[!redirects A. John Power]]
[[!redirects A. J. Power]]
[[!redirects A.J. Power]]


John Preskill

* [webpage](http://www.theory.caltech.edu/~preskill/)

* [Wikipedia entry](http://en.wikipedia.org/wiki/John_Preskill)

## Selected writings

On [[magnetic monopoles]]:

* [[John Preskill]], *Magnetic Monopoles*, Ann. Rev. Nucl. Part. Sci. **34** (1984) 461-530 [[doi:10.1146/annurev.ns.34.120184.002333](https://doi.org/10.1146/annurev.ns.34.120184.002333)]

On [[vortex]]$\;$[[anyons]]:

* [[Hoi-Kwong Lo]], [[John Preskill]], *Non-Abelian vortices and non-Abelian statistics*, Phys. Rev. D **48** (1993) 4821 [[doi:10.1103/PhysRevD.48.4821](https://doi.org/10.1103/PhysRevD.48.4821)]

On [[topological quantum computation]]:

* R. Walter Ogburn, [[John Preskill]], *Topological Quantum Computation*, in: *Quantum Computing and Quantum Communications*, Lecture Notes in Computer Science **1509**, Springer (1998) [[doi:10.1007/3-540-49208-9_31](https://doi.org/10.1007/3-540-49208-9_31)]

On [[quantum error correction]] for fault-tolerant/reliable [[quantum computation]]:

* [[John Preskill]], *Fault-tolerant quantum computation*, in: *Introduction to Quantum Computation and Information*, World Scientific (1998) [[arXiv:quant-ph/9712048](https://arxiv.org/abs/quant-ph/9712048), [doi:10.1142/3724](https://doi.org/10.1142/3724)]

* [[John Preskill]], *Reliable Quantum Computers*, Proc. Roy. Soc. Lond. A454 (1998) 385-410 $[$[arXiv:quant-ph/9705031](https://arxiv.org/abs/quant-ph/9705031), [doi:10.1098/rspa.1998.0167](https://doi.org/10.1098/rspa.1998.0167)$]$

* Panos Aliferis, [[Daniel Gottesman]], [[John Preskill]], *Quantum accuracy threshold for concatenated distance-3 codes*, Quant. Inf. Comput. 6 (2006) 97-165 ([arXiv:quant-ph/0504218](https://arxiv.org/abs/quant-ph/0504218))

and via [[adiabatic quantum computation]]:

* [[Andrew Childs]], [[Edward Farhi]], [[John Preskill]], *Robustness of adiabatic quantum computation*, Phys.Rev. A **65** (2002) 012322 [[arXiv:quant-ph/0108048](https://arxiv.org/abs/quant-ph/0108048), [doi:10.1103/PhysRevA.65.012322](https://doi.org/10.1103/PhysRevA.65.012322)]

On [[entanglement entropy]] as an indicator of [[topological phases of matter]]:

* [[Alexei Kitaev]], [[John Preskill]], *Topological entanglement entropy*, Phys. Rev. Lett. 96 (2006) 110404 ([arXiv:hep-th/0510092](https://arxiv.org/abs/hep-th/0510092))

On [[quantum computation]]:

* [[John Preskill]], *Quantum Computation*, lecture notes ([web](http://theory.caltech.edu/~preskill/ph229/))

  * On [[quantum circuits]]:

    *Classical and quantum circuits* ([pdf](http://theory.caltech.edu/~preskill/ph219/chap5_13.pdf))

Introducing the [[HaPPY code]] [[tensor network]] for discussion of [[holographic entanglement entropy]] and [[quantum error correction]]:

* {#PYHP15} [[Fernando Pastawski]], [[Beni Yoshida]], [[Daniel Harlow]], [[John Preskill]], _Holographic quantum error-correcting codes: Toy models for the bulk/boundary correspondence_, JHEP 06 (2015) 149 ([arXiv:1503.06237](https://arxiv.org/abs/1503.06237))

Exposition:

* [[John Preskill]], *Is spacetime a quantum error-correcting code?*, talk at KITP 2015 ([pdf](http://theory.caltech.edu/~preskill/talks/Preskill-KITP-holographic-2015.pdf), [[Preskill_SpacetimeQEC.pdf:file]])

Highlighting the role of [[quantum entanglement]] in [[quantum computation]] and [[quantum supremacy]] (and introducing that term):

* [[John Preskill]]: *Quantum computing and the entanglement frontier*: pp. 63-80 in: *The Theory of the Quantum World -- Proceedings of the 25th Solvay Conference on Physics*, World Scientific (2013) [[arXiv:1203.5813](https://arxiv.org/abs/1203.5813), [doi:10.1142/8674](https://doi.org/10.1142/8674), slides: [pdf](https://simons.berkeley.edu/sites/default/files/docs/394/preskilljohn.pdf)]

More on [[quantum error correcting codes]] via [[holographic tensor networks]]:

* [[Fernando Pastawski]], [[John Preskill]], *Code properties from holographic geometries*, Phys. Rev. X 7, 021022 (2017) ([arXiv:1612.00017](https://arxiv.org/abs/1612.00017))

On [[noisy intermediate-scale quantum computing]]:

* [[John Preskill]], *Quantum Computing in the NISQ era and beyond*, Quantum  2018-08-06, volume 2, page 79 ([arXiv:1801.00862](https://arxiv.org/abs/1801.00862), [doi:10.22331/q-2018-08-06-79](https://doi.org/10.22331/q-2018-08-06-79))

On [[quantum simulation]] of ([[lattice QFT|lattice]]) [[quantum field theory]]:

* [[John Preskill]], *Simulating quantum field theory with a quantum computer*, 36th Annual International Symposium on Lattice Field Theory, PoS **334** (2019) [[doi:10.22323/1.334.0024](https://doi.org/10.22323/1.334.0024),
[arXiv:1811.10085](https://arxiv.org/abs/1811.10085)]

On the state of [[quantum information]] and [[quantum computation]]:

* [[John Preskill]], *The Physics of Quantum Information*, talk at
*The Physics of Quantum Information*, 28th Solvay Conference on Physics (2022) [[arXiv:2208.08064](https://arxiv.org/abs/2208.08064)[

## Quotes
 {#Quotes}

[[Christopher Fuchs]] recounts (in an email from Dec. 1997, reproduced on [p. 292](https://arxiv.org/pdf/1405.2390.pdf#page=350) of "*[My Struggles with the Block Universe](Christopher+Fuchs#FuchsSchlosshauerStacey14)"*, 2014):

> a little anecdote about [[John Wheeler]] that I heard from [[John Preskill]] a few days ago. In 1972 he had Wheeler for his freshman classical mechanics course at Princeton.

> One day Wheeler had each student write all the equations of physics s/he knew on a single sheet of paper. He gathered the papers up and placed them all side-by-side on the stage at the front of the classroom. Finally, he looked out at the students and said,

>> “These pages likely contain all the fundamental equations we know of physics. They encapsulate all that’s known of the world.”

> Then he looked at the papers and said,

>> “Now fly!”

> Nothing happened. He looked out at the audience, then at the papers, raised his hands high, and commanded,

>> “Fly!”

> Everyone was silent, thinking this guy had gone off his rocker. Wheeler said,

>> “You see, these equations can’t fly. But our universe flies. We’re still missing the single, simple ingredient that makes it all fly.”

On this point, in the video documentary

* Timothy Ferris, *Creation of the Universe* (1985) [[imdb:tt0204224](https://www.imdb.com/title/tt0204224)]

[[John Wheeler]] appears (cf. [[Blake Stacey]], [Jan 2016](https://www.sunclipse.org/?m=201601)) saying:

> There’s nothing deader than an equation. You write that down in a square on a tile floor. And on another tile on the floor you write down another equation, which you think might be a better description of the Universe. And you keep on writing down equations hoping to get a better and better equation for what the Universe is and does.

> And then, when you’ve worked your way out to the end of the room and have to step out, you wave your wand and tell the equations to fly.

> And not one of them will put on wings and fly.

> Yet the Universe flies!

> It has a life to it that no equation has, and that life to it is a life with which we are also tied up.

[[John Preskill]] re-enacting the episode at the conference banquet of *[It from QBit 2023](https://events.perimeterinstitute.ca/event/43/)*:

\linebreak

category: people


John R. Ringrose

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Robert_Ringrose)

## Selected writings

On [[operator algebra]]:

* [[Richard V. Kadison]], [[John R. Ringrose]], _Fundamentals of the theory of operator algebras_,

  * Vol I *Elementary Theory*, Graduate Studies in Mathematics **15**, AMS 1997 ([ISBN:978-0-8218-0819-1](https://bookstore.ams.org/gsm-15), [ZMATH] (http://www.zentralblatt-math.org/zmath/en/advanced/?q=an:0888.46039&format=complete))

  * Vol II *Advanced Theory*, Graduate Studies in Mathematics **16**, AMS 1997 ([ISBN:978-0-8218-0820-7](https://bookstore.ams.org/gsm-16))

  * Vol III, *Special Topics, Elementary Theory -- An Exercise Approach*, Springer 1991 ([doi:10.1007/978-1-4612-3212-4](https://link.springer.com/book/10.1007/978-1-4612-3212-4), )

category: people

[[!redirects John Ringrose]]


John Ratcliffe

* [webpage](https://as.vanderbilt.edu/math/bio/?who=john-ratcliffe)

## Selected writings

On [[hyperbolic manifolds]]:

* {#Ratcliffe06} [[John Ratcliffe]], _Foundations of Hyperbolic Manifolds_, Graduate Texts in Mathematics 149, Springer 2006 ([doi:10.1007/978-0-387-47322-2](https://doi.org/10.1007/978-0-387-47322-2), pdf)

On [[flat orbifolds]]:

* [[John Ratcliffe]], Steven T. Tschantz, _The Calabi construction for compact flat orbifolds_, Topology and its Applications Volume 178, 1 December 2014, Pages 87-106 ([doi:10.1016/j.topol.2014.09.005](https://doi.org/10.1016/j.topol.2014.09.005))

## Related $n$Lab entries

* [[hyperbolic manifold]], [[hyperbolic geometry]]

* [[orbifold]],

  [[Riemannian orbifold]], [[flat orbifold]]

category: people


John Rawnsley

* [webpage](http://www2.warwick.ac.uk/fac/sci/maths/people/staff/john_rawnsley/)

## Selected writings

On the [[metaplectic group]] and [[geometric prequantization]]:

* {#RobinsonRawnsley89} P. L. Robinson, [[John Rawnsley]], _The metaplectic representation, $Mp^c$-structures and geometric quantization_, 1989 ([doi:10.1090/memo/0410](http://dx.doi.org/10.1090/memo/0410))

## Related $n$Lab entries

* [[metaplectic group]]

category: people


John Rizos

* [GoogleScholar page](https://scholar.google.com/citations?user=7TJ7ZnAAAAAJ&hl=en)

* [InSpire page](https://inspirehep.net/authors/991609?ui-citation-summary=true)

## Selected writings

On quasi-realistic "flipped" [[SU(5)|$SU(5)$]]-[[GUT]],  modeled in 4d [[heterotic string theory]] and subsuming realistic [[Starobinsky model of cosmic inflation|Starobinsky-type cosmic inflation]]:

* {#AntoniadisNanopoulosRizos21a} [[Ignatios Antoniadis]], [[Dimitri Nanopoulos]], [[John Rizos]], *Cosmology of the string derived flipped $SU(5)$*, J. Cosm. Astrop. Phys **03** (2021) 017 [[arXiv:2011.09396](https://arxiv.org/abs/2011.09396), [doi:10.1088/1475-7516/2021/03/017](https://doi.org/10.1088/1475-7516/2021/03/017)]

* {#AntoniadisNanopoulosRizos21a} [[Ignatios Antoniadis]], [[Dimitri Nanopoulos]], [[John Rizos]], *Particle physics and cosmology of the string derived no-scale flipped $SU(5)$*,  Eur. Phys. J. C **82** (2022) 377  [[arXiv:2112.01211](https://arxiv.org/abs/2112.01211), [doi:10.1140/epjc/s10052-022-10353-6](https://doi.org/10.1140/epjc/s10052-022-10353-6)]

category: people


John Robert Schrieffer

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Robert_Schrieffer)

* [Nature obituary](https://www.nature.com/articles/d41586-019-03015-3)

## Selected writings

On [[anyon statistics|anyon phases]] (specifically in the [[quantum Hall effect]]) as [[Berry phases]] of a [[quantum adiabatic theorem|adiabatic]] transport of anyon positions:

* {#AvrosSchriefferWilczek84} [[Daniel P. Arovas]], [[John Robert Schrieffer]], [[Frank Wilczek]], _Fractional Statistics and the Quantum Hall Effect_, Phys. Rev. Lett. 53, 722 (1984) $[$[doi:10.1103/PhysRevLett.53.722](https://doi.org/10.1103/PhysRevLett.53.722)$]$

The model of [[anyon statistics]] as an [[Aharonov-Bohm effect]] of a "[[fictitious gauge field]]" sourced by and coupled to each anyon:

* {#ArovasScriefferWilczekZee85} [[Daniel P. Arovas]], [[John Robert Schrieffer]], [[Frank Wilczek]], [[Anthony Zee]], *Statistical mechanics of anyons*, Nuclear Physics B **251** (1985) 117-126 (reprinted in [Wilczek 1990, p. 173-182](Frank+Wilczek#Wilczek90)) $[$doi:10.1016/0550-3213(85)90252-4$]$

category: people

[[!redirects J. Robert Schrieffer]]
[[!redirects Robert Schrieffer]]
[[!redirects John R. Schrieffer]]
[[!redirects J. R. Schrieffer]]


John Roe

* [webpage](http://www.math.psu.edu/roe/)

## Related entries

* [[operator K-theory]]

* [[Atiyah-Singer index theorem]]

category: people


John Rognes

* [webpage](http://folk.uio.no/rognes/home.html)

## Selected writings

On [[iterated algebraic K-theory]] and the [[red-shift conjecture]]:

* {#Rognes99} [[John Rognes]], _Algebraic K-theory of finitely presented ring spectra_, lecture at Schloss Ringberg, Germany, January 1999 ([pdf](https://www.mn.uio.no/math/personer/vit/rognes/papers/red-shift.pdf), [[Rognes_AlgebraicKTheoryOfRingSpectra.pdf:file]])

* {#Rognes00} [[John Rognes]], _Algebraic K-theory of finitely presented ring spectra_, Oberwolfach talk September 2000 (OWF abstract [[Rognes_AlgebraicKTheoryOfRingSpectra_OWF.pdf:file]])

* [[Christian Ausoni]], [[John Rognes]], _The chromatic red-shift in algebraic K-theory_, Enseign. Math. (2) 54 (2008), 9-11. ([pdf](http://www.math.univ-paris13.fr/~ausoni/papers/gmconj-AR.pdf), [[AusoniRognesRedShiftInAlgebraicKTheory.pdf:file]], [doi:10.5169/seals-109873](http://doi.org/10.5169/seals-109873))

On the [[topological Hochschild homology]] of [[topological modular forms]]:

* [[Robert Bruner]], [[John Rognes]], *Topological Hochschild homology of topological modular forms*, talk at *Nordic Topology Meeting* NTNU (2008) [[[Bruner-Rognes_THHtmf.pdf:file]]]

On the first [[algebraic K-theory]] $K(ku)$ of [[topological K-theory]] ([[iterated algebraic K-theory]]):

* [[Christian Ausoni]], [[John Rognes]], _Algebraic K-theory of topological K-theory_, Acta Math. Volume 188, Number 1 (2002), 1-39 ([euclid:acta/1485891473](https://projecteuclid.org/euclid.acta/1485891473))

* [[Christian Ausoni]], [[John Rognes]], _Rational algebraic K-theory of topological K-theory_, Geom. Topol. 16 (2012) 2037-2065 ([arXiv:0708.2160](https://arxiv.org/abs/0708.2160), [doi:10.2140/gt.2012.16.2037](http://dx.doi.org/10.2140/gt.2012.16.2037))

Interpretation of [[algebraic K-theory]] of [[topological K-theory]] ([[iterated algebraic K-theory]]) as the [[K-theory]] of [[BDR 2-vector bundles]]:

* [[Nils Baas]], [[Bjørn Ian Dundas]], [[John Rognes]], _Two-vector bundles and forms of elliptic cohomology_, London Math. Soc. Lecture Note Ser., 308, Cambridge Univ. Press, Cambridge, 2004 ([arXiv:0909.1742](https://arxiv.org/abs/0909.1742), [doi:10.1017/CBO9780511526398.005](https://doi.org/10.1017/CBO9780511526398.005))

* [[Nils Baas]], [[Bjørn Ian Dundas]], [[Birgit Richter]], [[John Rognes]], _Stable bundles over rig categories_, Journal of Topology, Volume 4, Issue 3, September 2011, Pages 623–640 ([doi:10.1112/jtopol/jtr016](https://doi.org/10.1112/jtopol/jtr016))

Divisibility of a [[gerbe]] on the [[3-sphere]] seen as a [[BDR 2-vector bundle]] is in

* [[Christian Ausoni]], [[Bjørn Ian Dundas]] and [[John Rognes]],  _Divisibility of the Dirac magnetic monopole as a two-vector bundle over the three-sphere_, Doc. Math. 13, 795-801 (2008). ([pdf](http://www.math.univ-paris13.fr/~ausoni/papers/ADR08.pdf))

## Related entries

* [[red-shift conjecture]]

* [[iterated algebraic K-theory]]

category: people


John S. Hagelin

* [inspire page](https://inspirehep.net/authors/1007031?ui-citation-summary=true)

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Hagelin)

## Selected writings

On quasi-[[phenomenology|realistic]] "flipped" [[SU(5)|$SU(5)$]]-[[GUT]],  modeled in 4d [[heterotic string theory]] and subsuming realistic [[Starobinsky model of cosmic inflation|Starobinsky-type cosmic inflation]]:

* [[Ignatios Antoniadis]], [[John Ellis]], [[John S. Hagelin]], [[Dimitri Nanopoulos]], *The flipped $SU(5) \times U(1)$ string model revamped*, Physics Letters B **231** 1–2 (1989) 65-74 [doi:10.1016/0370-2693(89)90115-9]

category: people

[[!redirects John Hagelin]]


John Schwarz

Co-founder of [[string theory]].

* [Wikipedia entry](http://en.wikipedia.org/wiki/John_Henry_Schwarz)

* [Interview by D. Zierler](https://www.aip.org/history-programs/niels-bohr-library/oral-histories/45439), AIP Oral History Interviews, July 2020

## Selected writings

On the [[NSR superstring]]:

* [[André Neveu]], [[John Schwarz]], _Factorizable dual model of pions_, Nucl. Phys. B31, 86 (1971) (doi:10.1016/0550-3213(71)90448-2)

On the [[Scherk-Schwarz mechanism]]:

* {#ScherkSchwarz79} [[Joël Scherk]], [[John Schwarz]], _Spontaneous breaking of supersymmetry through dimensional reduction_, Physics Letters B Volume 82, Issue 1, 12 March 1979, Pages 60-64 (doi:10.1016/0370-2693(79)90425-8)

* {#ScherkSchwarz89} [[Joël Scherk]], [[John Schwarz]], _How to get masses from extra dimensions_, in: Supergravities in Diverse Dimensions, pp. 1282-1309 (1989)  ([doi:10.1142/9789814542340_0083](https://doi.org/10.1142/9789814542340_0083))

On the [[Green-Schwarz superstring]]:

* {#GreenSchwarz81} [[Michael Green]], [[John Schwarz]], _Supersymmetrical Dual String Theory_, Nucl. Phys. B 181 (1981) 502;

* {#GreenSchwarz82} [[Michael Green]], [[John Schwarz]], _Supersymmetrical Dual String Theory. 2. Vertices and Trees_, Nucl. Phys. B 198 (1982) 252.

* {#GreenSchwarz84} [[Michael Green]], [[John Schwarz]], _Covariant description of superstrings_, Phys. Lett. B136 (1984), 367–370 ([spire:193596](http://inspirehep.net/record/193596), arXiv;10.1016/0370-2693(84)92021-5)

* {#GreenSchwarz84b} [[Michael Green]], [[John Schwarz]], _Properties of the Covariant Formulation of Superstring Theories_, Nucl. Phys. B 243 (1984) 285 ([spire:196623](http://inspirehep.net/record/196623), doi:10.1016/0550-3213(84)90030-0)

On the [[Green-Schwarz mechanism]] of [[anomaly cancellation]] in [[heterotic string theory]]:

* [[Michael Green]], [[John Schwarz]], _Anomaly Cancellation in Supersymmetric $D=10$ Gauge Theory and Superstring Theory_, Phys. Lett. B 149 (1984) 117-122 ([spire:15583](https://inspirehep.net/literature/15583), doi:10.1016/0370-2693(84)91565-X)

On the [[Green-Schwarz mechanism]] and [[KK-compactification]] of [[heterotic supergravity]]/[[heterotic superstring]] to 6 dimensions (see also at [[D=6 N=(1,0) SCFT]]):

* [[Michael Green]], [[John Schwarz]], [[Pete West]], _Anomaly-free chiral theories in six dimensions_, Nuclear Physics B **254** (1985) Pages 327-348 (doi:10.1016/0550-3213(85)90222-6)

On [[anomaly cancellation]] in [[supergravity]]/[[string theory]]:

* [[John H. Schwarz]], *Anomaly Cancellation: A Retrospective From a Modern Perspective* (2001) [[doi:10.1142/9789812778185_0014](https://doi.org/10.1142/9789812778185_0014), [pdf](https://cds.cern.ch/record/508470/files/0107059.pdf)]

Review of the [[Green-Schwarz superstring]] on $Ads_5 \times S^5$ in light of the [[AdS/CFT correspondence]]:

* [[John Schwarz]], _The $AdS_5 \times S^5$ Superstring_ ([arXiv:2004.09661](https://arxiv.org/abs/2004.09661))

On the [[self-dual string]]:

* [[John Schwarz]], _Self-Dual Superstring in Six Dimensions_ ([arXiv:hep-th/9604171](https://arxiv.org/abs/hep-th/9604171))

On the [[Perry-Schwarz action]] for the [[Green-Schwarz sigma-model]] of the [[M5-brane]] with the [[self-dual higher gauge field]] after [[KK-compactification]] to 5d (and [[double dimensional reduction]] to the [[D4-brane]]):

* {#PerrySchwarz96} [[Malcolm Perry]], [[John Schwarz]], _Interacting Chiral Gauge Fields in Six Dimensions and Born-Infeld Theory_, Nucl. Phys. B489 (1997) 47-64 ([arXiv:hep-th/9611065](http://arxiv.org/abs/hep-th/9611065))

* {#Schwarz97} [[John Schwarz]], _Coupling a Self-Dual Tensor to Gravity in Six Dimensions_, Phys. Lett. B395:191-195, 1997 ([pdf](http://cds.cern.ch/record/317663/files/9701008.pdf), doi:10.1016/S0370-2693(97)00094-4)

* [[Mina Aganagic]], [[Jaemo Park]], Costin Popescu, [[John Schwarz]], _World-Volume Action of the M Theory Five-Brane_ ([arXiv:hep-th/9701166](http://arxiv.org/abs/hep-th/9701166))

On [[Green-Schwarz sigma-models]] for [[D-branes]]:

* {#APPS97b} [[Mina Aganagic]], [[Jaemo Park]], Costin Popescu, [[John Schwarz]], _Dual D-Brane Actions_, Nucl. Phys. B496 (1997) 215-230 ([arXiv:hep-th/9702133](https://arxiv.org/abs/hep-th/9702133))

Early review of [[M-theory]] and [[AdS/CFT duality]]:

* [[John Schwarz]], *Introduction to M Theory and AdS/CFT Duality*, in: *Quantum Aspects of Gauge Theories, Supersymmetry and Unification* Lecture Notes in Physics **525**, Springer (1999)  [[arXiv:hep-th/9812037](https://arxiv.org/abs/hep-th/9812037), [doi:10.1007/BFb0104239](https://doi.org/10.1007/BFb0104239)]

On [[type I' string theory]]:

* {#Schwarz00} [[John Schwarz]], _Some Properties of Type I' String Theory_, in: [[Mikhail Shifman]] (ed.), _[[The Many Faces of the Superworld]]_, pp. 388-397 (2000) ([arXiv:hep-th/9907061](https://arxiv.org/abs/hep-th/9907061), [doi:10.1142/9789812793850_0023](https://doi.org/10.1142/9789812793850_0023))

Review of [[dualities in string theory]]:

* [[John Schwarz]], _Lectures on Superstring and M Theory Dualities_, Nucl. Phys. Proc. Suppl. 55B:1-32, 1997 ([arXiv:hep-th/9607201](https://arxiv.org/abs/hep-th/9607201))

On the history of [[string theory]]:

* [[John Schwarz]], _The Early Years of String Theory: A Personal Perspective_ ([arXiv:0708.1917](http://arxiv.org/abs/0708.1917)), published as _Gravity, unification, and the superstring_, in Filippo Colomo, [[Paolo Di Vecchia]] (eds.) _The birth of string theory_, Cambridge University Press, (2011) ([doi:10.1017/CBO9780511977725.005](https://doi.org/10.1017/CBO9780511977725.005))

  (on the early history of [[string theory]] up to the "first superstring revolution", the construction of the [[Green-Schwarz anomaly cancellation|Green-Schwarz-anomaly]]-free $SO(32)$ [[type I string theory]] and [[heterotic string]])

* {#Schwarz96} [[John Schwarz]], _The Second Superstring Revolution_, Colloquium-level lecture presented at the Sakharov Conference (Moscow, May 1996), in: Proceedings of _COSMION 96: 2nd International Conference on Cosmo Particle Physics_ Dedicated to the 75th Anniversary of Andrei D. Sakharov. 1996. ([arXiv:hep-th/9607067](https://arxiv.org/abs/hep-th/9607067), [spire:969846](https://inspirehep.net/conferences/969846))

  (on the "second superstring revolution": the realization of [[D-branes]], [[dualities in string theory]] and [[M-theory]])

Textbook account of [[perturbative string theory]] and [[M-theory]]/[[F-theory]]:

* [[Katrin Becker]], [[Melanie Becker]], [[John Schwarz]], _String Theory and M-Theory: A Modern Introduction_, Cambridge University Press 2006 ([doi:10.1017/CBO9780511816086](https://doi.org/10.1017/CBO9780511816086))

## Related entries

* [[string theory]]

* [[spinning string]]

* [[Green-Schwarz superstring]]

* [[Green-Schwarz sigma-model]]

* [[Green-Schwarz mechanism]]

* [[Perry-Schwarz action]]

category: people

[[!redirects John H. Schwarz]]


John Slater > history

see *[[John C. Slater]]*


John Stallings

* [Wikipedia entry](http://en.wikipedia.org/wiki/John_R._Stallings)

* [website](http://math.berkeley.edu/~stall/)

category: people


John Stillwell

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_Stillwell)

## Selected writings

English translation of

* [[Henri Poincaré]],  *[[Analysis Situs]]*, Journal de l'École Polytechnique. (2). 1: 1–123 (original: [gallica:12148/bpt6k4337198/f7](https://gallica.bnf.fr/ark:/12148/bpt6k4337198/f7), Engl.: [pdf](https://www.maths.ed.ac.uk/~v1ranick/papers/poincare2009.pdf), [[Stillwell_AnalysisSitus.pdf:file]])

category: people


John Strathdee

## Selected writings

Introducing [[super Yang-Mills theory]]:

* [[Abdus Salam]], [[John Strathdee]], _Super-symmetry and non-Abelian gauges_, Physics Letters B Volume 51, Issue 4, 19 August 1974, Pages 353-355 (doi:10.1016/0370-2693(74)90226-3)

Introducing [[superspace]] and [[superfields]] for [[supersymmetry|supersymmetric]] [[quantum field theory]]:

* [[Abdus Salam]], [[John Strathdee]], _Supergauge Transformations_, Nucl.Phys. B76 (1974) 477-482 ([spire:89208](http://inspirehep.net/record/89208))

* [[Abdus Salam]], [[John Strathdee]], _Superfields and Fermi-Bose symmetry_, Physical Review D11, 1521-1535 (1975) ([doi:10.1142/9789812795915_0051](https://doi.org/10.1142/9789812795915_0051))

category: people


John T. Lewis

* [Wikipedia entry](https://en.wikipedia.org/wiki/John_T._Lewis)

## Selected writings

On [[twisted group algebras|twisted]] [[group algebras]]:

* C. M. Edwards, [[John T. Lewis]], *Twisted group algebras I*, Communications in Mathematical Physics **13** (1969) 119–130 [[doi:10.1007/BF01649871](https://doi.org/10.1007/BF01649871), [euclid:cmp/1103841535](https://projecteuclid.org/journals/communications-in-mathematical-physics/volume-13/issue-2/Twisted-group-algebras-I/cmp/1103841535.full)]

* C. M. Edwards, [[John T. Lewis]], *Twisted group algebras II*, Communications in Mathematical Physics **13** (1969) 131–141 [[doi:10.1007/BF01649872](https://doi.org/10.1007/BF01649872)]

On [[completely positive maps]] ([[quantum channels]]):

* [[David E. Evans]], [[John T. Lewis]],  *Dilations of irreversible evolutions in algebraic quantum theory*, Communications of the Dublin Institute for Advanced Studies, Series A: Theoretical Physics **24** (1977) [[eprint:34031](https://orca.cardiff.ac.uk/id/eprint/34031), [pdf](https://orca.cardiff.ac.uk/id/eprint/34031/1/Evans_Lewis_DIAS.pdf)]

category: people

[[!redirects John Lewis]]


John Tate

* [wikipedia entry](http://en.wikipedia.org/wiki/John_Tate_%28mathematician%29)

## Selected writings
 {#SelectedWritings}

Introducing the [[Artin-Tate lemma]]:

* {#ArtinTate51} [[Emil Artin]], [[John T. Tate]], *A note on finite ring extensions*, J. Math. Soc Japan, Volume **3** (1951) 74–77 $[$[doi:10.2969/jmsj/00310074](https://doi.org/10.2969/jmsj/00310074), [pdf](https://projecteuclid.org/journals/journal-of-the-mathematical-society-of-japan/volume-3/issue-1/A-Note-on-Finite-Ring-Extensions/10.2969/jmsj/00310074.pdf)$]$

On [[number theory]] in the context of [[automorphic forms]] and the [[Langlands correspondence]]:

* {#Tate77} [[John Tate]], *Number theoretic background*, in: *Automorphic forms, representations and L-functions*, Proc. Sympos. Pure Math., Oregon State Univ., Corvallis, Ore. (1977), Part 2, Proc. Sympos. Pure Math., XXXIII, pages 3–26. Amer. Math. Soc., Providence, RI ([ISBN:978-0-8218-3371-1](https://bookstore.ams.org/pspum-33-2), [pdf](http://www.math.ucsd.edu/~csorense/teaching/math205/Tate_Weil.pdf), [[TateNumberTheory.pdf:file]])

## Related nLab entries

* [[Iwasawa-Tate theory]]

* [[Tate K-theory]]

category: people

[[!redirects John T. Tate]]


John Terilla

* [webpage](http://qcpages.qc.cuny.edu/~jterilla/)

## Selected writings

On [[general topology|general]] [[topology]] with emphasis on tools from [[category theory]]:

* {#BradleyBrysonTerilla20} [[Tai-Danae Bradley]], [[Tyler Bryson]], [[John Terilla]], _Topology -- A categorical approach_, MIT Press 2020 ([ISBN:9780262539357](https://mitpress.mit.edu/books/topology), [web version](https://topology.pubpub.org/))

On [[topological subspaces]] and [[product topological spaces]]:

* {#Terilla14} [[John Terilla]],  _Notes on categories, the subspace topology and the product topology_ 2014 ([pdf](https://math.mit.edu/~jhirsh/terilla_subspace_quotient.pdf))

## Related $n$Lab entries

* [[topological subspace]]

category: people


John Terning

* [webpage](http://particle.physics.ucdavis.edu/john/)

## related $n$Lab entries

* [[supersymmetry]]

category: people


John Thorpe

* [Wikipedia entry](http://de.wikipedia.org/wiki/John_A._Thorpe)

## related $n$Lab entries

* [[parallelizable manifold]]

category: people


John Ullman

[website](http://jrullman.co.nf/)

category: people