THE KEMPF–NESS THEOREM 1. Introduction In this talk, we will
... (2) µ lifts the infinitesimal action, in the sense that, for all A ∈ k, we have dµA = ιAX ω := ω(AX , −), where µA : X → R is the map given by x 7→ µ(x) · A. The following example will be very useful later on. Example 2.9. Consider the unitary group U(n+1) acting on complex projective space PnC by i ...
... (2) µ lifts the infinitesimal action, in the sense that, for all A ∈ k, we have dµA = ιAX ω := ω(AX , −), where µA : X → R is the map given by x 7→ µ(x) · A. The following example will be very useful later on. Example 2.9. Consider the unitary group U(n+1) acting on complex projective space PnC by i ...
Posets 1 What is a poset?
... which Theorem 3 is true for all posets but Zorn’s Lemma is false. The theorem gives us another measure of the size of a partially ordered set. To motivate this, we use another model of a partial order. Suppose that a number of products are being compared using several different attributes. We regard ...
... which Theorem 3 is true for all posets but Zorn’s Lemma is false. The theorem gives us another measure of the size of a partially ordered set. To motivate this, we use another model of a partial order. Suppose that a number of products are being compared using several different attributes. We regard ...
Math 210B. Spec 1. Some classical motivation Let A be a
... Let A be a commutative ring. We have defined the Zariski topology on the set Spec(A) of primes ideals of A by declaring the closed subsets to be those of the form V (I) = {p ⊇ I}. This is reminiscent of the classical situation where we worked with the set k n = MaxSpec(k[t1 , . . . , tn ])) for an a ...
... Let A be a commutative ring. We have defined the Zariski topology on the set Spec(A) of primes ideals of A by declaring the closed subsets to be those of the form V (I) = {p ⊇ I}. This is reminiscent of the classical situation where we worked with the set k n = MaxSpec(k[t1 , . . . , tn ])) for an a ...
De Rham cohomology of algebraic varieties
... Corollary 1. Let X be a smooth, affine scheme over C, X an the associated complex analytic space. Then the natural map Hp (Γ(X, Ω•X )) → Hp (Γ(X an , Ω•X an )) is an isomorphism for all p. In the remaining parts of this note, I will describe the proof of Grothendieck’s Theorem in some detail, trying t ...
... Corollary 1. Let X be a smooth, affine scheme over C, X an the associated complex analytic space. Then the natural map Hp (Γ(X, Ω•X )) → Hp (Γ(X an , Ω•X an )) is an isomorphism for all p. In the remaining parts of this note, I will describe the proof of Grothendieck’s Theorem in some detail, trying t ...
On the field of definition of superspecial polarized
... REMARK 2. In the above Theorem 2, polarizations O might be decomposable. Of course, it is easy to get a formula for the number of indecomposable ones, subtracting decomposable ones (which consist of the products of polarizations in Em (m n)). We omit the details here. As for the case n 2, see ...
... REMARK 2. In the above Theorem 2, polarizations O might be decomposable. Of course, it is easy to get a formula for the number of indecomposable ones, subtracting decomposable ones (which consist of the products of polarizations in Em (m n)). We omit the details here. As for the case n 2, see ...
Solutions
... Suppose first that x is integral over A, and let B be a valuation ring of K containing A. Then either x ∈ B or x−1 ∈ B. If x ∈ B, we are done. If x−1 ∈ B, then by the integrality of x we have xn + a1 xn−1 + · · · + an−1 x + an = 0 with ai ∈ A, and thus x = −(a1 + a2 x−1 + · · · + an (x−1 )n−1 ) ∈ B ...
... Suppose first that x is integral over A, and let B be a valuation ring of K containing A. Then either x ∈ B or x−1 ∈ B. If x ∈ B, we are done. If x−1 ∈ B, then by the integrality of x we have xn + a1 xn−1 + · · · + an−1 x + an = 0 with ai ∈ A, and thus x = −(a1 + a2 x−1 + · · · + an (x−1 )n−1 ) ∈ B ...
cohomology detects failures of the axiom of choice
... J-indexed family of nonempty sets has a choice function. We also obtain related results when the coefficient groups are required to be abelian or well-orderable. In particular, we show that, if all discrete spaces have trivial first cohomology for all abelian coefficient groups, then the axiom of ch ...
... J-indexed family of nonempty sets has a choice function. We also obtain related results when the coefficient groups are required to be abelian or well-orderable. In particular, we show that, if all discrete spaces have trivial first cohomology for all abelian coefficient groups, then the axiom of ch ...
FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 19
... 1.2. Codimension. Because dimension behaves oddly for disjoint unions, we need some care when defining codimension, and in using the phrase. For example, if Y is a closed subset of X, we might define the codimension to be dim X − dim Y, but this behaves badly. For example, if X is the disjoint union ...
... 1.2. Codimension. Because dimension behaves oddly for disjoint unions, we need some care when defining codimension, and in using the phrase. For example, if Y is a closed subset of X, we might define the codimension to be dim X − dim Y, but this behaves badly. For example, if X is the disjoint union ...
Grobner
... Algebraic Concepts: Field Extension • Field extension: enlarging a field by adjoining (adding) new element(s) to it. – Algebraic Extension: • Adjoin an element u that is a root of a polynomial (of degree m) in k[x]. – Resulting elements in extended field k(u) are of form: a0 a1u a2u 2 am1u ...
... Algebraic Concepts: Field Extension • Field extension: enlarging a field by adjoining (adding) new element(s) to it. – Algebraic Extension: • Adjoin an element u that is a root of a polynomial (of degree m) in k[x]. – Resulting elements in extended field k(u) are of form: a0 a1u a2u 2 am1u ...
One-parameter subgroups and Hilbert`s fifth problem
... this bridge we quite naturally seek an intermediate island on which to rest the piers. Such an island is provided by the one-parameter subgroups. One-parameter subgroups are themselves a topologico-algebraic concept and their existence 'can be demonstrated, in some cases at least, by the methods of ...
... this bridge we quite naturally seek an intermediate island on which to rest the piers. Such an island is provided by the one-parameter subgroups. One-parameter subgroups are themselves a topologico-algebraic concept and their existence 'can be demonstrated, in some cases at least, by the methods of ...
Equivariant Cohomology
... A dg algebra may fail to be quasi-isomorphic to its cohomology algebra. The standard topological example is the knot theory of the Borromean triple-linked rings. Likewise, a module over a dg algebra can also fail to be quasiisomorphic to its cohomology module. We will give many examples later; here ...
... A dg algebra may fail to be quasi-isomorphic to its cohomology algebra. The standard topological example is the knot theory of the Borromean triple-linked rings. Likewise, a module over a dg algebra can also fail to be quasiisomorphic to its cohomology module. We will give many examples later; here ...
Spencer Bloch: The proof of the Mordell Conjecture
... year, w h e n a G e r m a n mathematician, Gerd Faltings, Galaxy) we i n t r o d u c e projective space. Projective nproved the Mordell conjecture, opening thereby a new space over a field k is the set of lines t h r o u g h the origin chapter in n u m b e r theory. In fact, his paper also es- in a ...
... year, w h e n a G e r m a n mathematician, Gerd Faltings, Galaxy) we i n t r o d u c e projective space. Projective nproved the Mordell conjecture, opening thereby a new space over a field k is the set of lines t h r o u g h the origin chapter in n u m b e r theory. In fact, his paper also es- in a ...
Notes 1
... canonical map from G to G/N, whose kernel is N. Thus a subgroup of G is normal if and only if it is the kernel of a homomorphism. If S ⊆ G, then the subgroup generated by S, written h S i, is the (unique) smallest subgroup containing S, i.e. the intersection of all subgroups of G containing S. If h ...
... canonical map from G to G/N, whose kernel is N. Thus a subgroup of G is normal if and only if it is the kernel of a homomorphism. If S ⊆ G, then the subgroup generated by S, written h S i, is the (unique) smallest subgroup containing S, i.e. the intersection of all subgroups of G containing S. If h ...
Let T be a locally finite rooted tree and G < Iso(T) be a
... has continuum many isometry types and cannot be small. 2. Let T be a locally finite rooted tree and G be a closed subgroup of Iso(T) with a small number of isometry types. Then for every m∈ω and h∈G there is some n∈ω and g∈G \ker πn such that g ker πn ⊆ h ker πn and g ker πn consists of isometries o ...
... has continuum many isometry types and cannot be small. 2. Let T be a locally finite rooted tree and G be a closed subgroup of Iso(T) with a small number of isometry types. Then for every m∈ω and h∈G there is some n∈ω and g∈G \ker πn such that g ker πn ⊆ h ker πn and g ker πn consists of isometries o ...
2. Permutation groups Throughout this section, assume that G is a
... 3. Fields and Vector Spaces We will need some background knowledge concerning linear algebra over an arbitrary field. I will assume that you are familiar with the definition of a field, a vector space, and with some basic facts about polynomials over fields; in particular I will also assume the followin ...
... 3. Fields and Vector Spaces We will need some background knowledge concerning linear algebra over an arbitrary field. I will assume that you are familiar with the definition of a field, a vector space, and with some basic facts about polynomials over fields; in particular I will also assume the followin ...
LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS -modules. 20. KZ functor, II: image
... Weyl groups and constant functions c we recover the usual Iwahori-Hecke algebras (with the same additional relations) that appear in Lie theory (say in the study of the representations of finite reductive groups). For non-constant c we recover their straightforward generalization (Hecke algebras with ...
... Weyl groups and constant functions c we recover the usual Iwahori-Hecke algebras (with the same additional relations) that appear in Lie theory (say in the study of the representations of finite reductive groups). For non-constant c we recover their straightforward generalization (Hecke algebras with ...
Trigonometric sums
... due to the fact that F , and hence Fˇ is totally ramified. Theorem 3.2. The cohomology of Gm with coefficient in F (ψχ −1 ) satisfies the following: (i) If χ is non-trivial, then H c∗ → H ∗ is an isomorphism. (ii) H ci = 0 for i 6= 1 and dim H c1 = 1. (iii) F acts on H c1 via multiplication by τ(χ, ...
... due to the fact that F , and hence Fˇ is totally ramified. Theorem 3.2. The cohomology of Gm with coefficient in F (ψχ −1 ) satisfies the following: (i) If χ is non-trivial, then H c∗ → H ∗ is an isomorphism. (ii) H ci = 0 for i 6= 1 and dim H c1 = 1. (iii) F acts on H c1 via multiplication by τ(χ, ...
Open problems on Cherednik algebras, symplectic reflection
... In particular, if G has polynomial growth, then H(t, X, G) has a finite Gelfand-Kirillov dimension, equal to the GK dimension of G, and if G is finite then H(t, X, G) has rank equal to |G|. This conjecture is known only in some special cases. In the finite group case, when X is a vector space, it re ...
... In particular, if G has polynomial growth, then H(t, X, G) has a finite Gelfand-Kirillov dimension, equal to the GK dimension of G, and if G is finite then H(t, X, G) has rank equal to |G|. This conjecture is known only in some special cases. In the finite group case, when X is a vector space, it re ...
3.4 Isomorphisms - NIU Math Department
... 17 . This provides the clue as to how to define the isomorphism we need, since Z16 is also a cyclic group (with generator [1]16 ), and Proposition 3.4.3 (a) implies that any isomorphism between cyclic groups must map a generator to a generator. ...
... 17 . This provides the clue as to how to define the isomorphism we need, since Z16 is also a cyclic group (with generator [1]16 ), and Proposition 3.4.3 (a) implies that any isomorphism between cyclic groups must map a generator to a generator. ...
finitegroups.pdf
... 2. The basic posets and Quillen’s conjecture Fix a finite group G and a prime p. We define two posets. Definition 2.1. Let Sp (G) be the poset of non-trivial p-subgroups of G, ordered by inclusion. An abelian p-group is elementary abelian if every element has order 1 or p. This means that it is a ve ...
... 2. The basic posets and Quillen’s conjecture Fix a finite group G and a prime p. We define two posets. Definition 2.1. Let Sp (G) be the poset of non-trivial p-subgroups of G, ordered by inclusion. An abelian p-group is elementary abelian if every element has order 1 or p. This means that it is a ve ...
AN INTRODUCTION TO THE THEORY OF FIELD EXTENSIONS
... isomorphic to Q( 2) | this, of course, is no coincidence). (2) Take the field R. Again, we may easily find a polynomial, which is irreducible over our field. Choosing p(x) = x2 + 1 ∈ R[x], it is obvious that the roots, ±i ∈ / R. Thus, if we consider the quotient ring, R[x]/(x2 + 1), we obtain the fi ...
... isomorphic to Q( 2) | this, of course, is no coincidence). (2) Take the field R. Again, we may easily find a polynomial, which is irreducible over our field. Choosing p(x) = x2 + 1 ∈ R[x], it is obvious that the roots, ±i ∈ / R. Thus, if we consider the quotient ring, R[x]/(x2 + 1), we obtain the fi ...
Geometric reductivity at Archimedean places
... statements (1.1.1), (1.1.2) and (1.1.3) are therefore equivalent. (1.2). In this subsection we want to formulate the notion of the geometric reductivity at archimedean places. Let G be a complex reductive group with a linear action on Cn such that a maximal subgroup U of G fixes the standard herP co ...
... statements (1.1.1), (1.1.2) and (1.1.3) are therefore equivalent. (1.2). In this subsection we want to formulate the notion of the geometric reductivity at archimedean places. Let G be a complex reductive group with a linear action on Cn such that a maximal subgroup U of G fixes the standard herP co ...
Math 210B. Absolute Galois groups and fundamental groups 1
... subgroup H ⊂ π1 (X, x0 ) is normal, in which case π1 (X, x0 )/H is identified with Aut(X 0 /X). 2. Functoriality and conjugation The aim of this section is to explain how the intervention of conjugation ambiguity in the functoriality of absolute Galois groups is similar to the appearance of conjugat ...
... subgroup H ⊂ π1 (X, x0 ) is normal, in which case π1 (X, x0 )/H is identified with Aut(X 0 /X). 2. Functoriality and conjugation The aim of this section is to explain how the intervention of conjugation ambiguity in the functoriality of absolute Galois groups is similar to the appearance of conjugat ...
Finite fields
... x x + 1 2x 2x + 1 2 2x + 2 x x + 2 1 Example 1.8. For every prime p, the group (Z/(p))× is cyclic: there is an a 6≡ 0 mod p such that {a, a2 , a3 , . . . , ap−1 mod p} = (Z/(p))× . There is no constructive proof of this, and in fact there is no universally applicable algorithm that runs substantiall ...
... x x + 1 2x 2x + 1 2 2x + 2 x x + 2 1 Example 1.8. For every prime p, the group (Z/(p))× is cyclic: there is an a 6≡ 0 mod p such that {a, a2 , a3 , . . . , ap−1 mod p} = (Z/(p))× . There is no constructive proof of this, and in fact there is no universally applicable algorithm that runs substantiall ...
Computing Galois groups by specialisation
... Abelian subgroup G0 of index 2, generated by the σi . On G0 , φ restricts to a homomorphism. The image φ(G0 ) consists of those elements of Hom(Y, µ4 ) whose kernel contains (1 + i). Lemma 7. Let H be a subgroup of Hom(Y, µ4 ). A set of generators for φ−1 H is given by • the inverse images of a set ...
... Abelian subgroup G0 of index 2, generated by the σi . On G0 , φ restricts to a homomorphism. The image φ(G0 ) consists of those elements of Hom(Y, µ4 ) whose kernel contains (1 + i). Lemma 7. Let H be a subgroup of Hom(Y, µ4 ). A set of generators for φ−1 H is given by • the inverse images of a set ...