|
|
| Line 1: |
Line 1: |
| In [[mathematics]] '''Geometric invariant theory''' (or '''GIT''') is a method for constructing quotients by [[group action]]s in [[algebraic geometry]], used to construct [[moduli space]]s. It was developed by [[David Mumford]] in 1965, using ideas from the paper {{harv|Hilbert|1893}} in classical [[invariant theory]].
| |
|
| |
|
| Geometric invariant theory studies an [[group action|action of a group]] ''G'' on an [[algebraic variety]] (or [[scheme (mathematics)|scheme]]) ''X'' and provides techniques for forming the 'quotient' of ''X'' by ''G'' as a scheme with reasonable properties. One motivation was to construct [[moduli space]]s in [[algebraic geometry]] as quotients of schemes parametrizing marked objects. In the 1970s and 1980s the theory developed
| |
| interactions with [[symplectic geometry]] and equivariant topology, and was used to construct moduli spaces of objects in [[differential geometry]], such as [[instanton]]s and [[monopole (mathematics)|monopoles]].
| |
|
| |
|
| == Background ==
| | Making a website is a totally different matter and you need separate guidelines and books for this topic, which you can get from the website listed below. You will find that the method explained here is mainly targeting at auction Web sites and there are many different ways to make money online which includes building a website.<br><br>These business open house ideas will be effective but only should you follow-up and connect using your current and prospective customers to create a loyal customer base. The fact optimized productivity at minimal cost is more valued in any business and you'll be able only through world wide web. As with any service related business, accurate job costing as well as an appropriate pricing matrix are critical tools for your air conditioning contractor. People happen to be trained to target exclusively on price. You might think that you are carrying out business as normal but some in the practices you are accustomed to might not be okay with others in other countries.<br><br>Now it's time to market your business and market it heavily. The most successful home based businesses are the people who get the most traffic to their website. By having a system in place, we mean that you do have a website, a blog, and a follow up system using an auto responder.<br><br>If you believe in what you are marketing, you will be more convincing to potential recruits. Knowing all about your product also allows you to provide honest reviews of the product, which enables customers to trust you more. Study and know your product very well. Your audience will immediately notice whether or not you believe in your product based on your expertise or lack thereof.<br><br>Chances are you have put a lot of thought into what you are offering and it will sell itself. Seriously, do not limit your creative juices just to your [http://Www.wired.com/search?query=product product] or service. However, if you want to "make money online" and really make money online to support your family then you need to be even more creative with your marketing.<br><br>Under this you receive an AVG Link - Scanner that blocks suspicious and malware sites from opening, AVG Online Shield that checks files even before these are generally downloaded. However, in the present rapidly changing world, I am not sure how many barriers really could block a competitor from entering a specific business market. It is really a must have for all those websites which means if you dont have one you will need it. There may be a amount of opportunities for small business owners online. Potential customers might be everywhere so prepare to do some marketing everywhere you go.<br><br>If you can get a few offices on board you can have a little extra cash for a few minutes a day. Call local services like doctors, veterinarian, photographers or anyone that makes appointments for their services and offer your service to make reminder calls.<br><br>While signing up a lot of people is important, it is more important to pay attention to the quality of the people you are signing up. If you want to be truly profitable, you have to find workers with the drive to succeed, and the willingness to make the effort to establish their own downlines.<br><br>What does that mean suitable for you Going personal will mean your business is free time efficient, cheaper it's collateralized an exceptionally specific result. For you to use residence is more popular than ever and is particularly a desirable occupational for folks who need a perform family lifespan steadiness. Just one very well liked work from home business is definitely the supply of a digital photography website Transcriber Options And Reality Electronic improves ensure that it is not a worry to gives a wide range with support solutions starting from your household business office.<br><br>Better not lose hope if you could possibly have fallen for one ultimate schemes before. You just need to know things to search for when joining any careers from company on the online market place. Excellent genuine businesses on the world wide web.<br><br>If you use the right strategies, you will be able to develop a profitable business. The guidelines in this article will be a useful starting point for building your home business. Yet to a lot of people, that seems impossible.<br><br>Take on people for a ride and permit them to enjoy the interiors of the car. Professional automotive detailer can give your car the much desired face lift. Get the fresh feel back every single time that you sit behind the automobile. For that you need professional give support to. Let's face it, to purchase your car back its earlier and also beauty, you will likely not retain the time nor the equipment to carry off the project. Trust me it just does not look good but it also feels great driving around a car that is well groomed. Take your car on a stop at an automotive dealer and you won't regret it. Vroom your shiny car with pride. Take your car a good auto automotive dealer.<br><br>This article will give you five good reasons to join a program of this type of membership and enjoy the benefits of working from home, but still be able to get benefits 24 hours a day, 7 days a week, 365 days a year. Website owners can make some profits by participating in an affiliate program binary options. A great way to do this is to become an affiliate with a website that offers a premium product to its users. Website owners are always looking for ways to monetize their sites.<br><br>When you loved this post and you would love to receive more details relating to [http://www.travailadomicile2014.sitew.fr travailler chez soi] please visit our own website. |
| {{main|Invariant theory}}
| |
| Invariant theory is concerned with a [[group action]] of a [[group (mathematics)|group]] ''G'' on an [[algebraic variety]] (or a [[scheme (mathematics)|scheme]]) ''X''. Classical invariant theory addresses the situation when ''X'' = ''V'' is a [[vector space]] and ''G'' is either a finite group, or one of the [[classical Lie group]]s that acts linearly on ''V''. This action induces a linear action of ''G'' on the space of [[Ring of polynomial functions|polynomial functions]] ''R''(''V'') on ''V'' by the formula
| |
| | |
| : <math> g\cdot f(v)=f(g^{-1}v), \quad g\in G, v\in V.</math>
| |
| | |
| The polynomial [[invariant (mathematics)|invariant]]s of the ''G''-action on ''V'' are those polynomial functions ''f'' on ''V'' which are fixed under the 'change of variables' due to the action of the group, so that ''g''·''f'' = ''f'' for all ''g'' in ''G''. They form a commutative algebra ''A'' = ''R''(''V'')<sup>''G''</sup>, and this algebra is interpreted as the algebra of functions on the 'invariant theory quotient' ''V'' //''G''. In the language of modern [[algebraic geometry]], | |
| | |
| : <math> V/\!\!/G=\operatorname{Spec} A=\operatorname{Spec} R(V)^G.</math>
| |
| | |
| Several difficulties emerge from this description. The first one, successfully tackled by Hilbert in the case of a [[general linear group]], is to prove that the algebra ''A'' is finitely generated. This is necessary if one wanted the quotient to be an [[affine algebraic variety]]. Whether a similar fact holds for arbitrary groups ''G'' was the subject of [[Hilbert's fourteenth problem]], and [[Masayoshi Nagata|Nagata]] demonstrated that the answer was negative in general. On the other hand, in the course of development of [[representation theory]] in the first half of the twentieth century, a large class of groups for which the answer is positive was identified; these are called [[reductive group]]s and include all finite groups and all classical groups.
| |
| | |
| The finite generation of the algebra ''A'' is but the first step towards the complete description of ''A'', and the progress in resolving this more delicate question was rather modest. The invariants had classically been described only in a restricted range of situations, and the complexity of this description beyond the first few cases held out little hope for full understanding of the algebras of invariants in general. Furthermore, it may happen that all polynomial invariants ''f'' take the same value on a given pair of points ''u'' and ''v'' in ''V'', yet these points are in different [[orbit (group theory)|orbits]] of the ''G''-action. A simple example is provided by the multiplicative group '''C'''<sup>*</sup> of non-zero complex numbers that acts on an ''n''-dimensional complex vector space '''C'''<sup>''n''</sup> by scalar multiplication. In this case, every polynomial invariant is a constant, but there are many different orbits of the action. The zero vector forms an orbit by itself, and the non-zero multiples of any non-zero vector form an orbit, so that non-zero orbits are paramatrized by the points of the complex [[projective space]] '''CP'''<sup>''n''−1</sup>. If this happens, one says that "invariants do not separate the orbits", and the algebra ''A'' reflects the topological [[quotient space]] ''X'' /''G'' rather imperfectly. Indeed, the latter space is frequently [[Hausdorff space|non-separated]]. In 1893 Hilbert formulated and proved a criterion for determining those orbits which are not separated from the zero orbit by invariant polynomials. Rather remarkably, unlike his earlier work in invariant theory, which led to the rapid development of [[abstract algebra]], this result of Hilbert remained little known and little used for the next 70 years. Much of the development of invariant theory in the first half of the twentieth century concerned explicit computations with invariants, and at any rate, followed the logic of algebra rather than geometry.
| |
| | |
| == Mumford's book ==
| |
| | |
| Geometric invariant theory was founded and developed by Mumford in a monograph, first published in 1965, that applied ideas of nineteenth century invariant theory, including some results of [[David Hilbert|Hilbert]], to modern algebraic geometry questions. (The book was greatly expanded in two later editions, with extra appendices by Fogarty and Mumford, and a chapter on symplectic quotients by Kirwan.) The book uses both [[scheme theory]] and computational techniques available in examples.
| |
| <!--- Incorporate below
| |
| The theory has been very influential, and the technical concept of ''stability'' used has been basic in much later research, for example on moduli spaces of [[vector bundle]]s.
| |
| -->
| |
| The abstract setting used is that of a [[group action]] on a scheme ''X''.
| |
| The simple-minded idea of an [[orbit space]]
| |
| | |
| :''G''\''X'',
| |
| | |
| i.e. the [[quotient space]] of ''X'' by the group action, runs into difficulties in algebraic geometry, for reasons that are explicable in abstract terms. There is in fact no general reason why [[equivalence relation]]s should interact well with the (rather rigid) [[regular function]]s (polynomial functions), which are at the heart of algebraic geometry. The functions on the orbit space ''G''\''X'' that should be considered are those on ''X'' that are [[Invariant (mathematics)|invariant]] under the action of ''G''. The direct approach can be made, by means of the [[function field of an algebraic variety|function field]] of a variety (i.e. [[rational function]]s): take the [[G-invariant|''G''-invariant]] rational functions on it, as the function field of the [[quotient variety]]. Unfortunately this — the point of view of [[birational geometry]] — can only give a first approximation to the answer. As Mumford put it in the Preface to the book:
| |
| | |
| :''The problem is, within the set of all models of the resulting birational class, there is one model whose [[geometric point]]s classify the set of orbits in some action, or the set of algebraic objects in some moduli problem''.
| |
| | |
| In Chapter 5 he isolates further the specific technical problem addressed, in a [[moduli problem]] of quite classical type — classify the big 'set' of all algebraic varieties subject only to being [[non-singular]] (and a requisite condition on [[polarization of an algebraic variety|polarization]]). The moduli are supposed to describe the parameter space. For example for [[algebraic curve]]s it has been known from the time of [[Riemann]] that there should be [[connected space|connected component]]s of dimensions
| |
| | |
| :0, 1, 3, 6, 9, …
| |
| | |
| according to the [[genus (curve)|genus]] ''g'' =0, 1, 2, 3, 4, …, and the moduli are functions on each component. In the [[coarse moduli problem]] Mumford considers the obstructions to be:
| |
| | |
| *non-separated topology on the moduli space (i.e. not enough parameters in good standing)
| |
| *infinitely many irreducible components (which isn't avoidable, but [[local finiteness]] may hold)
| |
| *failure of components to be representable as schemes, although respectable topologically.
| |
| | |
| It is the third point that motivated the whole theory. As Mumford puts it, if the first two difficulties are resolved
| |
| | |
| :[the third question] ''becomes essentially equivalent to the question of whether an orbit space of some [[locally closed]] subset of the [[Hilbert scheme|Hilbert]] or [[Chow scheme]]s by the [[projective group]] exists''.
| |
| | |
| To deal with this he introduced a notion (in fact three) of '''stability'''. This enabled him to open up the previously treacherous area — much had been written, in particular by [[Francesco Severi]], but the methods of the literature had limitations. The birational point of view can afford to be careless about subsets of [[codimension]] 1. To have a moduli space as a scheme is on one side a question about characterising schemes as [[representable functor]]s (as the [[Grothendieck]] school would see it); but geometrically it is more like a [[compactification (mathematics)|compactification]] question, as the stability criteria revealed. The restriction to non-singular varieties will not lead to a [[compact space]] in any sense as moduli space: varieties can degenerate to having singularities. On the other hand the points that would correspond to highly singular varieties are definitely too 'bad' to include in the answer. The correct middle ground, of points stable enough to be admitted, was isolated by Mumford's work. The concept was not entirely new, since certain aspects of it were to be found in [[David Hilbert]]'s final ideas on invariant theory, before he moved on to other fields.
| |
| | |
| The book's Preface also enunciated the [[haboush's theorem|Mumford conjecture]], later proved by [[William Haboush]].
| |
| <!-- Expand on this, but not just yet | |
| In many contexts where both theories apply, geometric invariant theory quotients are equivalent to [[symplectic reduction]].
| |
| -->
| |
| | |
| ==Stability== <!-- "Stable point" redirects here -->
| |
| {{Redirect-distinguish|Stable point|Stable fixed point}}
| |
| If a reductive group ''G'' acts linearly on a vector space ''V'', then a non-zero point of ''V'' is called
| |
| *'''unstable''' if 0 is in the closure of its orbit,
| |
| *'''semi-stable''' if 0 is not in the closure of its orbit,
| |
| *'''stable''' if its orbit is closed, and its stabilizer is finite.
| |
| | |
| There are equivalent ways to state these (this criterion is known as the [[Hilbert–Mumford criterion]]):
| |
| *A non-zero point ''x'' is unstable if and only if there is a 1-parameter subgroup of ''G'' all of whose weights with respect to ''x'' are positive.
| |
| *A non-zero point ''x'' is unstable if and only if every invariant polynomial has the same value on 0 and ''x''.
| |
| *A non-zero point ''x'' is semistable if and only if there is no 1-parameter subgroup of ''G'' all of whose weights with respect to ''x'' are positive.
| |
| *A non-zero point ''x'' is semistable if and only if some invariant polynomial has different values on 0 and ''x''.
| |
| *A non-zero point ''x'' is stable if and only if every 1-parameter subgroup of ''G'' has positive (and negative) weights with respect to ''x''.
| |
| *A non-zero point ''x'' is stable if and only if for every ''y'' not in the orbit of ''x'' there is some invariant polynomial that has different values on ''y'' and ''x'', and the ring of invariant polynomials has transcendence degree dim(''V'')−dim(''G'').
| |
| | |
| A point of the corresponding projective space of ''V'' is called unstable, semi-stable, or stable if it is the
| |
| image of a point in ''V'' with the same property. "Unstable" is the opposite of "semistable" (not "stable"). The unstable points form a Zariski closed set of projective space, while the semistable and stable points both form Zariski open sets (possibly empty). These definitions are from {{harv|Mumford|1977}} and are not equivalent to the ones in the first edition of Mumford's book.
| |
| | |
| Many moduli spaces can be constructed as the quotients of the space of stable points of some subset of projective space by some group action. These spaces can often by compactified by adding certain equivalence classes of semistable points. Different stable orbits correspond to different points in the quotient, but two different semistable orbits may correspond to the same point in the quotient if their closures intersect.
| |
|
| |
| Example: {{harv|Deligne|Mumford|1969}}
| |
| A '''[[stable curve]]''' is a reduced connected curve of genus ≥2 such that its only singularities are ordinary double points and every non-singular rational component meets the other components in at least 3 points. The moduli space of stable curves of genus ''g'' is the quotient of a subset of the [[Hilbert scheme]] of curves in '''P'''<sup>5''g''-6</sup> with Hilbert polynomial (6''n''−1)(''g''−1) by the group PGL<sub>5''g''−5</sub>. | |
| | |
| Example:
| |
| A vector bundle ''W'' over an [[algebraic curve]] (or over a [[Riemann surface]]) is a [[stable vector bundle]]
| |
| if and only if
| |
| | |
| :<math>\displaystyle\frac{\deg(V)}{\hbox{rank}(V)} < \frac{\deg(W)}{\hbox{rank}(W)}</math>
| |
| | |
| for all proper non-zero subbundles ''V'' of ''W''
| |
| and is semistable if this condition holds with < replaced by ≤.
| |
| | |
| ==See also==
| |
| *[[Geometric complexity theory]]
| |
| *[[Geometric quotient]]
| |
| *[[Categorical quotient]]
| |
| | |
| == References ==
| |
| *{{Citation | last1=Deligne | first1=Pierre | author1-link=Pierre Deligne | last2=Mumford | first2=David | author2-link=David Mumford | title=The irreducibility of the space of curves of given genus | url=http://www.numdam.org/item?id=PMIHES_1969__36__75_0 | id={{MathSciNet | id = 0262240}} | year=1969 | journal=[[Publications Mathématiques de l'IHÉS]] | issue=36 | pages=75–109 | doi=10.1007/BF02684599 | volume=36}}
| |
| *{{citation|last=Hilbert|first=D.|title=Über die vollen Invariantensysteme|journal=Math. Annalen|volume=42|issue=3|page=313|year=1893|doi=10.1007/BF01444162}}
| |
| * Kirwan, Frances, ''Cohomology of quotients in symplectic and algebraic geometry''. Mathematical Notes, 31. Princeton University Press, Princeton, NJ, 1984. i+211 pp. {{MathSciNet|id=0766741}} ISBN 0-691-08370-3
| |
| * Kraft, Hanspeter, ''Geometrische Methoden in der Invariantentheorie''. (German) (Geometrical methods in invariant theory) Aspects of Mathematics, D1. Friedr. Vieweg & Sohn, Braunschweig, 1984. x+308 pp. {{MathSciNet|id=0768181}} ISBN 3-528-08525-8
| |
| *{{Citation | last1=Mumford | first1=David | author1-link=David Mumford | title=Stability of projective varieties | url=http://retro.seals.ch/digbib/view?rid=ensmat-001:1977:23::185 | id={{MathSciNet | id = 0450272}} | year=1977 | journal=L'Enseignement Mathématique. Revue Internationale. IIe Série | issn=0013-8584 | volume=23 | issue=1 | pages=39–110}}
| |
| *{{Citation | last1=Mumford | first1=David | author1-link=David Mumford | last2=Fogarty | first2=J. | last3=Kirwan | first3=F. | author3-link=Frances Kirwan | title=Geometric invariant theory | publisher=[[Springer-Verlag]] | location=Berlin, New York | edition=3rd | series=Ergebnisse der Mathematik und ihrer Grenzgebiete (2) [Results in Mathematics and Related Areas (2)] | isbn=978-3-540-56963-3 | id={{MathSciNet|id=0214602}}( 1st ed 1965) {{MathSciNet|id=0719371}} (2nd ed) {{MathSciNet | id = 1304906}}(3rd ed.) | year=1994 | volume=34}}
| |
| * [[Ernest Vinberg|E.B. Vinberg]], [[Vladimir L. Popov|V.L. Popov]], ''Invariant theory'', in ''Algebraic geometry''. IV. Encyclopaedia of Mathematical Sciences, 55 (translated from 1989 Russian edition) Springer-Verlag, Berlin, 1994. vi+284 pp. ISBN 3-540-54682-0
| |
| | |
| [[Category:Moduli theory]]
| |
| [[Category:Scheme theory]]
| |
| [[Category:Algebraic groups]]
| |
| [[Category:Invariant theory]]
| |
Making a website is a totally different matter and you need separate guidelines and books for this topic, which you can get from the website listed below. You will find that the method explained here is mainly targeting at auction Web sites and there are many different ways to make money online which includes building a website.
These business open house ideas will be effective but only should you follow-up and connect using your current and prospective customers to create a loyal customer base. The fact optimized productivity at minimal cost is more valued in any business and you'll be able only through world wide web. As with any service related business, accurate job costing as well as an appropriate pricing matrix are critical tools for your air conditioning contractor. People happen to be trained to target exclusively on price. You might think that you are carrying out business as normal but some in the practices you are accustomed to might not be okay with others in other countries.
Now it's time to market your business and market it heavily. The most successful home based businesses are the people who get the most traffic to their website. By having a system in place, we mean that you do have a website, a blog, and a follow up system using an auto responder.
If you believe in what you are marketing, you will be more convincing to potential recruits. Knowing all about your product also allows you to provide honest reviews of the product, which enables customers to trust you more. Study and know your product very well. Your audience will immediately notice whether or not you believe in your product based on your expertise or lack thereof.
Chances are you have put a lot of thought into what you are offering and it will sell itself. Seriously, do not limit your creative juices just to your product or service. However, if you want to "make money online" and really make money online to support your family then you need to be even more creative with your marketing.
Under this you receive an AVG Link - Scanner that blocks suspicious and malware sites from opening, AVG Online Shield that checks files even before these are generally downloaded. However, in the present rapidly changing world, I am not sure how many barriers really could block a competitor from entering a specific business market. It is really a must have for all those websites which means if you dont have one you will need it. There may be a amount of opportunities for small business owners online. Potential customers might be everywhere so prepare to do some marketing everywhere you go.
If you can get a few offices on board you can have a little extra cash for a few minutes a day. Call local services like doctors, veterinarian, photographers or anyone that makes appointments for their services and offer your service to make reminder calls.
While signing up a lot of people is important, it is more important to pay attention to the quality of the people you are signing up. If you want to be truly profitable, you have to find workers with the drive to succeed, and the willingness to make the effort to establish their own downlines.
What does that mean suitable for you Going personal will mean your business is free time efficient, cheaper it's collateralized an exceptionally specific result. For you to use residence is more popular than ever and is particularly a desirable occupational for folks who need a perform family lifespan steadiness. Just one very well liked work from home business is definitely the supply of a digital photography website Transcriber Options And Reality Electronic improves ensure that it is not a worry to gives a wide range with support solutions starting from your household business office.
Better not lose hope if you could possibly have fallen for one ultimate schemes before. You just need to know things to search for when joining any careers from company on the online market place. Excellent genuine businesses on the world wide web.
If you use the right strategies, you will be able to develop a profitable business. The guidelines in this article will be a useful starting point for building your home business. Yet to a lot of people, that seems impossible.
Take on people for a ride and permit them to enjoy the interiors of the car. Professional automotive detailer can give your car the much desired face lift. Get the fresh feel back every single time that you sit behind the automobile. For that you need professional give support to. Let's face it, to purchase your car back its earlier and also beauty, you will likely not retain the time nor the equipment to carry off the project. Trust me it just does not look good but it also feels great driving around a car that is well groomed. Take your car on a stop at an automotive dealer and you won't regret it. Vroom your shiny car with pride. Take your car a good auto automotive dealer.
This article will give you five good reasons to join a program of this type of membership and enjoy the benefits of working from home, but still be able to get benefits 24 hours a day, 7 days a week, 365 days a year. Website owners can make some profits by participating in an affiliate program binary options. A great way to do this is to become an affiliate with a website that offers a premium product to its users. Website owners are always looking for ways to monetize their sites.
When you loved this post and you would love to receive more details relating to travailler chez soi please visit our own website.