Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space.

Size: px
Start display at page:

Download "Unless otherwise specified, V denotes an arbitrary finite-dimensional vector space."

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

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 information

LECTURE 3 Matroids and geometric lattices

LECTURE 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 information

Math 121 Homework 5: Notes on Selected Problems

Math 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 information

1.2 Posets and Zorn s Lemma

1.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 information

Semimatroids and their Tutte polynomials

Semimatroids 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 information

Zaslavsky s Theorem. As presented by Eric Samansky May 11, 2002

Zaslavsky 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 information

The Interlace Polynomial of Graphs at 1

The 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 information

An Introduction to Transversal Matroids

An 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 information

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.

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. 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 information

The geometry of secants in embedded polar spaces

The 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 information

Review 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 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 information

10. Smooth Varieties. 82 Andreas Gathmann

10. 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 information

Chapter 2 Linear Transformations

Chapter 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 information

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

Course 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 information

1. Let m 1 and n 1 be two natural numbers such that m > n. Which of the following is/are true?

1. 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 information

The coset leader and list weight enumerator

The 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 information

D-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 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 information

Math 370 Spring 2016 Sample Midterm with Solutions

Math 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 information

ALGEBRAIC GROUPS J. WARNER

ALGEBRAIC 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 information

Math 3108: Linear Algebra

Math 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 information

Submodular Functions, Optimization, and Applications to Machine Learning

Submodular 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 information

Tropical Constructions and Lifts

Tropical 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 information

11. Dimension. 96 Andreas Gathmann

11. 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 information

Homework 11/Solutions. (Section 6.8 Exercise 3). Which pairs of the following vector spaces are isomorphic?

Homework 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 information

MATRIX LIE GROUPS AND LIE GROUPS

MATRIX 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 information

ON CONTRACTING HYPERPLANE ELEMENTS FROM A 3-CONNECTED MATROID

ON 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 information

1 Fields and vector spaces

1 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 information

MA 265 FINAL EXAM Fall 2012

MA 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 (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 information

MA 524 Final Fall 2015 Solutions

MA 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 information

Math 6510 Homework 10

Math 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 information

Topological properties

Topological 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 information

Commutative Banach algebras 79

Commutative 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 information

Linear 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. 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 information

7. Dimension and Structure.

7. 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 information

MATH 304 Linear Algebra Lecture 20: Review for Test 1.

MATH 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 information

5 Quiver Representations

5 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 information

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

Introduction 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 information

2. Intersection Multiplicities

2. 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 information

Combinatorics for algebraic geometers

Combinatorics 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 information

A MATROID EXTENSION RESULT

A 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 information

A Grassmann Algebra for Matroids

A 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 information

ADVANCED COMMUTATIVE ALGEBRA: PROBLEM SETS

ADVANCED 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 information

The cocycle lattice of binary matroids

The 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 information

MH1200 Final 2014/2015

MH1200 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 information

Sets and Motivation for Boolean algebra

Sets 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 information

Math 215B: Solutions 1

Math 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 information

CHAPTER 1. AFFINE ALGEBRAIC VARIETIES

CHAPTER 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 information

Linear and Bilinear Algebra (2WF04) Jan Draisma

Linear 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 information

LINEAR ALGEBRA REVIEW

LINEAR 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 information

1. Let r, s, t, v be the homogeneous relations defined on the set M = {2, 3, 4, 5, 6} by

1. 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 information

Solutions to Math 51 First Exam October 13, 2015

Solutions 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 information

Parameterizing orbits in flag varieties

Parameterizing 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 information

THE DIRECT SUM, UNION AND INTERSECTION OF POSET MATROIDS

THE 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 information

Math 121 Homework 4: Notes on Selected Problems

Math 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 information

2. Prime and Maximal Ideals

2. 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 information

ELEMENTARY SUBALGEBRAS OF RESTRICTED LIE ALGEBRAS

ELEMENTARY 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 information

Boolean Inner-Product Spaces and Boolean Matrices

Boolean 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 information

Some notes on Coxeter groups

Some 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 information

Classification of root systems

Classification 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 information

Vector Spaces. 9.1 Opening Remarks. Week Solvable or not solvable, that s the question. View at edx. Consider the picture

Vector 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 information

1 Differentiable manifolds and smooth maps. (Solutions)

1 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 information

Graduate Preliminary Examination

Graduate 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 information

12. Hilbert Polynomials and Bézout s Theorem

12. 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 information

EQUIVALENCE RELATIONS (NOTES FOR STUDENTS) 1. RELATIONS

EQUIVALENCE 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 information

Solving a system by back-substitution, checking consistency of a system (no rows of the form

Solving 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 information

TROPICAL SCHEME THEORY

TROPICAL 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 information

Systems of Linear Equations

Systems 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 information

Tree sets. Reinhard Diestel

Tree 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 information

MATH 1553 PRACTICE FINAL EXAMINATION

MATH 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 information

1 9/5 Matrices, vectors, and their applications

1 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 information

MATH 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. 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 information

Introduction to Linear Algebra, Second Edition, Serge Lange

Introduction 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 information

arxiv: v1 [math.co] 9 Sep 2015

arxiv: 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 information

Hodge theory for combinatorial geometries

Hodge 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 information

2.3. VECTOR SPACES 25

2.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 information

Chapter 1 Preliminaries

Chapter 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 information

ft-uiowa-math2550 Assignment OptionalFinalExamReviewMultChoiceMEDIUMlengthForm due 12/31/2014 at 10:36pm CST

ft-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 information

On Projective Planes

On 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 information

TUTTE POLYNOMIALS OF q-cones

TUTTE 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 information

MAT-INF4110/MAT-INF9110 Mathematical optimization

MAT-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 information

1 Differentiable manifolds and smooth maps. (Solutions)

1 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 information

Lecture Summaries for Linear Algebra M51A

Lecture 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 information

Math 593: Problem Set 7

Math 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 information

ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA

ALGEBRA 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 information

AN INTRODUCTION TO TRANSVERSAL MATROIDS

AN 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 information

FUNCTORS AND ADJUNCTIONS. 1. Functors

FUNCTORS 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 information

Lecture 7.3: Ring homomorphisms

Lecture 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 information

Vector bundles in Algebraic Geometry Enrique Arrondo. 1. The notion of vector bundle

Vector 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 information

Math 210C. The representation ring

Math 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 information

Auerbach bases and minimal volume sufficient enlargements

Auerbach 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 information

c i r i i=1 r 1 = [1, 2] r 2 = [0, 1] r 3 = [3, 4].

c 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 information

An Introduction of Tutte Polynomial

An 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 information

EXERCISE SET 5.1. = (kx + kx + k, ky + ky + k ) = (kx + kx + 1, ky + ky + 1) = ((k + )x + 1, (k + )y + 1)

EXERCISE 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 information

Math 309 Notes and Homework for Days 4-6

Math 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 information

Definitions. Notations. Injective, Surjective and Bijective. Divides. Cartesian Product. Relations. Equivalence Relations

Definitions. 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 information

Honors 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 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 information

ADVANCED CALCULUS - MTH433 LECTURE 4 - FINITE AND INFINITE SETS

ADVANCED 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 information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY 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 information

q 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.

q 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