Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space.
|
|
- Charity Green
- 5 years ago
- Views:
Transcription
1 MAT 90 // 0 points Exam Solutions Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space..(0) Prove: a central arrangement A in V is essential if and only if the dual projective point configuration A in P(V ) is not contained in any projective hyperplane. Solution: Let A be a central arrangement in V. Let T = A. Since the assignment W ann(w ) is an order-reversing bijection from the subspace lattice of V to that of V, and T is the meet of the set of hyperplanes A, the subspace ann(t ) is the join of the set of lines {ann(h) H A} in V, that is, ann(t ) = H A ann(h). Then T = 0 iff H A ann(h) = V. Then T = 0 iff the smallest projective subspace of P(V ) containing A is P(V ), iff A is not contained in a a projective hyperplane. SInce T = 0 iff A is essential, this proves the result..() Let V = R. Let A be the arrangement in V defined by the polynomial Q = xyz(x + y)(x y)(y + z)(y z). Write A = {H,..., H } with the labelling determined by the left-to-right order of factors in Q. (a) Sketch the projective arrangement A = {H,..., H } in RP. Here H i denotes the projective hyperplane P(H i ) in P(V ) = RP. Sketch pictures in each of the three coordinate charts, indicating the line at infinity with a large circle. Solution: x=0 y=0 z=0 (b) Sketch a Hasse diagram of the lattice of flats L(A), and for each flat in L(A), determine the associated element of the intersection lattice. Label the (projectivizations of) elements of the intersection lattice in the illustration from part (a) with their associated flats. Solution: For convenience we drop set braces and commas from the notation, writing, e.g., instead of {a, b, c}.
2 { } The flat {} corresponds to the subspace R. The flat corresponds to the subspace {0}. The correspondences between rank-one and rank-two flats and subspaces are listed below.: x = 0 y = 0 z = 0 x = y x = y y = z y = z x = 0 x = 0 x = 0 x = y x = y = 0 x = y y = z = 0 x = y x = y x = y x = y z = 0 y = z y = z z = 0 z = 0 x = z x = z x = z x = z Here are the decorated pictures from part (a). x=0 y=0 z=0
3 (c) Sketch the dual point configuration A in V = RP. Label the points according to the labelling of the corresponding hyperplanes in A. Indicate any nontrivial (projective) collinearities with line segments or curves in your illustration. Solution: Here are depictions in each of the three coordinate charts. z z x=0 y=0 y x y z=0 x (d) Find an affine chart containing all the points of A, and sketch A in this affine chart (by changing coordinates), again labelling points and indicating any nontrivial collinearities with line segments. Solution: Experimenting with the Mathematica notebook from the web page, we arrived at the matrices 0 P = and D = Diag(,,,,,, ), we get 0 A = DAP =, 0 0 where A = 0 0 0
4 is the defining matrix of A. Since the third entry in each row of A is one, we drop it and get the resulting affine point configuration representing A : which is graphed below. {(0, ), (, ), (, ), (, ), (, ), (0, ), (, 0)}, (e) Find an affine chart which intersects every hyperplane of A, and sketch the resulting affine arrangement. Solution: Since the matrix A above, projectively equivalent to A, has no row equal to (0,, 0), each hyperplane in this realization meets the affine chart y 0. The intersections of the planes of A with this chart are obtained by setting y = in the defining equations, so we plot the function z = ax b for each row (a, b, c) of A. (See the course web page for the Mathematica notebook
5 .(0) Let B be the arrangement in V = R defined by the polynomial P = z(x + y)(x y)(x + z)(x z)(y + z)(y z). (a) Repeat parts (a)-(e) of problem for the arrangement B. Solution: x=0 y=0 z=0 z z x=0 y=0 y x y z=0 x { }
6 (b) Prove there is no isomorphism of posets L(A) L(B). Solution: There is not even a bijection of sets from L(A) to L(B) because L(A) has 0 elements and L(B) has 8. Hence there is no isomorphism of posets from L(A) to L(B). (c) Prove there is no linear isomorphism of V to itself carrying the hyperplanes of A to those of B (in any order). Solution: If there were a linear automorphism of V carrying A to B, it would induce an isomorphism of posets from the lattice of intersections of A to that of B. SInce these lattices are isomorphic to the lattice of flats computed above, and those lattices are not isomorphic, there is no linear automorphism of V carrying A to B. (d) Show that R A and R B have the same number of components. Solution: Since x = 0 is a hyperplane of A, and z = 0 is a hyperplane of B, we can count chambers using the pictures above. One sees there are components of the complement of A satisfying x > 0, and, by symmetry, there are the same number satisfying x < 0, so there are components of R A. Similarly, from the picture of B on the right there are components of the complement satisfying z > 0, and the same number with z < 0. Thus both A and B have complements with connected components..(0) Recall the definition and characterization of modular element from Exercise : (i) an element X of a geometric lattice L is modular if r(x Y ) + r(x Y ) = r(x) + r(y ), for all Y L; (ii) if X or Y is an atom, then equality holds; in particular, every atom is modular; (iii) if L = L(A) is the intersection lattice of an arrangement A, then X L is modular if and only if X +Y L for all Y L. (a) Find a modular element of rank in the lattice L(A) from problem. Indicate this element in both illustrations of A and in the illustration of A from problem. Solution: The flats and are each modular and of rank two. We verify this for : The subspace corresponding to is X = H H H H, which is the subspace x = y = 0, spanned by (0, 0, ). If Y = V or 0, then X + Y = V or X, respectively, hence X + Y L. If Y is a hyperplane then X + Y = Y if X Y and X + Y = V if X Y, so X + Y L. The remaining cases can be computed using the pictures from Problem - see the table below. For instance, the flat corresponds to the subspace H H, which has defining equations x = z = 0. This line is spanned by (0,, 0), so X + Y is spanned by {(0, 0, ), (0,, 0)}, which is the plane H, with equation x = 0. Thus X + Y L. The are listed in the table below. Y X + Y H H H H H H H H H (b) Formulate an equivalent statement to statement (iii) for the lattice of flats of a projective point configuration. Solution: The flat associated with X Y is A X+Y, which equals A X A Y. Moreover, (X, Y ) is a modular pair iff codim(x + Y ) = codim(x Y ). Dually, (X, Y ) is a modular pair iff dim(ann(x + Y )) = dim(span(a X A Y )). It follows that R A and R B are homeomorphic. meaning r(x) + r(y ) = r(x Y ) + r(x Y ).
7 (c) Use the illustration of B from Problem to verify that there is no modular element of rank in the lattice L(B). Solution: By statement (i) above, if (X, Y ) is not a modular pair, then both X and Y must have rank two. If X Y then X Y has rank strictly bigger than two, hence has rank. By the submodular law, r(x Y ). Then (X, Y ) is not a modular pair iff r(x Y ) = 0, iff A X A Y =. In the table below we list for each rank-two flat X a rank-two flat Y for which A X A Y =, implying X is not modular. We reproduce the matroid diagram (based on the pictures of B above). X Y.(0) Let A be the arrangement in R defined by the polynomial Q = xyzw(x + y + z)(x + y + w), and let B be the graphic arrangement {H ij ij edge(γ)} in R associated with the graph Γ with vertex set [] and edge set edge(γ) = {,,,,, }. (a) Identify the circuits (= minimal dependent subsets) of A. Solution: Number the hyperplanes of A according to the order of factors in Q. Then the set of circuits of A is C(A) = {,, }. Note that A has rank, so every -element subset is dependent. But every five-element subset contains a four-element circuit, so none of these is minimal. (b) Find a bijection f : A B that induces a bijection from the circuits of A to the circuits of B. (Thus A and B are matroid-equivalent arrangements.) Solution: The set of circuits of B (abbreviating H ij to ij) is Define f : A B by the table below: C(B) = {{,,, }, {,,, }, {,,, }} H H H H H H H f(h) H H H H H H Then f({,,, }) = {,,, }, f({,,, }) = {,,, }, and f({,,, }) = {,,, }.
8 (c) Sketch the projective point configuration A in some affine chart on RP containing all the points. Indicate the dependent flats by decorating your illustration is some way. Solution: Pictured below is the affine diagram of A, along with a Mathematica graph of A using the coordinate change 0 P = 0. It is admittedly difficult to see the planar (i.e., rank-three) dependencies in the actual graph. x x y w x+y+w z x+y+z.() Let L be a geometric lattice, with rank function r, and let A be the set of atoms of L. { r(x) if a x; (a) Prove: for any x L and a A, r(x a) = r(x) + if a x. Solution: If a x then x a = x, so r(x a) = r(x). Suppose a x. Then x a < a, so x a = 0 L since r(a) = and 0 L is the unique element of rank zero. Also, x < x a, so r(x) < r(x a), by the lemma in the footnote. By the submodular law, r(x)+r(a) r(x a)+r(x a), so r(x)+ r(x a), since r(a) = and r(x a) = 0. Since r(x) < r(x a) r(x) +, we conclude r(x a) = r(x) +. For x L define A x by A x = {a A a x}. An atom in a ranked lattice is an element of rank one. Lemma: in a ranked lattice, if x < y then r(x) < r(y). Proof: Choose a maximal chain from 0 L to x and a maximal chain from x to y. The latter has length one or greater. The union of these chains is a maximal chain from 0 L to y, so r(y) > r(x). 8
9 A subset A of A is closed if A = A x for some x L. The closure cl(s) of an arbitrary subset S of A is defined to equal A x, where x = S. (b) Prove the following: (i) S cl(s), with equality if and only if S is closed. Solution: Let a S. Then a S = x, hence a A x = cl(s). If S is closed, then S = A y for some x L. Since a y for all a S, S y. Suppose the inequality is strict. Since L is geometric, y is a join of atoms, y = T for some T A. Since S < y, T S, hence there exists a T \ S = T \ A y, which implies a y, a contradiction. Thus S = A y with y = S, so S = cl(s). (ii) If A is a closed set and S A, then cl(s) A. Solution: By hypothesis, A = A y for some y L. Since S A, a y for all a S. Then x = S y, which implies cl(s) = A x A y = A. (iii) If A and A are closed subsets of A, then A A is closed. Solution: Write A = A x and A = A y, for x, y L. We claim A A = A x y. To see this, observe a A x A y iff a x and a y iff a x y, by definition of meet (= greatest lower bound), iff a A x y. (c) Prove: if b cl(a {a}) cl(a), then a cl(a {b}). Hint: Consider cl(a {a, b}) and use (a). Solution: Suppose b cl(a {a}) \ cl(a). Let x = A, y = x a and z = x b. Then cl(a) = A x, cl(a {a}) = A y, and cl(a {b}) = A z, by definition of closure. By hypothesis, b A y \A x, so b y and b x. Also a x since A y \ A x. Then r(z) = r(x b) = r(x) + = r(x a) = r(y), by (a)(i), and y b = y. Then r(z a) = r(y b) = r(y) = r(z). Then z a = z, so a z. Then a A z = cl(a {b})..() Let A be a central arrangement in V, and let W be a linear subspace of V. The restriction of A to W is the arrangement A W = {H W H A, H W } in the vector space W. Assume H W for all H A. (a) Show that the surjective map f : A A W defined by f(h) = H W induces an orderpreserving map ˆf : L(A) L(A W ). Give an example to show that f need not be injective. Solution: Let X Y in L(A). Then X Y. Then X W Y W, so X W Y W in L(A W ). Thus ˆf is order-preserving. Let A be the arrangement with defining equation Q = xyz with hyperplanes labelled according to the order of factors in Q, and let W be the hyperplane defined by x = y. Then each of H W and H W is equal to the line x = y = 0 in W, so ˆf is not injective in this example. (b) Prove: if A is a closed subset of A W, then f (A) is a closed subset of A. Solution: By hypothesis, A = (A W ) X, with X = A L(A W ). Then f (A) = {H A H W X}. Since X W, H W X iff H X. Thus f (A) = A X. By HW., A X = A Y where Y = A X. Thus f (A) is closed in A. This establishes the exchange axiom for matroid closure, with the consequence that every geometric lattice is the lattice of closed sets (called flats) of a matroid. This exercise shows that f is a strong map of the underlying matroid of A to that of A W. The statement holds with some modification in case H W for some H A. 9
10 (c) Describe how the dual point configurations A and (A W ) are related. Hint: Show that W can be identified with a quotient of V. Solution: Let ϕ H V with ker(ϕ H ) = H. Let ψ H = (ϕ H ) W. Then ψ H W and ker(ψ H ) = H W. Thus the dual point configuration (A W ) is equal to {ψ H H A}. (Note that ψ H and ψ H maybe equal or proportional for H H.) The dual space W is isomorphic to V / ann(w ), by the first isomorphism theorem applied to the restriction map V W. Then the assignment ϕ H ψ H can be identified with the mapping P(V ) P(V / ann(w )) induced by quotient mapping V V / ann(w ), and (A W ) is the image of A under this mapping. 8.() Let G l (k n ) be the Grassmannian of l-dimensional linear subspaces in k n. Then each P G l (k n ) is equal to the row space row(a) of an l n matrix A = [a ij ] of rank l. Let ( ) l denote the collection of subsets of of cardinality l. If J ( ) l, denote by AJ the l l submatrix [a ij ] j J of A. (a) Let N = ( ) n l, and label the coordinates of k N by the set ( ) l, ordered lexicographically. Show that the mapping P = row(a) (det(a J ) J ( ) l ) determines a well-defined function ρ: G l (k n ) P N. Solution: Firstly, if since row(a) = P has dimension l by hypthesis, some l l minor det(a J ) is nonzero, hence (det(a J ) J ( ) l ) determines a point of P n. By linear algebra, if A and B are l n matrices with row(a) = row(b), then there is an invertible l l matrix P such that B = P A. Then, for each J ( ) l, BJ = P A J, and hence det(b J ) = det(p ) det(a J ). Since det(p ) is a nonzero constant, the vectors (det(a J ) J ( ) l ) and (det(bj ) J ( ) l ) in k N represent the same point of P N. (b) By considering reduced row-echelon forms, prove that the function ρ is injective. Solution: For every P G l (k n ) there is a unique reduced row-echelon form matrix A of rank l such that row(a) = P ; that is, P is uniquely determined by A. Suppose A is such a matrix, and let J 0 be the set of pivot columns of A. Fix i and j and let i 0 J 0 index the pivot column with nonzero entry in row i. Consider the submatrix A K indexed by K = J 0 {i 0 } {j}. The determinant of A K is ±a ij ; more precisely, det(a K ) = ( ) t a ij where t = 0 if there are no pivot columns j 0 between i 0 and j, and t = otherwise. Then the Plücker coordinates of the reduced row-echelon form A uniquely determine A and hence P, thus ρ is injective. This is the Plücker embedding; the entries of ρ(p ) are called the Plücker coordinates of P. 0
2018 Fall 2210Q Section 013 Midterm Exam II Solution
08 Fall 0Q Section 0 Midterm Exam II Solution True or False questions points 0 0 points) ) Let A be an n n matrix. If the equation Ax b has at least one solution for each b R n, then the solution is unique
More informationLECTURE 3 Matroids and geometric lattices
LECTURE 3 Matroids and geometric lattices 3.1. Matroids A matroid is an abstraction of a set of vectors in a vector space (for us, the normals to the hyperplanes in an arrangement). Many basic facts about
More informationMath 121 Homework 5: Notes on Selected Problems
Math 121 Homework 5: Notes on Selected Problems 12.1.2. Let M be a module over the integral domain R. (a) Assume that M has rank n and that x 1,..., x n is any maximal set of linearly independent elements
More information1.2 Posets and Zorn s Lemma
1.2 Posets and Zorn s Lemma A set Σ is called partially ordered or a poset with respect to a relation if (i) (reflexivity) ( σ Σ) σ σ ; (ii) (antisymmetry) ( σ,τ Σ) σ τ σ = σ = τ ; 66 (iii) (transitivity)
More informationSemimatroids and their Tutte polynomials
Semimatroids and their Tutte polynomials Federico Ardila Abstract We define and study semimatroids, a class of objects which abstracts the dependence properties of an affine hyperplane arrangement. We
More informationZaslavsky s Theorem. As presented by Eric Samansky May 11, 2002
Zaslavsky s Theorem As presented by Eric Samansky May, 2002 Abstract This paper is a retelling of the proof of Zaslavsky s Theorem. For any arrangement of hyperplanes, there is a corresponding semi-lattice
More informationThe Interlace Polynomial of Graphs at 1
The Interlace Polynomial of Graphs at 1 PN Balister B Bollobás J Cutler L Pebody July 3, 2002 Department of Mathematical Sciences, University of Memphis, Memphis, TN 38152 USA Abstract In this paper we
More informationAn Introduction to Transversal Matroids
An Introduction to Transversal Matroids Joseph E Bonin The George Washington University These slides and an accompanying expository paper (in essence, notes for this talk, and more) are available at http://homegwuedu/
More informationReid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed.
Reid 5.2. Describe the irreducible components of V (J) for J = (y 2 x 4, x 2 2x 3 x 2 y + 2xy + y 2 y) in k[x, y, z]. Here k is algebraically closed. Answer: Note that the first generator factors as (y
More informationThe geometry of secants in embedded polar spaces
The geometry of secants in embedded polar spaces Hans Cuypers Department of Mathematics Eindhoven University of Technology P.O. Box 513 5600 MB Eindhoven The Netherlands June 1, 2006 Abstract Consider
More informationReview Notes for Linear Algebra True or False Last Updated: February 22, 2010
Review Notes for Linear Algebra True or False Last Updated: February 22, 2010 Chapter 4 [ Vector Spaces 4.1 If {v 1,v 2,,v n } and {w 1,w 2,,w n } are linearly independent, then {v 1 +w 1,v 2 +w 2,,v n
More information10. Smooth Varieties. 82 Andreas Gathmann
82 Andreas Gathmann 10. Smooth Varieties Let a be a point on a variety X. In the last chapter we have introduced the tangent cone C a X as a way to study X locally around a (see Construction 9.20). It
More informationChapter 2 Linear Transformations
Chapter 2 Linear Transformations Linear Transformations Loosely speaking, a linear transformation is a function from one vector space to another that preserves the vector space operations. Let us be more
More informationCourse 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra
Course 311: Michaelmas Term 2005 Part III: Topics in Commutative Algebra D. R. Wilkins Contents 3 Topics in Commutative Algebra 2 3.1 Rings and Fields......................... 2 3.2 Ideals...............................
More information1. Let m 1 and n 1 be two natural numbers such that m > n. Which of the following is/are true?
. Let m and n be two natural numbers such that m > n. Which of the following is/are true? (i) A linear system of m equations in n variables is always consistent. (ii) A linear system of n equations in
More informationThe coset leader and list weight enumerator
Contemporary Mathematics The coset leader and list weight enumerator Relinde Jurrius and Ruud Pellikaan In Topics in Finite Fields 11th International Conference on Finite Fields and their Applications
More informationD-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski. Solutions Sheet 1. Classical Varieties
D-MATH Algebraic Geometry FS 2018 Prof. Emmanuel Kowalski Solutions Sheet 1 Classical Varieties Let K be an algebraically closed field. All algebraic sets below are defined over K, unless specified otherwise.
More informationMath 370 Spring 2016 Sample Midterm with Solutions
Math 370 Spring 2016 Sample Midterm with Solutions Contents 1 Problems 2 2 Solutions 5 1 1 Problems (1) Let A be a 3 3 matrix whose entries are real numbers such that A 2 = 0. Show that I 3 + A is invertible.
More informationALGEBRAIC GROUPS J. WARNER
ALGEBRAIC GROUPS J. WARNER Let k be an algebraically closed field. varieties unless otherwise stated. 1. Definitions and Examples For simplicity we will work strictly with affine Definition 1.1. An algebraic
More informationMath 3108: Linear Algebra
Math 3108: Linear Algebra Instructor: Jason Murphy Department of Mathematics and Statistics Missouri University of Science and Technology 1 / 323 Contents. Chapter 1. Slides 3 70 Chapter 2. Slides 71 118
More informationSubmodular Functions, Optimization, and Applications to Machine Learning
Submodular Functions, Optimization, and Applications to Machine Learning Spring Quarter, Lecture http://www.ee.washington.edu/people/faculty/bilmes/classes/eeb_spring_0/ Prof. Jeff Bilmes University of
More informationTropical Constructions and Lifts
Tropical Constructions and Lifts Hunter Ash August 27, 2014 1 The Algebraic Torus and M Let K denote a field of characteristic zero and K denote the associated multiplicative group. A character on (K )
More information11. Dimension. 96 Andreas Gathmann
96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for
More informationHomework 11/Solutions. (Section 6.8 Exercise 3). Which pairs of the following vector spaces are isomorphic?
MTH 9-4 Linear Algebra I F Section Exercises 6.8,4,5 7.,b 7.,, Homework /Solutions (Section 6.8 Exercise ). Which pairs of the following vector spaces are isomorphic? R 7, R, M(, ), M(, 4), M(4, ), P 6,
More informationMATRIX LIE GROUPS AND LIE GROUPS
MATRIX LIE GROUPS AND LIE GROUPS Steven Sy December 7, 2005 I MATRIX LIE GROUPS Definition: A matrix Lie group is a closed subgroup of Thus if is any sequence of matrices in, and for some, then either
More informationON CONTRACTING HYPERPLANE ELEMENTS FROM A 3-CONNECTED MATROID
ON CONTRACTING HYPERPLANE ELEMENTS FROM A 3-CONNECTED MATROID RHIANNON HALL Abstract. Let K 3,n, n 3, be the simple graph obtained from K 3,n by adding three edges to a vertex part of size three. We prove
More information1 Fields and vector spaces
1 Fields and vector spaces In this section we revise some algebraic preliminaries and establish notation. 1.1 Division rings and fields A division ring, or skew field, is a structure F with two binary
More informationMA 265 FINAL EXAM Fall 2012
MA 265 FINAL EXAM Fall 22 NAME: INSTRUCTOR S NAME:. There are a total of 25 problems. You should show work on the exam sheet, and pencil in the correct answer on the scantron. 2. No books, notes, or calculators
More information(II.B) Basis and dimension
(II.B) Basis and dimension How would you explain that a plane has two dimensions? Well, you can go in two independent directions, and no more. To make this idea precise, we formulate the DEFINITION 1.
More informationMA 524 Final Fall 2015 Solutions
MA 54 Final Fall 05 Solutions Name: Question Points Score 0 0 3 5 4 0 5 5 6 5 7 0 8 5 Total: 60 MA 54 Solutions Final, Page of 8. Let L be a finite lattice. (a) (5 points) Show that p ( (p r)) (p ) (p
More informationMath 6510 Homework 10
2.2 Problems 9 Problem. Compute the homology group of the following 2-complexes X: a) The quotient of S 2 obtained by identifying north and south poles to a point b) S 1 (S 1 S 1 ) c) The space obtained
More informationTopological properties
CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological
More informationCommutative Banach algebras 79
8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)
More informationLinear Algebra M1 - FIB. Contents: 5. Matrices, systems of linear equations and determinants 6. Vector space 7. Linear maps 8.
Linear Algebra M1 - FIB Contents: 5 Matrices, systems of linear equations and determinants 6 Vector space 7 Linear maps 8 Diagonalization Anna de Mier Montserrat Maureso Dept Matemàtica Aplicada II Translation:
More information7. Dimension and Structure.
7. Dimension and Structure 7.1. Basis and Dimension Bases for Subspaces Example 2 The standard unit vectors e 1, e 2,, e n are linearly independent, for if we write (2) in component form, then we obtain
More informationMATH 304 Linear Algebra Lecture 20: Review for Test 1.
MATH 304 Linear Algebra Lecture 20: Review for Test 1. Topics for Test 1 Part I: Elementary linear algebra (Leon 1.1 1.4, 2.1 2.2) Systems of linear equations: elementary operations, Gaussian elimination,
More information5 Quiver Representations
5 Quiver Representations 5. Problems Problem 5.. Field embeddings. Recall that k(y,..., y m ) denotes the field of rational functions of y,..., y m over a field k. Let f : k[x,..., x n ] k(y,..., y m )
More informationIntroduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013
18.782 Introduction to Arithmetic Geometry Fall 2013 Lecture #17 11/05/2013 Throughout this lecture k denotes an algebraically closed field. 17.1 Tangent spaces and hypersurfaces For any polynomial f k[x
More information2. Intersection Multiplicities
2. Intersection Multiplicities 11 2. Intersection Multiplicities Let us start our study of curves by introducing the concept of intersection multiplicity, which will be central throughout these notes.
More informationCombinatorics for algebraic geometers
Combinatorics for algebraic geometers Calculations in enumerative geometry Maria Monks March 17, 214 Motivation Enumerative geometry In the late 18 s, Hermann Schubert investigated problems in what is
More informationA MATROID EXTENSION RESULT
A MATROID EXTENSION RESULT JAMES OXLEY Abstract. Adding elements to matroids can be fraught with difficulty. In the Vámos matroid V 8, there are four independent sets X 1, X 2, X 3, and X 4 such that (X
More informationA Grassmann Algebra for Matroids
Joint work with Jeffrey Giansiracusa, Swansea University, U.K. Matroid (Whitney, 1935) A collection B of subsets of [n] = {1,2,...,n}, called bases, such that the basis exchange property holds: Matroid
More informationADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS
ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS UZI VISHNE The 11 problem sets below were composed by Michael Schein, according to his course. Take into account that we are covering slightly different material.
More informationThe cocycle lattice of binary matroids
Published in: Europ. J. Comb. 14 (1993), 241 250. The cocycle lattice of binary matroids László Lovász Eötvös University, Budapest, Hungary, H-1088 Princeton University, Princeton, NJ 08544 Ákos Seress*
More informationMH1200 Final 2014/2015
MH200 Final 204/205 November 22, 204 QUESTION. (20 marks) Let where a R. A = 2 3 4, B = 2 3 4, 3 6 a 3 6 0. For what values of a is A singular? 2. What is the minimum value of the rank of A over all a
More informationSets and Motivation for Boolean algebra
SET THEORY Basic concepts Notations Subset Algebra of sets The power set Ordered pairs and Cartesian product Relations on sets Types of relations and their properties Relational matrix and the graph of
More informationMath 215B: Solutions 1
Math 15B: Solutions 1 Due Thursday, January 18, 018 (1) Let π : X X be a covering space. Let Φ be a smooth structure on X. Prove that there is a smooth structure Φ on X so that π : ( X, Φ) (X, Φ) is an
More informationCHAPTER 1. AFFINE ALGEBRAIC VARIETIES
CHAPTER 1. AFFINE ALGEBRAIC VARIETIES During this first part of the course, we will establish a correspondence between various geometric notions and algebraic ones. Some references for this part of the
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 1 Basics We will assume familiarity with the terms field, vector space, subspace, basis, dimension, and direct sums. If you are not sure what these
More informationLINEAR ALGEBRA REVIEW
LINEAR ALGEBRA REVIEW SPENCER BECKER-KAHN Basic Definitions Domain and Codomain. Let f : X Y be any function. This notation means that X is the domain of f and Y is the codomain of f. This means that for
More information1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by
Seminar 1 1. Which ones of the usual symbols of addition, subtraction, multiplication and division define an operation (composition law) on the numerical sets N, Z, Q, R, C? 2. Let A = {a 1, a 2, a 3 }.
More informationSolutions to Math 51 First Exam October 13, 2015
Solutions to Math First Exam October 3, 2. (8 points) (a) Find an equation for the plane in R 3 that contains both the x-axis and the point (,, 2). The equation should be of the form ax + by + cz = d.
More informationParameterizing orbits in flag varieties
Parameterizing orbits in flag varieties W. Ethan Duckworth April 2008 Abstract In this document we parameterize the orbits of certain groups acting on partial flag varieties with finitely many orbits.
More informationTHE DIRECT SUM, UNION AND INTERSECTION OF POSET MATROIDS
SOOCHOW JOURNAL OF MATHEMATICS Volume 28, No. 4, pp. 347-355, October 2002 THE DIRECT SUM, UNION AND INTERSECTION OF POSET MATROIDS BY HUA MAO 1,2 AND SANYANG LIU 2 Abstract. This paper first shows how
More informationMath 121 Homework 4: Notes on Selected Problems
Math 121 Homework 4: Notes on Selected Problems 11.2.9. If W is a subspace of the vector space V stable under the linear transformation (i.e., (W ) W ), show that induces linear transformations W on W
More information2. Prime and Maximal Ideals
18 Andreas Gathmann 2. Prime and Maximal Ideals There are two special kinds of ideals that are of particular importance, both algebraically and geometrically: the so-called prime and maximal ideals. Let
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 informationBoolean Inner-Product Spaces and Boolean Matrices
Boolean Inner-Product Spaces and Boolean Matrices Stan Gudder Department of Mathematics, University of Denver, Denver CO 80208 Frédéric Latrémolière Department of Mathematics, University of Denver, Denver
More informationSome notes on Coxeter groups
Some notes on Coxeter groups Brooks Roberts November 28, 2017 CONTENTS 1 Contents 1 Sources 2 2 Reflections 3 3 The orthogonal group 7 4 Finite subgroups in two dimensions 9 5 Finite subgroups in three
More informationClassification of root systems
Classification of root systems September 8, 2017 1 Introduction These notes are an approximate outline of some of the material to be covered on Thursday, April 9; Tuesday, April 14; and Thursday, April
More informationVector Spaces. 9.1 Opening Remarks. Week Solvable or not solvable, that s the question. View at edx. Consider the picture
Week9 Vector Spaces 9. Opening Remarks 9.. Solvable or not solvable, that s the question Consider the picture (,) (,) p(χ) = γ + γ χ + γ χ (, ) depicting three points in R and a quadratic polynomial (polynomial
More information1 Differentiable manifolds and smooth maps. (Solutions)
1 Differentiable manifolds and smooth maps Solutions Last updated: February 16 2012 Problem 1 a The projection maps a point P x y S 1 to the point P u 0 R 2 the intersection of the line NP with the x-axis
More informationGraduate Preliminary Examination
Graduate Preliminary Examination Algebra II 18.2.2005: 3 hours Problem 1. Prove or give a counter-example to the following statement: If M/L and L/K are algebraic extensions of fields, then M/K is algebraic.
More information12. Hilbert Polynomials and Bézout s Theorem
12. Hilbert Polynomials and Bézout s Theorem 95 12. Hilbert Polynomials and Bézout s Theorem After our study of smooth cubic surfaces in the last chapter, let us now come back to the general theory of
More informationEQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS
EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) LIOR SILBERMAN Version 1.0 compiled September 9, 2015. 1.1. List of examples. 1. RELATIONS Equality of real numbers: for some x,y R we have x = y. For other pairs
More informationSolving a system by back-substitution, checking consistency of a system (no rows of the form
MATH 520 LEARNING OBJECTIVES SPRING 2017 BROWN UNIVERSITY SAMUEL S. WATSON Week 1 (23 Jan through 27 Jan) Definition of a system of linear equations, definition of a solution of a linear system, elementary
More informationTROPICAL SCHEME THEORY
TROPICAL SCHEME THEORY 5. Commutative algebra over idempotent semirings II Quotients of semirings When we work with rings, a quotient object is specified by an ideal. When dealing with semirings (and lattices),
More informationSystems of Linear Equations
Systems of Linear Equations Math 108A: August 21, 2008 John Douglas Moore Our goal in these notes is to explain a few facts regarding linear systems of equations not included in the first few chapters
More informationTree sets. Reinhard Diestel
1 Tree sets Reinhard Diestel Abstract We study an abstract notion of tree structure which generalizes treedecompositions of graphs and matroids. Unlike tree-decompositions, which are too closely linked
More informationMATH 1553 PRACTICE FINAL EXAMINATION
MATH 553 PRACTICE FINAL EXAMINATION Name Section 2 3 4 5 6 7 8 9 0 Total Please read all instructions carefully before beginning. The final exam is cumulative, covering all sections and topics on the master
More information1 9/5 Matrices, vectors, and their applications
1 9/5 Matrices, vectors, and their applications Algebra: study of objects and operations on them. Linear algebra: object: matrices and vectors. operations: addition, multiplication etc. Algorithms/Geometric
More informationMATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix.
MATH 323 Linear Algebra Lecture 12: Basis of a vector space (continued). Rank and nullity of a matrix. Basis Definition. Let V be a vector space. A linearly independent spanning set for V is called a basis.
More informationIntroduction to Linear Algebra, Second Edition, Serge Lange
Introduction to Linear Algebra, Second Edition, Serge Lange Chapter I: Vectors R n defined. Addition and scalar multiplication in R n. Two geometric interpretations for a vector: point and displacement.
More informationarxiv: v1 [math.co] 9 Sep 2015
ARRANGEMENTS OF MINORS IN THE POSITIVE GRASSMANNIAN AND A TRIANGULATION OF THE HYPERSIMPLEX arxiv:09.000v [math.co] 9 Sep MIRIAM FARBER AND YELENA MANDELSHTAM Abstract. The structure of zero and nonzero
More informationHodge theory for combinatorial geometries
Hodge theory for combinatorial geometries June Huh with Karim Adiprasito and Eric Katz June Huh 1 / 48 Three fundamental ideas: June Huh 2 / 48 Three fundamental ideas: The idea of Bernd Sturmfels that
More information2.3. VECTOR SPACES 25
2.3. VECTOR SPACES 25 2.3 Vector Spaces MATH 294 FALL 982 PRELIM # 3a 2.3. Let C[, ] denote the space of continuous functions defined on the interval [,] (i.e. f(x) is a member of C[, ] if f(x) is continuous
More informationChapter 1 Preliminaries
Chapter 1 Preliminaries 1.1 Conventions and Notations Throughout the book we use the following notations for standard sets of numbers: N the set {1, 2,...} of natural numbers Z the set of integers Q the
More informationft-uiowa-math2550 Assignment OptionalFinalExamReviewMultChoiceMEDIUMlengthForm due 12/31/2014 at 10:36pm CST
me me ft-uiowa-math255 Assignment OptionalFinalExamReviewMultChoiceMEDIUMlengthForm due 2/3/2 at :3pm CST. ( pt) Library/TCNJ/TCNJ LinearSystems/problem3.pg Give a geometric description of the following
More informationOn Projective Planes
C-UPPSATS 2002:02 TFM, Mid Sweden University 851 70 Sundsvall Tel: 060-14 86 00 On Projective Planes 1 2 7 4 3 6 5 The Fano plane, the smallest projective plane. By Johan Kåhrström ii iii Abstract It was
More informationTUTTE POLYNOMIALS OF q-cones
TUTTE POLYNOMIALS OF q-cones JOSEPH E. BONIN AND HONGXUN QIN ABSTRACT. We derive a formula for the Tutte polynomial t(g ; x, y) of a q-cone G of a GF (q)-representable geometry G in terms of t(g; x, y).
More informationMAT-INF4110/MAT-INF9110 Mathematical optimization
MAT-INF4110/MAT-INF9110 Mathematical optimization Geir Dahl August 20, 2013 Convexity Part IV Chapter 4 Representation of convex sets different representations of convex sets, boundary polyhedra and polytopes:
More information1 Differentiable manifolds and smooth maps. (Solutions)
1 Differentiable manifolds and smooth maps Solutions Last updated: March 17 2011 Problem 1 The state of the planar pendulum is entirely defined by the position of its moving end in the plane R 2 Since
More informationLecture Summaries for Linear Algebra M51A
These lecture summaries may also be viewed online by clicking the L icon at the top right of any lecture screen. Lecture Summaries for Linear Algebra M51A refers to the section in the textbook. Lecture
More informationMath 593: Problem Set 7
Math 593: Problem Set 7 Feng Zhu, Punya Satpathy, Alex Vargo, Umang Varma, Daniel Irvine, Joe Kraisler, Samantha Pinella, Lara Du, Caleb Springer, Jiahua Gu, Karen Smith 1 Basics properties of tensor product
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationAN INTRODUCTION TO TRANSVERSAL MATROIDS
AN INTRODUCTION TO TRANSVERSAL MATROIDS JOSEPH E BONIN October 26, 2010 CONTENTS 1 Prefatory Remarks 1 2 Several Perspectives on Transversal Matroids 2 21 Set systems, transversals, partial transversals,
More informationFUNCTORS AND ADJUNCTIONS. 1. Functors
FUNCTORS AND ADJUNCTIONS Abstract. Graphs, quivers, natural transformations, adjunctions, Galois connections, Galois theory. 1.1. Graph maps. 1. Functors 1.1.1. Quivers. Quivers generalize directed graphs,
More informationLecture 7.3: Ring homomorphisms
Lecture 7.3: Ring homomorphisms Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 4120, Modern Algebra M. Macauley (Clemson) Lecture 7.3:
More informationVector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle
Vector bundles in Algebraic Geometry Enrique Arrondo Notes(* prepared for the First Summer School on Complex Geometry (Villarrica, Chile 7-9 December 2010 1 The notion of vector bundle In affine geometry,
More informationMath 210C. The representation ring
Math 210C. The representation ring 1. Introduction Let G be a nontrivial connected compact Lie group that is semisimple and simply connected (e.g., SU(n) for n 2, Sp(n) for n 1, or Spin(n) for n 3). Let
More informationAuerbach bases and minimal volume sufficient enlargements
Auerbach bases and minimal volume sufficient enlargements M. I. Ostrovskii January, 2009 Abstract. Let B Y denote the unit ball of a normed linear space Y. A symmetric, bounded, closed, convex set A in
More informationc i r i i=1 r 1 = [1, 2] r 2 = [0, 1] r 3 = [3, 4].
Lecture Notes: Rank of a Matrix Yufei Tao Department of Computer Science and Engineering Chinese University of Hong Kong taoyf@cse.cuhk.edu.hk 1 Linear Independence Definition 1. Let r 1, r 2,..., r m
More informationAn Introduction of Tutte Polynomial
An Introduction of Tutte Polynomial Bo Lin December 12, 2013 Abstract Tutte polynomial, defined for matroids and graphs, has the important property that any multiplicative graph invariant with a deletion
More informationEXERCISE SET 5.1. = (kx + kx + k, ky + ky + k ) = (kx + kx + 1, ky + ky + 1) = ((k + )x + 1, (k + )y + 1)
EXERCISE SET 5. 6. The pair (, 2) is in the set but the pair ( )(, 2) = (, 2) is not because the first component is negative; hence Axiom 6 fails. Axiom 5 also fails. 8. Axioms, 2, 3, 6, 9, and are easily
More informationMath 309 Notes and Homework for Days 4-6
Math 309 Notes and Homework for Days 4-6 Day 4 Read Section 1.2 and the notes below. The following is the main definition of the course. Definition. A vector space is a set V (whose elements are called
More informationDefinitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations
Page 1 Definitions Tuesday, May 8, 2018 12:23 AM Notations " " means "equals, by definition" the set of all real numbers the set of integers Denote a function from a set to a set by Denote the image of
More informationHonors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35
Honors Algebra 4, MATH 371 Winter 2010 Assignment 4 Due Wednesday, February 17 at 08:35 1. Let R be a commutative ring with 1 0. (a) Prove that the nilradical of R is equal to the intersection of the prime
More informationADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS
ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS 1. Cardinal number of a set The cardinal number (or simply cardinal) of a set is a generalization of the concept of the number of elements
More informationCHEVALLEY S THEOREM AND COMPLETE VARIETIES
CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized
More informationq xk y n k. , provided k < n. (This does not hold for k n.) Give a combinatorial proof of this recurrence by means of a bijective transformation.
Math 880 Alternative Challenge Problems Fall 2016 A1. Given, n 1, show that: m1 m 2 m = ( ) n+ 1 2 1, where the sum ranges over all positive integer solutions (m 1,..., m ) of m 1 + + m = n. Give both
More information