Stability
"Stable point" redirects here. It is not to be confused with 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:
- 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 (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: (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 P5g-6 with Hilbert polynomial (6n−1)(g−1) by the group PGL5g−5.
Example: A vector bundle W over an algebraic curve (or over a Riemann surface) is a stable vector bundle if and only if
for all proper non-zero subbundles V of W and is semistable if this condition holds with < replaced by ≤.
Read more about this topic: Geometric Invariant Theory
Famous quotes containing the word stability:
“The world can be at peace only if the world is stable, and there can be no stability where the will is in rebellion, where there is not tranquility of spirit and a sense of justice, of freedom, and of right.”
—Woodrow Wilson (18561924)
“Every nation ... whose affairs betray a want of wisdom and stability may calculate on every loss which can be sustained from the more systematic policy of its wiser neighbors.”
—James Madison (17511836)
“Free from public debt, at peace with all the world, and with no complicated interests to consult in our intercourse with foreign powers, the present may be hailed as the epoch in our history the most favorable for the settlement of those principles in our domestic policy which shall be best calculated to give stability to our Republic and secure the blessings of freedom to our citizens.”
—Andrew Jackson (17671845)