HOME
*





Fundamental Group Scheme
In mathematics, the fundamental group scheme is a group scheme canonically attached to a scheme over a Dedekind scheme (e.g. the spectrum of a field or the spectrum of a discrete valuation ring). It is a generalisation of the étale fundamental group. Although its existence was conjectured by Alexander Grothendieck, the first proof if its existence is due, for schemes defined over fields, to Madhav Nori. A proof of its existence for schemes defined over Dedekind schemes is due to Marco Antei, Michel Emsalem and Carlo Gasbarri. History The (topological) fundamental group associated with a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. Although it is still being studied for the classification of algebraic varieties even in algebraic geometry, for many applications the fundamental group has been found to be inadequate for the classification of objects, such as schemes, that are more than just topological spaces. The same ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Group Scheme
In mathematics, a group scheme is a type of object from Algebraic geometry, algebraic geometry equipped with a composition law. Group schemes arise naturally as symmetries of Scheme (mathematics), schemes, and they generalize algebraic groups, in the sense that all algebraic groups have group scheme structure, but group schemes are not necessarily connected, smooth, or defined over a field. This extra generality allows one to study richer infinitesimal structures, and this can help one to understand and answer questions of arithmetic significance. The Category (mathematics), category of group schemes is somewhat better behaved than that of Group variety, group varieties, since all homomorphisms have Kernel (category theory), kernels, and there is a well-behaved deformation theory. Group schemes that are not algebraic groups play a significant role in arithmetic geometry and algebraic topology, since they come up in contexts of Galois representations and moduli problems. The ini ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


