|
Sullivan Conjecture
In mathematics, Sullivan conjecture or Sullivan's conjecture on maps from classifying spaces can refer to any of several results and conjectures prompted by homotopy theory work of Dennis Sullivan. A basic theme and motivation concerns the fixed point set in group actions of a finite group G. The most elementary formulation, however, is in terms of the classifying space BG of such a group. Roughly speaking, it is difficult to map such a space BG continuously into a finite CW complex X in a non-trivial manner. Such a version of the Sullivan conjecture was first proved by Haynes Miller. Specifically, in 1984, Miller proved that the function space, carrying the compact-open topology, of base point-preserving mappings from BG to X is weakly contractible. This is equivalent to the statement that the map X → F(BG, X) from X to the function space of maps BG → X, not necessarily preserving the base point, given by sending a point x of X to the constant map whose image is x is a weak ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Weak Equivalence (homotopy Theory)
In mathematics, a weak equivalence is a notion from homotopy theory that in some sense identifies objects that have the same "shape". This notion is formalized in the axiomatic definition of a model category. A model category is a category with classes of morphisms called weak equivalences, fibrations, and cofibrations, satisfying several axioms. The associated homotopy category of a model category has the same objects, but the morphisms are changed in order to make the weak equivalences into isomorphisms. It is a useful observation that the associated homotopy category depends only on the weak equivalences, not on the fibrations and cofibrations. Topological spaces Model categories were defined by Quillen as an axiomatization of homotopy theory that applies to topological spaces, but also to many other categories in algebra and geometry. The example that started the subject is the category of topological spaces with Serre fibrations as fibrations and weak homotopy equival ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjectures That Have Been Proved
In mathematics, a conjecture is a conclusion or a proposition that is proffered on a tentative basis without proof. Some conjectures, such as the Riemann hypothesis or Fermat's conjecture (now a theorem, proven in 1995 by Andrew Wiles), have shaped much of mathematical history as new areas of mathematics are developed in order to prove them. Resolution of conjectures Proof Formal mathematics is based on ''provable'' truth. In mathematics, any number of cases supporting a universally quantified conjecture, no matter how large, is insufficient for establishing the conjecture's veracity, since a single counterexample could immediately bring down the conjecture. Mathematical journals sometimes publish the minor results of research teams having extended the search for a counterexample farther than previously done. For instance, the Collatz conjecture, which concerns whether or not certain sequences of integers terminate, has been tested for all integers up to 1.2 × 1012 (1.2 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Segal Conjecture
Segal's Burnside ring conjecture, or, more briefly, the Segal conjecture, is a theorem in homotopy theory, a branch of mathematics. The theorem relates the Burnside ring of a finite group ''G'' to the stable cohomotopy of the classifying space ''BG''. The conjecture was made in the mid 1970s by Graeme Segal and proved in 1984 by Gunnar Carlsson. This statement is still commonly referred to as the Segal conjecture, even though it now has the status of a theorem. Statement of the theorem The Segal conjecture has several different formulations, not all of which are equivalent. Here is a weak form: there exists, for every finite group ''G'', an isomorphism :\varprojlim \pi_S^0 \left( BG^_+ \right) \to \widehat(G). Here, lim denotes the inverse limit, S* denotes the stable cohomotopy ring, ''B'' denotes the classifying space, the superscript ''k'' denotes the ''k''-skeleton, and the subscript + denotes the addition of a disjoint basepoint. On the right-hand side, the hat denotes the ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adams Spectral Sequence
In mathematics, the Adams spectral sequence is a spectral sequence introduced by which computes the stable homotopy groups of topological spaces. Like all spectral sequences, it is a computational tool; it relates homology theory to what is now called stable homotopy theory. It is a reformulation using homological algebra, and an extension, of a technique called 'killing homotopy groups' applied by the French school of Henri Cartan and Jean-Pierre Serre. Motivation For everything below, once and for all, we fix a prime ''p''. All spaces are assumed to be CW complexes. The ordinary cohomology groups H^*(X) are understood to mean H^*(X; \Z/p\Z). The primary goal of algebraic topology is to try to understand the collection of all maps, up to homotopy, between arbitrary spaces ''X'' and ''Y''. This is extraordinarily ambitious: in particular, when ''X'' is S^n, these maps form the ''n''th homotopy group of ''Y''. A more reasonable (but still very difficult!) goal is to understand ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jean Lannes (mathematician)
Jean E. Lannes (born 21 September 1947 in Pauligne) is a French mathematician, specializing in algebraic topology and homotopy theory. Lannes completed his secondary studies at the Lycée Louis-le-Grand in Paris and graduated in 1966 from the École normale supérieure (Paris), École Normale Supérieure. He received his doctorate in 1975 from the University of Paris-Saclay (Paris 12). Afterwards he was a professor there and at the Paris Diderot University (Paris 7). In 2009 he became a professor at the École polytechnique and Academic ranks in France, ''Directeur des recherches'' at the Centre de mathématiques Laurent-Schwartz (CMLS); he is now professor emeritus. He was a visiting scholar at several academic institutions, including the Institute for Advanced Study (1979/80) and the Massachusetts Institute of Technology (MIT). Lannes is known for his research on the homotopy theory of classifying spaces of groups. He proved in the mid-1980s the generalized Sullivan conjecture ( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Israel Journal Of Mathematics
'' Israel Journal of Mathematics'' is a peer-reviewed mathematics journal published by the Hebrew University of Jerusalem ( Magnes Press). History Founded in 1963, as a continuation of the ''Bulletin of the Research Council of Israel'' (Section F), the journal publishes articles on all areas of mathematics. The journal is indexed by ''Mathematical Reviews'' and Zentralblatt MATH. Its 2009 MCQ was 0.70, and its 2009 impact factor The impact factor (IF) or journal impact factor (JIF) of an academic journal is a type of journal ranking. Journals with higher impact factor values are considered more prestigious or important within their field. The Impact Factor of a journa ... was 0.754. External links * Mathematics journals Academic journals established in 1963 Academic journals of Israel English-language journals Bimonthly journals Hebrew University of Jerusalem {{math-journal-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Daniel Kan
Daniel Marinus Kan (or simply Dan Kan) (August 4, 1927 – August 4, 2013) was a Dutch mathematician working in category theory and homotopy theory. He was a prolific contributor to both fields for six decades, having authored or coauthored several dozen research papers and monographs. Career Daniel Kan was born into a Jewish family. He received his Ph.D. at Hebrew University in 1955, under the direction of Samuel Eilenberg. His students include Aldridge K. Bousfield, William Dwyer, Stewart Priddy, Emmanuel Dror Farjoun, and Jeffrey H. Smith. He was an emeritus professor at the Massachusetts Institute of Technology where he taught from 1959, formally retiring in 1993. Work He played a role in the beginnings of modern homotopy theory similar to that of Saunders Mac Lane in homological algebra, namely the adroit and persistent application of categorical methods. His most famous work is the abstract formulation of the discovery of adjoint functors, which dates from 1958. The ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Steenrod Algebra
Norman Earl Steenrod (April 22, 1910October 14, 1971) was an American mathematician most widely known for his contributions to the field of algebraic topology. Life He was born in Dayton, Ohio, and educated at Miami University and University of Michigan (A.B. 1932). After receiving a master's degree from Harvard University in 1934, he enrolled at Princeton University. He completed his Ph.D. under the direction of Solomon Lefschetz, with a thesis titled ''Universal homology groups''. Steenrod held positions at the University of Chicago from 1939 to 1942, and the University of Michigan from 1942 to 1947. He moved to Princeton University in 1947, and remained on the Faculty there for the rest of his career. He was editor of the Annals of Mathematics and a member of the National Academy of Sciences. He died in Princeton, survived by his wife, the former Carolyn Witter, and two children. Work Thanks to Lefschetz and others, the cup product structure of cohomology In mathematics ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homology (mathematics)
In mathematics, the term homology, originally introduced in algebraic topology, has three primary, closely-related usages. The most direct usage of the term is to take the ''homology of a chain complex'', resulting in a sequence of Abelian group, abelian groups called ''homology groups.'' This operation, in turn, allows one to associate various named ''homologies'' or ''homology theories'' to various other types of mathematical objects. Lastly, since there are many homology theories for Topological space, topological spaces that produce the same answer, one also often speaks of the ''homology of a topological space''. (This latter notion of homology admits more intuitive descriptions for 1- or 2-dimensional topological spaces, and is sometimes referenced in popular mathematics.) There is also a related notion of the cohomology of a Cochain complexes, cochain complex, giving rise to various cohomology theories, in addition to the notion of the cohomology of a topological space. Ho ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Gunnar Carlsson
Gunnar E. Carlsson (born August 22, 1952 in Stockholm, Sweden) is an American mathematician, working in algebraic topology. He is known for his work on the Segal conjecture, and for his work on applied algebraic topology, especially topological data analysis. He is a Professor Emeritus in the Department of Mathematics at Stanford University. He is the founder and president of the predictive technology company Ayasdi. Biography Carlsson was born in Sweden and was educated in the United States. He graduated from Redwood High School (Larkspur, California) in 1969. He received a Ph.D. from Stanford University in 1976, with a dissertation written under the supervision of R. J. Milgram. He was a Dickson Assistant Professor at the University of Chicago (1976-1978) and Professor at the University of California, San Diego (1978–86), Princeton University (1986-1991), and Stanford University (1991–2015) where he held the Anne and Bill Swindells Professorship and was Chair of the Depar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Covering Space
In topology, a covering or covering projection is a continuous function, map between topological spaces that, intuitively, Local property, locally acts like a Projection (mathematics), projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If p : \tilde X \to X is a covering, (\tilde X, p) is said to be a covering space or cover of X, and X is said to be the base of the covering, or simply the base. By abuse of terminology, \tilde X and p may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étalé space. Covering spaces first arose in the context of complex analysis (specifically, the technique of analytic continuation), where they were introduced by Bernhard Riemann, Riemann as domains on which naturally multivalued function, multivalued complex functions become single-valued. These spaces are now called Riemann surfaces. Covering spa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
