• statements of the theorems are as follows. Quillen's Theorem A—If f : C → D {\displaystyle f:C\to D} is a functor such that the classifying space B ( d ↓ f )...
    3 KB (445 words) - 15:26, 6 July 2023
  • Thumbnail for Daniel Quillen
    College, Oxford. Quillen retired at the end of 2006. He died from complications of Alzheimer's disease on April 30, 2011, aged 70. Quillen's best known contribution...
    11 KB (939 words) - 00:14, 21 April 2025
  • K-theory for a general variety. The first definition of higher K-theory to be widely accepted was Daniel Quillen's. As part of Quillen's work on the Adams...
    77 KB (10,647 words) - 03:27, 4 May 2025
  • _{i}(B^{+}{\text{f-gen-Mod}}_{R})} , where B + = Ω B Q {\displaystyle B^{+}=\Omega BQ} is given by Quillen's Q-construction. If R is a regular ring (i.e., has finite...
    3 KB (413 words) - 21:05, 2 June 2025
  • This is a list of notable theorems. Lists of theorems and similar statements include: List of algebras List of algorithms List of axioms List of conjectures...
    78 KB (6,289 words) - 12:34, 6 June 2025
  • as a relation between the sphere spectrum and the classifying spaces of the symmetric groups via Quillen's plus construction. The mapping space Map 0...
    9 KB (1,434 words) - 04:35, 28 May 2025
  • Kan complexes and CW complexes being given by the geometric realization and the singular functor (Milnor's theorem). The Kan–Quillen model structure...
    6 KB (845 words) - 21:12, 28 April 2025
  • Mitchell's embedding theorem, also known as the Freyd–Mitchell theorem or the full embedding theorem, is a result about abelian categories; it essentially...
    5 KB (655 words) - 06:09, 31 August 2024
  • Thumbnail for Raoul Bott
    the index theorem, especially in formulating related fixed-point theorems, in particular the so-called 'Woods Hole fixed-point theorem', a combination...
    15 KB (1,380 words) - 17:27, 6 June 2025
  • spaces, and are the successive quotients of the terms of the Bott periodicity clock. These equivalences immediately yield the Bott periodicity theorems. The...
    13 KB (1,836 words) - 07:04, 8 April 2025
  • scheme X with action of a linear algebraic group G, via Quillen's Q-construction; thus, by definition, K i G ( X ) = π i ( B + Coh G ⁡ ( X ) ) . {\displaystyle...
    5 KB (786 words) - 07:58, 13 August 2023
  • rings over a field: this is the Quillen–Suslin theorem. Any free module is projective. The converse is true in the following cases: if R is a field or skew...
    23 KB (3,081 words) - 01:20, 19 May 2025
  • concerns a category with cofibrations and weak equivalences; such a category is called a Waldhausen category and generalizes Quillen's exact category. A cofibration...
    12 KB (1,664 words) - 13:39, 1 March 2025
  • Quotient of an abelian category (category Pages that use a deprecated format of the math tags)
    R} , and B {\displaystyle {\cal {B}}} is some localizing subcategory of Mod ⁡ ( R ) {\displaystyle \operatorname {Mod} (R)} . Daniel Quillen's algebraic...
    10 KB (1,640 words) - 14:30, 7 February 2025
  • In algebra, Quillen's Q-construction associates to an exact category (e.g., an abelian category) an algebraic K-theory. More precisely, given an exact...
    10 KB (2,126 words) - 02:26, 22 September 2023
  • new proofs and generalizations of the Atiyah-Singer index theorem. Among these generalizations are index theorems based on spectral triples and deformation...
    11 KB (1,544 words) - 14:31, 29 May 2024
  • that a functor is pro-representable if and only if it is left exact, under some mild conditions on the category C. The exact functors between Quillen's exact...
    13 KB (2,404 words) - 19:02, 4 March 2024
  • group scheme G. It is a theorem of Quillen that G ≅ Z [ b 1 , b 2 , … ] {\displaystyle G\cong \mathbb {Z} [b_{1},b_{2},\dots ]} and assigns to every ring...
    8 KB (1,392 words) - 06:57, 28 May 2025
  • with action of a linear algebraic group G {\displaystyle G} , via Quillen's Q-construction; thus, by definition, K i G ( X ) = π i ( B + Coh G ⁡ ( X )...
    27 KB (4,403 words) - 06:31, 11 May 2025
  • In mathematics, and especially differential geometry, the Quillen metric is a metric on the determinant line bundle of a family of operators. It was introduced...
    13 KB (2,063 words) - 13:52, 24 June 2023
  • (1969), Theorem 2.3.5; Sjödin (1980), Theorem 1. Quillen (1970), section 7. Avramov, Luchezar; Halperin, Stephen (1986), "Through the looking glass: a dictionary...
    13 KB (2,068 words) - 17:02, 2 March 2025
  • Thumbnail for Algebraic topology
    (Gives a broad view of higher-dimensional van Kampen theorems involving multiple groupoids). Brown, R.; Razak, A. (1984), "A van Kampen theorem for unions...
    19 KB (2,093 words) - 02:29, 23 April 2025
  • spaces of categories, and in particular by Quillen's work of algebraic K-theory. In this work, which earned him a Fields Medal, Quillen developed surprisingly...
    23 KB (3,384 words) - 09:16, 24 April 2025
  • f:x\to y} in a strict 2-category C and g : ab {\displaystyle g:a\to b} in D, the usual product is given as f × g : ( x , a ) → ( y , b ) {\displaystyle...
    4 KB (504 words) - 10:07, 27 May 2025
  • as of September 2022[update]. The conjecture terminology may persist: theorems often enough may still be referred to as conjectures, using the anachronistic...
    35 KB (1,461 words) - 02:21, 11 June 2025
  • _{p}{\text{CH}}^{p}(X,n)\otimes \mathbb {Q} } giving the relation to Quillen's higher algebraic K-theory. Note that the maps K n M ( F ) → K n ( F )...
    21 KB (3,847 words) - 21:01, 25 May 2025
  • seen from Matsumoto's theorem, in higher degrees it was computed by Quillen in conjunction with his work on the Adams conjecture. A different proof was...
    3 KB (409 words) - 01:20, 9 March 2025
  • Clark Barwick (category University of Pennsylvania School of Arts and Sciences alumni)
    Quillen's Theorem B as well as Quillen's dévissage argument in the process. Much of his recent work has concerned equivariant algebraic K-theory and equivariant...
    8 KB (642 words) - 13:52, 25 March 2025
  • subcomplexes A and B, then the inclusion f: (A,AB) → (X,B) induces an isomorphism h i ( A , AB ) → f ∗ h i ( X , B ) {\displaystyle h_{i}(A,A\cap B){\overset...
    44 KB (7,049 words) - 20:46, 13 January 2025
  • the fibers are homotopy equivalent to each other. Quillen 1.  Daniel Quillen 2.  Quillen’s theorem says that π ∗ M U {\displaystyle \pi _{*}MU} is the...
    52 KB (7,621 words) - 00:34, 3 March 2025