|
Eilenberg–Ganea Conjecture
The Eilenberg–Ganea conjecture is a claim in algebraic topology. It was formulated by Samuel Eilenberg and Tudor Ganea in 1957, in a short, but influential paper. It states that if a group ''G'' has cohomological dimension 2, then it has a 2-dimensional Eilenberg–MacLane space K(G,1). For ''n'' different from 2, a group ''G'' of cohomological dimension ''n'' has an ''n''-dimensional Eilenberg–MacLane space. It is also known that a group of cohomological dimension 2 has a 3-dimensional Eilenberg−MacLane space. In 1997, Mladen Bestvina and Noel Brady constructed a group ''G'' so that either ''G'' is a counterexample to the Eilenberg–Ganea conjecture, or there must be a counterexample to the Whitehead conjecture The Whitehead conjecture (also known as the Whitehead asphericity conjecture) is a claim in algebraic topology. It was formulated by J. H. C. Whitehead in 1941. It states that every connected subcomplex of a two-dimensional aspherical CW complex ...; in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Topology
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces. The basic goal is to find algebraic invariant (mathematics), invariants that classification theorem, classify topological spaces up to homeomorphism, though usually most classify up to Homotopy#Homotopy equivalence and null-homotopy, homotopy equivalence. Although algebraic topology primarily uses algebra to study topological problems, using topology to solve algebraic problems is sometimes also possible. Algebraic topology, for example, allows for a convenient proof that any subgroup of a free group is again a free group. Main branches of algebraic topology Below are some of the main areas studied in algebraic topology: Homotopy groups In mathematics, homotopy groups are used in algebraic topology to classify topological spaces. The first and simplest homotopy group is the fundamental group, which records information about loops in a space. Intuitively, homotopy gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Samuel Eilenberg
Samuel Eilenberg (September 30, 1913 – January 30, 1998) was a Polish-American mathematician who co-founded category theory (with Saunders Mac Lane) and homological algebra. Early life and education He was born in Warsaw, Kingdom of Poland to a Jewish family. He spent much of his career as a professor at Columbia University. He earned his Ph.D. from University of Warsaw in 1936, with thesis ''On the Topological Applications of Maps onto a Circle''; his thesis advisors were Kazimierz Kuratowski and Karol Borsuk. He died in New York City in January 1998. Career Eilenberg's main body of work was in algebraic topology. He worked on the axiomatic treatment of homology theory with Norman Steenrod (and the Eilenberg–Steenrod axioms are named for the pair), and on homological algebra with Saunders Mac Lane. In the process, Eilenberg and Mac Lane created category theory. Eilenberg was a member of Bourbaki and, with Henri Cartan, wrote the 1956 book ''Homological Algebra''. Later ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tudor Ganea
Tudor Ganea (October 17, 1922 –August 1971) was a Romanian-American mathematician, known for his work in algebraic topology, especially homotopy theory. Ganea left Communist Romania to settle in the United States in the early 1960s. He taught at the University of Washington. Life and work He studied mathematics at the University of Bucharest, and then started his research as a member of Simion Stoilow's seminar on complex functions. His papers from 1949–1952 were on covering spaces, topological groups, symmetric products, and the Lusternik–Schnirelmann category. During this time, he earned his candidate thesis in topology under the direction of Stoilow. In 1957, Ganea published in the ''Annals of Mathematics'' a short, yet influential paper with Samuel Eilenberg, in which the Eilenberg–Ganea theorem was proved and the celebrated Eilenberg–Ganea conjecture was formulated. The conjecture is still open. By 1958, Ganea and his mentee, Israel Bernstein, were the two ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cohomological Dimension
In abstract algebra, cohomological dimension is an invariant of a group which measures the homological complexity of its representations. It has important applications in geometric group theory, topology, and algebraic number theory. Cohomological dimension of a group As most cohomological invariants, the cohomological dimension involves a choice of a "ring of coefficients" ''R'', with a prominent special case given by ''R'' = Z, the ring of integers. Let ''G'' be a discrete group, ''R'' a non-zero ring with a unit, and ''RG'' the group ring. The group ''G'' has cohomological dimension less than or equal to ''n'', denoted cd''R''(''G'') ≤ ''n'', if the trivial ''RG''-module ''R'' has a projective resolution of length ''n'', i.e. there are projective ''RG''-modules ''P''0, ..., ''P''''n'' and ''RG''-module homomorphisms ''d''''k'': ''P''''k''\to''P''''k'' − 1 (''k'' = 1, ..., ''n'') and ''d''0: ''P''0\to''R'', such that the image of ''d''''k' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eilenberg–MacLane Space
In mathematics, specifically algebraic topology, an Eilenberg–MacLane spaceSaunders Mac Lane originally spelt his name "MacLane" (without a space), and co-published the papers establishing the notion of Eilenberg–MacLane spaces under this name. (See e.g. ) In this context it is therefore conventional to write the name without a space. is a topological space with a single nontrivial homotopy group. Let ''G'' be a group and ''n'' a positive integer. A connected topological space ''X'' is called an Eilenberg–MacLane space of type K(G,n), if it has ''n''-th homotopy group \pi_n(X) isomorphic to ''G'' and all other homotopy groups trivial. If n > 1 then ''G'' must be abelian. Such a space exists, is a CW-complex, and is unique up to a weak homotopy equivalence, therefore any such space is often just called K(G,n). The name is derived from Samuel Eilenberg and Saunders Mac Lane, who introduced such spaces in the late 1940s. As such, an Eilenberg–MacLane space is a special k ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mladen Bestvina
Mladen Bestvina (born 1959) is a Croatian-American mathematician working in the area of geometric group theory. He is a Distinguished Professor in the Department of Mathematics at the University of Utah. Biographical info Mladen Bestvina is a three-time medalist at the International Mathematical Olympiad (two silver medals in 1976 and 1978 and a bronze medal in 1977). He received a B. Sc. in 1982 from the University of Zagreb. He obtained a PhD in Mathematics in 1984 at the University of Tennessee under the direction of John Walsh. He was a visiting scholar at the Institute for Advanced Study in 1987-88 and again in 1990–91. Bestvina had been a faculty member at UCLA, and joined the faculty in the Department of Mathematics at the University of Utah in 1993.Mladen Bestvina: Distinguished Professor ''Afte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Whitehead Conjecture
The Whitehead conjecture (also known as the Whitehead asphericity conjecture) is a claim in algebraic topology. It was formulated by J. H. C. Whitehead in 1941. It states that every connected subcomplex of a two-dimensional aspherical CW complex is aspherical. A group presentation G=(S\mid R) is called ''aspherical'' if the two-dimensional CW complex K(S\mid R) associated with this presentation is aspherical or, equivalently, if \pi_2(K(S\mid R))=0. The Whitehead conjecture is equivalent to the conjecture that every sub-presentation of an aspherical presentation is aspherical. In 1997, Mladen Bestvina and Noel Brady constructed a group ''G'' so that either ''G'' is a counterexample to the Eilenberg–Ganea conjecture The Eilenberg–Ganea conjecture is a claim in algebraic topology. It was formulated by Samuel Eilenberg and Tudor Ganea in 1957, in a short, but influential paper. It states that if a group ''G'' has cohomological dimension 2, then it has ..., or there mus ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Annals Of Mathematics
The ''Annals of Mathematics'' is a mathematical journal published every two months by Princeton University and the Institute for Advanced Study. History The journal was established as ''The Analyst'' in 1874 and with Joel E. Hendricks as the founding editor-in-chief. It was "intended to afford a medium for the presentation and analysis of any and all questions of interest or importance in pure and applied Mathematics, embracing especially all new and interesting discoveries in theoretical and practical astronomy, mechanical philosophy, and engineering". It was published in Des Moines, Iowa, and was the earliest American mathematics journal to be published continuously for more than a year or two. This incarnation of the journal ceased publication after its tenth year, in 1883, giving as an explanation Hendricks' declining health, but Hendricks made arrangements to have it taken over by new management, and it was continued from March 1884 as the ''Annals of Mathematics''. The n ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Inventiones Mathematicae
''Inventiones Mathematicae'' is a mathematical journal published monthly by Springer Science+Business Media. It was established in 1966 and is regarded as one of the most prestigious mathematics journals in the world. The current managing editors are Camillo De Lellis (Institute for Advanced Study, Princeton) and Jean-Benoît Bost (University of Paris-Sud Paris-Sud University (French: ''Université Paris-Sud''), also known as University of Paris — XI (or as Université d'Orsay before 1971), was a French research university distributed among several campuses in the southern suburbs of Paris, in ...). Abstracting and indexing The journal is abstracted and indexed in: References External links *{{Official website, https://www.springer.com/journal/222 Mathematics journals Publications established in 1966 English-language journals Springer Science+Business Media academic journals Monthly journals ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Conjectures
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 (still a conjecture) or Fermat's Last Theorem (a conjecture until proven in 1995 by Andrew Wiles), have shaped much of mathematical history as new areas of mathematics are developed in order to prove them. Important examples Fermat's Last Theorem In number theory, Fermat's Last Theorem (sometimes called Fermat's conjecture, especially in older texts) states that no three positive integers a, ''b'', and ''c'' can satisfy the equation ''a^n + b^n = c^n'' for any integer value of ''n'' greater than two. This theorem was first conjectured by Pierre de Fermat in 1637 in the margin of a copy of '' Arithmetica'', where he claimed that he had a proof that was too large to fit in the margin. The first successful proof was released in 1994 by Andrew Wiles, and formally published in 1995, after 358 years of effort by mathe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Theorems In Algebraic Topology
In mathematics, a theorem is a statement (logic), statement that has been Mathematical proof, proved, or can be proved. The ''proof'' of a theorem is a logical argument that uses the inference rules of a deductive system to establish that the theorem is a logical consequence of the axioms and previously proved theorems. In the mainstream of mathematics, the axioms and the inference rules are commonly left implicit, and, in this case, they are almost always those of Zermelo–Fraenkel set theory with the axiom of choice, or of a less powerful theory, such as Peano arithmetic. A notable exception is Wiles's proof of Fermat's Last Theorem, which involves the Grothendieck universes whose existence requires the addition of a new axiom to the set theory. Generally, an assertion that is explicitly called a theorem is a proved result that is not an immediate consequence of other known theorems. Moreover, many authors qualify as ''theorems'' only the most important results, and use the te ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.PNG "Click for more on -> Theorems In Algebraic Topology")