étale Covering
In mathematics, more specifically in algebra, the adjective étale refers to several closely related concepts: * Étale morphism ** Formally étale morphism * Étale cohomology * Étale topology * Étale fundamental group * Étale group scheme * Étale algebra Other * Étale (mountain) in Savoie and Haute-Savoie, France See also * Étalé space * Etail Online shopping is a form of electronic commerce which allows consumers to directly buy goods or services from a seller over the Internet using a web browser or a mobile app. Consumers find a product of interest by visiting the website of the ...
, or online commerce {{disambig ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Étale Fundamental Group
The étale or algebraic fundamental group is an analogue in algebraic geometry, for schemes, of the usual fundamental group of topological spaces. Topological analogue/informal discussion In algebraic topology, the fundamental group \pi_1(X,x) of a pointed topological space (X, x) is defined as the group of homotopy classes of loops based at x. This definition works well for spaces such as real and complex manifolds, but gives undesirable results for an algebraic variety with the Zariski topology. In the classification of covering spaces, it is shown that the fundamental group is exactly the group of deck transformations of the universal covering space. This is more promising: finite étale morphisms of algebraic varieties are the appropriate analogue of covering spaces of topological spaces. Unfortunately, an algebraic variety X often fails to have a "universal cover" that is finite over ''X'', so one must consider the entire category of finite étale coverings of ''X''. On ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Vikram Bhagvandas Mehta
Vikram Bhagvandas Mehta (August 15, 1946 – June 4, 2014) was an Indian mathematician who worked on algebraic geometry and vector bundles. Together with Annamalai Ramanathan he introduced the notion of Frobenius split varieties, which led to the solution of several problems about Schubert varieties. He is also known to have worked, from the 2000s onward, on the fundamental group scheme. It was precisely in the year 2002 when he and Subramanian published a proof of a conjecture by Madhav V. NoriM. V. Nori ''On the Representations of the Fundamental Group'', Compositio Mathematica, Vol. 33, Fasc. 1, (1976), p. 29-42 that brought back into the limelight the theory of an object that until then had met with little success.V. B. Mehta, S. Subramanian ''On the Fundamental Group Scheme'', Inventiones mathematicae, 148, 143-150 (2002) Awards The Council of Scientific and Industrial Research awarded him the Shanti Swarup Bhatnagar Prize for Science and Technology The Shanti S ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Quasi-finite Morphism
In algebraic geometry, a branch of mathematics, a morphism ''f'' : ''X'' → ''Y'' of schemes is quasi-finite if it is of finite type and satisfies any of the following equivalent conditions: * Every point ''x'' of ''X'' is isolated in its fiber ''f''−1(''f''(''x'')). In other words, every fiber is a discrete (hence finite) set. * For every point ''x'' of ''X'', the scheme is a finite κ(''f''(''x'')) scheme. (Here κ(''p'') is the residue field at a point ''p''.) * For every point ''x'' of ''X'', \mathcal_\otimes \kappa(f(x)) is finitely generated over \kappa(f(x)). Quasi-finite morphisms were originally defined by Alexander Grothendieck in SGA 1 and did not include the finite type hypothesis. This hypothesis was added to the definition in EGA II 6.2 because it makes it possible to give an algebraic characterization of quasi-finiteness in terms of stalks. For a general morphism and a point ''x'' in ''X'', ''f'' is said to be quasi-finite at ''x'' if ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Finite Morphism
In algebraic geometry, a finite morphism between two affine varieties In algebraic geometry, an affine variety, or affine algebraic variety, over an algebraically closed field is the zero-locus in the affine space of some finite family of polynomials of variables with coefficients in that generate a prime idea ... X, Y is a dense Regular map (algebraic geometry), regular map which induces isomorphic inclusion k\left[Y\right]\hookrightarrow k\left[X\right] between their Coordinate ring, coordinate rings, such that k\left[X\right] is integral over k\left[Y\right]. This definition can be extended to the quasi-projective varieties, such that a Regular map (algebraic geometry), regular map f\colon X\to Y between quasiprojective varieties is finite if any point like y\in Y has an affine neighbourhood V such that U=f^(V) is affine and f\colon U\to V is a finite map (in view of the previous definition, because it is between affine varieties). Definition by Schemes A morphism ''f'': ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Normal Scheme
In algebraic geometry, an algebraic variety or scheme ''X'' is normal if it is normal at every point, meaning that the local ring at the point is an integrally closed domain. An affine variety ''X'' (understood to be irreducible) is normal if and only if the ring ''O''(''X'') of regular functions on ''X'' is an integrally closed domain. A variety ''X'' over a field is normal if and only if every finite birational morphism from any variety ''Y'' to ''X'' is an isomorphism. Normal varieties were introduced by . Geometric and algebraic interpretations of normality A morphism of varieties is finite if the inverse image of every point is finite and the morphism is proper. A morphism of varieties is birational if it restricts to an isomorphism between dense open subsets. So, for example, the cuspidal cubic curve ''X'' in the affine plane ''A''2 defined by ''x''2 = ''y''3 is not normal, because there is a finite birational morphism ''A''1 → ''X'' (namely, ''t'' maps to (''t''3, ''t''2) ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Essentially Finite Vector Bundle
In mathematics, an essentially finite vector bundle is a particular type of vector bundle defined by Madhav V. Nori, as the main tool in the construction of the fundamental group scheme. Even if the definition is not intuitive there is a nice characterization that makes essentially finite vector bundles quite natural objects to study in algebraic geometry. The following notion of ''finite vector bundle'' is due to André Weil and will be needed to define essentially finite vector bundles: Finite vector bundles Let X be a scheme and V a vector bundle on X. For f = a_0 + a_1 x + \ldots + a_n x^n \in \mathbb_ /math> an integral polynomial with nonnegative coefficients define :f(V) := \mathcal_X^ \oplus V^ \oplus \left(V^\right)^ \oplus \ldots \oplus \left(V ^\right)^ Then V is called finite if there are two distinct polynomials f,g\in \mathbb_ /math> for which f(V) is isomorphic to g(V). Definition The following two definitions coincide whenever X is a reduced, connected and prop ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Tannakian Category
In mathematics, a Tannakian category is a particular kind of monoidal category ''C'', equipped with some extra structure relative to a given field ''K''. The role of such categories ''C'' is to approximate, in some sense, the category of linear representations of an algebraic group ''G'' defined over ''K''. A number of major applications of the theory have been made, or might be made in pursuit of some of the central conjectures of contemporary algebraic geometry and number theory. The name is taken from Tadao Tannaka and Tannaka–Krein duality, a theory about compact groups ''G'' and their representation theory. The theory was developed first in the school of Alexander Grothendieck. It was later reconsidered by Pierre Deligne, and some simplifications made. The pattern of the theory is that of Grothendieck's Galois theory, which is a theory about finite permutation representations of groups ''G'' which are profinite groups. The gist of the theory, which is rather elaborate in ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Torsor (algebraic Geometry)
In algebraic geometry, a torsor or a principal bundle is an analog of a principal bundle in algebraic topology. Because there are few open sets in Zariski topology, it is more common to consider torsors in étale topology or some other flat topologies. The notion also generalizes a Galois extension in abstract algebra. The category of torsors over a fixed base forms a stack. Conversely, a prestack can be stackified by taking the category of torsors (over the prestack). Definition Given a smooth algebraic group ''G'', a ''G''-torsor (or a principal ''G''-bundle) ''P'' over a scheme ''X'' is a scheme (or even algebraic space) with an action of ''G'' that is locally trivial in the given Grothendieck topology in the sense that the base change Y \times_X P along some covering map Y \to X is isomorphic to the trivial torsor Y \times G \to Y (''G'' acts only on the second factor). Equivalently, a ''G''-torsor ''P'' on ''X'' is a principal homogeneous space for the group scheme G_X = ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  


Flat Morphism
In mathematics, in particular in the theory of schemes in algebraic geometry, a flat morphism ''f'' from a scheme ''X'' to a scheme ''Y'' is a morphism such that the induced map on every stalk is a flat map of rings, i.e., :f_P\colon \mathcal_ \to \mathcal_ is a flat map for all ''P'' in ''X''. A map of rings A\to B is called flat if it is a homomorphism that makes ''B'' a flat ''A''-module. A morphism of schemes is called faithfully flat if it is both surjective and flat. Two basic intuitions regarding flat morphisms are: *flatness is a generic property; and *the failure of flatness occurs on the jumping set of the morphism. The first of these comes from commutative algebra: subject to some finiteness conditions on ''f'', it can be shown that there is a non-empty open subscheme Y' of ''Y'', such that ''f'' restricted to ''Y''′ is a flat morphism (generic flatness). Here 'restriction' is interpreted by means of the fiber product of schemes, applied to ''f'' and the inclusio ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]  




Spectrum Of A Ring
In commutative algebra, the prime spectrum (or simply the spectrum) of a ring ''R'' is the set of all prime ideals of ''R'', and is usually denoted by \operatorname; in algebraic geometry it is simultaneously a topological space equipped with the sheaf of rings \mathcal. Zariski topology For any ideal ''I'' of ''R'', define V_I to be the set of prime ideals containing ''I''. We can put a topology on \operatorname(R) by defining the collection of closed sets to be :\. This topology is called the Zariski topology. A basis for the Zariski topology can be constructed as follows. For ''f'' ∈ ''R'', define ''D''''f'' to be the set of prime ideals of ''R'' not containing ''f''. Then each ''D''''f'' is an open subset of \operatorname(R), and \ is a basis for the Zariski topology. \operatorname(R) is a compact space, but almost never Hausdorff: in fact, the maximal ideals in ''R'' are precisely the closed points in this topology. By the same reasoning, it is not, in general, a ...
[...More Info...]      
[...Related Items...]     OR:     [Wikipedia]   [Google]   [Baidu]