Binomial Exercises A = 1 1 and 1

Similar documents
Problems on Minkowski sums of convex lattice polytopes

Algebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra

MATH 8253 ALGEBRAIC GEOMETRY WEEK 12

Extended Index. 89f depth (of a prime ideal) 121f Artin-Rees Lemma. 107f descending chain condition 74f Artinian module

Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35

A finite universal SAGBI basis for the kernel of a derivation. Osaka Journal of Mathematics. 41(4) P.759-P.792

Toric Varieties. Madeline Brandt. April 26, 2017

IMA Preprint Series # 2137

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday 10 February 2004 (Day 1)

Rings and groups. Ya. Sysak

LECTURES ON SYMPLECTIC REFLECTION ALGEBRAS

div(f ) = D and deg(d) = deg(f ) = d i deg(f i ) (compare this with the definitions for smooth curves). Let:

Homogeneous Coordinate Ring

Algebra Homework, Edition 2 9 September 2010

Total binomial decomposition (TBD) Thomas Kahle Otto-von-Guericke Universität Magdeburg

COMBINATORICS OF RANK JUMPS IN SIMPLICIAL HYPERGEOMETRIC SYSTEMS

COMBINATORICS OF BINOMIAL PRIMARY DECOMPOSITION 1. INTRODUCTION

ABSTRACT NONSINGULAR CURVES

Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra

Exercise Sheet 7 - Solutions

Math 594. Solutions 5

Ring Theory Problems. A σ

COMPLEX VARIETIES AND THE ANALYTIC TOPOLOGY

Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013

MATH 205B NOTES 2010 COMMUTATIVE ALGEBRA 53

Toric Ideals, an Introduction

Combinatorics for algebraic geometers

GENERIC LATTICE IDEALS

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

ALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!

Math 145. Codimension

12. Hilbert Polynomials and Bézout s Theorem

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

Geometry and combinatorics of spherical varieties.

Math 121 Homework 4: Notes on Selected Problems

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 24

INTRODUCTION TO COMMUTATIVE ALGEBRA MAT6608. References

D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties

1 Hilbert function. 1.1 Graded rings. 1.2 Graded modules. 1.3 Hilbert function

TROPICAL SCHEME THEORY

Piecewise Noetherian Rings

AN INTRODUCTION TO AFFINE TORIC VARIETIES: EMBEDDINGS AND IDEALS

11. Dimension. 96 Andreas Gathmann

The most important result in this section is undoubtedly the following theorem.

10. Smooth Varieties. 82 Andreas Gathmann

Homework 5 M 373K Mark Lindberg and Travis Schedler

NONCOMMUTATIVE POLYNOMIAL EQUATIONS. Edward S. Letzter. Introduction

Honors Algebra 4, MATH 371 Winter 2010 Assignment 3 Due Friday, February 5 at 08:35

Lecture 2. (1) Every P L A (M) has a maximal element, (2) Every ascending chain of submodules stabilizes (ACC).

A Little Beyond: Linear Algebra

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 2: HILBERT S NULLSTELLENSATZ.

4.4 Noetherian Rings

arxiv: v1 [math.ac] 31 Oct 2015

This 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:

ALGEBRAIC GEOMETRY COURSE NOTES, LECTURE 4: MORE ABOUT VARIETIES AND REGULAR FUNCTIONS.


Pacific Journal of Mathematics

Lectures on Algebraic Theory of D-Modules

Institutionen för matematik, KTH.

Hilbert function, Betti numbers. Daniel Gromada

Algebraic varieties and schemes over any scheme. Non singular varieties

MATH 3030, Abstract Algebra FALL 2012 Toby Kenney Midyear Examination Friday 7th December: 7:00-10:00 PM

12 Hilbert polynomials

Dedekind Domains. Mathematics 601

Spherical varieties and arc spaces

MATH 3030, Abstract Algebra Winter 2012 Toby Kenney Sample Midterm Examination Model Solutions

(1) A frac = b : a, b A, b 0. We can define addition and multiplication of fractions as we normally would. a b + c d

NOTES FOR DRAGOS: MATH 210 CLASS 12, THURS. FEB. 22

Bulletin of the Iranian Mathematical Society

(dim Z j dim Z j 1 ) 1 j i

Problems in Linear Algebra and Representation Theory

Lecture 1. Toric Varieties: Basics

Algebraic Geometry and Convex Geometry. A. Khovanskii

FILTERED RINGS AND MODULES. GRADINGS AND COMPLETIONS.

