Cohomology groups of toric varieties
|
|
- Alan Sims
- 5 years ago
- Views:
Transcription
1 Cohomology groups of toric varieties Masanori Ishida Mathematical Institute, Tohoku University 1 Fans and Complexes Although we treat real fans later, we begin with fans consisting of rational cones which define toric varieties. Let r be a nonnegative integer, N Z r, M = Hom Z (N, Z), N R = N Z R and M R = M Z R. Let, : M R N R R be the natural perfect pairing. We assume that cones in N R are strongly convex rational polyhedral cones. We consider only finite fans here. Definition 1.1 A subset Φ of a fan Σ is said to be (1) star closed if σ Φ, τ Σ and σ τ imply τ Φ, (2) star open if τ Φ, σ Σ and σ τ imply σ Φ and (3) locally star closed if σ, ρ Φ, τ Σ and σ τ ρ imply τ Φ. A subset Φ Φ of a lcally star closed subset Φ Σ of a fan is defined to be star closed, star open and locally star closed similarly. In any of these cases, Φ is a locally closed subset of Σ. For a cone σ in N R, we define σ = {x M R ; x, a = 0, a σ}, M[σ] = M σ and N[σ] = N/(N (σ + ( σ))). Then N[σ] and M[σ] are mutually dual free Z-module of rank codim σ = r dim σ. We set Z(σ) = r dim σ M[σ], which is a free Z-module of rank one. Here we understand Z(σ) = Z if r dim σ = 0. For a nonnegative integer p, we define Σ(p) = {σ Σ ; dim σ = p} and Φ(p) = Φ Σ(p) if Φ Σ is a locally star closed subset. For a locally star closed subset Φ and elements σ, ρ Σ, we define (1) (2) (3) Φ(σ ) = {τ Φ ; σ τ}, Φ( ρ) = {τ Φ ; τ ρ}, Φ(σ ρ) = {τ Φ ; σ τ ρ}, respectively. When σ Σ(r p), τ Σ(r p + 1) and σ τ, the isomorphism q σ/τ : Z(σ) Z(τ) is defined as follows. Since M[τ] M[σ] and M[σ]/M[τ] Z by definition, we can take an element n 1 N which is zero on M[τ] and maps M[σ] τ onto Z 0 = {c Z ; c 0}. 1
2 Here τ is the dual cone of τ defined by {x M R ; x, a 0, a τ}. Then, for m 1 M[σ] and m 2,..., m p M[τ], we define q σ/τ (m 1 m 2 m p ) = m 1, n 1 m 2 m p. This definition does not depend on the choice of n 1. Lemma 1.2 ([I1]) If σ Σ(r p) is a face of ρ Σ(r p + 2), there exist exactly two cone τ Σ(r p + 1) with σ τ ρ. If we denote them τ 1, τ 2, the the equality q τ1 /ρq σ/τ1 + q τ2 /ρq σ/τ2 = 0 holds. Let A be an abelian category. For simplicity, we sometimes assume that objects of A are modules or sheaves of modules. Each fan Σ is regarded as a category where the morphisms are only inclusions i σ/τ : σ τ of cones. For a covarinat functor G : Σ A and a locally closed subset Φ Σ, the complex C (Φ, G) in A is defined as follows. For each integer p, we set C p (Φ, G) = G(σ) Z(σ). σ Φ(r+p) Note that C i (Φ, G) is the direct sum for σ Φ which corresponds to the orbit O(σ) of dimension i in the toric variety Z(Σ) associated to the fan Σ. If p < r or 0 < p, then Φ(r + p) = and hence C p (Φ, G) = {0}. The component of the coboundary map d p : C p (Φ, G) C p+1 (Φ, G) for G(σ) Z(σ) and G(τ) Z(τ) is G(i σ/τ ) q σ/τ if σ τ and the zero map otherwise. By Lemma 1.2, we have d p+1 d p = 0 for every p. For a contravariant functor G : Σ A, the complex C (Φ, G ) is defined similarly. For each σ Σ, we set Z(σ) = Hom Z (Z(σ), Z). If σ Σ(r p 1) and τ Σ(r p) satisfy σ τ, then the isomorphism q τ/σ : Z(τ) Z(σ) is defined by q τ/σ = ( 1)r p 1 (q σ/τ ). For each integer p, we set C p (Φ, G ) = The component of the coboundary map τ Φ(r p) G (τ) Z(σ). d p : C p (Φ, G ) C p+1 (Φ, G ) for G (τ) Z(τ) and G (σ) Z(σ) is defined to be G (i σ/τ ) qτ/σ if σ τ and the zero map otherwise. In case of contravarinat functor, C p (Φ, G ) = {0} for p < 0 and r < p. We denote simply Z the covariant functor G such that G(σ) = Z for every σ Σ and G(i σ/τ) is the identity map of Z for every pair of cones σ, τ Σ with σ τ. Then C (Φ, Z) is a finite complex of free Z-modules of finite rank. 2
3 For ρ Σ, we set Σ(ρ ) = {σ Σ ; ρ σ}. We denote by σ[ρ] the image of σ Σ(ρ ) in N[ρ] R = N R /(ρ + ( ρ)). Then we get a bijection from Σ(ρ ) to Σ[ρ] = {σ[ρ] ; σ Σ(ρ )} which preserve the orders. In particular, if Φ is a locally star closed subset of Σ(ρ ), then we get a locally star closed subset Φ[ρ] = {σ[ρ] ; σ Φ} of Σ[ρ]. Since M[σ[ρ]] = M[σ] M[ρ] if ρ σ, we have Z(σ[ρ]) = Z(σ). Since the degrees of the complex is defined by the codimensions of the cones, the complex C (Φ, G) is canonically isomorphic to C (Φ[ρ], G[ρ]) for any covariant or contravariant functor G from F (π) to an abelian category. From here, we set V = N R and V = M R, and we consider cones in V without the condition of rationality. Namely, we assume cone in V to be polyhedral and strongly convex but not necessarily rational. A set Σ of cones in V is said to be a real fan if (1) Σ is not empty, (2) σ Σ and ρ σ imply ρ Σ and (3) σ, τ Σ implies that σ τ is a common face of σ and τ. A subset Φ of a real fan Σ is said to be star closed, star open or locally star closed similarly as in the case of a fan with the rationality condition. For a cone σ in V, we set V [σ] = σ + ( σ) and V [σ] = σ. If d = dim σ, then V [σ] and V [σ] are mutually dual real vector spaces of dimension r d. Since det V [σ] = r d V [σ] is a real vector of dimension one, det V [σ] \ {0} has exactly two connected components. Each connected component is called an orientation of V [σ]. For an orientation e σ, we define Z(σ) = Ze σ. By denoting the other orientation by e σ, we get the definition of Z(σ) which does not depend on the choice of the orientation. When σ τ and dim τ = dim σ+1, we take x (τ σ )\τ and y det V [τ] \{0}. Let e σ be the orientation of V [σ] which contains x y and e τ be that of V [τ] which contains y. Then the isomorphism of the modules q σ/τ : Z(σ) Z(τ) is defined by q σ/τ (ae σ ) = ae τ for a Z. By this definition, the complex C (Φ, G) is defined for a locally star closed subset Φ and a covariant or contravariant functor G from Φ to an abelian category similarly as in the case of fans with the rationality condition. If Σ is rational, the complex C (Φ, G) defined here is equal to the previous one by identifying both Z(σ) for every σ Φ. Definition 1.3 A locally closed subset Φ Σ is said to be homologically trivial if the cohomology group H i (C (Φ, Z)) is zero for every i Z. Since C (Φ, Z) is a finite complex of free modules, C (Φ, Z) is a split exact sequence if Φ is homologically trivial. In particular, the all cohomologies of the complex C (Φ, Z) Z A is zero for any abelian group A. If a locally star closed subset Φ is contained in Σ(ρ ), then Φ is homologically trivial if and only if so is Φ[ρ] Σ[ρ] since C (Φ, G) is isomorphic to C (Φ[ρ], G[ρ]). Let π be a cone of V and F (π) be the real fan consisting of all faces of π, which we call affine fan or affine real fan. For a cone π and x V, we define F (π) x = {σ F (π) ; x, u 0, u σ}, which is a star open subset of F (π). We set F (π) x (1) = F (π) x F (π)(1). If x, u 0 is 3
4 satisfied for all points of one-dimensional faces of σ, then it holds for all points of σ. Hence F (π) x consists of the cones of F (π) such that all one-diomensional face of it is contained in F (π) x (1). Hence F (π) x is determined by the set F (π) x (1). Theorem 1.4 F (π) x is homologically trivial if x int π. Since F (π) = F (π) x for x π and π int π = if dim π > 0, we get the following corollary as a special case. Corollary 1.5 If dim π > 0, then F (π) homologically trivial. Lemma 1.6 For a cone π and x V, we define Φ(π, x) = {σ F (π) ; x int σ }. Then Φ(π, x) is locally star closed in F (π), and Φ(π, x) is equal to {0} if x π and is homologically trivial otherwise. The following lemma is a generalization of Lemma 1.6, and is important in the proof of Theorem 1.8. Lemma 1.7 For a cone π, a face ρ F (π) and x V, we define Φ(π, ρ, x) = {σ F (π)(ρ ) ; x rel. int σ ρ }. Then Φ(π, ρ, x) is locally star closed in F (π), and is homologically trivial if x π. Let N be a free Z-module of rank r which contains N as a direct summand, and let U = N R. Then V is a real subspace of U. Since we do not use the lattice, it is equivalent to consider a real vector space U and a subspace V. Since V U, there exists a natural surjection φ : U V from the dual vector space U of U to the dual V of V. Let α be an r -dimensional cone in U. We assume that V intersects the interior of α, and we set π = α N R. The map λ : F (α) F (π) is defined by λ(β) = β π for each face β of α. Since γ β implies λ(γ) λ(β), λ is a covariant functor. Let G be a covariant functor from F (π) to an abelian category A. The pull-back λ G is a covariant functor from F (α) to A. The following theorem is fairly hard to prove but it can be done by induction on r r. Namely, we can show that, if r r = 1, there exists a complex W and quasiisomorphisms C (F (α), λ G) W and C (F (π), G) W. Theorem 1.8 The complex C (F (α), λ G) is quasi-isomorphic to C (F (π), G). 2 Yanagawa s theory and Fujino s vanishing theorem There is a relation between Yanagawa s result on the local cohomologies of squarefree modules and Fujino s cohomology vanishing theorems of differential modules on projective toric varieties and toric polyhedra. 4
5 Let S M be a finitely generated additive subsemigroup with 0 S. We assume S + ( S ) = M. For a field k of any characteristic, the semigroup ring S = k[s ] is defined. We denote the k-basis of S by {e(m) ; m S }. This is a k-subalgebra of the group ring k[m] with the basis {e(m) ; m M}. For a subset A M, we denote by A k the vector space with the basis {e(m) ; m A}. We investigate this ring combinatorially by using the associated cone. Let C(S ) M R be the closed convex cone generated by S. Then C(S ) is a rational polyhedral cone of dimension r. We denote by π the dual cone of C(S ) in the dual space N R of M R. The normalization of S is k[m C(S )]. In particular, S is normal if and only if S = M C(S ) (= M π ). The definition of squarefree modules on a normal S is given in the next section. If C(S ) is strongly convex, i.e., if C(S ) ( C(S )) = {0}, then the vector subspace m = S \ {0} k is the M-homogeneous maximal ideal of S. If E is an M-graded S module, then each local cohomology group H i m(e) is an M-graded S-module. Theorem 2.1 (Yanagawa[Y]) Assume that S = C(S ) M and C(S ) is strongly convex. Let E be a finitely generated M-graded S-module. If E is squarefree, then each local cohomology group H i m(e) is the Matlis dual of a squarefree module. In particular H i m(e)(m) = 0 if m S. On the other hand, Fujino proved the following theorem by his method of multiplication maps which is analogous to that of Frobenius morphisms. Theorem 2.2 (Fujino[F1]) Let X be a projective toric variety, L an ample line bundle, B a reduced torus invariant Weil divisor and i a nonnegative integer. Then for all j > 0. H j (X, Ω i X(log B) L) = 0 This theorem is generalized for the modules of differentials on a projective toric polyhedron [F2]. Here toric polyhedron is a torus action invariant subvariety of a toric variety defined by a squarefree ideal. Yanagawa used the description of the local cohomology groups by Burns and Herzog [BH] for the proof of his theorem. There is a similar description of the cohomology groups of coherent sheaves on a projective toric variety (cf. [I3]). Then we can understand the relation between these two theorems. 3 Squarefree modules Let π be a strongly convex rational polyhedral cone of N R. We denote by S π the normal semigroup ring k[m π ]. Let E be an M-graded S π -module. For each m in M, we denote by E(m) the homogeneous component of degree m. If m is in M and m is in M π, the multiplication of e(m) defines a k-linear map µ E (m, m ) : E(m) E(m + m ). 5
6 Definition 3.1 An M-graded S π -module E is said to be squarefree if the following conditions are satisfied. (1) E(m) = 0 if m M π. (2) µ E (m, m ) is an isomorphism if m M π and π m = π (m + m ). Note that for an element m in M π, σ = π m is a face of π and m is in the relative interior of the face π σ of π. If m 1, m 2 are in the relative interior of a face of π, then m 1 + m 2 is also in the relative interior. Hence if E is squarefree, then both E(m 1 ) and E(m 2 ) are isomorphic to E(m 1 + m 2 ). This implies that there exists a k-vector space E(σ) for each σ F (π) such that E(m) is identified with E(σ)e(m) for all m in M rel. int(π σ ). If σ and τ are in F (π) and σ τ, then for m, m with m M rel. int(π τ ) M π σ and m M rel. int(π σ ), we have m + m M rel. int(π σ ). Hence the multiplication of e(m ) induces a k-linear map f E (σ/τ) : E(τ) E(σ), which does not depend on the choice of m, m. Namely, we get a contravariant functor f E from F (π) to k-vector spaces defined by f E (σ) = E(σ). Conversely, if a contravariant functor f from F (π) to k-vector spaces is given, then we define a squarefree M-graded S π -module E f by E f = f(π m )e(m). m M π The multiplication map e(m ) : E f (m) E f (m + m ) for the above m, m is defined by f(σ/τ) : f(τ) f(σ). The following proposition is proved easily (cf. [Y]). Proposition 3.2 Let E be a squarefree M-graded S π -module. (1) E is finitely generated if and only if the dimension of E(σ) is finite for every σ in F (π). (2) E is a free S π -module if and only if f E (σ/π) is an isomorphism for every σ in F (π). In this case, E is isomorphic to S π k E(π). (3) E is a quotient of a squarefree free S π -module if and only if f E (σ/π) is surjective for every σ in F (π). In this case, E is a quotient of S π k E(π). (4) E is an S π -submodule of a squarefree free S π -module if and only if f E (0/σ) is injective for every σ in F (π). In this case, E is an S π -submodule of S π k E(0). Example 3.3 We denote by k F (π) or simply k the constant functor defined by k(σ) = k. Then the squarefree module E k is equal to S π. For σ F (π), the M-homogeneous prime ideal P (σ) S π is defined by P (σ) = M (π \ σ ) k. For a star closed subset Φ of F (π), the ideal I(Φ) = σ Φ P (σ) is a squarefree module which corresponds to the functor { 0 if σ Φ G(σ) = k if σ F (π) \ Φ. Example 3.4 Let V be a k-vector space of finite dimension. Suppose that a subspace A(γ) V is given for every γ F (π)(1). We define the functor A by A(σ) = A(γ) γ F (σ)(1) 6
7 for every σ F (π). For σ, τ F (π) with σ τ, the morphism A(σ/τ) is defined to be the inclusion map A(τ) A(σ). Then the squarefree module E A is a reflective submodule of S π k V. When char k = 0, the modules of differentials on an affine toric variety defined in Danilov s paper [D] belong to Example 3.4. Let V = M k = M Z k and Ω(σ) = M[σ] k for every σ in F (π) where M[σ] = M σ. Then E Ω is equal to Danilov s sheaf Ω 1 X(π) of 1-forms on the affine toric variety X(π) = Spec S π. More generally, for any p with 0 p r, the contravariant functor Ω p defined by Ω p (σ) = p M[σ] k defines a squarefree module E Ω p which is equal to Danilov s sheaf Ω p X(π) of p-forms on X(π). Let ρ be a face of π. If m is an element of M with π m = ρ, then the localization S π [e(m) 1 ] is equal to S ρ = k[m ρ ]. Proposition 3.5 Let E be a squarefree M-graded S π -module and ρ a face of π. Then E ρ = E Sπ S ρ is a squarefree S ρ -modules. The corresponding contravariant functor f Eρ from F (ρ) to k-vector spaces is equal to the restriction f E F (ρ). Let Σ be a fan of N R and Z = Z(Σ) the associated toric variety. For a T N -equivariant O Z -module E and for an element σ in Σ, the O Z (X(σ))-module E(X(σ)) has M-grading corresponding to the T N -action. We call E a squarefree sheaf if E(X(σ)) is a squarefree S σ -module for every σ in Σ. A quasicoherent squarefree O Z -module E corresponds to a contravariant functor from Σ to k-vector spaces. We denote the functor by f E. The local cohomology groups of a squarefree S π -module E is described as follows. For the contravariant functor E defined by E (σ) = E Sπ S σ = E σ, we get a complex C (F (π), E ). The result by Bruns and Herzog on local cohomologies [BH, Theorem 6.2.5] implies H i m(e) = H i (C (F (π), E )) for every i Z. Since this complex is M-graded, the m-component of H i m(e) is equal to the i-th cohomology of the m-component of C (F (π), E ) for every m M. Since the m-component E σ (m) is equal to E(σ m ) if m σ and 0 otherwise, we know the component C (F (π), E )(m) is equal to the complex C (F (π), A(E, m)) of k-vector spaces, where A(E, m) is the contravariant functor defined by A(E, m)(σ) = { 0 if m σ f E (σ m ) if m σ. If σ τ and m τ, then σ m τ m and the morphism A(E, m)(σ/τ) is defined to be f E (σ m /τ m ). The result of Yanagawa [Y, Theorem 3.10] implies that H i (C (F (π), A(E, m))) = 0 if m π. This vanishing of cohomologies can also be proved by using Lemma 1.7. Note that Φ(π, ρ, m) in Lemma 1.7 is the set of σ F (π) with m σ and ρ = σ m. The homological trivialities of these sets imply the exactness of the complex C (F (π), A(E, m)) when m π. Now we consider the cohomology groups of a projective toric variety by its homogeneous coordinate ring. 7
8 Let P M R be an integral convex polytope of dimension r. The set of cones (P ) = {(P x) ; x P } is a projective fan of N R, and the associated projective toric variety Z(P ) has the tautological line bundle O Z(P ) (1) such that H 0 (Z(P ), O Z(P ) (1)) = M P k. Set M = M Z and let Ñ be its dual Z-module. Denote by C(P ) the closed convex cone generated by P {1} M R = M Z R and ω the dual cone in ÑR = Ñ Z R. Then Z(P ) = Proj S ω for S ω = k[ M ω ], where the degree of the monomial e((m, d)) is defined to be d for every (m, d) in M = M Z. There exists a natural bijection between (P ) and F (ω) \ {ω}. Namely, if σ = (P x), the corresponding face σ of ω is defined by ω (x, 1). The projection ÑR = N R R N R induces bijection σ σ for every σ. For a finitely generated graded S ω -module E, we denote by E the coherent O Z(P ) -module E. For the tautological ample line bundle O Z(P ) (1), we denote E(d) = E O Z(P ) (1) d. For a contravariant functor f from (P ) to k-vector spaces, the functor f from F (ω) is defined by f( σ) = f(σ) for every σ in (P ) while f(ω) is defined to be the projective limit of {f(σ) ; σ (P )}. Proposition 3.6 Let E be a finitely generated squarefree O Z(P ) -module, and E the squarefree M-graded S ω -module associated to the contravariant functor f E. Then E is isomorphic to the associated sheaf E. For every σ in (P ), there exists an exact sequence which induces the exact squence 0 M[σ] M[ σ] Z 0, 0 p M[σ] p M[ σ] p 1 M[σ] 0 (1) for every integer 0 p r. Let F p P be the functor from (P ) to k-vector spaces defined by F p P (σ) = Ω p ( σ) for every σ in (P ). If char k = 0, the sequence 0 Ω p (σ) F p P ( σ) Ω p 1 (σ) 0 induced by (1) is exact. Hence we get an exact squence 0 Ω p Z(P ) E F p P Ω p 1 Z(P ) 0 of squarefree modules on Z(P ) for every integer 0 p r. Well-known exact sequence 0 Ω 1 P n O P n( 1) n+1 O P n 0 8
9 on a projective space is a special case. Here O P n( 1) n+1 can be understand as a squarefree module n i=0 O P ndx i on P n with respect to the homogeneous coordinates [x 0, x 1,, x n ]. For a finitely generated graded S ω -module E, the local cohomology group H i m(e) is equal to that of the complex C (F (ω), E ) by [BH], where E is the contravariant functor defined by E (σ) = E Sω S σ. Here we need not assume that E is M-graded. We set F (ω) = F (ω) \ {ω}. For the cohomology groups of the coherent sheaf E(d), we get the following theorem. Theorem 3.7 For any 0 i r, we have H i (Z(P ), E(d)) = H i+1 (C (F (ω), E )). d Z Since the cohomology groups of C (F (ω), E ) and C (F (ω), E ) are equal in degree greater than one, we get the following corollary. Corollary 3.8 H i m(e) is a graded module. For any 2 i r + 1 and d Z, we have H i m(e) d = H i (C (F (ω), E )) d = H i 1 (Z(P ), E(d)). We also have the following. Corollary 3.9 There exists an exact sequence of k-vector spaces 0 H 0 m(e) d E d H 0 (Z(P ), E(d)) H 1 m(e) d 0. If E is a squarefree S ω -module, then Hm(E) i is an M-graded S ω -module. Its m- component is zero if m is outside M ( ω ) by Yanagawa s theorem. This implies the vanishing of H i (Z(P ), E(d)) for i > 0. This shows the relation between Yanagawa s theory and Fujino s vanishing theorem of differential modules on projective toric varieties. We can discuss the case of toric polyhedra similarly. References [BH] W. Bruns and J. Herzog, Cohen-Macaulay rings, Cambridge studies in advanced mathematics, 39, Cambridge University Press, Cambridge, [D] V.I. Danilov, The geometry of toric varieties, Russian Math. Surveys 33, (1978), [F1] [F2] O. Fujino, Multiplication maps and vanishing theorems for Toric varieties, Mathematische Zeitschrift 257, (2007), O. Fujino, Vanishing theorems for toric polyhedra, Higher dimensional algebraic varieties and vector bundles, RIMS Kôkyûroku Bessatsu B9, (2008),
10 [I1] M.-N. Ishida, Torus embeddings and dualizing complexes, Tohoku Math. J. 32(1980), [I2] [I3] [O] [Y] M.-N. Ishida, The local cohomology groups of an affine semigroup ring, Algebraic geometry and commutative algebra, in honor of Masayoshi Nagata, (1987), (a book written by Ishida in Japanese). T. Oda, Convex Bodies and Algebraic Geometry, An Introduction to the Theory of Toric Varieties, Ergebnisse der Math. (3), 15, Springer-Verlag, Berlin, Heidelberg, New York, Tokyo, K. Yanagawa, Sheaves on finite posets and modules over normal semigroup rings, Journal of Pure and Applied Algebra 161 (2001), Mathematical Institute Tohoku University Sendai, JAPAN 10
Vanishing theorems for toric polyhedra
RIMS Kôkyûroku Bessatsu 4x (200x), 000 000 Vanishing theorems for toric polyhedra By Osamu Fujino Abstract A toric polyhedron is a reduced closed subscheme of a toric variety that are partial unions of
More informationProblems on Minkowski sums of convex lattice polytopes
arxiv:08121418v1 [mathag] 8 Dec 2008 Problems on Minkowski sums of convex lattice polytopes Tadao Oda odatadao@mathtohokuacjp Abstract submitted at the Oberwolfach Conference Combinatorial Convexity and
More informationLecture 1. Toric Varieties: Basics
Lecture 1. Toric Varieties: Basics Taras Panov Lomonosov Moscow State University Summer School Current Developments in Geometry Novosibirsk, 27 August1 September 2018 Taras Panov (Moscow University) Lecture
More informationALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES
ALGEBRAIC GEOMETRY: GLOSSARY AND EXAMPLES HONGHAO GAO FEBRUARY 7, 2014 Quasi-coherent and coherent sheaves Let X Spec k be a scheme. A presheaf over X is a contravariant functor from the category of open
More information(1.) For any subset P S we denote by L(P ) the abelian group of integral relations between elements of P, i.e. L(P ) := ker Z P! span Z P S S : For ea
Torsion of dierentials on toric varieties Klaus Altmann Institut fur reine Mathematik, Humboldt-Universitat zu Berlin Ziegelstr. 13a, D-10099 Berlin, Germany. E-mail: altmann@mathematik.hu-berlin.de Abstract
More informationToric Varieties. Madeline Brandt. April 26, 2017
Toric Varieties Madeline Brandt April 26, 2017 Last week we saw that we can define normal toric varieties from the data of a fan in a lattice. Today I will review this idea, and also explain how they can
More informationPreliminary Exam Topics Sarah Mayes
Preliminary Exam Topics Sarah Mayes 1. Sheaves Definition of a sheaf Definition of stalks of a sheaf Definition and universal property of sheaf associated to a presheaf [Hartshorne, II.1.2] Definition
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More informationSynopsis of material from EGA Chapter II, 4. Proposition (4.1.6). The canonical homomorphism ( ) is surjective [(3.2.4)].
Synopsis of material from EGA Chapter II, 4 4.1. Definition of projective bundles. 4. Projective bundles. Ample sheaves Definition (4.1.1). Let S(E) be the symmetric algebra of a quasi-coherent O Y -module.
More informationAPPENDIX 3: AN OVERVIEW OF CHOW GROUPS
APPENDIX 3: AN OVERVIEW OF CHOW GROUPS We review in this appendix some basic definitions and results that we need about Chow groups. For details and proofs we refer to [Ful98]. In particular, we discuss
More informationAnother proof of the global F -regularity of Schubert varieties
Another proof of the global F -regularity of Schubert varieties Mitsuyasu Hashimoto Abstract Recently, Lauritzen, Raben-Pedersen and Thomsen proved that Schubert varieties are globally F -regular. We give
More informationHomogeneous Coordinate Ring
Students: Kaiserslautern University Algebraic Group June 14, 2013 Outline Quotients in Algebraic Geometry 1 Quotients in Algebraic Geometry 2 3 4 Outline Quotients in Algebraic Geometry 1 Quotients in
More informationSynopsis of material from EGA Chapter II, 5
Synopsis of material from EGA Chapter II, 5 5. Quasi-affine, quasi-projective, proper and projective morphisms 5.1. Quasi-affine morphisms. Definition (5.1.1). A scheme is quasi-affine if it is isomorphic
More informationarxiv: v1 [math.ac] 8 Jun 2010
REGULARITY OF CANONICAL AND DEFICIENCY MODULES FOR MONOMIAL IDEALS arxiv:1006.1444v1 [math.ac] 8 Jun 2010 MANOJ KUMMINI AND SATOSHI MURAI Abstract. We show that the Castelnuovo Mumford regularity of the
More informationWe can choose generators of this k-algebra: s i H 0 (X, L r i. H 0 (X, L mr )
MODULI PROBLEMS AND GEOMETRIC INVARIANT THEORY 43 5.3. Linearisations. An abstract projective scheme X does not come with a pre-specified embedding in a projective space. However, an ample line bundle
More informationGeneralized Alexander duality and applications. Osaka Journal of Mathematics. 38(2) P.469-P.485
Title Generalized Alexander duality and applications Author(s) Romer, Tim Citation Osaka Journal of Mathematics. 38(2) P.469-P.485 Issue Date 2001-06 Text Version publisher URL https://doi.org/10.18910/4757
More informationTORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS
TORIC WEAK FANO VARIETIES ASSOCIATED TO BUILDING SETS YUSUKE SUYAMA Abstract. We give a necessary and sufficient condition for the nonsingular projective toric variety associated to a building set to be
More informationChern classes à la Grothendieck
Chern classes à la Grothendieck Theo Raedschelders October 16, 2014 Abstract In this note we introduce Chern classes based on Grothendieck s 1958 paper [4]. His approach is completely formal and he deduces
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationarxiv:math.ag/ v1 7 Jan 2005
arxiv:math.ag/0501104 v1 7 Jan 2005 Asymptotic cohomological functions of toric divisors Milena Hering, Alex Küronya, Sam Payne January 7, 2005 Abstract We study functions on the class group of a toric
More informationIntroduction to toric geometry
Introduction to toric geometry Ugo Bruzzo Scuola Internazionale Superiore di Studi Avanzati and Istituto Nazionale di Fisica Nucleare Trieste ii Instructions for the reader These are work-in-progress notes
More informationAffine Geometry and the Discrete Legendre Transfrom
Affine Geometry and the Discrete Legendre Transfrom Andrey Novoseltsev Department of Mathematics University of Washington April 25, 2008 Andrey Novoseltsev (UW) Affine Geometry April 25, 2008 1 / 24 Outline
More informationBoundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals
Boundary of Cohen-Macaulay cone and asymptotic behavior of system of ideals Kazuhiko Kurano Meiji University 1 Introduction On a smooth projective variety, we can define the intersection number for a given
More informationarxiv: v1 [math.ag] 15 Apr 2013
ON ISOLATED LOG CANONICAL CENTERS arxiv:1304.4173v1 [math.ag] 15 Apr 2013 CHIH-CHI CHOU Abstract. In this paper, we show that the depth of an isolated log canonical center is determined by the cohomology
More informationF -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 9/21-2010 KARL SCHWEDE 1. F -rationality Definition 1.1. Given (M, φ) as above, the module τ(m, φ) is called the test submodule of (M, φ). With Ψ R : F ω
More informationDelzant s Garden. A one-hour tour to symplectic toric geometry
Delzant s Garden A one-hour tour to symplectic toric geometry Tour Guide: Zuoqin Wang Travel Plan: The earth America MIT Main building Math. dept. The moon Toric world Symplectic toric Delzant s theorem
More informationPROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES
PROJECTIVIZED RANK TWO TORIC VECTOR BUNDLES ARE MORI DREAM SPACES JOSÉ LUIS GONZÁLEZ Abstract. We prove that the Cox ring of the projectivization PE of a rank two toric vector bundle E, over a toric variety
More informationA TALE OF TWO FUNCTORS. Marc Culler. 1. Hom and Tensor
A TALE OF TWO FUNCTORS Marc Culler 1. Hom and Tensor It was the best of times, it was the worst of times, it was the age of covariance, it was the age of contravariance, it was the epoch of homology, it
More informationCombinatorial Intersection Cohomology for Fans
Combinatorial Intersection Cohomology for Fans 1 Combinatorial Intersection Cohomology for Fans Gottfried Barthel, Jean-Paul Brasselet, Karl-Heinz Fieseler, Ludger Kaup Abstract: We investigate minimal
More informationARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES
ARITHMETICALLY COHEN-MACAULAY BUNDLES ON HYPERSURFACES N. MOHAN KUMAR, A. P. RAO, AND G. V. RAVINDRA Abstract. We prove that any rank two arithmetically Cohen- Macaulay vector bundle on a general hypersurface
More information(1) is an invertible sheaf on X, which is generated by the global sections
7. Linear systems First a word about the base scheme. We would lie to wor in enough generality to cover the general case. On the other hand, it taes some wor to state properly the general results if one
More informationTopology of Toric Varieties, Part II
Topology of Toric Varieties, Part II Daniel Chupin April 2, 2018 Abstract Notes for a talk leading up to a discussion of the Hirzebruch-Riemann-Roch (HRR) theorem for toric varieties, and some consequences
More informationarxiv: v1 [math.ra] 5 Feb 2015
Noncommutative ampleness from finite endomorphisms D. S. Keeler Dept. of Mathematics, Miami University, Oxford, OH 45056 arxiv:1502.01668v1 [math.ra] 5 Feb 2015 Abstract K. Retert Dept. of Mathematics,
More informationPIECEWISE POLYNOMIAL FUNCTIONS, CONVEX POLYTOPES AND ENUMERATIVE GEOMETRY
PARAMETER SPACES BANACH CENTER PUBLICATIONS, VOLUME 36 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 1996 PIECEWISE POLYNOMIAL FUNCTIONS, CONVEX POLYTOPES AND ENUMERATIVE GEOMETRY MICHEL
More informationAffine Geometry and Discrete Legendre Transform
Affine Geometry and Discrete Legendre Transform Andrey Novoseltsev April 24, 2008 Abstract The combinatorial duality used in Gross-Siebert approach to mirror symmetry is the discrete Legendre transform
More informationON SEMINORMAL MONOID RINGS
ON SEMINORMAL MONOID RINGS WINFRIED BRUNS, PING LI, AND TIM RÖMER ABSTRACT. Given a seminormal affine monoid M we consider several monoid properties of M and their connections to ring properties of the
More informationarxiv: v3 [math.ag] 20 Jan 2009
FIRST STEPS IN TROPICAL INTERSECTION THEORY ariv:0709.3705v3 [math.ag] 20 Jan 2009 LARS ALLERMANN AND JOHANNES RAU ABSTRACT. We establish first parts of a tropical intersection theory. Namely, we define
More informationSplitting criterion for reflexive sheaves
Splitting criterion for reflexive sheaves TAKURO ABE MASAHIKO YOSHINAGA April 6, 2005 Abstract The purpose of this paper is to study the structure of reflexive sheaves over projective spaces through hyperplane
More informationPOSITIVITY FOR TORIC VECTOR BUNDLES
POSITIVITY FOR TORIC VECTOR BUNDLES MILENA HERING, MIRCEA MUSTAŢĂ, AND SAM PAYNE Abstract. We show that a T -equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction
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 informationCohomology on Toric Varieties and Local Cohomology with Monomial Supports
J. Symbolic Computation (2000) 29, 583 600 doi:10.1006/jsco.1999.0326 Available online at http://www.idealibrary.com on Cohomology on Toric Varieties and Local Cohomology with Monomial Supports DAVID EISENBUD,
More information3. Lecture 3. Y Z[1/p]Hom (Sch/k) (Y, X).
3. Lecture 3 3.1. Freely generate qfh-sheaves. We recall that if F is a homotopy invariant presheaf with transfers in the sense of the last lecture, then we have a well defined pairing F(X) H 0 (X/S) F(S)
More informationA finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792
Title Author(s) A finite universal SAGBI basis for the kernel of a derivation Kuroda, Shigeru Citation Osaka Journal of Mathematics. 4(4) P.759-P.792 Issue Date 2004-2 Text Version publisher URL https://doi.org/0.890/838
More informationHungry, Hungry Homology
September 27, 2017 Motiving Problem: Algebra Problem (Preliminary Version) Given two groups A, C, does there exist a group E so that A E and E /A = C? If such an group exists, we call E an extension of
More informationCombinatorial Commutative Algebra and D-Branes
Combinatorial Commutative Algebra and D-Branes Chirag Lakhani May 13, 2009 Abstract This is a survey paper written for Professor Ezra Miller s Combinatorial Commutative Algebra course in the Spring of
More informationarxiv: v1 [math.ag] 4 Sep 2018
QUOTIENTS OF SMOOTH PROJECTIVE TORIC VARIETIES BY µ p IN POSITIVE CHARACTERISTICS p arxiv:1809.00867v1 [math.ag] 4 Sep 2018 TADAKAZU SAWADA Abstract. In this paper we show that quotients of smooth projective
More informationF -SINGULARITIES AND FROBENIUS SPLITTING NOTES 12/9-2010
F -SINGULARITIES AND FROBENIUS SPLITTING NOTES 12/9-2010 KARL SCHWEDE 1. Fujita s conjecture We begin with a discussion of Castlenuovo-regularity, see [Laz04, Section 1.8]. Definition 1.1. Let F be a coherent
More informationON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF
ON THE ISOMORPHISM BETWEEN THE DUALIZING SHEAF AND THE CANONICAL SHEAF MATTHEW H. BAKER AND JÁNOS A. CSIRIK Abstract. We give a new proof of the isomorphism between the dualizing sheaf and the canonical
More informationSERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN
SERRE FINITENESS AND SERRE VANISHING FOR NON-COMMUTATIVE P 1 -BUNDLES ADAM NYMAN Abstract. Suppose X is a smooth projective scheme of finite type over a field K, E is a locally free O X -bimodule of rank
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationSTABLE MODULE THEORY WITH KERNELS
Math. J. Okayama Univ. 43(21), 31 41 STABLE MODULE THEORY WITH KERNELS Kiriko KATO 1. Introduction Auslander and Bridger introduced the notion of projective stabilization mod R of a category of finite
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 informationSynopsis of material from EGA Chapter II, 3
Synopsis of material from EGA Chapter II, 3 3. Homogeneous spectrum of a sheaf of graded algebras 3.1. Homogeneous spectrum of a graded quasi-coherent O Y algebra. (3.1.1). Let Y be a prescheme. A sheaf
More informationMATH 233B, FLATNESS AND SMOOTHNESS.
MATH 233B, FLATNESS AND SMOOTHNESS. The discussion of smooth morphisms is one place were Hartshorne doesn t do a very good job. Here s a summary of this week s material. I ll also insert some (optional)
More informationNote that the first map is in fact the zero map, as can be checked locally. It follows that we get an isomorphism
11. The Serre construction Suppose we are given a globally generated rank two vector bundle E on P n. Then the general global section σ of E vanishes in codimension two on a smooth subvariety Y. If E is
More informationAlgebraic Geometry Spring 2009
MIT OpenCourseWare http://ocw.mit.edu 18.726 Algebraic Geometry Spring 2009 For information about citing these materials or our Terms of Use, visit: http://ocw.mit.edu/terms. 18.726: Algebraic Geometry
More informationarxiv:math/ v1 [math.co] 19 Nov 2005
arxiv:math/0511488v1 [math.co] 19 Nov 2005 REMARKS ON THE COMBINATORIAL INTERSECTION COHOMOLOGY OF FANS TOM BRADEN Abstract. This partly expository paper reviews the theory of combinatorial intersection
More informationAPPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY
APPENDIX 1: REVIEW OF SINGULAR COHOMOLOGY In this appendix we begin with a brief review of some basic facts about singular homology and cohomology. For details and proofs, we refer to [Mun84]. We then
More informationELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS
ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS J. WARNER SUMMARY OF A PAPER BY J. CARLSON, E. FRIEDLANDER, AND J. PEVTSOVA, AND FURTHER OBSERVATIONS 1. The Nullcone and Restricted Nullcone We will need
More informationGorenstein rings through face rings of manifolds.
Gorenstein rings through face rings of manifolds. Isabella Novik Department of Mathematics, Box 354350 University of Washington, Seattle, WA 98195-4350, USA, novik@math.washington.edu Ed Swartz Department
More informationVector Bundles on Algebraic Varieties
Vector Bundles on Algebraic Varieties Aaron Pribadi December 14, 2010 Informally, a vector bundle associates a vector space with each point of another space. Vector bundles may be constructed over general
More informationExercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo. Alex Massarenti
Exercises of the Algebraic Geometry course held by Prof. Ugo Bruzzo Alex Massarenti SISSA, VIA BONOMEA 265, 34136 TRIESTE, ITALY E-mail address: alex.massarenti@sissa.it These notes collect a series of
More informationPorteous s Formula for Maps between Coherent Sheaves
Michigan Math. J. 52 (2004) Porteous s Formula for Maps between Coherent Sheaves Steven P. Diaz 1. Introduction Recall what the Thom Porteous formula for vector bundles tells us (see [2, Sec. 14.4] for
More informationFourier Mukai transforms II Orlov s criterion
Fourier Mukai transforms II Orlov s criterion Gregor Bruns 07.01.2015 1 Orlov s criterion In this note we re going to rely heavily on the projection formula, discussed earlier in Rostislav s talk) and
More informationToric Geometry. An introduction to toric varieties with an outlook towards toric singularity theory
Toric Geometry An introduction to toric varieties with an outlook towards toric singularity theory Thesis project for the research track of the Master Mathematics Academic year 2014/2015 Author: Geert
More informationJournal of Algebra 226, (2000) doi: /jabr , available online at on. Artin Level Modules.
Journal of Algebra 226, 361 374 (2000) doi:10.1006/jabr.1999.8185, available online at http://www.idealibrary.com on Artin Level Modules Mats Boij Department of Mathematics, KTH, S 100 44 Stockholm, Sweden
More informationMODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION
Masuda, K. Osaka J. Math. 38 (200), 50 506 MODULI OF ALGEBRAIC SL 3 -VECTOR BUNDLES OVER ADJOINT REPRESENTATION KAYO MASUDA (Received June 2, 999). Introduction and result Let be a reductive complex algebraic
More informationFILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.
FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS. Let A be a ring, for simplicity assumed commutative. A filtering, or filtration, of an A module M means a descending sequence of submodules M = M 0
More informationGeometry 9: Serre-Swan theorem
Geometry 9: Serre-Swan theorem Rules: You may choose to solve only hard exercises (marked with!, * and **) or ordinary ones (marked with! or unmarked), or both, if you want to have extra problems. To have
More informationHILBERT BASIS OF THE LIPMAN SEMIGROUP
Available at: http://publications.ictp.it IC/2010/061 United Nations Educational, Scientific and Cultural Organization and International Atomic Energy Agency THE ABDUS SALAM INTERNATIONAL CENTRE FOR THEORETICAL
More informationNORMALIZATION OF THE KRICHEVER DATA. Motohico Mulase
NORMALIZATION OF THE KRICHEVER DATA Motohico Mulase Institute of Theoretical Dynamics University of California Davis, CA 95616, U. S. A. and Max-Planck-Institut für Mathematik Gottfried-Claren-Strasse
More informationHomological mirror symmetry via families of Lagrangians
Homological mirror symmetry via families of Lagrangians String-Math 2018 Mohammed Abouzaid Columbia University June 17, 2018 Mirror symmetry Three facets of mirror symmetry: 1 Enumerative: GW invariants
More informationarxiv: v1 [math.ag] 8 Nov 2009
TROPICAL ORBIT SPACES AND THE MODULI SPACES OF ELLIPTIC TROPICAL CURVES arxiv:9.49v [math.ag] 8 Nov 9 MATTHIAS HEROLD ABSTRACT. We give a definition of tropical orbit spaces and their morphisms. We show
More informationarxiv: v2 [math.ag] 1 Jan 2011
Okounkov bodies on projectivizations of rank two toric vector bundles José Luis González 1 Department of Mathematics, University of Michigan, Ann Arbor, MI 48109, USA arxiv:0911.2287v2 [math.ag] 1 Jan
More informationON THE F -PURITY OF ISOLATED LOG CANONICAL SINGULARITIES
ON THE F -PURITY OF ISOLATED LOG CANONICAL SINGULARITIES OSAMU FUJINO AND SHUNSUKE TAKAGI Abstract. A singularity in characteristic zero is said to be of dense F -pure type if its modulo p reduction is
More informationREMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES
REMARKS ON REFLEXIVE MODULES, COVERS, AND ENVELOPES RICHARD BELSHOFF Abstract. We present results on reflexive modules over Gorenstein rings which generalize results of Serre and Samuel on reflexive modules
More informationOn seminormal monoid rings
Journal of Algebra 302 (2006) 361 386 www.elsevier.com/locate/jalgebra On seminormal monoid rings Winfried Bruns a,, Ping Li b, Tim Römer a a FB Mathematik/Informatik, Universität Osnabrück, 49069 Osnabrück,
More informationAn Algorithm for Computing Primitive Relations
Rend. Istit. Mat. Univ. Trieste Vol. XXXIX, 275 299 (2007) An Algorithm for Computing Primitive Relations Anna Scaramuzza ( ) Dedicated to the memory of Fabio Rossi Summary. - Let X be a smooth complete
More informationLECTURE 11: SOERGEL BIMODULES
LECTURE 11: SOERGEL BIMODULES IVAN LOSEV Introduction In this lecture we continue to study the category O 0 and explain some ideas towards the proof of the Kazhdan-Lusztig conjecture. We start by introducing
More informationarxiv:alg-geom/ v1 21 Mar 1996
AN INTERSECTION NUMBER FOR THE PUNCTUAL HILBERT SCHEME OF A SURFACE arxiv:alg-geom/960305v 2 Mar 996 GEIR ELLINGSRUD AND STEIN ARILD STRØMME. Introduction Let S be a smooth projective surface over an algebraically
More informationarxiv: v2 [math.ag] 29 Aug 2009
LOGARITHMIC GEOMETRY, MINIMAL FREE RESOLUTIONS AND TORIC ALGEBRAIC STACKS arxiv:0707.2568v2 [math.ag] 29 Aug 2009 ISAMU IWANARI Abstract. In this paper we will introduce a certain type of morphisms of
More informationHorrocks correspondence
Horrocks correspondence Department of Mathematics and Computer Science University of Missouri-St.Louis May, 2016 (Department of Mathematics and Computer Horrocks Science correspondence University of Missouri-St.Louis)
More informationTHE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3
THE MODULI OF SUBALGEBRAS OF THE FULL MATRIX RING OF DEGREE 3 KAZUNORI NAKAMOTO AND TAKESHI TORII Abstract. There exist 26 equivalence classes of k-subalgebras of M 3 (k) for any algebraically closed field
More informationAN ALTERNATIVE APPROACH TO SERRE DUALITY FOR PROJECTIVE VARIETIES
AN ALTERNATIVE APPROACH TO SERRE DUALITY FOR PROJECTIVE VARIETIES MATTHEW H. BAKER AND JÁNOS A. CSIRIK This paper was written in conjunction with R. Hartshorne s Spring 1996 Algebraic Geometry course at
More informationDe Rham Cohomology. Smooth singular cochains. (Hatcher, 2.1)
II. De Rham Cohomology There is an obvious similarity between the condition d o q 1 d q = 0 for the differentials in a singular chain complex and the condition d[q] o d[q 1] = 0 which is satisfied by the
More informationCOHEN MACAULAY QUOTIENTS OF NORMAL SEMIGROUP RINGS VIA IRREDUCIBLE RESOLUTIONS
COHEN MACAULAY QUOTIENTS OF NORMAL SEMIGROUP RINGS VIA IRREDUCIBLE RESOLUTIONS EZRA MILLER Abstract. For a radical monomial ideal I in a normal semigroup ring k[q], there is a unique minimal irreducible
More informationTropical Varieties. Jan Verschelde
Tropical Varieties Jan Verschelde University of Illinois at Chicago Department of Mathematics, Statistics, and Computer Science http://www.math.uic.edu/ jan jan@math.uic.edu Graduate Computational Algebraic
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More informationClassification of effective GKM graphs with combinatorial type K 4
Classiication o eective GKM graphs with combinatorial type K 4 Shintarô Kuroki Department o Applied Mathematics, Faculty o Science, Okayama Uniervsity o Science, 1-1 Ridai-cho Kita-ku, Okayama 700-0005,
More informationExtensions of Stanley-Reisner theory: Cell complexes and be
: Cell complexes and beyond February 1, 2012 Polyhedral cell complexes Γ a bounded polyhedral complex (or more generally: a finite regular cell complex with the intersection property). Polyhedral cell
More informationIntroduction to Basic Toric Geometry
Introduction to Basic Toric Geometry Gottfried Barthel, Karl-Heinz Fieseler, Ludger Kaup Contents 1 Fundamental Notions 2 1.1 Group embeddings................................... 2 1.2 Toric varieties:
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 informationRees Algebras of Modules
Rees Algebras of Modules ARON SIMIS Departamento de Matemática Universidade Federal de Pernambuco 50740-540 Recife, PE, Brazil e-mail: aron@dmat.ufpe.br BERND ULRICH Department of Mathematics Michigan
More informationH(G(Q p )//G(Z p )) = C c (SL n (Z p )\ SL n (Q p )/ SL n (Z p )).
92 19. Perverse sheaves on the affine Grassmannian 19.1. Spherical Hecke algebra. The Hecke algebra H(G(Q p )//G(Z p )) resp. H(G(F q ((T ))//G(F q [[T ]])) etc. of locally constant compactly supported
More informationLECTURE 3: RELATIVE SINGULAR HOMOLOGY
LECTURE 3: RELATIVE SINGULAR HOMOLOGY In this lecture we want to cover some basic concepts from homological algebra. These prove to be very helpful in our discussion of singular homology. The following
More informationBinomial Exercises A = 1 1 and 1
Lecture I. Toric ideals. Exhibit a point configuration A whose affine semigroup NA does not consist of the intersection of the lattice ZA spanned by the columns of A with the real cone generated by A.
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 informationDERIVED CATEGORIES OF STACKS. Contents 1. Introduction 1 2. Conventions, notation, and abuse of language The lisse-étale and the flat-fppf sites
DERIVED CATEGORIES OF STACKS Contents 1. Introduction 1 2. Conventions, notation, and abuse of language 1 3. The lisse-étale and the flat-fppf sites 1 4. Derived categories of quasi-coherent modules 5
More informationNONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES
NONCOMMUTATIVE GRADED GORENSTEIN ISOLATED SINGULARITIES KENTA UEYAMA Abstract. Gorenstein isolated singularities play an essential role in representation theory of Cohen-Macaulay modules. In this article,
More informationA Version of the Grothendieck Conjecture for p-adic Local Fields
A Version of the Grothendieck Conjecture for p-adic Local Fields by Shinichi MOCHIZUKI* Section 0: Introduction The purpose of this paper is to prove an absolute version of the Grothendieck Conjecture
More information