Hodge Theory of Isolated Hypersurface Singularities
|
|
- Amber Hodges
- 6 years ago
- Views:
Transcription
1 Hodge Theory of Isolated Hypersurface Singularities Mohammad Reza Rahmati February 11, 2015
2 Isolated hypersurface singularities Assume f : C n+1 C a holomorphic germ with isolated singularity. It gives the Milnor fibration (C ), f : X T Provides 1-parameter degenerating family, T = T \ 0 X U X f f f H e T T (1) Monodromy transformation M : H Z H Z, H Z = H n (X s0, Z), where s 0 T and dim H n (X s0, Q) = µ (the Milnor number of f ).
3 Monodromy theorem Theorem (Monodromy theorem) The eigenvalues of M are m th root of unity, for a suitable integer m, i.e if M = M s.m u is Jordan decomposition, then M m s = 1. If l is the largest integer that for some p, H i,k i (X t, C) 0, if p i p + l. Then and hence for l min(k, 2n k) + 1. (M u 1) l = 0 (M m 1) l = 0,
4 Compactification of Milnor fibration Assume f : X T is a Milnor fibration of an isolated hypersurface singularity at 0 C n+1. Can assume f is a polynomial of sufficiently high degree, say d = deg f. Can embed the fibration into a projective one f Y : P n+1 T C defined via a homogeneous polynomial f Y. Obtain a locally trivial C -fibration f Y : Y T with, F (z 0,..., z n+1 ) = z d n+1 f (z 0/z n+1,..., z n /z n+1 ), Y = {(z, t) P n+1 (C) T f Y = F(z) tz d n+1 = 0}. Set Y = Y T H.
5 Nilpotent Orbit Theorem-Limit mixed Hodge structure N Y = log(m Y,u ) where M Y = M Y,s.M Y,u is the Jordan decomposition; N gives a Weight filtration W [ ] on H Z defined by (a) N : W k W k 2 (b) N k : Gr W m+k Gr W m k is an isomorphism. s := exp( 1.t) where Im(t) > 0; By the nilpotent orbit theorem (W. Schmid), the limit lim Im(t) exp( tn)f p s =: F p exists, and (H n (Y, Q), W k, F p ) is a MHS.
6 If Y is a projective variety of dimension n, Then { H n P n (Y, C), n odd (Y, C) = P n (Y, C) ω n/2, n even where P n = ker(. ω : H n H n ), ω Kahler form. We set (I coh Y Theorem cup product) S Y = ( 1) n(n 1)/2 I coh Y. (W. Schmid) S Y, N Y, W, F give a polarized mixed Hodge structure on P n (Y ). It is invariant w.r.t M Y,s.
7 Steenbrink limit mixed Hodge structure-first definition Theorem If f is a polynomial of sufficiently high degree s.t the properties above are satisfied. Then the mapping i : P n (Y ) H n (X ) is surjective and the kernel is ker(i ) = ker(m Y id). Moreover, there exists a unique MHS on H n (X ) namely Steenbrink MHS, which makes the following short exact sequence an exact sequence of mixed Hodge structures 0 ker(m Y id) P n (Y ) i H n (X ) 0. The MHS s are invariant w.r.t the semi-simple part of the monodromy. The Steenbrink LMHS is polarized by { S Y (i a, i b) a, b H 1 S(a, b) = S Y (i a, N Y i b) a, b H 1
8 Cohomology bundle-vanishing cohomology The cohomology bundle (rank µ-local system of MHS) H := t T H n (X t, C) Holomorphic integrable (Gauss-Manin) connection; Define t : H H, H = (O T ) µ H n (X, C) λ = ker(m s λ) H n (X, C)
9 Elementary section-deligne extension Elementary sections; Define a map, s(a, α)(t) = t α exp[log(t). N 2πi ] A α(t), It gives the isomorphism A α (t) H n (X t, C) λ, e 2πiα = λ, ψ α : H n (X, C) (i H) 0, ψ α (A) := i s(a, α). ψ α : H n (X, C) λ C α G 0, N/2πi = ψ 1 α (t t α) ψ α
10 Nearby map Builds up the isomorphism; ψ = ψ α : H C = H e 2πiα C 1<α 0 1<α 0 1<α 0 Monodromy M on H C corresponds to exp( 2πi.t t ). ψ is called Deligne nearby map. C α
11 Kashiwara-Malgrange V-filtration Definition: Gauss-Manin system G = C{t}[t 1 ]C α. 1<α 0 Definition: V -filtration is defined on G by V α = C{t}C β, (V >α = β α β>αc{t}c β ) (a) t.v α V α+1, (b) t.v α V α 1, (c) t i j t V α V α for all i > j, (d) The operator t t α is nilpotent on GrV α. V α, V >α are C{t}-modules of rank µ.
12 Gauss-Manin system We have, λ m λ G = C{t}[ t ] C{t}[ t ] C{t}[ t ](t t α λ ) n. λ,j j=1 In case of isolated hypersurface singularities, t : G G is invertible. The Gauss-Manin connection t : G G of isolated hypersurface singularities, has an extension to the whole disc T that has a regular singularity at 0, i.e. has a pole of order at most 1 at 0.
13 Brieskorn Lattice Definition: E. Brieskorn defines the O T -modules (X Milnor ball) H = f ( Ω n+1 X df dω n 1 X H df Ω n X = f ( df dω n 1 ) X They have rank µ, such that H T = H T = H. We have canonical isomorphisms, Ω f = Ωn+1 df Ω n = H 1 t ) = V 1.H t.v 1 = Hn (X ) (2)
14 Steenbrink Limit mixed Hodge structure-second definition Hodge filtrations on H n (X, C), F p St Hn (X, C) λ = ψ 1 α ( V α n p t H 0 V >α ), α ( 1, 0], F p Va Hn (X, C) λ = ψα 1 ( V α t (n p) H 0 V >α ), α ( 1, 0] Knowing that V 1 H 0, and 0 = F n+1 = F n+1 Va. With the weight filtration W define mixed Hodge structures on H n (X, C). Theorem The Hodge filtration F St is the Steenbrink limit Hodge filtration.
15 Theorem (A. Varchenko) (F, W ) and (F Va, W ) are different on H n (X, C) in general, However F p Va Gr l W = F p St Gr l W. Theorem (E. Brieskorn) Assume f : C n+1 C is a holomorphic map with isolated singularity, inducing the Milnor fibration f : X T. Then we have the following isomorphisms G = R n f C O T = R n f Ω X /T = Ω n+1 [t, t 1 ] (d tdf )Ω n+1 [t, t 1 ] where t is a variable.
16 Extenstion of Gauss-Manin system-algebraic case The Brieskorn Lattice is defined by, G 0 := image(ω n+1 [t] G) = Set G p := τ p G 0, τ = t 1. Ω n+1 [t] (td df )Ω n+1 [t] There are isomorphisms given by multiplication by t p. G p V α G p 1 V α + G p V >α = The gluing is done via the isomorphisms, V α+p G 0 V α G 1 + V >α G 0 Gr n p F (H λ ) = Gr V α+p(h /τ 1.H )
17 Extension of Gauss-Manin system Theorem The identity H (0) τ 1.H (0) = Ωn+1 df Ω n = Ω f defines the extension fiber of the Gauss-Manin system of the isolated singularity f : C n+1 C.
18 Good basis Theorem (M. Saito) Assume {(α i, d i )} is the spectrum of a germ of isolated singularity f : C n+1 C. There exists elements s i C α i with the properties (1) s 1,..., s µ project onto a C-basis of 1<α<n Gr V αh /GrV α 1 t H. (2) s µ+1 := 0; there exists ν : {1,..., µ} {1,..., µ, µ + 1} with (t (α i + 1) 1 t )s i = s ν(i) (3) There exists an involution κ : {1,..., µ} {1,..., µ} with κ = µ + 1 i if α i 1 2 (n 1) and κ(i) = µ + 1 i or κ(i) = i if α i = 1 2 (n 1), and P S (s i, s j ) = ±δ (µ+1 i)j. 1 n t. where P is the Saito higher residue pairing.
19 Opposite filtrations Theorem (M. Saito) The filtration U p C α := C α V α+p H is opposite to the filtration Hodge filtration F on G. Two filtrations F and U on H are called opposite, if Gr F p Gr q U H = 0, for p q The two filtrations F p and U q := U n q = ψ 1 { α C α V α+n q H } = ψ 1 { α Gr α V [V α+n q H ]} are two opposite filtrations on H n (X, C).
20 Extension of mixed Hodge structure The Deligne bigrading, H n (X, C) = p,q,λ Define, I p,q λ Φ p,q λ where : I p,q λ ˆΦ λ Gr α+n p V H pr Gr V (H / 1 t H ) ˆΦ p,q λ := p n t ψ α I p,q λ Φ = p,q,λ Φp,q λ, Φp,q λ = pr ψ α is the nearby isomorphism. ˆΦ p,q λ = Ω f (3)
21 Mixed Hodge structure on Ω f Theorem The map Φ is a well-defined C-linear isomorphism. Definition The mixed Hodge structure on Ω f is defined by using the isomorphism Φ. This means that W k (Ω f ) = ΦW k H n (X, Q), F p (Ω f ) = ΦF p H n (X, C) and the data of the Steenbrink MHS on H n (X, C) such as the Q or R-structure is transformed via the isomorphism Φ to that of Ω f. Specifically; in this way we also obtain a conjugation map. : Ω f,q C Ω f,q C, Ω f,q := ΦH n (X, Q) (4) defined from the conjugation on H n (X, C) via this map.
22 Main result Theorem: Assume f : (C n+1, 0) (C, 0), is a holomorphic germ with isolated singularity at 0, with f : X T the associated Milnor fibration. Embed the Milnor fibration in a projective fibration f Y : Y T of degree d (with d large enough), by inserting possibly a singular fiber over 0. Then, the isomorphism Φ makes the following diagram commutative up to a complex constant; Res f,0 : Ω f Ω f (Φ 1,Φ 1 ) C 0 (5) where, S : H n (X ) H n (X ) C Res f,0 = res f,0 (, C )
23 Main result and C is defined relative to the Deligne decomposition of Ω f, via the isomorphism Φ. If J p,q = Φ 1 I p,q is the corresponding subspace of Ω f, then Ω f = p,q J p,q C J p,q = ( 1) p (6) In other words; S(Φ 1 (ω), Φ 1 (η)) = res f,0 (ω, C.η), 0 C (7)
24 Example-Quasihomogeneous fibrations Take f = 0 with f to be quasi-homogeneous in weighted degrees (w 1,..., w n ), with the unique Milnor fiber X = f 1 (1). MHS on H n (X, C) : the Hodge filtration given by the degree of forms in the weighted projective space, and the weight filtration as 0 = W n 1 W n W n+1 = H n (X, C) Assume {φ 1,..., φ µ } be a basis for Ω f, we consider the corresponding Leray residues φ i η i = c i.res f =1 ( (f 1) l(i) ) Here c i C is a normalizing constant.
25 Example-Quasihomogeneous case Then, S(η i, η j ) = res f,0 (φ i, Cφ j ) The isomorphism Φ is as follows, Φ 1 : [z i dz] c i.[res f =1 (z i dz/(f 1) [l(i)] )] with c i C, and z i in the basis mentioned above.
26 Example For instance if f = x 3 + y 4, then as basis for Jacobi ring, we choose z i : 1, y, x, y 2, xy, xy 2 The basis correspond to top forms with degrees l(i) = α i (ω i + 1). l(i) : 7/12, 10/12, 11/12, 13/12, 14/12, 17/12 The Hodge filtration is defined via F p := C.{ω; p 1 < l(ω) < p}.
27 Example The above basis projects onto a basis Grα V H Gr V Ω f 1<α=l(i) 1<n h 1,0 = h 0,1 = 3. Therefore, because Φ is an isomorphism. < 1.ω, y.ω, x.ω >= Ω 0,1 f, < y 2.ω, xy.ω, xy 2.ω >= Ω 1,0 f where ω = dx dy, and the Hodge structure is pure, because Gr W 2 Hn (X ) = 0. < 1.dx dy, y.dx dy, x.dx dy > = < c 1.xy 2.dx dy, xy.dx dy, y 2.dx dy >
28 Graded polarizations on primitive subspaces-consequences Theorem Assume f : C n+1 C is a holomorphic isolated singularity germ. The modified Grothendieck residue provides a polarization for the extended fiber Ω f, via the aforementioned isomorphism Φ. Moreover, there exists a unique set of forms { Res k } polarizing the primitive subspaces of Gr W k Ω f providing a graded polarization for Ω f. Res k = Res (id f k ) : PGr W k Ω f C PGr W k Ω f C, (8) Corollary The polarization S of H n (X ) will always define a polarization of Ω f, via the isomorphism Φ. In other words S is also a polarization in the extension, i.e. of Ω f.
29 Summary of results Theorem Assume f : C n+1 C is a holomorphic hypersurface germ with isolated singularity at 0 C n+1. The variation of mixed Hodge structure is polarized. This VMHS can be extended to the puncture with the extended fiber isomorphic to Ω f, and it is polarized. The Hodge filtration on the new fiber Ω f correspond to an opposite Hodge filtration on H n (X, C).
30 Riemann-Hodge bilinear relations for Grothendieck pairing on Ω f - new result Corollary: Assume the holomorphic isolated singularity Milnor fibration f : X T can be embedded in a projective fibration of degree d with d >> 0. Suppose f is the corresponding map to N on H n (X ), via the isomorphism Φ. Define P l = PGr W l Going to W -graded pieces; := ker(f l+1 : Gr W l Ω f Gr W l 2 Ω f ) Res l : PGrl W Ω f C PGrl W Ω f C (9) is non-degenerate and according to Lefschetz decomposition Grl W Ω f = r f r P l 2r
31 we obtain a set of non-degenerate bilinear forms, Res l = Res (id f l ) : PGrl W Ω f C PGrl W Ω f C, (10) Res l = res f,0 (id C. f l ) (11) such that the corresponding hermitian form associated to these bilinear forms is positive definite. In other words, Res l (x, y) = 0, If x 0 in P l, x P r, y P s, r s Const res f,0 (C l x, C. f l. x) > 0 where C l is the corresponding Weil operator.
32 Real splitting of a MHS MHS (H, F, W ) and g = gl(h) = End C (H). g 1, 1 = {X; X(I p,q ) I r,s }. r p 1, s q 1 Theorem (P. Deligne) Given a mixed Hodge structure (W, F), there exists a unique δ g 1, 1 R (W, F) s.t. (W, e iδ.f) is a mixed Hodge structure which splits over R. Theorem The bigrading J p,q 1 defined by J p,q 1 := e i.δ.j p,q is split over R. The operator C 1 = Ad(e i.δ ). C : Ω f Ω f defines a real splitting MHS on Ω f.
33 This says if Ω f,1 = p<q J p,q 1 then Ω f = Ω f,1 Ω f,1 p J p,p 1, Jp,p 1 = J p,p 1 The relation (7) is valid when the operator C is replaced with C 1 ; S(Φ 1 (ω), Φ 1 (η)) = res f,0 (ω, C 1.η), and this equality is defined over R. 0 C
34 Hodge index for Grothendieck pairing-new result Theorem The signature associated to the modified Grothendieck pairing Res f,0 associated to an isolated hypersurface singularity germ f ; is equal to the signature of the polarization form associated to the MHS of the vanishing cohomology given by σ = p+q=n+2 ( 1) q h pq p+q n+3 ( 1) q h pq 1 + ( 1) q h pq 1 (12) where h 1 = dim H n (X ) 1, h 1 = dim H n (X ) 1 are the corresponding Hodge numbers. This signature is 0 when the fibers have odd dimensions.
35 Asymptotic Hodge theory Theorem (P. Deligne) Let V n be a variation of pure polarized Hodge structure of weight k, for which the associated limiting mixed Hodge structure is Hodge-Tate. Then the Hodge filtration F pairs with the shifted monodromy weight filtration W[ k], of V, to define a Hodge-Tate variation over a neighborhood of 0 in n. The form Res polarizes the complex variation of HS studied by G. Pearlstein-Fernandez in case of isolated hypersurface singularities.
36 Application to asymptotic Hodge theory-new result Theorem (G. Pearlstein-J. Fernandez) Let V be a variation of mixed Hodge structure, and V = p,q I p,q denotes the C -decomposition of V to the sum of C -subbundles, defined by point-wise application of Deligne theorem. Then the Hodge filtration F of V pairs with the increasing filtration Ū q = k F k q W k (13) to define an un-polarized CVHS.
37 Theorem Let V be an admissible variation of polarized mixed Hodge structure associated to a holomorphic germ of an isolated hyper-surface singularity. Set U = F W. (14) Then U extends to a filtration U of V by flat sub-bundles, which pairs with the limit Hodge filtration F of V, to define a polarized C-variation of Hodge structure, on a neighborhood of the origin. Corollary The mixed Hodge structure on the extended fiber Ω f, can be identified with Φ(U = F W )
38 Extensions of Hodge structure Suppose f : X T a degenerate family of of curves having isolated singularity. Suppose that J 1 (H 1 s ) = H 1 s,z \ H1 s,c /F 0 H 1 s,c J(H) = s S J 1 (H s ) here we have assumed the Hodge structures have weight -1, and dim(s) = 1.
39 Extensions of Hodge structure-new result On S we have an extension of integral local classes 0 H s J s Z s 0 On the Gauss-Manin systems we get 0 M N Q H S [n] 0 The extended Jacobian simply is X 0 = J 1 (Ω f ) = Ω f,z \ Ω f /F 0 Ω f Theorem The extension of a degenerate 1-parameter holomorphic family of Θ-divisors polarizing the Jacobian of curves in a projective fibration, is a Θ-divisor polarizing the extended Jacobian.
40 At the level of local systems, κ : H H C κ J : J J C : Q Q C At the level of Gauss-Manin systems, K : G G C[t, t 1 ] K J : N N C[t, t 1 ] : Q H S Q H S C[t, t 1 ] (15) (16)
41 Hypersurface rings A hyper-surface ring is a ring of the form R := P/(f ), where P is an arbitrary ring and f a non-zero divisor. Localizing we may assume P is a local ring of dimension n + 1. P = C{x 0,..., x n } and f a holomorphic germ, or P = C[x 0,..., x n ] and then f would be a polynomial. We assume 0 C n+1 is the only singularity of f. the R-modules have a minimal resolution that is eventually 2-periodic.
42 Hochster Theta Invariant Definition (Hochster Theta pairing) The theta pairing of two R-modules M and N over a hyper-surface ring R/(f ) is Θ(M, N) := l(tor2k R (M, N)) l(tor 2k+1 R (M, N)), k >> 0 Hochster theta pairing is additive on short exact sequences, Theorem (Moore-Piepmeyer-Spiroff-Walker) If f is homogeneous with isolated singularity at 0, and n odd the restriction of the pairing ( 1) (n+1)/2 Θ to im(ch n 1 2 ) : K (X) Q /α H(n 1)/2 (X, C) C.γ n 1 2 is positive definite. i.e. ( 1) (n+1)/2 Θ(v, v) 0 with equality holding if and only if v = 0. In this way θ is semi-definite on
43 Positivity of Hochster theta pairing/c-new result Theorem Let S be an isolated hypersurface singularity of dimension n over C. If n is odd, then ( 1) (n+1)/2 Θ is positive semi-definite on G(R) Q, i.e ( 1) (n+1)/2 Θ(M, M) 0.
HODGE THEORY, SINGULARITIES AND D-MODULES
Claude Sabbah HODGE THEORY, SINGULARITIES AND D-MODULES LECTURE NOTES (CIRM, LUMINY, MARCH 2007) C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques Laurent Schwartz, École polytechnique, F 91128 Palaiseau
More informationAn overview of D-modules: holonomic D-modules, b-functions, and V -filtrations
An overview of D-modules: holonomic D-modules, b-functions, and V -filtrations Mircea Mustaţă University of Michigan Mainz July 9, 2018 Mircea Mustaţă () An overview of D-modules Mainz July 9, 2018 1 The
More informationAlgorithmic Gauss-Manin Connection
Algorithmic Gauss-Manin Connection Algorithms to Compute Hodge-theoretic Invariants of Isolated Hypersurface Singularities Mathias Schulze Vom Fachbereich Mathematik der Universität Kaiserslautern zur
More informationMIXED HODGE MODULES PAVEL SAFRONOV
MIED HODGE MODULES PAVEL SAFRONOV 1. Mixed Hodge theory 1.1. Pure Hodge structures. Let be a smooth projective complex variety and Ω the complex of sheaves of holomorphic differential forms with the de
More informationHodge Theory of Maps
Hodge Theory of Maps Migliorini and de Cataldo June 24, 2010 1 Migliorini 1 - Hodge Theory of Maps The existence of a Kähler form give strong topological constraints via Hodge theory. Can we get similar
More informationUNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES. Claude Sabbah
UNIVERSAL UNFOLDINGS OF LAURENT POLYNOMIALS AND TT STRUCTURES AUGSBURG, MAY 2007 Claude Sabbah Introduction Let f : (C ) n C be a Laurent polynomial, that I assume to be convenient and non-degenerate,
More informationClaude Sabbah NON-COMMUTATIVE HODGE STRUCTURES
Claude Sabbah NON-COMMUTATIVE HODGE STRUCTURES MAINZ, MARCH 29-31, 2012 C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques Laurent Schwartz, École polytechnique, F 91128 Palaiseau cedex, France. E-mail
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 informationSeminar on Motives Standard Conjectures
Seminar on Motives Standard Conjectures Konrad Voelkel, Uni Freiburg 17. January 2013 This talk will briefly remind you of the Weil conjectures and then proceed to talk about the Standard Conjectures on
More informationChapter 17 Computation of Some Hodge Numbers
Chapter 17 Computation of Some Hodge Numbers The Hodge numbers of a smooth projective algebraic variety are very useful invariants. By Hodge theory, these determine the Betti numbers. In this chapter,
More informationContributors. Preface
Contents Contributors Preface v xv 1 Kähler Manifolds by E. Cattani 1 1.1 Complex Manifolds........................... 2 1.1.1 Definition and Examples.................... 2 1.1.2 Holomorphic Vector Bundles..................
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 informationMonodromy of the Dwork family, following Shepherd-Barron X n+1. P 1 λ. ζ i = 1}/ (µ n+1 ) H.
Monodromy of the Dwork family, following Shepherd-Barron 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 informationHODGE THEORY AND QUANTUM COHOMOLOGY. Gregory J Pearlstein
HODGE THEORY AND QUANTUM COHOMOLOGY Gregory J Pearlstein 1 Introduction: Axiomatically, a Hodge structure of weight k consists of a finite dimensional R-vector space V R equipped with a decreasing filtration,
More informationHYPERGEOMETRIC PERIODS FOR A TAME POLYNOMIAL. Contents Introduction 2
HYPERGEOMETRIC PERIODS FOR A TAME POLYNOMIAL CLAUDE SABBAH Abstract. We analyse the Gauss-Manin system of differential equations and its Fourier transform attached to regular functions satisfying a tameness
More informationPeriod Domains. Carlson. June 24, 2010
Period Domains Carlson June 4, 00 Carlson - Period Domains Period domains are parameter spaces for marked Hodge structures. We call Γ\D the period space, which is a parameter space of isomorphism classes
More informationThe geometry of Landau-Ginzburg models
Motivation Toric degeneration Hodge theory CY3s The Geometry of Landau-Ginzburg Models January 19, 2016 Motivation Toric degeneration Hodge theory CY3s Plan of talk 1. Landau-Ginzburg models and mirror
More informationFormality of Kähler manifolds
Formality of Kähler manifolds Aron Heleodoro February 24, 2015 In this talk of the seminar we like to understand the proof of Deligne, Griffiths, Morgan and Sullivan [DGMS75] of the formality of Kähler
More informationRiemann Surfaces and Algebraic Curves
Riemann Surfaces and Algebraic Curves JWR Tuesday December 11, 2001, 9:03 AM We describe the relation between algebraic curves and Riemann surfaces. An elementary reference for this material is [1]. 1
More informationHarmonic bundle and pure twistor D-module
Harmonic bundle and pure twistor D-module Takuro Mochizuki RIMS, Kyoto University 2012 June Harmonic bundle A harmonic bundle is a Higgs bundle with a pluri-harmonic metric. A Higgs field of a holomorphic
More informationCohomology jump loci of quasi-projective varieties
Cohomology jump loci of quasi-projective varieties Botong Wang joint work with Nero Budur University of Notre Dame June 27 2013 Motivation What topological spaces are homeomorphic (or homotopy equivalent)
More information1 Moduli spaces of polarized Hodge structures.
1 Moduli spaces of polarized Hodge structures. First of all, we briefly summarize the classical theory of the moduli spaces of polarized Hodge structures. 1.1 The moduli space M h = Γ\D h. Let n be an
More informationThe Canonical Sheaf. Stefano Filipazzi. September 14, 2015
The Canonical Sheaf Stefano Filipazzi September 14, 015 These notes are supposed to be a handout for the student seminar in algebraic geometry at the University of Utah. In this seminar, we will go over
More informationTHE QUANTUM CONNECTION
THE QUANTUM CONNECTION MICHAEL VISCARDI Review of quantum cohomology Genus 0 Gromov-Witten invariants Let X be a smooth projective variety over C, and H 2 (X, Z) an effective curve class Let M 0,n (X,
More informationAN OVERVIEW OF MORIHIKO SAITO S THEORY OF MIXED HODGE MODULES
AN OVERVIEW OF MORIHIKO SAITO S THEORY OF MIXED HODGE MODULES CHRISTIAN SCHNELL Abstract. After explaining the definition of pure and mixed Hodge modules on complex manifolds, we describe some of Saito
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 informationCHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS. Contents
CHAPTER 1. TOPOLOGY OF ALGEBRAIC VARIETIES, HODGE DECOMPOSITION, AND APPLICATIONS Contents 1. The Lefschetz hyperplane theorem 1 2. The Hodge decomposition 4 3. Hodge numbers in smooth families 6 4. Birationally
More informationMath 868 Final Exam. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each). Y (φ t ) Y lim
SOLUTIONS Dec 13, 218 Math 868 Final Exam In this exam, all manifolds, maps, vector fields, etc. are smooth. Part 1. Complete 5 of the following 7 sentences to make a precise definition (5 points each).
More informationK3 Surfaces and Lattice Theory
K3 Surfaces and Lattice Theory Ichiro Shimada Hiroshima University 2014 Aug Singapore 1 / 26 Example Consider two surfaces S + and S in C 3 defined by w 2 (G(x, y) ± 5 H(x, y)) = 1, where G(x, y) := 9
More informationIntermediate Jacobians and Abel-Jacobi Maps
Intermediate Jacobians and Abel-Jacobi Maps Patrick Walls April 28, 2012 Introduction Let X be a smooth projective complex variety. Introduction Let X be a smooth projective complex variety. Intermediate
More informationA TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY
Actes, Congrès intern, math., 1970. Tome 1, p. 113 à 119. A TRANSCENDENTAL METHOD IN ALGEBRAIC GEOMETRY by PHILLIP A. GRIFFITHS 1. Introduction and an example from curves. It is well known that the basic
More informationDELIGNE S THEOREM ON THE SEMISIMPLICITY OF A POLARIZED VHS OVER A QUASIPROJECTIVE BASE
DELIGNE S THEOREM ON THE SEMISIMPLICITY OF A POLARIZED VHS OVER A QUASIPROJECTIVE BASE ALEX WRIGHT 1. Introduction The purpose of this expository note is to give Deligne s proof of the semisimplicity of
More informationOral exam practice problems: Algebraic Geometry
Oral exam practice problems: Algebraic Geometry Alberto García Raboso TP1. Let Q 1 and Q 2 be the quadric hypersurfaces in P n given by the equations f 1 x 2 0 + + x 2 n = 0 f 2 a 0 x 2 0 + + a n x 2 n
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 informationp-adic families of modular forms II
April 5, 2009 Leftovers from last time Lemma Proof. We have G k = (1 pk 1 V p )G k p d np d k 1 = p k 1 d n d k 1 So equality holds in all coefficients except possibly the constant. But then G k (1 pk
More informationSOME EXERCISES IN CHARACTERISTIC CLASSES
SOME EXERCISES IN CHARACTERISTIC CLASSES 1. GAUSSIAN CURVATURE AND GAUSS-BONNET THEOREM Let S R 3 be a smooth surface with Riemannian metric g induced from R 3. Its Levi-Civita connection can be defined
More informationPart II. Riemann Surfaces. Year
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 96 Paper 2, Section II 23F State the uniformisation theorem. List without proof the Riemann surfaces which are uniformised
More informationDELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES
DELIGNE S THEOREMS ON DEGENERATION OF SPECTRAL SEQUENCES YIFEI ZHAO Abstract. We present the proofs of Deligne s theorems on degeneration of the Leray spectral sequence, and the algebraic Hodge-de Rham
More informationMODULI SPACES AND INVARIANT THEORY 95. X s X
MODULI SPACES AND INVARIANT THEORY 95 6.7. Hypersurfaces. We will discuss some examples when stability is easy to verify. Let G be a reductive group acting on the affine variety X with the quotient π :
More informationl-adic Representations
l-adic Representations S. M.-C. 26 October 2016 Our goal today is to understand l-adic Galois representations a bit better, mostly by relating them to representations appearing in geometry. First we ll
More informationTunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society
Tunisian Journal of Mathematics an international publication organized by the Tunisian Mathematical Society Grothendieck Messing deformation theory for varieties of K3 type Andreas Langer and Thomas Zink
More informationALEXANDER INVARIANTS OF HYPERSURFACE COMPLEMENTS
ALEXANDER INVARIANTS OF HYPERSURFACE COMPLEMENTS LAURENTIU MAXIM Abstract. These are notes I wrote for a series of lectures I gave at Tokyo University of Sciences and The University of Tokyo, Tokyo, Japan,
More informationMirror Symmetry: Introduction to the B Model
Mirror Symmetry: Introduction to the B Model Kyler Siegel February 23, 2014 1 Introduction Recall that mirror symmetry predicts the existence of pairs X, ˇX of Calabi-Yau manifolds whose Hodge diamonds
More informationHARTSHORNE EXERCISES
HARTSHORNE EXERCISES J. WARNER Hartshorne, Exercise I.5.6. Blowing Up Curve Singularities (a) Let Y be the cusp x 3 = y 2 + x 4 + y 4 or the node xy = x 6 + y 6. Show that the curve Ỹ obtained by blowing
More informationThe generalized Hodge and Bloch conjectures are equivalent for general complete intersections
The generalized Hodge and Bloch conjectures are equivalent for general complete intersections Claire Voisin CNRS, Institut de mathématiques de Jussieu 0 Introduction Recall first that a weight k Hodge
More informationTopological Abel-Jacobi Mapping and Jacobi Inversion
Topological Abel-Jacobi Mapping and Jacobi Inversion by Xiaolei Zhao A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy (Mathematics) in the University
More informationSpherical varieties and arc spaces
Spherical varieties and arc spaces Victor Batyrev, ESI, Vienna 19, 20 January 2017 1 Lecture 1 This is a joint work with Anne Moreau. Let us begin with a few notations. We consider G a reductive connected
More informationThe Riemann-Roch Theorem
The Riemann-Roch Theorem In this lecture F/K is an algebraic function field of genus g. Definition For A D F, is called the index of specialty of A. i(a) = dim A deg A + g 1 Definition An adele of F/K
More informationTHE MONODROMY-WEIGHT CONJECTURE
THE MONODROMY-WEIGHT CONJECTURE DONU ARAPURA Deligne [D1] formulated his conjecture in 1970, simultaneously in the l-adic and Hodge theoretic settings. The Hodge theoretic statement, amounted to the existence
More informationHODGE THEORY, SINGULARITIES AND D-MODULES
Claude Sabbah HODGE THEORY, SINGULARITIES AND D-MODULES LECTURE NOTES (CIRM, LUMINY, MARCH 2007) C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques Laurent Schwartz, École polytechnique, F 91128 Palaiseau
More informationE 0 0 F [E] + [F ] = 3. Chern-Weil Theory How can you tell if idempotents over X are similar?
. Characteristic Classes from the viewpoint of Operator Theory. Introduction Overarching Question: How can you tell if two vector bundles over a manifold are isomorphic? Let X be a compact Hausdorff space.
More informationRational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley
Rational Homotopy Theory Seminar Week 11: Obstruction theory for rational homotopy equivalences J.D. Quigley Reference. Halperin-Stasheff Obstructions to homotopy equivalences Question. When can a given
More informationApplications to the Beilinson-Bloch Conjecture
Applications to the Beilinson-Bloch Conjecture Green June 30, 2010 1 Green 1 - Applications to the Beilinson-Bloch Conjecture California is like Italy without the art. - Oscar Wilde Let X be a smooth projective
More informationWild ramification and the characteristic cycle of an l-adic sheaf
Wild ramification and the characteristic cycle of an l-adic sheaf Takeshi Saito March 14 (Chicago), 23 (Toronto), 2007 Abstract The graded quotients of the logarithmic higher ramification groups of a local
More informationEXERCISES IN MODULAR FORMS I (MATH 726) (2) Prove that a lattice L is integral if and only if its Gram matrix has integer coefficients.
EXERCISES IN MODULAR FORMS I (MATH 726) EYAL GOREN, MCGILL UNIVERSITY, FALL 2007 (1) We define a (full) lattice L in R n to be a discrete subgroup of R n that contains a basis for R n. Prove that L is
More informationHomogeneous para-kähler Einstein manifolds. Dmitri V. Alekseevsky
Homogeneous para-kähler Einstein manifolds Dmitri V. Alekseevsky Hamburg,14-18 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 informationAlgorithms for the Gauss-Manin connection
Article Submitted to Journal of Symbolic Computation E-mail: mschulze@mathematik.uni-kl.de Abstract We give an introduction to the theory of the Gauss-Manin connection of an isolated hypersurface singularity
More informationMinimal free resolutions of analytic D-modules
Minimal free resolutions of analytic D-modules Toshinori Oaku Department of Mathematics, Tokyo Woman s Christian University Suginami-ku, Tokyo 167-8585, Japan November 7, 2002 We introduce the notion of
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More informationFROM CLASSICAL HODGE THEORY TO HODGE MODULES
FROM CLASSICAL HODGE THEORY TO HODGE MODULES DONU ARAPURA These are my notes for the spring school in Algebraic Geometry in Beijing, March 2015. My goal is to give a rapid overview of Hodge theory from
More informationBetti numbers of abelian covers
Betti numbers of abelian covers Alex Suciu Northeastern University Geometry and Topology Seminar University of Wisconsin May 6, 2011 Alex Suciu (Northeastern University) Betti numbers of abelian covers
More informationLet X be a topological space. We want it to look locally like C. So we make the following definition.
February 17, 2010 1 Riemann surfaces 1.1 Definitions and examples Let X be a topological space. We want it to look locally like C. So we make the following definition. Definition 1. A complex chart on
More informationFOURIER-LAPLACE TRANSFORM OF A VARIATION OF POLARIZED COMPLEX HODGE STRUCTURE, II. Claude Sabbah
FOURIER-LAPLACE TRANSFORM OF A VARIATION OF POLARIZED COMPLEX HODGE STRUCTURE, II by Claude Sabbah Abstract. We show that the limit, by rescaling, of the new supersymmetric index attached to the Fourier-Laplace
More informationCOMPLEX MULTIPLICATION: LECTURE 15
COMPLEX MULTIPLICATION: LECTURE 15 Proposition 01 Let φ : E 1 E 2 be a non-constant isogeny, then #φ 1 (0) = deg s φ where deg s is the separable degree of φ Proof Silverman III 410 Exercise: i) Consider
More information1 Structures 2. 2 Framework of Riemann surfaces Basic configuration Holomorphic functions... 3
Compact course notes Riemann surfaces Fall 2011 Professor: S. Lvovski transcribed by: J. Lazovskis Independent University of Moscow December 23, 2011 Contents 1 Structures 2 2 Framework of Riemann surfaces
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 k-forms with values in L. Ω k (M, L) = C (M, L k (T M)) Definition
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 informationRIEMANN SURFACES. LECTURE NOTES. WINTER SEMESTER 2015/2016.
RIEMANN SURFACES. LECTURE NOTES. WINTER SEMESTER 2015/2016. A PRELIMINARY AND PROBABLY VERY RAW VERSION. OLEKSANDR IENA Contents Some prerequisites for the whole lecture course. 5 1. Lecture 1 5 1.1. Definition
More informationDeligne s functorial Riemann-Roch theorem
Deligne s functorial Riemann-Roch theorem PIMS, Sept. 13th 2007 D. Rössler (joint with V. Maillot) () Deligne s functorial Riemann-Roch theorem PIMS, Sept. 13th 2007 1 / 14 The Adams-Riemann-Roch theorem
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 informationMONODROMY OF COMPLETE INTERSECTIONS AND SURFACE POTENTIALS
MONODROMY OF COMPLETE INTERSECTIONS AND SURFACE POTENTIALS V. A. VASSILIEV To Egbert Brieskorn with admiration Abstract. Following Newton, Ivory and Arnold, we study the Newtonian potentials of algebraic
More informationKODAIRA-SAITO VANISHING AND APPLICATIONS
KODAIRA-SAITO VANISHING AND APPLICATIONS MIHNEA POPA Abstract. The first part of the paper contains a detailed proof of M. Saito s generalization of the Kodaira vanishing theorem, following the original
More informationIntroduction INTRODUCTION TO VARIATIONS OF HODGE STRUCTURE SUMMER SCHOOL ON HODGE THEORY, ICTP, JUNE Preliminary Version
INTRODUCTION TO VARIATIONS OF HODGE STRUCTURE SUMMER SCHOOL ON HODGE THEORY, ICTP, JUNE 2010 EDUARDO CATTANI Preliminary Version Introduction These notes are intended to accompany the course Introduction
More informationINTRODUCTION TO REAL ANALYTIC GEOMETRY
INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E
More informationA RAPID INTRODUCTION TO HODGE MODULES, OR 0 TO 60 IN 3 HOURS.
A RAPID INTRODUCTION TO HODGE MODULES, OR 0 TO 60 IN 3 HOURS. DONU ARAPURA 1. Classical Hodge theory Our somewhat daunting task is understand what a (mixed) Hodge module is. Let s start with the case where
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 information132 Mixed Hodge Structures and Singularities
CAMBRIDGE TRACTS IN MATHEMATICS General Editors B. BOLLOBAS, F. KIRWAN, P. SARNAK, C.T.C. WALL 132 Mixed Hodge Structures and Singularities Moscow State University of Printing Mixed Hodge Structures and
More informationAnalytic Tate spaces and reciprocity
Analytic Tate spaces and reciprocity Ricardo García López Universitat de Barcelona Kraków, August, 2013 Ricardo García López (U.B.) Analytic Tate spaces and reciprocity Kraków, August, 2013 1 / 1 Weil
More informationPeriods, Galois theory and particle physics
Periods, Galois theory and particle physics Francis Brown All Souls College, Oxford Gergen Lectures, 21st-24th March 2016 1 / 29 Reminders We are interested in periods I = γ ω where ω is a regular algebraic
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationHODGE GENERA OF ALGEBRAIC VARIETIES, II.
HODGE GENERA OF ALGEBRAIC VARIETIES, II. SYLVAIN E. CAPPELL, ANATOLY LIBGOBER, LAURENTIU MAXIM, AND JULIUS L. SHANESON Abstract. We study the behavior of Hodge-theoretic genera under morphisms of complex
More informationUniform K-stability of pairs
Uniform K-stability of pairs Gang Tian Peking University Let G = SL(N + 1, C) with two representations V, W over Q. For any v V\{0} and any one-parameter subgroup λ of G, we can associate a weight w λ
More informationSTEENROD OPERATIONS IN ALGEBRAIC GEOMETRY
STEENROD OPERATIONS IN ALGEBRAIC GEOMETRY ALEXANDER MERKURJEV 1. Introduction Let p be a prime integer. For a pair of topological spaces A X we write H i (X, A; Z/pZ) for the i-th singular cohomology group
More informationVanishing theorems and holomorphic forms
Vanishing theorems and holomorphic forms Mihnea Popa Northwestern AMS Meeting, Lansing March 14, 2015 Holomorphic one-forms and geometry X compact complex manifold, dim C X = n. Holomorphic one-forms and
More informationVANISHING CYCLES OF POLYNOMIAL MAPS (TOPOLOGY, HODGE STRUCTURE, D-MODULES)
Claude Sabbah VANISHING CYCLES OF POLYNOMIAL MAPS (TOPOLOGY, HODGE STRUCTURE, D-MODULES) LECTURE NOTES (NICE, NOVEMBER 2008) PRELIMINARY VERSION C. Sabbah UMR 7640 du CNRS, Centre de Mathématiques, École
More informationMordell-Weil ranks of Jacobians of isotrivial families of plane curves
Mordell-Weil ranks of Jacobians of isotrivial families of plane curves Remke Kloosterman Humboldt-Universität zu Berlin October 23, 2015 Introduction Theorem (Hulek K., 2008) Let n be a positive integer.
More informationarxiv: v1 [math.ag] 7 Oct 2009
ON MAXIMAL POLES OF ZETA FUNCTIONS, ROOTS OF b-functions AND MONODROMY JORDAN BLOCKS A. MELLE-HERNÁNDEZ, T. TORRELLI AND WILLEM VEYS Dedicated with admiration to C.T.C. Wall on the occasion of his seventieth
More information(www.math.uni-bonn.de/people/harder/manuscripts/buch/), files chap2 to chap
The basic objects in the cohomology theory of arithmetic groups Günter Harder This is an exposition of the basic notions and concepts which are needed to build up the cohomology theory of arithmetic groups
More informationIntroduction to D-module Theory. Algorithms for Computing Bernstein-Sato Polynomials. Jorge Martín-Morales
Introduction to D-module Theory. Algorithms for Computing Bernstein-Sato Polynomials Jorge Martín-Morales Centro Universitario de la Defensa de Zaragoza Academia General Militar Differential Algebra and
More informationChern numbers and Hilbert Modular Varieties
Chern numbers and Hilbert Modular Varieties Dylan Attwell-Duval Department of Mathematics and Statistics McGill University Montreal, Quebec attwellduval@math.mcgill.ca April 9, 2011 A Topological Point
More informationFOURIER-LAPLACE TRANSFORM OF A VARIATION OF POLARIZED COMPLEX HODGE STRUCTURE, II. Claude Sabbah
FOURIER-LAPLACE TRANSFORM OF A VARIATION OF POLARIZED COMPLEX HODGE STRUCTURE, II by Claude Sabbah Abstract. We show that the limit, by rescaling, of the new supersymmetric index attached to the Fourier-Laplace
More informationarxiv: v1 [math.ag] 13 Mar 2019
THE CONSTRUCTION PROBLEM FOR HODGE NUMBERS MODULO AN INTEGER MATTHIAS PAULSEN AND STEFAN SCHREIEDER arxiv:1903.05430v1 [math.ag] 13 Mar 2019 Abstract. For any integer m 2 and any dimension n 1, we show
More informationExercises on characteristic classes
Exercises on characteristic classes April 24, 2016 1. a) Compute the Stiefel-Whitney classes of the tangent bundle of RP n. (Use the method from class for the tangent Chern classes of complex projectives
More informationStable bundles with small c 2 over 2-dimensional complex tori
Stable bundles with small c 2 over 2-dimensional complex tori Matei Toma Universität Osnabrück, Fachbereich Mathematik/Informatik, 49069 Osnabrück, Germany and Institute of Mathematics of the Romanian
More informationGENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY. Sampei Usui
GENERIC TORELLI THEOREM FOR QUINTIC-MIRROR FAMILY Sampei Usui Abstract. This article is a geometric application of polarized logarithmic Hodge theory of Kazuya Kato and Sampei Usui. We prove generic Torelli
More informationSpecial cubic fourfolds
Special cubic fourfolds 1 Hodge diamonds Let X be a cubic fourfold, h H 2 (X, Z) be the (Poincaré dual to the) hyperplane class. We have h 4 = deg(x) = 3. By the Lefschetz hyperplane theorem, one knows
More informationThree-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms
Three-dimensional imprimitive representations of PSL 2 (Z) and their associated vector-valued modular forms U-M Automorphic forms workshop, March 2015 1 Definition 2 3 Let Γ = PSL 2 (Z) Write ( 0 1 S =
More informationCohomology jump loci of local systems
Cohomology jump loci of local systems Botong Wang Joint work with Nero Budur University of Notre Dame June 28 2013 Introduction Given a topological space X, we can associate some homotopy invariants to
More informationHomotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals
Homotopy types of the complements of hyperplane arrangements, local system homology and iterated integrals Toshitake Kohno The University of Tokyo August 2009 Plan Part 1 : Homotopy types of the complements
More informationarxiv:math/ v2 [math.ag] 16 May 2003
arxiv:math/0210254v2 [math.ag] 16 May 2003 ON HODGE SPECTRUM AND MULTIPLIER IDEALS NERO BUDUR Abstract. We describe a relation between two invariants that measure the complexity of a hypersurface singularity.
More information