|
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] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting points of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operation of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module conc ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
John Milnor
John Willard Milnor (born February 20, 1931) is an American mathematician known for his work in differential topology, algebraic K-theory and low-dimensional holomorphic dynamical systems. Milnor is a distinguished professor at Stony Brook University and one of the five mathematicians to have won the Fields Medal, the Wolf Prize, and the Abel Prize (the others being Serre, Thompson, Deligne, and Margulis.) Early life and career Milnor was born on February 20, 1931, in Orange, New Jersey. His father was J. Willard Milnor and his mother was Emily Cox Milnor. As an undergraduate at Princeton University he was named a Putnam Fellow in 1949 and 1950 and also proved the Fáry–Milnor theorem when he was only 19 years old. Milnor graduated with an A.B. in mathematics in 1951 after completing a senior thesis, titled "Link groups", under the supervision of Robert H. Fox. He remained at Princeton to pursue graduate studies and received his Ph.D. in mathematics in 1954 after completi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Thom Space
In mathematics, the Thom space, Thom complex, or Pontryagin–Thom construction (named after René Thom and Lev Pontryagin) of algebraic topology and differential topology is a topological space associated to a vector bundle, over any paracompact space. Construction of the Thom space One way to construct this space is as follows. Let :p: E \to B be a rank ''n'' real vector bundle over the paracompact space ''B''. Then for each point ''b'' in ''B'', the fiber E_b is an n-dimensional real vector space. Choose an orthogonal structure on E, a smoothly varying inner product on the fibers; we can do this using partitions of unity. Let D(E) be the unit ball bundle with respect to our orthogonal structure, and let S(E) be the unit sphere bundle, then the Thom space T(E) is the quotient T(E) := D(E)/S(E) of topological spaces. T(E) is a pointed space with the image of S(E) in the quotient as basepoint. If ''B'' is compact, then T(E) is the one-point compactification of ''E''. For example ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
K-theory
In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices. K-theory involves the construction of families of ''K''-functors that map from topological spaces or schemes to associated rings; these rings reflect some aspects of the structure of the original spaces or schemes. As with functors to groups in algebraic topology, the reason for this functorial mapping is that it is easier to compute some topological properties from the mapped rings than from the original spaces or schemes. Examples of results gleaned from the K-theory approach include the Grothendieck–Riemann–Roch theorem, Bott periodicity, the Atiyah ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hopf Invariant
In mathematics, in particular in algebraic topology, the Hopf invariant is a homotopy invariant of certain maps between n-spheres. __TOC__ Motivation In 1931 Heinz Hopf used Clifford parallels to construct the ''Hopf map'' :\eta\colon S^3 \to S^2, and proved that \eta is essential, i.e., not homotopic to the constant map, by using the fact that the linking number of the circles :\eta^(x),\eta^(y) \subset S^3 is equal to 1, for any x \neq y \in S^2. It was later shown that the homotopy group \pi_3(S^2) is the infinite cyclic group generated by \eta. In 1951, Jean-Pierre Serre proved that the rational homotopy groups :\pi_i(S^n) \otimes \mathbb for an odd-dimensional sphere (n odd) are zero unless i is equal to 0 or ''n''. However, for an even-dimensional sphere (''n'' even), there is one more bit of infinite cyclic homotopy in degree 2n-1. Definition Let \phi \colon S^ \to S^n be a continuous map (assume n>1). Then we can form the cell complex : C_\phi = S^n \cup_\phi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Eilenberg–Maclane Spectrum
In mathematics, specifically algebraic topology, there is a distinguished class of spectra called Eilenberg–Maclane spectra HA for any Abelian group Apg 134. Note, this construction can be generalized to commutative rings R as well from its underlying Abelian group. These are an important class of spectra because they model ordinary integral cohomology and cohomology with coefficients in an abelian group. In addition, they are a lift of the homological structure in the derived category D(\mathbb) of abelian groups in the homotopy category of spectra. In addition, these spectra can be used to construct resolutions of spectra, called Adams resolutions, which are used in the construction of the Adams spectral sequence. Definition For a fixed abelian group A let HA denote the set of Eilenberg–MacLane spaces \with the adjunction map coming from the property of loop spaces of Eilenberg–Maclane spaces: namely, because there is a homotopy equivalenceK(A,n-1)\simeq \Omega K(A,n)we c ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adams Resolution
In mathematics, specifically algebraic topology, there is a resolution analogous to free resolutions of spectra yielding a tool for constructing the Adams spectral sequence. Essentially, the idea is to take a connective spectrum of finite type X and iteratively resolve with other spectra that are in the homotopy kernel of a map resolving the cohomology classes in H^*(X;\mathbb/p) using Eilenberg–MacLane spectra. This construction can be generalized using a spectrum E, such as the Brown–Peterson spectrum BP, or the complex cobordism spectrum MU, and is used in the construction of the Adams–Novikov spectral sequencepg 49. Construction The mod p Adams resolution (X_s,g_s) for a spectrum X is a certain "chain-complex" of spectra induced from recursively looking at the fibers of maps into generalized Eilenberg–Maclane spectra giving generators for the cohomology of resolved spectrapg 43. By this, we start by considering the map\begin X \\ \downarrow \\ K \endwhere K is an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Sphere Spectrum
In stable homotopy theory, a branch of mathematics, the sphere spectrum ''S'' is the monoidal unit in the category of spectra. It is the suspension spectrum of ''S''0, i.e., a set of two points. Explicitly, the ''n''th space in the sphere spectrum is the ''n''-dimensional sphere ''S''''n'', and the structure maps from the suspension of ''S''''n'' to ''S''''n''+1 are the canonical homeomorphisms. The ''k''-th homotopy group of a sphere spectrum is the ''k''-th stable homotopy group of spheres. The localization of the sphere spectrum at a prime number ''p'' is called the local sphere at ''p'' and is denoted by S_. See also * Chromatic homotopy theory * Adams-Novikov spectral sequence *Framed cobordism Framed may refer to: Common meanings *A painting or photograph that has been placed within a picture frame *Someone falsely shown to be guilty of a crime as part of a frameup Film and television * ''Framed'' (1930 film), a pre-code crime action ... References * Algebraic topo ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
P-adic Integers
In mathematics, the -adic number system for any prime number extends the ordinary arithmetic of the rational numbers in a different way from the extension of the rational number system to the real and complex number systems. The extension is achieved by an alternative interpretation of the concept of "closeness" or absolute value. In particular, two -adic numbers are considered to be close when their difference is divisible by a high power of : the higher the power, the closer they are. This property enables -adic numbers to encode congruence information in a way that turns out to have powerful applications in number theory – including, for example, in the famous proof of Fermat's Last Theorem by Andrew Wiles. These numbers were first described by Kurt Hensel in 1897, though, with hindsight, some of Ernst Kummer's earlier work can be interpreted as implicitly using -adic numbers.Translator's introductionpage 35 "Indeed, with hindsight it becomes apparent that a discret ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spectrum Of Finite Type
A spectrum (plural ''spectra'' or ''spectrums'') is a condition that is not limited to a specific set of values but can vary, without gaps, across a continuum. The word was first used scientifically in optics to describe the rainbow of colors in visible light after passing through a prism. As scientific understanding of light advanced, it came to apply to the entire electromagnetic spectrum. It thereby became a mapping of a range of magnitudes (wavelengths) to a range of qualities, which are the perceived "colors of the rainbow" and other properties which correspond to wavelengths that lie outside of the visible light spectrum. Spectrum has since been applied by analogy to topics outside optics. Thus, one might talk about the " spectrum of political opinion", or the "spectrum of activity" of a drug, or the "autism spectrum". In these uses, values within a spectrum may not be associated with precisely quantifiable numbers or definitions. Such uses imply a broad range of condition ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connective Spectrum
In algebraic topology, a branch of mathematics, a connective spectrum is a spectrum whose homotopy In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic (from grc, ὁμός "same, similar" and "place") if one can be "continuously deformed" into the other, such a deforma ... sets \pi_k of negative degrees are zero.. References External links *Why are connective spectra called “connective”? Algebraic topology Homotopy theory {{topology-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
