k=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the RiemannRochHirzebruchAtiyahSinger index formula


 Berenice Mills
 3 years ago
 Views:
Transcription
1 20 VASILY PESTUN 3. Lecture: GrothendieckRiemannRochHirzebruchAtiyahSinger Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim C = n the index ind(, E) is defined as n ind(, E) = ( ) k dim H k (, E) (3.) The localization theorem in Ktheory gives the index formula of GrothendieckRiemann RochHirzebruchAtiyahSinger relating the index to the Todd class ind(, E) = ( 2π td(t,0 ) n ) ch(e) (3.2) Similarly, the index of Dirac operator /D : S E S E from the positive chiral spinors S to the negative chiral spinors S, twisted by a vector bundle E, is defined as and is given by the AtiyahSinger index formula ind( /D, E) = dim ker /D dim coker /D (3.3) ind( /D, E) = ( 2π ) n Notice that on a Kahler manifold the Dirac complex is isomorphic to the Dolbeault complex /D : S S Ω 0,p () Ω 0,p ()... twisted by the square root of the canonical bundle K = Λ n (T,0 ) Â(T,0 ) ch(e) (3.4) /D = K 2 (3.5) consistently with the relation (.75) and the RiemannRochHirzebruchAtiyahSinger index formula 3.2. Euler characteristic from an index formula. The vector bundle E in the index formula (3.2) can be promoted to a complex E E (3.6) In particular, the index of the complex E = Λ (T,0 ) of (, 0)forms on a Kahler variety equals the Euler characteristic of n n e() = ind(, Λ (T,0 ) ) = ( ) pq dim H p,q () (3.7) We find ch Λ (T,0 ) = q=0 p=0 n ( e x i ) (3.8) i=
2 EQUIVARIANT COHOMOLOGY AND LOCALIZATIONWINTER SCHOOL IN LES DIABLERETSJANUARY where x i are Chern roots of the curvature of the ndimensional complex bundle T,0. Hence, the Todd index formula (3.2) gives e() = ( 2πı) n The above agrees with the Euler characteristic (.82) c n (T,0 ) (3.9) 3.3. Equivariant index formula (Dolbeault and Dirac). Let G be a compact connected Lie group. Suppose that is a complex variety and E is a holomorphic Gequivariant vector bundle over. Then the cohomology groups H (, E) form representation of G. In this case the index of E (3.) can be refined to an equivariant index or character n ind G (, E) = ( ) k ch G H k (, E) (3.0) where ch G H i (, E) is the character of a representation of G in the vector space H i (, E). More concretely, the equivariant index can be thought of as a gadget that attaches to G equivariant holomorphic bundle E a complex valued adjoint invariant function on the group G n ind G (, E)(g) = ( ) k tr H k (,E) g (3.) on elements g G. The sign alternating sum (3.) is also known as the supertrace ind G (, E)(g) = str H (,E) g (3.2) The index formula (3.2) is replaced by the equivariant index formula in which characteristic classes are promoted to Gequivariant characteristic classes in the Cartan model of Gequivariant cohomology with differential d G = d φ a i a as in (.42) ind(, E)(e φa T a ) = ( 2πı) n td G (T ) ch G (E) = ch G E e G (T ) ch G Λ T (3.3) Here φ a T a is an element of Lie algebra of G and e φa T a is an element of G, and T denotes the holomorphic tangent bundle of the complex manifold. If the set G of Gfixed points is discrete, then applying the localization formula (2.9) to the equivariant index (3.3) we find the equivariant Lefshetz formula ind(, E)(g) = x G tr Ex(g) det T,0 x ( g ) The Euler character is cancelled against the numerator of the Todd character. (3.4) 3.4. Example of equivariant index on CP. Let be CP and let E = O(n) be a complex line bundle of degree n over CP, and let G = U() equivariantly act on E as follows. Let z be a local coordinate on CP, and let an element t U() C send the point with coordinate z to the point with coordinate tz so that ch T,0 0 = t ch T,0 = t (3.5)
3 22 VASILY PESTUN where T,0 0 denotes the fiber of the holomorphic tangent bundle at z = 0 and similarly T,0 the fiber at z =. Let the action of U() on the fiber of E at z = 0 be trivial. Then the action of U() on the fiber of E at z = is found from the gluing relation to be of weight n, so that Then ind(, O(n), CP )(t) = s = z n s 0 (3.6) ch E z=0 =, ch E z= = t n (3.7) t n t t = t n = t n t k, n 0 0, n =, t n 2 t k, n < (3.8) We can check against the direct computation. Assume n 0. The kernel of is spanned by n holomorphic sections of O(n) of the form z k for k = 0,..., n, the cokernel is empty by RiemannRoch. The section z k is acted upon by t T with weight t k. Therefore n ind T (, O(n), CP ) = t k (3.9) Even more explicitly, for illustration, choose a connection form A with constant curvature F A = 2 inω, denoted in the patch around θ = 0 (or z = 0) by A(0) and in the patch around θ = π (or z = ) by A (π) A (0) = 2 in( cos θ)dα A(π) = in( cos θ)dα (3.20) 2 The gauge transformation between the two patches A (0) = A (π) in dα (3.2) is consistent with the defining E bundle transformation rule for the sections s (0), s (π) in the patches around θ = 0 and θ = π s (0) = z n s (π) A (0) = A (π) z n dz n. (3.22) The equivariant curvature F T of the connection A in the bundle E is given by F T = in(ω ɛ( cos θ)) (3.23) 2 as can be verified against the definition (.60) F T = F ɛi v A. Notice that to verify the expression for the equivariant curvature (3.23) in the patch near θ = π one needs to take into account contributions from the vertical component g dg of the connection A on the total space of the principal U() bundle and from the T action on the fiber at θ = π with weight n. Then ch(e) θ=0 = exp(f T ) θ=0 = ch(e) θ=π = exp(f T ) θ=π = exp( inɛ) = t n (3.24) for t = exp(iɛ) in agreement with (3.8).
4 EQUIVARIANT COHOMOLOGY AND LOCALIZATIONWINTER SCHOOL IN LES DIABLERETSJANUARY A similar exercise gives the index for the Dirac operator on S 2 twisted by a magnetic field of flux n ind( /D, O(n), S 2 ) = tn/2 t n/2 (3.25) t 2 t 2 where now we have chosen the lift of the T action symmetrically to be of weight n/2 at θ = 0 and of weight n/2 at θ = π. Also notice that up to overall multiplication by a power of t related to the choice of lift of the T action to the fibers of the bundle E, the relation (3.5) holds ind( /D, O(n), S 2 ) = ind(, O(n ), CP ) (3.26) because on CP the canonical bundle is K = O( 2) Example of equivariant index on CP m.. Let = CP m be defined by the projective coordinates (x 0 : x : : x m ) and L n be the line bundle L n = O(n). Let T = U() (m) act on by (x 0 : x :... x m ) (t 0 x 0 : t x : : t m x m ) (3.27) and by t n k on the fiber of the bundle L n in the patch around the kth fixed point x k =, x i k = 0. We find the index as a sum of contributions from m fixed points ind T (D) = m t n k j k ( (t j/t k )) (3.28) For n 0 the index is a homogeneous polynomial in C[t 0,..., t m ] of degree n representing the character on the space of holomorphic sections of the O(n) bundle over CP m. s n (t 0,..., t m ), n 0 ind T (D) = 0, m n < 0 (3.29) ( ) m t 0 t... t m s n m (t 0,..., t m ), n m where s n (t 0,..., t m ) are complete homogeneous symmetric polynomials. This result can be quickly obtained from the contour integral representation of the sum (3.28) dz z n m 2πi z m j=0 ( t j/z) = t n k j k ( (t j/t k )), (3.30) C If n m we pick the contour of integration C to enclose all residues z = t j. The residue at z = 0 is zero and the sum of residues is (3.28). On the other hand, the same contour integral is evaluated by the residue at z = which is computed by expanding all fractions in inverse powers of z, and is given by the complete homogeneous polynomial in t i of degree n. If n < m we assume that the contour of integration is a small circle around the z = 0 and does not include any of the residues z = t j. Summing the residues outside of the contour, and taking that z = does not contribute, we get (3.28) with the ( ) sign. The residue at z = 0 contributes by (3.29). Also notice that the last line of (3.29) relates to the first line by the reflection t i t i t n k j k ( t j/t k ) = ( )m (t j k Thanks to Bruno Le Floch for the comment k ) n m ( j t j ) ( t j /t k ) (3.3)
5 24 VASILY PESTUN which is the consequence of the Serre duality on CP m Equivariant index on general flag manifold and Weyl formula for the character. The CP in example (3.25) can be thought of as a flag manifold SU(2)/U(), and (3.8) (3.25) as characters of SU(2)modules. For index theory on general flag manifolds G C /B C, that is BorelWeylBott theorem 2, the shift of the form (3.26) is a shift by the Weyl vector ρ = α>0 α where α are positive roots of g. The index formula with localization to the fixed points on a flag manifold is equivalent to the Weyl character formula. The generalization of formula (3.25) for generic flag manifold appearing from a coadjoint orbit in g is called Kirillov character formula [8], [9], [20]. Let G be a compact simple Lie group. The Kirillov character formula equates the T  equivariant index of the Dirac operator ind T (D) on the Gcoadjoint orbit of the element λ ρ g with the character χ λ of the G irreducible representation with highest weight λ. The character χ λ is a function g C determined by the representation of the Lie group G with highest weight λ as χ λ : tr λ e, g (3.32) Let λ be an orbit of the coadjoint action by G on g. Such orbit is specified by an element λ t /W where t is the Lie algebra of the maximal torus T G and W is the Weyl group. The coadjoint orbit λ is a homogeneous symplectic Gmanifold with the canonical symplectic structure ω defined at point x g on tangent vectors in g by the formula ω x (, 2 ) = x, [, 2 ], 2 g (3.33) The converse is also true: any homogeneous symplectic Gmanifold is locally isomorphic to a coadjoint orbit of G or central extension of it. The minimal possible stabilizer of λ is the maximal abelian subgroup T G, and the maximal coadjoint orbit is G/T. Such orbit is called a full flag manifold. The real dimension of the full flag manifold is 2n = dim G rk G, and is equal to the number of roots of g. If the stabilizer of λ is a larger group H, such that T H G, the orbit λ is called a partial flag manifold G/H. A degenerate flag manifold is a projection from the full flag manifold with fibers isomorphic to H/T. Flag manifolds are equipped with natural complex and Kahler structure. There is an explicitly holomorphic realization of the flag manifolds as a complex quotient G C /P C where G C is the complexification of the compact group G and P C G C is a parabolic subgroup. Let g = g h g be the standard decomposition of g into the Cartan h algebra and the upper triangular g and lower triangular g subspaces. The minimal parabolic subgroup is known as Borel subgroup B C, its Lie algebra is conjugate to h g. The Lie algebra of generic parabolic subgroup P C B C is conjugate to the direct sum of h g and a proper subspace of g. Full flag manifolds with integral symplectic structure are in bijection with irreducible Grepresentations π λ of highest weight λ λρ π λ (3.34) This is known as the Kirillov correspondence in geometric representation theory. 2 For a short presentation see exposition by J. Lurie at bwb.pdf
6 EQUIVARIANT COHOMOLOGY AND LOCALIZATIONWINTER SCHOOL IN LES DIABLERETSJANUARY Namely, if λ g is a weight, the symplectic structure ω is integral and there exists a line bundle L λ with a unitary connection of curvature ω. The line bundle L λ is acted upon by the maximal torus T G and we can study the T equivariant geometric objects. The KirillovBerlineGetzlerVergne character formula equates the equivariant index of the Dirac operator /D twisted by the line bundle L λρ on the coadjoint orbit λρ with the character χ λ of the irreducible representation of G with highest weight λ ind T ( /D)( λρ ) = χ λ (3.35) This formula can be easily proven using the AtiyahSinger equivariant index formula ind T ( /D)( λρ ) = ch ( 2πı) n T (L)ÂT (T ) (3.36) λρ and the AtiyahBottBerlineVergne formula to localize the integral over λρ to the set of fixed points λρ T. The localization to λρ T yields the Weyl formula for the character. Indeed, the stabilizer of λ ρ, where λ is a dominant weight, is the Cartan torus T G. The coadjoint orbit λρ is the full flag manifold. The T fixed points are in the intersection λρ t, and hence, the set of the T fixed points is the Weyl orbit of λ ρ T λρ = Weyl(λ ρ) (3.37) At each fixed point p λρ T the tangent space T λρ p is generated by the root system of g. The tangent space is a complex T module α>0 C α with weights α given by the positive roots of g. Consequently, the denominator of ÂT gives the Weyl denominator, the numerator of ÂT cancels with the Euler class e T (T ) in the localization formula, and the restriction of ch T (L) = e ω is e w(λρ) ind T ( /D)( λρ ) = ch ( 2πı) n T (L)Â(T ) = λρ w W e iw(λρ)ɛ α>0 (e 2 iαɛ e 2 iαɛ ) (3.38) We conclude that the localization of the equivariant index of the Dirac operator on λρ twisted by the line bundle L to the set of fixed points λρ T is precisely the Weyl formula for the character Equivariant index for differential operators. See the book by Atiyah [2]. Let E k be a family of vector bundles over a manifold indexed by integer k Z. Let G be a compact Lie group acting equivariantly E k. The action of G on a bundle E induces canonically a linear action on the space of sections Γ(E). For g G and a section φ Γ(E) the action is (gφ)(x) = gφ(g x), x (3.39) Let D k : Γ(E k ) Γ(E k ) be linear differential operators compatible with the G action, and let E be the complex (that is D k D k = 0) E : Γ(E 0 ) D 0 Γ(E ) D Γ(E 2 )... (3.40) Since D k are Gequivariant operators, the Gaction on Γ(E k ) induces the Gaction on the cohomology H k (E). The equivariant index of the complex E is the virtual character ind G (D) : g C (3.4)
7 26 VASILY PESTUN defined by ind G (D)(g) = k ( ) k tr H k (E) g (3.42) If the set G of Gfixed points is discrete, the AtiyahSinger equivariant index formula is ind G (D) = k ( )k ch G (E k ) x (3.43) det Tx( g ) x G For the Dolbeault complex E k = Ω 0,k and D k = : Ω 0,k Ω 0,k Ω 0, Ω 0, (3.44) the index (3.43) agrees with (3.4) because the numerator in (3.43) decomposes as ch G E ch G Λ T0, and the denominator as ch G Λ T0, ch G Λ T,0 and the factor ch G Λ T0, cancels out. For example, the equivariant index of : Ω 0,0 () Ω 0, () on = C x under the T = U() action x t x where t T is the fundamental character is contributed by the fixed point x = 0 as ind T (C, ) t = ( t)( t) = t = t k (3.45) where the denominator is the determinant of the operator t over the twodimensional normal bundle to 0 C spanned by the vectors x and x with eigenvalues t and t. In the numerator, comes from the equivariant Chern character on the fiber of the trivial line bundle at x = 0 and t comes from the equivariant Chern character on the fiber of the bundle of (0, ) forms d x. We can compare the expansion in power series in t k of the index with the direct computation. The terms t k for k Z 0 come from the local T equivariant holomorphic functions x k which span the kernel of on C x. The cokernel is empty by the Poincaré lemma. Compare with (3.9). Similarly, for the complex on C r we obtain [ r ] ind T (C r, ) = (3.46) ( t k ) k= where [] means expansion in positive powers of t k. For application to the localization computation on spheres of even dimension S 2r we can compute the index of a certain transversally elliptic operator D which naturally interpolates between the complex in the neighborhood of one fixed point (north pole) of the rtorus T r action on S 2r and the complex in the neighborhood of another fixed point (south pole). The index is a sum of two fixed point contributions [ r ] [ r ] ind T (S 2r, D) = ( t k ) ( t k ) = [ r k= k= ( t k ) ] [ r k= k= ( ) r t... t r ( t k ) where [] and [] denotes the expansions in positive and negative powers of t k. ] (3.47)
8 EQUIVARIANT COHOMOLOGY AND LOCALIZATIONWINTER SCHOOL IN LES DIABLERETSJANUARY AtiyahSinger index formula for a free action Gmanifold. Suppose that a compact Lie group G acts freely on a manifold and let Y = /G be the quotient, and let π : Y (3.48) be the associated Gprincipal bundle. Suppose that D is a G T equivariant operator (differential) for a complex (E, D) of vector bundles E k over as in (3.40). The G T equivariance means that the complex E and the operator D are pullbacks by π of a T equivariant complex Ẽ and operator D on the base Y E = π Ẽ, D = π D (3.49) We want to compute the G T equivariant index ind G T (D; ) for the complex (E, D) on the total space for a G T transversally elliptic operator D using T equivariant index theory on the base Y. We can do that using Fourier theory on G (counting KK modes in Gfibers). Let R G be the set of all irreducible representations of G. For each irreducible representation α R G we denote by χ α the character of this representation, and by W α the vector bundle over Y associated to the principal Gbundle (3.48). Then, for each irrep α R G we consider a complex Ẽ W α on Y obtained by tensoring Ẽ with the vector bundle W α over Y. The AtiyahSinger formula is ind G T (D; ) = α R G ind T ( D W α ; Y )χ α. (3.50) 3.9. Index of Dirac operator on odddimensional sphere S 2r. We consider an example relevant for localization on odddimensional spheres S 2r which are subject to the equivariant action of the maximal torus T r of the isometry group SO(2r). The sphere π : S 2r CP r is the total space of the S Hopf fibration over the complex projective space CP r. We will apply the equation (3.50) for a transversally elliptic operator D induced from the Dolbeault operator D = on CP r by the pullback π. To compute the index of operator D = π on π : S 2r CP r we apply (3.50) and use (3.29) and obtain [ ] [ ind(d, S 2r ) = ind T (, CP r ( ), O(n)) = r t ]... t r r n= k= ( t r k) k= ( t k ) (3.5) where [] and [] denotes the expansion in positive and negative powers of t k. See further review in Contribution [22] General AtiyahSinger index formula. The AtiyahSinger index formula for the Dolbeault and Dirac complexes and the equivariant index formula (3.43) can be generalized to a generic situation of an equivariant index of transversally elliptic complex (3.40). Let be a real manifold. Let π : T be the cotangent bundle. Let {E } be an indexed set of vector bundles on and π E be the vector bundles over T defined by the pullback. The symbol σ(d) of a differential operator D : Γ(E) Γ(F ) (3.40) is a linear operator σ(d) : π E π F which is defined by taking the highest degree part of the differential
9 28 VASILY PESTUN operator and replacing all derivatives by the conjugate coordinates p µ in the fibers of x µ T. For example, for the Laplacian : Ω 0 (, R) Ω 0 (, R) with highest degree part in some coordinate system {x µ } given by = g µν µ ν where g µν is the inverse Riemannian metric, the symbol of is a Hom(R, R)valued (i.e. number valued) function on T given by σ( ) = g µν p µ p ν (3.52) where p µ are conjugate coordinates (momenta) on the fibers of T. A differential operator D : Γ(E) Γ(F ) is elliptic if its symbol σ(d) : π E π F is an isomorphism of vector bundles π E and π F on T outside of the zero section T. The index of a differential operator D depends only on the topological class of its symbol in the topological Ktheory of vector bundles on T. The AtiyahSinger formula for the index of the complex (3.40) is ind G (D, ) = Â (2π) dim R G (π T ) ch G (π E ) (3.53) T Here T denotes the total space of the cotangent bundle of with canonical orientation such that dx dp dx 2 dp 2... is a positive element of Λ top (T ). Let n = dim R. Let π T denote the vector bundle of dimension n over the total T obtained as pullback of T to T. The ÂGcharacter of π T is ( ) Â G (π R G T ) = det π T (3.54) e R G/2 e R G/2 where R G denotes the Gequivariant curvature of the bundle π T. Notice that the argument of Â is n n matrix where n = dim R T (real dimension of ) while if general index formula is specialized to Dirac operator on Kahler manifold as in (3.4) the argument of the Â character is an n n matrix where n = dim C T,0 (complex dimension of ). Even though the integration domain T is noncompact the integral (3.54) is welldefined because of the (Gtransversal) ellipticity of the complex π E. For illustration take the complex to be E D 0 E. Since σ(d) : π E 0 π E is an isomorphism outside of the zero section we can pick a smooth connection on π E 0 and π E such that its curvature on E 0 is equal to the curvature on E away from a compact tubular neighborhood U ɛ of T. Then ch G (π E ) is explicitly vanishing away from U ɛ and the integration over T reduces to integration over the compact domain U ɛ. It is clear that under localization to the fixed points of the Gaction on the general formula (3.54) reduces to the fixed point formula (3.43). This is due to the fact that the numerator in the Âcharacter det π T R G = Pf TT (R G ) is the Euler class of the tangent bundle T T to T which cancels with the denominator in (2.9), while the restriction of the denominator of (3.54) to fixed points is equal to (3.54) or (3.43), because det e R G =, since R G is a curvature of the tangent bundle T with orthogonal structure group.
LECTURES ON EQUIVARIANT LOCALIZATION
LECTURES ON EQUIVARIANT LOCALIZATION VASILY PESTUN Abstract. These are informal notes of the lectures on equivariant localization given at the program Geometry of Strings and Fields at The Galileo Galilei
More informationV = 1 2 (g ijχ i h j ) (2.4)
4 VASILY PESTUN 2. Lecture: Localization 2.. Euler class of vector bundle, MathaiQuillen form and PoincareHopf theorem. We will present the Euler class of a vector bundle can be presented in the form
More informationDirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017
Dirac Operator Göttingen Mathematical Institute Paul Baum Penn State 6 February, 2017 Five lectures: 1. Dirac operator 2. AtiyahSinger revisited 3. What is Khomology? 4. The RiemannRoch theorem 5. Ktheory
More informationAtiyahSinger Revisited
AtiyahSinger Revisited Paul Baum Penn State Texas A&M Universty College Station, Texas, USA April 1, 2014 From E 1, E 2,..., E n obtain : 1) The Dirac operator of R n D = n j=1 E j x j 2) The Bott generator
More informationInvariance Theory, the Heat Equation, and the AtiyahSinger Index Theorem
PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the AtiyahSinger Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents
More informationarxiv: v3 [hepth] 15 Oct 2016
Review of localization in geometry Vasily Pestun Institut des Hautes Études Scientifique, France pestun@ihes.fr ariv:608.02954v3 [hepth] 5 Oct 206 Abstract Review of localization in geometry: equivariant
More informationFixed Point Theorem and Character Formula
Fixed Point Theorem and Character Formula Hang Wang University of Adelaide Index Theory and Singular Structures Institut de Mathématiques de Toulouse 29 May, 2017 Outline Aim: Study representation theory
More informationKähler manifolds and variations of Hodge structures
Kähler manifolds and variations of Hodge structures October 21, 2013 1 Some amazing facts about Kähler manifolds The best source for this is Claire Voisin s wonderful book Hodge Theory and Complex Algebraic
More informationCHARACTERISTIC CLASSES
1 CHARACTERISTIC CLASSES Andrew Ranicki Index theory seminar 14th February, 2011 2 The Index Theorem identifies Introduction analytic index = topological index for a differential operator on a compact
More informationTRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND GMANIFOLDS LECTURE NOTES
TRANSVERSAL DIRAC OPERATORS ON DISTRIBUTIONS, FOLIATIONS, AND GMANIFOLDS LECTURE NOTES KEN RICHARDSON Abstract. In these lectures, we investigate generalizations of the ordinary Dirac operator to manifolds
More information12 Geometric quantization
12 Geometric quantization 12.1 Remarks on quantization and representation theory Definition 12.1 Let M be a symplectic manifold. A prequantum line bundle with connection on M is a line bundle L M equipped
More informationDirac Operator. Texas A&M University College Station, Texas, USA. Paul Baum Penn State. March 31, 2014
Dirac Operator Paul Baum Penn State Texas A&M University College Station, Texas, USA March 31, 2014 Miniseries of five lectures: 1. Dirac operator 2. AtiyahSinger revisited 3. What is Khomology? 4. Beyond
More informationQuaternionic Complexes
Quaternionic Complexes Andreas Čap University of Vienna Berlin, March 2007 Andreas Čap (University of Vienna) Quaternionic Complexes Berlin, March 2007 1 / 19 based on the joint article math.dg/0508534
More informationHYPERKÄHLER MANIFOLDS
HYPERKÄHLER MANIFOLDS PAVEL SAFRONOV, TALK AT 2011 TALBOT WORKSHOP 1.1. Basic definitions. 1. Hyperkähler manifolds Definition. A hyperkähler manifold is a C Riemannian manifold together with three covariantly
More informationSYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS. 1. Introduction
SYMPLECTIC MANIFOLDS, GEOMETRIC QUANTIZATION, AND UNITARY REPRESENTATIONS OF LIE GROUPS CRAIG JACKSON 1. Introduction Generally speaking, geometric quantization is a scheme for associating Hilbert spaces
More informationREPRESENTATION THEORY WEEK 7
REPRESENTATION THEORY WEEK 7 1. Characters of L k and S n A character of an irreducible representation of L k is a polynomial function constant on every conjugacy class. Since the set of diagonalizable
More informationInduced Representations and Frobenius Reciprocity. 1 Generalities about Induced Representations
Induced Representations Frobenius Reciprocity Math G4344, Spring 2012 1 Generalities about Induced Representations For any group G subgroup H, we get a restriction functor Res G H : Rep(G) Rep(H) that
More informationIntroduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
More informationGeometric Structures in Mathematical Physics Nonexistence of almost complex structures on quaternionkähler manifolds of positive type
Geometric Structures in Mathematical Physics Nonexistence of almost complex structures on quaternionkähler manifolds of positive type Paul Gauduchon Golden Sands, Bulgaria September, 19 26, 2011 1 Joint
More informationMathematical Research Letters 2, (1995) A VANISHING THEOREM FOR SEIBERGWITTEN INVARIANTS. Shuguang Wang
Mathematical Research Letters 2, 305 310 (1995) A VANISHING THEOREM FOR SEIBERGWITTEN INVARIANTS Shuguang Wang Abstract. It is shown that the quotients of Kähler surfaces under free antiholomorphic involutions
More informationA users guide to Ktheory
A users guide to Ktheory Ktheory Alexander Kahle alexander.kahle@rub.de Mathematics Department, RuhrUniverstät Bochum BonnCologne Intensive Week: Tools of Topology for Quantum Matter, July 2014 Outline
More informationAn Invitation to Geometric Quantization
An Invitation to Geometric Quantization Alex Fok Department of Mathematics, Cornell University April 2012 What is quantization? Quantization is a process of associating a classical mechanical system to
More informationComparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp(1)
Comparison of the Weyl integration formula and the equivariant localization formula for a maximal torus of Sp() Jeffrey D. Carlson January 3, 4 Introduction In this note, we aim to prove the Weyl integration
More informationHolomorphic line bundles
Chapter 2 Holomorphic line bundles In the absence of nonconstant holomorphic functions X! C on a compact complex manifold, we turn to the next best thing, holomorphic sections of line bundles (i.e., rank
More informationCohomology of the Mumford Quotient
Cohomology of the Mumford Quotient Maxim Braverman Abstract. Let X be a smooth projective variety acted on by a reductive group G. Let L be a positive Gequivariant line bundle over X. We use a Witten
More informationINSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD
INSTANTON MODULI AND COMPACTIFICATION MATTHEW MAHOWALD () Instanton (definition) (2) ADHM construction (3) Compactification. Instantons.. Notation. Throughout this talk, we will use the following notation:
More informationLECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES
LECTURE 28: VECTOR BUNDLES AND FIBER BUNDLES 1. Vector Bundles In general, smooth manifolds are very nonlinear. However, there exist many smooth manifolds which admit very nice partial linear structures.
More informationOn algebraic index theorems. Ryszard Nest. Introduction. The index theorem. Deformation quantization and Gelfand Fuks. Lie algebra theorem
s The s s The The term s is usually used to describe the equality of, on one hand, analytic invariants of certain operators on smooth manifolds and, on the other hand, topological/geometric invariants
More informationCOHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II
COHOMOLOGY OF ARITHMETIC GROUPS AND EISENSTEIN SERIES: AN INTRODUCTION, II LECTURES BY JOACHIM SCHWERMER, NOTES BY TONY FENG Contents 1. Review 1 2. Lifting differential forms from the boundary 2 3. Eisenstein
More informationMILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES
MILNOR SEMINAR: DIFFERENTIAL FORMS AND CHERN CLASSES NILAY KUMAR In these lectures I want to introduce the ChernWeil approach to characteristic classes on manifolds, and in particular, the Chern classes.
More informationA DANILOVTYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX
A DANILOVTYPE FORMULA FOR TORIC ORIGAMI MANIFOLDS VIA LOCALIZATION OF INDEX HAJIME FUJITA Abstract. We give a direct geometric proof of a Danilovtype formula for toric origami manifolds by using the
More informationLECTURE 10: THE ATIYAHGUILLEMINSTERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAHGUILLEMINSTERNBERG CONVEXITY THEOREM Contents 1. The AtiyahGuilleminSternberg Convexity Theorem 1 2. Proof of the AtiyahGuilleminSternberg Convexity theorem 3 3. Morse theory
More informationSPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY
SPECTRAL ASYMMETRY AND RIEMANNIAN GEOMETRY M. F. ATIYAH, V. K. PATODI AND I. M. SINGER 1 Main Theorems If A is a positive selfadjoint elliptic (linear) differential operator on a compact manifold then
More informationLECTURE 6: JHOLOMORPHIC CURVES AND APPLICATIONS
LECTURE 6: JHOLOMORPHIC CURVES AND APPLICATIONS WEIMIN CHEN, UMASS, SPRING 07 1. Basic elements of Jholomorphic curve theory Let (M, ω) be a symplectic manifold of dimension 2n, and let J J (M, ω) be
More informationThe Spinor Representation
The Spinor Representation Math G4344, Spring 2012 As we have seen, the groups Spin(n) have a representation on R n given by identifying v R n as an element of the Clifford algebra C(n) and having g Spin(n)
More informationExercises in Geometry II University of Bonn, Summer semester 2015 Professor: Prof. Christian Blohmann Assistant: Saskia Voss Sheet 1
Assistant: Saskia Voss Sheet 1 1. Conformal change of Riemannian metrics [3 points] Let (M, g) be a Riemannian manifold. A conformal change is a nonnegative function λ : M (0, ). Such a function defines
More informationLecture on Equivariant Cohomology
Lecture on Equivariant Cohomology Sébastien Racanière February 20, 2004 I wrote these notes for a hours lecture at Imperial College during January and February. Of course, I tried to track down and remove
More informationIntroduction to the BaumConnes conjecture
Introduction to the BaumConnes conjecture Nigel Higson, John Roe PSU NCGOA07 Nigel Higson, John Roe (PSU) Introduction to the BaumConnes conjecture NCGOA07 1 / 15 History of the BC conjecture Lecture
More informationRepresentation Theory and Orbital Varieties. Thomas Pietraho Bowdoin College
Representation Theory and Orbital Varieties Thomas Pietraho Bowdoin College 1 Unitary Dual Problem Definition. A representation (π, V ) of a group G is a homomorphism ρ from G to GL(V ), the set of invertible
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan AttwellDuval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationTopics in Representation Theory: Roots and Complex Structures
Topics in Representation Theory: Roots and Complex Structures 1 More About Roots To recap our story so far: we began by identifying an important abelian subgroup of G, the maximal torus T. By restriction
More informationQuantising proper actions on Spin c manifolds
Quantising proper actions on Spin c manifolds Peter Hochs University of Adelaide Differential geometry seminar Adelaide, 31 July 2015 Joint work with Mathai Varghese (symplectic case) Geometric quantization
More informationRecall for an n n matrix A = (a ij ), its trace is defined by. a jj. It has properties: In particular, if B is nonsingular n n matrix,
Chern characters Recall for an n n matrix A = (a ij ), its trace is defined by tr(a) = n a jj. j=1 It has properties: tr(a + B) = tr(a) + tr(b), tr(ab) = tr(ba). In particular, if B is nonsingular n n
More informationHighestweight Theory: Verma Modules
Highestweight Theory: Verma Modules Math G4344, Spring 2012 We will now turn to the problem of classifying and constructing all finitedimensional representations of a complex semisimple Lie algebra (or,
More informationWHAT IS KHOMOLOGY? Paul Baum Penn State. Texas A&M University College Station, Texas, USA. April 2, 2014
WHAT IS KHOMOLOGY? Paul Baum Penn State Texas A&M University College Station, Texas, USA April 2, 2014 Paul Baum (Penn State) WHAT IS KHOMOLOGY? April 2, 2014 1 / 56 Let X be a compact C manifold without
More informationTraces and Determinants of
Traces and Determinants of Pseudodifferential Operators Simon Scott King's College London OXFORD UNIVERSITY PRESS CONTENTS INTRODUCTION 1 1 Traces 7 1.1 Definition and uniqueness of a trace 7 1.1.1 Traces
More informationOverview of AtiyahSinger Index Theory
Overview of AtiyahSinger Index Theory Nikolai Nowaczyk December 4, 2014 Abstract. The aim of this text is to give an overview of the Index Theorems by Atiyah and Singer. Our primary motivation is to understand
More informationThe transverse index problem for Riemannian foliations
The transverse index problem for Riemannian foliations John Lott UCBerkeley http://math.berkeley.edu/ lott May 27, 2013 The transverse index problem for Riemannian foliations Introduction Riemannian foliations
More informationKRtheory. JeanLouis Tu. Lyon, septembre Université de Lorraine France. IECL, UMR 7502 du CNRS
JeanLouis Tu Université de Lorraine France Lyon, 1113 septembre 2013 Complex K theory Basic definition Definition Let M be a compact manifold. K (M) = {[E] [F] E, F vector bundles } [E] [F] [E ] [F
More informationThe RiemannRoch Theorem
The RiemannRoch Theorem TIFR Mumbai, India Paul Baum Penn State 7 August, 2015 Five lectures: 1. Dirac operator 2. AtiyahSinger revisited 3. What is Khomology? 4. Beyond ellipticity 5. The RiemannRoch
More informationThe Real Grassmannian Gr(2, 4)
The Real Grassmannian Gr(2, 4) We discuss the topology of the real Grassmannian Gr(2, 4) of 2planes in R 4 and its double cover Gr + (2, 4) by the Grassmannian of oriented 2planes They are compact fourmanifolds
More informationGENERALIZING THE LOCALIZATION FORMULA IN EQUIVARIANT COHOMOLOGY
GENERALIZING THE LOCALIZATION FORULA IN EQUIVARIANT COHOOLOGY Abstract. We give a generalization of the AtiyahBottBerlineVergne localization theorem for the equivariant cohomology of a torus action.
More informationDonaldson Invariants and Moduli of YangMills Instantons
Donaldson Invariants and Moduli of YangMills Instantons Lincoln College Oxford University (slides posted at users.ox.ac.uk/ linc4221) The ASD Equation in Low Dimensions, 17 November 2017 Moduli and Invariants
More informationHODGE NUMBERS OF COMPLETE INTERSECTIONS
HODGE NUMBERS OF COMPLETE INTERSECTIONS LIVIU I. NICOLAESCU 1. Holomorphic Euler characteristics Suppose X is a compact Kähler manifold of dimension n and E is a holomorphic vector bundle. For every p
More informationThe RiemannRoch Theorem
The RiemannRoch Theorem Paul Baum Penn State Texas A&M University College Station, Texas, USA April 4, 2014 Minicourse of five lectures: 1. Dirac operator 2. AtiyahSinger revisited 3. What is Khomology?
More informationBredon, Introduction to compact transformation groups, Academic Press
1 Introduction Outline Section 3: Topology of 2orbifolds: Compact group actions Compact group actions Orbit spaces. Tubes and slices. Pathlifting, covering homotopy Locally smooth actions Smooth actions
More informationThe Theorem of GaußBonnet in Complex Analysis 1
The Theorem of GaußBonnet in Complex Analysis 1 Otto Forster Abstract. The theorem of GaußBonnet is interpreted within the framework of Complex Analysis of one and several variables. Geodesic triangles
More informationMonodromy of the Dwork family, following ShepherdBarron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.
Monodromy of the Dwork family, following ShepherdBarron 1. The Dwork family. Consider the equation (f λ ) f λ (X 0, X 1,..., X n ) = λ(x n+1 0 + + X n+1 n ) (n + 1)X 0... X n = 0, where λ is a free parameter.
More informationPart III Symmetries, Fields and Particles
Part III Symmetries, Fields and Particles Theorems Based on lectures by N. Dorey Notes taken by Dexter Chua Michaelmas 2016 These notes are not endorsed by the lecturers, and I have modified them (often
More informationBranching rules of unitary representations: Examples and applications to automorphic forms.
Branching rules of unitary representations: Examples and applications to automorphic forms. Basic Notions: Jerusalem, March 2010 Birgit Speh Cornell University 1 Let G be a group and V a vector space.
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationGeometry of moduli spaces
Geometry of moduli spaces 20. November 2009 1 / 45 (1) Examples: C: compact Riemann surface C = P 1 (C) = C { } (Riemann sphere) E = C / Z + Zτ (torus, elliptic curve) 2 / 45 (2) Theorem (Riemann existence
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More information15 Elliptic curves and Fermat s last theorem
15 Elliptic curves and Fermat s last theorem Let q > 3 be a prime (and later p will be a prime which has no relation which q). Suppose that there exists a nontrivial integral solution to the Diophantine
More informationON NEARLY SEMIFREE CIRCLE ACTIONS
ON NEARLY SEMIFREE CIRCLE ACTIONS DUSA MCDUFF AND SUSAN TOLMAN Abstract. Recall that an effective circle action is semifree if the stabilizer subgroup of each point is connected. We show that if (M, ω)
More informationHyperkähler geometry lecture 3
Hyperkähler geometry lecture 3 Misha Verbitsky Cohomology in Mathematics and Physics Euler Institute, September 25, 2013, St. Petersburg 1 Broom Bridge Here as he walked by on the 16th of October 1843
More informationRes + X F F + is defined below in (1.3). According to [JeKi2, Definition 3.3 and Proposition 3.4], the value of Res + X
Theorem 1.2. For any η HH (N) we have1 (1.1) κ S (η)[n red ] = c η F. Here HH (F) denotes the Hequivariant Euler class of the normal bundle ν(f), c is a nonzero constant 2, and is defined below in (1.3).
More informationLECTURE 2526: CARTAN S THEOREM OF MAXIMAL TORI. 1. Maximal Tori
LECTURE 2526: CARTAN S THEOREM OF MAXIMAL TORI 1. Maximal Tori By a torus we mean a compact connected abelian Lie group, so a torus is a Lie group that is isomorphic to T n = R n /Z n. Definition 1.1.
More informationRepresentations Are Everywhere
Representations Are Everywhere Nanghua Xi Member of Chinese Academy of Sciences 1 What is Representation theory Representation is reappearance of some properties or structures of one object on another.
More informationTopics in Representation Theory: Roots and Weights
Topics in Representation Theory: Roots and Weights 1 The Representation Ring Last time we defined the maximal torus T and Weyl group W (G, T ) for a compact, connected Lie group G and explained that our
More informationPatrick IglesiasZemmour
Mathematical Surveys and Monographs Volume 185 Diffeology Patrick IglesiasZemmour American Mathematical Society Contents Preface xvii Chapter 1. Diffeology and Diffeological Spaces 1 Linguistic Preliminaries
More informationL6: Almost complex structures
L6: Almost complex structures To study general symplectic manifolds, rather than Kähler manifolds, it is helpful to extract the homotopytheoretic essence of having a complex structure. An almost complex
More informationInstantons and Donaldson invariants
Instantons and Donaldson invariants George Korpas Trinity College Dublin IFT, November 20, 2015 A problem in mathematics A problem in mathematics Important probem: classify dmanifolds up to diffeomorphisms.
More informationQuantising noncompact Spin c manifolds
Quantising noncompact Spin c manifolds Peter Hochs University of Adelaide Workshop on Positive Curvature and Index Theory National University of Singapore, 20 November 2014 Peter Hochs (UoA) Noncompact
More informationMany of the exercises are taken from the books referred at the end of the document.
Exercises in Geometry I University of Bonn, Winter semester 2014/15 Prof. Christian Blohmann Assistant: Néstor León Delgado The collection of exercises here presented corresponds to the exercises for the
More informationIndex theory on manifolds with corners: Generalized GaussBonnet formulas
Index theory on singular manifolds I p. 1/4 Index theory on singular manifolds I Index theory on manifolds with corners: Generalized GaussBonnet formulas Paul Loya Index theory on singular manifolds I
More informationTitleOn manifolds with trivial logarithm. Citation Osaka Journal of Mathematics. 41(2)
TitleOn manifolds with trivial logarithm Author(s) Winkelmann, Jorg Citation Osaka Journal of Mathematics. 41(2) Issue 200406 Date Text Version publisher URL http://hdl.handle.net/11094/7844 DOI Rights
More informationHiggs Bundles and Character Varieties
Higgs Bundles and Character Varieties David Baraglia The University of Adelaide Adelaide, Australia 29 May 2014 GEAR Junior Retreat, University of Michigan David Baraglia (ADL) Higgs Bundles and Character
More informationIntersection of stable and unstable manifolds for invariant Morse functions
Intersection of stable and unstable manifolds for invariant Morse functions Hitoshi Yamanaka (Osaka City University) March 14, 2011 Hitoshi Yamanaka (Osaka City University) ()Intersection of stable and
More information1 Hermitian symmetric spaces: examples and basic properties
Contents 1 Hermitian symmetric spaces: examples and basic properties 1 1.1 Almost complex manifolds............................................ 1 1.2 Hermitian manifolds................................................
More informationLecture VI: Projective varieties
Lecture VI: Projective varieties Jonathan Evans 28th October 2010 Jonathan Evans () Lecture VI: Projective varieties 28th October 2010 1 / 24 I will begin by proving the adjunction formula which we still
More informationReduction of Homogeneous Riemannian structures
Geometric Structures in Mathematical Physics, 2011 Reduction of Homogeneous Riemannian structures M. Castrillón López 1 Ignacio Luján 2 1 ICMAT (CSICUAMUC3MUCM) Universidad Complutense de Madrid 2 Universidad
More informationSummary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture)
Building Geometric Structures: Summary of Prof. Yau s lecture, Monday, April 2 [with additional references and remarks] (for people who missed the lecture) A geometric structure on a manifold is a cover
More informationLectures on the Orbit Method
Lectures on the Orbit Method A. A. Kirillov Graduate Studies in Mathematics Volume 64 American Mathematical Society Providence, Rhode Island Preface Introduction xv xvii Chapter 1. Geometry of Coadjoint
More informationCharacteristic classes in the Chow ring
arxiv:alggeom/9412008v1 10 Dec 1994 Characteristic classes in the Chow ring Dan Edidin and William Graham Department of Mathematics University of Chicago Chicago IL 60637 Let G be a reductive algebraic
More informationHomogeneous parakähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous parakähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,1418 July 2008 1 The talk is based on a joint work with C.Medori and A.Tomassini (Parma) See ArXiv 0806.2272, where also a survey
More informationIndex Theory and Spin Geometry
Index Theory and Spin Geometry Fabian Lenhardt and Lennart Meier March 20, 2010 Many of the familiar (and notsofamiliar) invariants in the algebraic topology of manifolds may be phrased as an index of
More informationStable bundles on CP 3 and special holonomies
Stable bundles on CP 3 and special holonomies Misha Verbitsky Géométrie des variétés complexes IV CIRM, Luminy, Oct 26, 2010 1 Hyperkähler manifolds DEFINITION: A hyperkähler structure on a manifold M
More informationMath 797W Homework 4
Math 797W Homework 4 Paul Hacking December 5, 2016 We work over an algebraically closed field k. (1) Let F be a sheaf of abelian groups on a topological space X, and p X a point. Recall the definition
More informationHodge theory for bundles over C algebras
Hodge theory for bundles over C algebras Svatopluk Krýsl Mathematical Institute, Charles University in Prague Varna, June 2013 Symplectic linear algebra Symplectic vector space (V, ω 0 )  real/complex
More informationHARMONIC MAPS INTO GRASSMANNIANS AND A GENERALIZATION OF DO CARMOWALLACH THEOREM
Proceedings of the 16th OCU International Academic Symposium 2008 OCAMI Studies Volume 3 2009, pp.41 52 HARMONIC MAPS INTO GRASSMANNIANS AND A GENERALIZATION OF DO CARMOWALLACH THEOREM YASUYUKI NAGATOMO
More informationC*Algebras and Group Representations
C*Algebras and Department of Mathematics Pennsylvania State University EMS Joint Mathematical Weekend University of Copenhagen, February 29, 2008 Outline Summary Mackey pointed out an analogy between
More informationPeter Hochs. Strings JC, 11 June, C algebras and Ktheory. Peter Hochs. Introduction. C algebras. Group. C algebras.
and of and Strings JC, 11 June, 2013 and of 1 2 3 4 5 of and of and Idea of 1 Study locally compact Hausdorff topological spaces through their algebras of continuous functions. The product on this algebra
More informationThe Strominger Yau Zaslow conjecture
The Strominger Yau Zaslow conjecture Paul Hacking 10/16/09 1 Background 1.1 Kähler metrics Let X be a complex manifold of dimension n, and M the underlying smooth manifold with (integrable) almost complex
More informationLecture Notes on Equivariant Cohomology
Lecture Notes on Equivariant Cohomology atvei Libine April 26, 2007 1 Introduction These are the lecture notes for the introductory graduate course I taught at Yale during Spring 2007. I mostly followed
More informationPART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS
PART I: GEOMETRY OF SEMISIMPLE LIE ALGEBRAS Contents 1. Regular elements in semisimple Lie algebras 1 2. The flag variety and the Bruhat decomposition 3 3. The GrothendieckSpringer resolution 6 4. The
More informationRiemannian Curvature Functionals: Lecture III
Riemannian Curvature Functionals: Lecture III Jeff Viaclovsky Park City Mathematics Institute July 18, 2013 Lecture Outline Today we will discuss the following: Complete the local description of the moduli
More informationComplex line bundles. Chapter Connections of line bundle. Consider a complex line bundle L M. For any integer k N, let
Chapter 1 Complex line bundles 1.1 Connections of line bundle Consider a complex line bundle L M. For any integer k N, let be the space of kforms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition
More informationThe symplectic structure on moduli space (in memory of Andreas Floer)
The symplectic structure on moduli space (in memory of Andreas Floer) Alan Weinstein Department of Mathematics University of California Berkeley, CA 94720 USA (alanw@math.berkeley.edu) 1 Introduction The
More informationQualifying Exams I, 2014 Spring
Qualifying Exams I, 2014 Spring 1. (Algebra) Let k = F q be a finite field with q elements. Count the number of monic irreducible polynomials of degree 12 over k. 2. (Algebraic Geometry) (a) Show that
More information