|
Artin Approximation Theorem
In mathematics, the Artin approximation theorem is a fundamental result of in deformation theory which implies that formal power series with coefficients in a field ''k'' are well-approximated by the algebraic functions on ''k''. More precisely, Artin proved two such theorems: one, in 1968, on approximation of complex analytic solutions by formal solutions (in the case k = \Complex); and an algebraic version of this theorem in 1969. Statement of the theorem Let \mathbf = x_1, \dots, x_n denote a collection of ''n'' indeterminates, k \mathbf the ring of formal power series with indeterminates \mathbf over a field ''k'', and \mathbf = y_1, \dots, y_n a different set of indeterminates. Let :f(\mathbf, \mathbf) = 0 be a system of polynomial equations in k mathbf, \mathbf/math>, and ''c'' a positive integer. Then given a formal power series solution \hat(\mathbf) \in k \mathbf, there is an algebraic solution \mathbf(\mathbf) consisting of algebraic functions (more precisely, alge ... [...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] |
Scheme (mathematics)
In mathematics, a scheme is a mathematical structure that enlarges the notion of algebraic variety in several ways, such as taking account of multiplicities (the equations ''x'' = 0 and ''x''2 = 0 define the same algebraic variety but different schemes) and allowing "varieties" defined over any commutative ring (for example, Fermat curves are defined over the integers). Scheme theory was introduced by Alexander Grothendieck in 1960 in his treatise "Éléments de géométrie algébrique"; one of its aims was developing the formalism needed to solve deep problems of algebraic geometry, such as the Weil conjectures (the last of which was proved by Pierre Deligne). Strongly based on commutative algebra, scheme theory allows a systematic use of methods of topology and homological algebra. Scheme theory also unifies algebraic geometry with much of number theory, which eventually led to Wiles's proof of Fermat's Last Theorem. Formally, a scheme is a topological space together with ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Moduli Theory
In mathematics, in particular algebraic geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind, or isomorphism classes of such objects. Such spaces frequently arise as solutions to classification problems: If one can show that a collection of interesting objects (e.g., the smooth algebraic curves of a fixed genus) can be given the structure of a geometric space, then one can parametrize such objects by introducing coordinates on the resulting space. In this context, the term "modulus" is used synonymously with "parameter"; moduli spaces were first understood as spaces of parameters rather than as spaces of objects. A variant of moduli spaces is formal moduli. Motivation Moduli spaces are spaces of solutions of geometric classification problems. That is, the points of a moduli space correspond to solutions of geometric problems. Here different solutions are identified if they ar ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Séminaire Nicolas Bourbaki
The Séminaire Nicolas Bourbaki (Bourbaki Seminar) is a series of seminars (in fact public lectures with printed notes distributed) that has been held in Paris since 1948. It is one of the major institutions of contemporary mathematics, and a barometer of mathematical achievement, fashion, and reputation. It is named after Nicolas Bourbaki, a group of French and other mathematicians of variable membership. The Poincaré Seminars are a series of talks on physics inspired by the Bourbaki seminars on mathematics. 1948/49 series # Henri Cartan, Les travaux de Koszul, I (Lie algebra cohomology) # Claude Chabauty, Le théorème de Minkowski-Hlawka ( Minkowski-Hlawka theorem) # Claude Chevalley, L'hypothèse de Riemann pour les corps de fonctions algébriques de caractéristique p, I, d'après Weil (local zeta-function) # Roger Godement, Groupe complexe unimodulaire, I : Les représentations unitaires irréductibles du groupe complexe unimodulaire, d'après Gelfand et Neumark (re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Yale University Press
Yale University Press is the university press of Yale University. It was founded in 1908 by George Parmly Day, and became an official department of Yale University in 1961, but it remains financially and operationally autonomous. , Yale University Press publishes approximately 300 new hardcover and 150 new paperback books annually and has a backlist of about 5,000 books in print. Its books have won five National Book Awards, two National Book Critics Circle Awards and eight Pulitzer Prizes. The press maintains offices in New Haven, Connecticut and London, England. Yale is the only American university press with a full-scale publishing operation in Europe. It was a co-founder of the distributor TriLiteral LLC with MIT Press and Harvard University Press. TriLiteral was sold to LSC Communications in 2018. Series and publishing programs Yale Series of Younger Poets Since its inception in 1919, the Yale Series of Younger Poets Competition has published the first collection of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Publications Mathématiques De L'IHÉS
''Publications Mathématiques de l'IHÉS'' is a peer-reviewed mathematical journal. It is published by Springer Science+Business Media on behalf of the Institut des Hautes Études Scientifiques, with the help of the Centre National de la Recherche Scientifique. The journal was established in 1959 and was published at irregular intervals, from one to five volumes a year. It is now biannual. The editor-in-chief is Claire Voisin (Collège de France). See also *''Annals of Mathematics'' *'' Journal of the American Mathematical Society'' *''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 ...'' External links * Back issues from 1959 to 2010 Mathematics journals Publications established in 1959 Springer Science+Business Media academic journals Biannual journal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Popescu's Theorem
In commutative algebra and algebraic geometry, Popescu's theorem, introduced by Dorin Popescu, states: :Let ''A'' be a Noetherian ring and ''B'' a Noetherian algebra over it. Then, the structure map ''A'' → ''B'' is a regular homomorphism if and only if ''B'' is a direct limit of smooth ''A''-algebras. For example, if ''A'' is a local G-ring (e.g., a local excellent ring) and ''B'' its completion, then the map ''A'' → ''B'' is regular by definition and the theorem applies. Another proof of Popescu's theorem was given by Tetsushi Ogoma, while an exposition of the result was provided by Richard Swan. The usual proof of the Artin approximation theorem In mathematics, the Artin approximation theorem is a fundamental result of in deformation theory which implies that formal power series with coefficients in a field (mathematics), field ''k'' are well-approximated by the algebraic functions on ''k' ... relies crucially on Popescu's theorem. Popescu's result was proved by an a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ring With The Approximation Property
In algebra, a commutative Noetherian ring ''A'' is said to have the approximation property with respect to an ideal ''I'' if each finite system of polynomial equations with coefficients in ''A'' has a solution in ''A'' if and only if it has a solution in the ''I''-adic completion of ''A''. The notion of the approximation property is due to Michael Artin. See also *Artin approximation theorem *Popescu's theorem In commutative algebra and algebraic geometry, Popescu's theorem, introduced by Dorin Popescu, states: :Let ''A'' be a Noetherian ring and ''B'' a Noetherian algebra over it. Then, the structure map ''A'' → ''B'' is a regular homomorphism if and ... Notes References * * * * Ring theory {{algebra-stub ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Henselian Ring
In mathematics, a Henselian ring (or Hensel ring) is a local ring in which Hensel's lemma holds. They were introduced by , who named them after Kurt Hensel. Azumaya originally allowed Henselian rings to be non-commutative, but most authors now restrict them to be commutative. Some standard references for Hensel rings are , , and . Definitions In this article rings will be assumed to be commutative, though there is also a theory of non-commutative Henselian rings. * A local ring ''R'' with maximal ideal ''m'' is called Henselian if Hensel's lemma holds. This means that if ''P'' is a monic polynomial in ''R'' 'x'' then any factorization of its image ''P'' in (''R''/''m'') 'x''into a product of coprime monic polynomials can be lifted to a factorization in ''R'' 'x'' * A local ring is Henselian if and only if every finite ring extension is a product of local rings. * A Henselian local ring is called strictly Henselian if its residue field is separably closed. * By abuse of termino ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Artin's Criterion
In mathematics, Artin's criteria are a collection of related necessary and sufficient conditions on deformation functors which prove the representability of these functors as either Algebraic spaces or as Algebraic stacks. In particular, these conditions are used in the construction of the moduli stack of elliptic curves and the construction of the moduli stack of pointed curves. Notation and technical notes Throughout this article, let S be a scheme of finite-type over a field k or an excellent DVR. p:F \to (Sch/S) will be a category fibered in groupoids, F(X) will be the groupoid lying over X \to S. A stack F is called limit preserving if it is compatible with filtered direct limits in Sch/S, meaning given a filtered system \_ there is an equivalence of categories\lim_F(X_i) \to F(\lim_X_i)An element of x \in F(X) is called an algebraic element if it is the henselization of an \mathcal_S-algebra of finite type. A limit preserving stack F over Sch/S is called an algebraic sta ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Formal Moduli Space
In mathematics, formal moduli are an aspect of the theory of moduli spaces (of algebraic varieties or vector bundles, for example), closely linked to deformation theory and formal geometry. Roughly speaking, deformation theory can provide the Taylor polynomial level of information about deformations, while formal moduli theory can assemble consistent Taylor polynomials to make a formal power series theory. The step to moduli spaces, properly speaking, is an ''algebraization'' question, and has been largely put on a firm basis by Artin's approximation theorem. A formal universal deformation is by definition a formal scheme over a complete local ring, with special fiber the scheme over a field being studied, and with a universal property In mathematics, more specifically in category theory, a universal property is a property that characterizes up to an isomorphism the result of some constructions. Thus, universal properties can be used for defining some objects independently fro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Deformation Theory
In mathematics, deformation theory is the study of infinitesimal conditions associated with varying a solution ''P'' of a problem to slightly different solutions ''P''ε, where ε is a small number, or a vector of small quantities. The infinitesimal conditions are the result of applying the approach of differential calculus to solving a problem with constraints. The name is an analogy to non-rigid structures that deform slightly to accommodate external forces. Some characteristic phenomena are: the derivation of first-order equations by treating the ε quantities as having negligible squares; the possibility of ''isolated solutions'', in that varying a solution may not be possible, ''or'' does not bring anything new; and the question of whether the infinitesimal constraints actually 'integrate', so that their solution does provide small variations. In some form these considerations have a history of centuries in mathematics, but also in physics and engineering. For example, in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
