|
Field With One Element
In mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist. This object is denoted F1, or, in a French–English pun, Fun. The name "field with one element" and the notation F1 are only suggestive, as there is no field with one element in classical abstract algebra. Instead, F1 refers to the idea that there should be a way to replace sets and operations, the traditional building blocks for abstract algebra, with other, more flexible objects. Many theories of F1 have been proposed, but it is not clear which, if any, of them give F1 all the desired properties. While there is still no field with a single element in these theories, there is a field-like object whose characteristic is one. Most proposed theories of F1 replace abstract algebra entirely. Mathematical objects such as vector spaces and polynomial rings can be carried over into these new theories by mimicking ... [...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 mathematical analysis, 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 mathematical object, abstract objects and the use of pure reason to proof (mathematics), prove them. These objects consist of either abstraction (mathematics), abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of inference rule, deductive rules to already established results. These results include previously proved theorems, axioms ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abstract Simplicial Complex
In combinatorics, an abstract simplicial complex (ASC), often called an abstract complex or just a complex, is a family of sets that is closed under taking subsets, i.e., every subset of a set in the family is also in the family. It is a purely combinatorial description of the geometric notion of a simplicial complex. Lee, John M., Introduction to Topological Manifolds, Springer 2011, , p153 For example, in a 2-dimensional simplicial complex, the sets in the family are the triangles (sets of size 3), their edges (sets of size 2), and their vertices (sets of size 1). In the context of matroids and greedoids, abstract simplicial complexes are also called independence systems. An abstract simplex can be studied algebraically by forming its Stanley–Reisner ring; this sets up a powerful relation between combinatorics and commutative algebra. Definitions A collection of non-empty finite subsets of a set ''S'' is called a set-family. A set-family is called an abstract simplicia ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Functor
In mathematics, specifically category theory, a functor is a mapping between categories. Functors were first considered in algebraic topology, where algebraic objects (such as the fundamental group) are associated to topological spaces, and maps between these algebraic objects are associated to continuous maps between spaces. Nowadays, functors are used throughout modern mathematics to relate various categories. Thus, functors are important in all areas within mathematics to which category theory is applied. The words ''category'' and ''functor'' were borrowed by mathematicians from the philosophers Aristotle and Rudolf Carnap, respectively. The latter used ''functor'' in a linguistic context; see function word. Definition Let ''C'' and ''D'' be categories. A functor ''F'' from ''C'' to ''D'' is a mapping that * associates each object X in ''C'' to an object F(X) in ''D'', * associates each morphism f \colon X \to Y in ''C'' to a morphism F(f) \colon F(X) \to F(Y) in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Christophe Soulé
Christophe Soulé (born 1951) is a French mathematician working in arithmetic geometry. Education Soulé started his studies in 1970 at École Normale Supérieure in Paris. He completed his Ph.D. at the University of Paris in 1979 under the supervision of Max Karoubi and Roger Godement, with a dissertation titled ''K-Théorie des anneaux d'entiers de corps de nombres et cohomologie étale''. Awards and recognition In 1979, he was awarded a CNRS Bronze Medal. He received the Prix J. Ponti in 1985 and the Prize Ampère in 1993. Since 2001, he is member of the French Academy of Sciences. In 1983, he was invited speaker at the International Congress of Mathematicians (ICM) in Warsaw. Publications * Christophe Soulé, with the collaboration of Dan Abramovich, Jean-François Burnol, and Jürg Kramer: ''Lectures on Arakelov Geometry.'' Cambridge Studies in Advanced Mathematics 33. Cambridge University Press, 1992. , * Henri Gillet, Christophe Soulé: ''An arithmetic Riemann–Roch ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Homotopy Groups Of Spheres
In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other. They are examples of topological invariants, which reflect, in algebraic terms, the structure of spheres viewed as topological spaces, forgetting about their precise geometry. Unlike homology groups, which are also topological invariants, the homotopy groups are surprisingly complex and difficult to compute. The -dimensional unit sphere — called the -sphere for brevity, and denoted as — generalizes the familiar circle () and the ordinary sphere (). The -sphere may be defined geometrically as the set of points in a Euclidean space of dimension located at a unit distance from the origin. The -th ''homotopy group'' summarizes the different ways in which the -dimensional sphere can be mapped continuously into the sphere . This summary does not distinguish between two mappings if one can be continuously deformed to the othe ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic K-theory
Algebraic ''K''-theory is a subject area in mathematics with connections to geometry, topology, ring theory, and number theory. Geometric, algebraic, and arithmetic objects are assigned objects called ''K''-groups. These are groups in the sense of abstract algebra. They contain detailed information about the original object but are notoriously difficult to compute; for example, an important outstanding problem is to compute the ''K''-groups of the integers. ''K''-theory was discovered in the late 1950s by Alexander Grothendieck in his study of intersection theory on algebraic varieties. In the modern language, Grothendieck defined only ''K''0, the zeroth ''K''-group, but even this single group has plenty of applications, such as the Grothendieck–Riemann–Roch theorem. Intersection theory is still a motivating force in the development of (higher) algebraic ''K''-theory through its links with motivic cohomology and specifically Chow groups. The subject also includes classical ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebraic Variety
Algebraic varieties are the central objects of study in algebraic geometry, a sub-field of mathematics. Classically, an algebraic variety is defined as the set of solutions of a system of polynomial equations over the real or complex numbers. Modern definitions generalize this concept in several different ways, while attempting to preserve the geometric intuition behind the original definition. Conventions regarding the definition of an algebraic variety differ slightly. For example, some definitions require an algebraic variety to be irreducible, which means that it is not the union of two smaller sets that are closed in the Zariski topology. Under this definition, non-irreducible algebraic varieties are called algebraic sets. Other conventions do not require irreducibility. The fundamental theorem of algebra establishes a link between algebra and geometry by showing that a monic polynomial (an algebraic object) in one variable with complex number coefficients is dete ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemann Zeta Function
The Riemann zeta function or Euler–Riemann zeta function, denoted by the Greek letter (zeta), is a mathematical function of a complex variable defined as \zeta(s) = \sum_^\infty \frac = \frac + \frac + \frac + \cdots for \operatorname(s) > 1 and its analytic continuation elsewhere. The Riemann zeta function plays a pivotal role in analytic number theory, and has applications in physics, probability theory, and applied statistics. Leonhard Euler first introduced and studied the function over the reals in the first half of the eighteenth century. Bernhard Riemann's 1859 article " On the Number of Primes Less Than a Given Magnitude" extended the Euler definition to a complex variable, proved its meromorphic continuation and functional equation, and established a relation between its zeros and the distribution of prime numbers. This paper also contained the Riemann hypothesis, a conjecture about the distribution of complex zeros of the Riemann zeta function that is cons ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yuri Manin
Yuri Ivanovich Manin (russian: Ю́рий Ива́нович Ма́нин; born 16 February 1937) is a Russian mathematician, known for work in algebraic geometry and diophantine geometry, and many expository works ranging from mathematical logic to theoretical physics. Moreover, Manin was one of the first to propose the idea of a quantum computer in 1980 with his book ''Computable and Uncomputable''. Life and career Manin gained a doctorate in 1960 at the Steklov Mathematics Institute as a student of Igor Shafarevich. He is now a Professor at the Max-Planck-Institut für Mathematik in Bonn, and a professor emeritus at Northwestern University. Manin's early work included papers on the arithmetic and formal groups of abelian varieties, the Mordell conjecture in the function field case, and algebraic differential equations. The Gauss–Manin connection is a basic ingredient of the study of cohomology in families of algebraic varieties. He wrote a book on cubic surfaces and ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Number Theory
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure mathematics devoted primarily to the study of the integers and integer-valued functions. German mathematician Carl Friedrich Gauss (1777–1855) said, "Mathematics is the queen of the sciences—and number theory is the queen of mathematics."German original: "Die Mathematik ist die Königin der Wissenschaften, und die Arithmetik ist die Königin der Mathematik." Number theorists study prime numbers as well as the properties of mathematical objects made out of integers (for example, rational numbers) or defined as generalizations of the integers (for example, algebraic integers). Integers can be considered either in themselves or as solutions to equations ( Diophantine geometry). Questions in number theory are often best understood through the study of analytical objects (for example, the Riemann zeta function) that encode properties of the integers, primes or other number-theoretic obj ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mikhail Kapranov
Mikhail Kapranov, (Михаил Михайлович Капранов, born 1962) is a Russian mathematician, specializing in algebraic geometry, representation theory, mathematical physics, and category theory. He is currently a professor of the Kavli Institute for the Physics and Mathematics of the Universe at the University of Tokyo. Kapranov graduated from Lomonosov University in 1982 and received his doctorate in 1988 under the supervision of Yuri Manin at the Steklov Institute in Moscow. Afterwards he worked at the Steklov Institute and from 1990 to 1991 at Cornell University. At Northwestern University he was from 1991 to 1993 an assistant professor, from 1993 to 1995 an associate professor, and from 1995 to 1999 a full professor. He was from 1999 to 2003 a professor at University of Toronto and from 2003 to 2014 a professor at Yale University. In 1993 he was a Sloan Research Fellow. From fall 2018 to spring 2019 he was a visiting professor at the Institute for Advanced Stu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Abc Conjecture
The ''abc'' conjecture (also known as the Oesterlé–Masser conjecture) is a conjecture in number theory that arose out of a discussion of Joseph Oesterlé and David Masser in 1985. It is stated in terms of three positive integers ''a'', ''b'' and ''c'' (hence the name) that are relatively prime and satisfy ''a'' + ''b'' = ''c''. The conjecture essentially states that the product of the distinct prime factors of ''abc'' is usually not much smaller than ''c''. A number of famous conjectures and theorems in number theory would follow immediately from the ''abc'' conjecture or its versions. Mathematician Dorian Goldfeld described the ''abc'' conjecture as "The most important unsolved problem in Diophantine analysis". The ''abc'' conjecture originated as the outcome of attempts by Oesterlé and Masser to understand the Szpiro conjecture about elliptic curves, which involves more geometric structures in its statement than the ''abc'' conjecture. The ''abc'' conjecture was show ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