Exercise Sheet 3 - Solutions

Problem 1A. Find the volume of the solid given by x 2 + z 2 1, y 2 + z 2 1. (Hint: 1. Solution: The volume is 1. Problem 2A.

Notes for Boot Camp II

is an isomorphism, and V = U W. Proof. Let u 1,..., u m be a basis of U, and add linearly independent

PRIMARY DECOMPOSITION OF MODULES

REPRESENTATION THEORY WEEK 9

REPRESENTATION THEORY, LECTURE 0. BASICS

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 14

Fundamental theorem of modules over a PID and applications

GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.

REPRESENTATION THEORY. WEEKS 10 11

Math 121 Homework 5: Notes on Selected Problems

Note that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.

Math 418 Algebraic Geometry Notes

MATH 113 FINAL EXAM December 14, 2012

1. Group Theory Permutations.

Exercises on chapter 4

ALGEBRA EXERCISES, PhD EXAMINATION LEVEL

AN INTRODUCTION TO TORIC SURFACES

ON THE COHEN-MACAULAYNESS OF CERTAIN HYPERPLANE ARRANGEMENTS SPUR FINAL PAPER, SUMMER 2014

Mic ael Flohr Representation theory of semi-simple Lie algebras: Example su(3) 6. and 20. June 2003

Chapter 17 Computation of Some Hodge Numbers

Algebraic Geometry Spring 2009

MATH 326: RINGS AND MODULES STEFAN GILLE

Commutative Algebra. Timothy J. Ford

Math 222A W03 D. Congruence relations

Transcription:

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. 2. Prove that the affine toric variety Y A for A = is the affine cone over the product P P of two projective lines. What does this have to do with the geometry and combinatorics of a square? 3. Let A be any matrix for the quotient of Z 6 modulo the sublattice L Z 6 spanned by and. Show that the real cone R A generated by the affine semigroup NA is the cone over a triangular prism. Use any method you can think of perhaps with the aid of a computer) to write down generators for the toric ideal I A. 4. Let L Z n be an unsaturated sublattice. i) Is it possible for I ρ C[ ] to be prime for some choice of character ρ : L C? ii) What would happen if C[ ] were replaced by k[ ] for an algebraically closed field k of positive characteristic? iii) What if k is allowed to have arbitrary characteristic, but is not required to be algebraically closed?

Lecture II. Binomial primary decomposition. Let A = [ ] 2 3. In the primary decomposition 3 2 2 2 3, 2 3 2 4 = 2 2 3, 2 3 2 4, 2 3 4 2, 3 determine whether each of the primary components is toral or Andean. 2. Let p and q be primes with p q. Prove that if q is Andean, then so is p. 5 3. Let B =. Enumerate all of the equivalence classes on N 3 determined 3 by IB). Can a computer help you do this? Draw a picture of every equivalence class. 2 4. Let A = [ 5 4 3 ] and B = 2. Then IB) = 2 2 3, 2 2 3. 2 Let 2 I ρ,j =, 2, so that J = {3} and ρ : L C for the lattice L = {}. Note that I ρ =. i) What are all of the equivalence classes on Z J N J = N 2 Z determined by IB)? Hint: Project every equivalence class onto N 2 and try to draw it there.) ii) Determine every u N 3 that lies in a finite equivalence class on N 2 Z. iii) Use your answers to write down the I ρ,j -primary component of IB). iv) What is the primary decomposition of IB)? A computer could give you hints by finding the answers to iii) and iv) directly. A free beer to anyone who can get a computer to find the answers to i) and ii) directly, without using the combinatorial primary decomposition theorem. A published paper to anyone who can write down an algorithm to do it in general.) 5.* Let k be a field of characteristic p >. Assuming that I ρ,j is minimal over a binomial ideal I k[ ], find a combinatorial characterization of the I ρ,j -primary component of I. It is known [Eisenbud & Sturmfels, Binomial ideals, Duke Math. J. 84 996), no., 45] that this primary component is a binomial ideal.) 6. i) Find a binomial prime I ρ,j and an irreducible I ρ,j -primary ideal that is not binomial. ii)* Characterize the irreducible I ρ,j -primary binomial ideals in C[ ].

