|
Topological Modular Forms
In mathematics, topological modular forms (tmf) is the name of a spectrum that describes a generalized cohomology theory. In concrete terms, for any integer ''n'' there is a topological space \operatorname^, and these spaces are equipped with certain maps between them, so that for any topological space ''X'', one obtains an abelian group structure on the set \operatorname^(X) of homotopy classes of continuous maps from ''X'' to \operatorname^. One feature that distinguishes tmf is the fact that its coefficient ring, \operatorname^(point), is almost the same as the graded ring of holomorphic modular forms with integral cusp expansions. Indeed, these two rings become isomorphic after inverting the primes 2 and 3, but this inversion erases a lot of torsion information in the coefficient ring. The spectrum of topological modular forms is constructed as the global sections of a sheaf of E-infinity ring spectra on the moduli stack of (generalized) elliptic curves. This theory has rela ... [...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] |
Loop Space
In topology, a branch of mathematics, the loop space Ω''X'' of a pointed topological space ''X'' is the space of (based) loops in ''X'', i.e. continuous pointed maps from the pointed circle ''S''1 to ''X'', equipped with the compact-open topology. Two loops can be multiplied by concatenation. With this operation, the loop space is an ''A''∞-space. That is, the multiplication is homotopy-coherently associative. The set of path components of Ω''X'', i.e. the set of based-homotopy equivalence classes of based loops in ''X'', is a group, the fundamental group ''π''1(''X''). The iterated loop spaces of ''X'' are formed by applying Ω a number of times. There is an analogous construction for topological spaces without basepoint. The free loop space of a topological space ''X'' is the space of maps from the circle ''S''1 to ''X'' with the compact-open topology. The free loop space of ''X'' is often denoted by \mathcalX. As a functor, the free loop space construction is righ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Stack
In mathematics, an algebraic stack is a vast generalization of algebraic spaces, or schemes, which are foundational for studying moduli theory. Many moduli spaces are constructed using techniques specific to algebraic stacks, such as Artin's representability theorem, which is used to construct the moduli space of pointed algebraic curves \mathcal_ and the moduli stack of elliptic curves. Originally, they were introduced by Grothendieck to keep track of automorphisms on moduli spaces, a technique which allows for treating these moduli spaces as if their underlying schemes or algebraic spaces are smooth. But, through many generalizations the notion of algebraic stacks was finally discovered by Michael Artin. Definition Motivation One of the motivating examples of an algebraic stack is to consider a groupoid scheme (R,U,s,t,m) over a fixed scheme S. For example, if R = \mu_n\times_S\mathbb^n_S (where \mu_n is the group scheme of roots of unity), U = \mathbb^n_S, s = \text_U is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Grothendieck Topology
In category theory, a branch of mathematics, a Grothendieck topology is a structure on a category ''C'' that makes the objects of ''C'' act like the open sets of a topological space. A category together with a choice of Grothendieck topology is called a site. Grothendieck topologies axiomatize the notion of an open cover. Using the notion of covering provided by a Grothendieck topology, it becomes possible to define sheaves on a category and their cohomology. This was first done in algebraic geometry and algebraic number theory by Alexander Grothendieck to define the étale cohomology of a scheme. It has been used to define other cohomology theories since then, such as ℓ-adic cohomology, flat cohomology, and crystalline cohomology. While Grothendieck topologies are most often used to define cohomology theories, they have found other applications as well, such as to John Tate's theory of rigid analytic geometry. There is a natural way to associate a site to an ordinary top ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Étale Topology
In algebraic geometry, the étale topology is a Grothendieck topology on the category of schemes which has properties similar to the Euclidean topology, but unlike the Euclidean topology, it is also defined in positive characteristic. The étale topology was originally introduced by Grothendieck to define étale cohomology, and this is still the étale topology's most well-known use. Definitions For any scheme ''X'', let Ét(''X'') be the category of all étale morphisms from a scheme to ''X''. This is the analog of the category of open subsets of ''X'' (that is, the category whose objects are varieties and whose morphisms are open immersions). Its objects can be informally thought of as étale open subsets of ''X''. The intersection of two objects corresponds to their fiber product over ''X''. Ét(''X'') is a large category, meaning that its objects do not form a set. An étale presheaf on ''X'' is a contravariant functor from Ét(''X'') to the category of sets. A presheaf '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Cohomology Theories
In mathematics, specifically in homology theory and algebraic topology, cohomology is a general term for a sequence of abelian groups, usually one associated with a topological space, often defined from a cochain complex. Cohomology can be viewed as a method of assigning richer algebraic invariants to a space than homology. Some versions of cohomology arise by dualizing the construction of homology. In other words, cochains are functions on the group of chains in homology theory. From its beginning in topology, this idea became a dominant method in the mathematics of the second half of the twentieth century. From the initial idea of homology as a method of constructing algebraic invariants of topological spaces, the range of applications of homology and cohomology theories has spread throughout geometry and algebra. The terminology tends to hide the fact that cohomology, a contravariant theory, is more natural than homology in many applications. At a basic level, this has to do wi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Topological
In mathematics, topology (from the Greek words , and ) is concerned with the properties of a geometric object that are preserved under continuous deformations, such as stretching, twisting, crumpling, and bending; that is, without closing holes, opening holes, tearing, gluing, or passing through itself. A topological space is a set endowed with a structure, called a ''topology'', which allows defining continuous deformation of subspaces, and, more generally, all kinds of continuity. Euclidean spaces, and, more generally, metric spaces are examples of a topological space, as any distance or metric defines a topology. The deformations that are considered in topology are homeomorphisms and homotopies. A property that is invariant under such deformations is a topological property. Basic examples of topological properties are: the dimension, which allows distinguishing between a line and a surface; compactness, which allows distinguishing between a line and a circle; connecte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Presheaf
In mathematics, a sheaf is a tool for systematically tracking data (such as sets, abelian groups, rings) attached to the open sets of a topological space and defined locally with regard to them. For example, for each open set, the data could be the ring of continuous functions defined on that open set. Such data is well behaved in that it can be restricted to smaller open sets, and also the data assigned to an open set is equivalent to all collections of compatible data assigned to collections of smaller open sets covering the original open set (intuitively, every piece of data is the sum of its parts). The field of mathematics that studies sheaves is called sheaf theory. Sheaves are understood conceptually as general and abstract objects. Their correct definition is rather technical. They are specifically defined as sheaves of sets or as sheaves of rings, for example, depending on the type of data assigned to the open sets. There are also maps (or morphisms) from one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Obstruction Theory
In mathematics, obstruction theory is a name given to two different mathematical theories, both of which yield cohomological invariants. In the original work of Stiefel and Whitney, characteristic classes were defined as obstructions to the existence of certain fields of linear independent vectors. Obstruction theory turns out to be an application of cohomology theory to the problem of constructing a cross-section of a bundle. In homotopy theory The older meaning for obstruction theory in homotopy theory relates to the procedure, inductive with respect to dimension, for extending a continuous mapping defined on a simplicial complex, or CW complex. It is traditionally called ''Eilenberg obstruction theory'', after Samuel Eilenberg. It involves cohomology groups with coefficients in homotopy groups to define obstructions to extensions. For example, with a mapping from a simplicial complex ''X'' to another, ''Y'', defined initially on the 0-skeleton of ''X'' (the vertices of ''X'') ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Charles Rezk
Charles Waldo Rezk (born 26 January 1969) is an American mathematician, specializing in algebraic topology, category theory, and spectral algebraic geometry. Education and career Rezk matriculated at the University of Pennsylvania in 1987 and graduated there in 1991 with B.A. and M.A. in mathematics. In 1996 he received his PhD from Massachusetts Institute of Technology, MIT with thesis ''Spaces of Algebra Structures and Cohomology of Operads'' and advisor Michael J. Hopkins. At Northwestern University Rezk was a faculty member from 1996 to 2001. At the University of Illinois he was an assistant professor from 2001 to 2006 and an associate professor from 2006 to 2014 and is a full professor since 2014. He was at the Institute for Advanced Study in the fall of 1999, the spring of 2000, and the spring of 2001. He held visiting positions at MIT in 2006 and at Berkeley's Mathematical Sciences Research Institute, MSRI in 2014. Since 2015 he has been a member of the editorial board of '' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mark Mahowald
Mark Edward Mahowald (December 1, 1931 – July 20, 2013) was an American mathematician known for work in algebraic topology. Life Mahowald was born in Albany, Minnesota in 1931. He received his Ph.D. from the University of Minnesota in 1955 under the direction of Bernard Russell Gelbaum with a thesis on ''Measure in Groups''. In the sixties, he became professor at Syracuse University and around 1963 he went to Northwestern University in Evanston, Illinois. Work Much of Mahowald's most important works concerns the homotopy groups of spheres, especially using the Adams spectral sequence at the prime 2. He is known for constructing one of the first known infinite families of elements in the stable homotopy groups of spheres by showing that the classes h_1h_j survive the Adams spectral sequence for j\geq 3. In addition, he made extensive computations of the structure of the Adams spectral sequence and the 2-primary stable homotopy groups of spheres up to dimension 64 together with M ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Paul Goerss
Paul may refer to: *Paul (given name), a given name (includes a list of people with that name) *Paul (surname), a list of people People Christianity *Paul the Apostle (AD c.5–c.64/65), also known as Saul of Tarsus or Saint Paul, early Christian missionary and writer *Pope Paul (other), multiple Popes of the Roman Catholic Church *Saint Paul (other), multiple other people and locations named "Saint Paul" Roman and Byzantine empire *Lucius Aemilius Paullus Macedonicus (c. 229 BC – 160 BC), Roman general *Julius Paulus Prudentissimus (), Roman jurist *Paulus Catena (died 362), Roman notary *Paulus Alexandrinus (4th century), Hellenistic astrologer *Paul of Aegina or Paulus Aegineta (625–690), Greek surgeon Royals *Paul I of Russia (1754–1801), Tsar of Russia *Paul of Greece (1901–1964), King of Greece Other people *Paul the Deacon or Paulus Diaconus (c. 720 – c. 799), Italian Benedictine monk *Paul (father of Maurice), the father of Maurice, Byzan ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