Lecture III. Introduction to D-modules. Write E = x + + x n n for the Euler operator, and let f be a function of x,..., x n. i) If f is a polynomial, prove that it is homogeneous of degree d if and only if Ef) = d f. ii) Do you get more solutions to Ef) = d f if f is allowed to be a series involving positive and negative powers of some of the variables x i? If there are more solutions, do any of them possess nonempty open subsets of C n where they converge? iii) In what kinds of modules might you look for solutions to Ef = βf for β C? 2. The order of a differential operator φ D n is its degree in,..., n i.e., think of x,..., x n as having degree zero). i) Show that taking the operators of order k for each k induces an increasing filtration = F F F 2 F k of D whose associated graded ring is a commutative polynomial ring C[x, ξ] in 2n variables x = x,..., x n and ξ = ξ,..., ξ n. ii) Show that the order filtration in i) descends to the quotient of D by any left ideal. iii) The symbol of φ D is the result of replacing with ξ in the sum of all of its highestorder terms. Show that the associated graded module of D/I is D/sI), where si) is generated by the symbols of all of the operators in I. Order filtrations reduce the computation of holonomic ranks to commutative algebra: iv) Show that dim Cx) Cx) C[x] D/I ) = dim Cx) Cx) C[x] D/sI) ). Note: It is a fact that a quotient D n /I is holonomic if and only if D n /si) has Krull dimension n as a module over the polynomial ring C[x, ξ]. 3. Calculate the holonomic ranks of the following D -modules M by finding analytic solutions. i) M = D /D 2 + ii) M = D /D x 2 + In ii), is there a point p C where r p r? 4. Do the previous exercise using Kashiwara s theorem, by finding Cx)-vector space bases. Or use Exercise 2iv). 5. Find a holonomic module that is not regular holonomic.

Lecture IV. Hypergeometric systems. What is the rational function r such that h σ+ h σ = rσ) for the Gauss hypergeometric series? 2. Provide the details in an argument showing that gz z,..., z m zm )z σ ) = gσ)z σ. 3. Let fx) = xc 3 x3 x ) 4 F x a x b 2 x x 2, where F z) = + ab c aa + )bb + ) z 2 z + cc + ) 2! +. i) The series fx) equals x γ F x B ) for some integer matrix B and vector γ C 4. What are B and γ? ii) Prove that 3 4 fx) = 2 fx). iii) Prove that x + x 4 4 )fx) = afx) x 2 2 + x 4 4 )fx) = bfx) x 3 3 + x 4 4 )fx) = c)fx). Hint: using Exercise of Lecture III, it isn t necessary to calculate any derivatives.) iv) Conclude that fx) satisfies the binomial Gauss system for the vector β = Aγ, where A is any matrix for the left kernel of B, and γ is from part i). 4. Consider the matrices A = [ 2 3 3 2 ] and B = 2 2. Verify that fx) = x β 2/3 x β /3 4 is a solution of H A IB), β) for every choice of β C 2.

Lecture V. Euler Koszul homology. What conditions on a set of lattice points in Z 3 guarantee that its Zariski closure in C 3 is a 2-dimensional plane? 2. Let R be a noetherian A-graded ring that is finitely generated over its degree piece. Prove that qdegm) for any finitely generated A-graded R-module M is a finite union of affine subspaces of C d, each spanned by the degrees of some subset of the generators of R, as follows. i) Prove that M has a submodule isomorphic to an A-graded translate of a quotient by an A-graded prime i.e., a submodule isomorphic as an ungraded module to R/p, but generated in some possibly nonzero A-graded degree). ii) Use noetherian induction to deduce that M has a finite filtration whose successive quotients are A-translates of quotients of R modulo prime ideals. iii) Finish the proof by showing that the true degree set of a quotient R/p by a prime ideal p is an affine semigroup generated by the degrees of some of the generators of R. 3. Let M be an A-graded D-module, where degx j ) = a j and deg j ) = a j. Consider the action of E i β i on M determined by E i β i ) z = E i β i α i ) z for homogeneous elements z M of degree α = α,..., α d ) Z d. Prove that this is a well-defined action of the commutative subalgebra C[E β] D on M. 4. i) Verify that K.E β; M) is a complex of D-modules. ii) Check that H E β; C[ ]/I) = D/H A I, β). 5. Prove that if I J C[ ] think J = I Andean ) are A-graded, then the natural surjection C[ ]/I C[ ]/J yields a map H E β; C[ ]/I) H E β; C[ ]/J) that is surjective. 6. i) What is the volume of the convex hull in R 3 of the origin and the columns of? ii) What is the rank of the binomial Gauss system? iii) What has feathers and sounds like Gauss? Hint: lieu, lieu, lieu.)