The Graph Isomorphism Problem and the Module Isomorphism Problem. Harm Derksen
|
|
- Mervyn Underwood
- 5 years ago
- Views:
Transcription
1 The Graph Isomorphism Problem and the Module Isomorphism Problem Harm Derksen Department of Mathematics Michigan Center for Integrative Research in Critical Care University of Michigan Partially supported by NSF DMS Symmetry vs Regularity Pilsen, July, 2018
2 6/30/2018 MR: Publications results for "Author=(derksen, *) AND Title=(graph)" Click here to activate Remote Access Univ of Michigan Publications results for "Author=(derksen, *) AND Title=(graph)" MR Reviewed Derksen, Harm(1-MI) Department of Mathematics, University of Michigan Ann Arbor, Michigan, Citations From References: 0 From Reviews: 0 The graph isomorphism problem and approximate categories. (English summary) J. Symbolic Comput. 59 (2013), C60 (20G05 68Q25) Summary: "It is unknown whether two graphs can be tested for isomorphism in polynomial time. A classical approach to the Graph Isomorphism Problem is the d-dimensional Weisfeiler- Lehman algorithm. The d-dimensional WL-algorithm can distinguish many pairs of graphs, but the pairs of non-isomorphic graphs constructed by Cai, Fürer and Immerman it cannot distinguish. If d is fixed, then the WL-algorithm runs in polynomial time. We will formulate the Graph Isomorphism Problem as an Orbit Problem: Given a representation V of an algebraic group G and two elements v1, v2 V, decide whether v1 and v2 lie in the same G-orbit. Then we attack the Orbit Problem by constructing certain approximate categories Harm Derksen
3 Orbit Problems Orbit Problem G group acting on k-vector space V given v, v V, does there exist g G with g v = v?
4 Orbit Problems Orbit Problem G group acting on k-vector space V given v, v V, does there exist g G with g v = v? Graph Isomorphism Problem (Hard) Γ, Γ graphs with n vertices, A, A Mat n,n adjacency matrices G = {permutation matrices} acts on Mat n,n by conjugation does there exists a permutation matrix P with PAP 1 = A?
5 Orbit Problems Orbit Problem G group acting on k-vector space V given v, v V, does there exist g G with g v = v? Graph Isomorphism Problem (Hard) Γ, Γ graphs with n vertices, A, A Mat n,n adjacency matrices G = {permutation matrices} acts on Mat n,n by conjugation does there exists a permutation matrix P with PAP 1 = A? Module Isomorphism Problem (Easy) G = GL n acts on Mat m n,n by simultaneous conjugation A = (A 1,..., A m ), A = (A 1,..., A m) Mat m n,n is there a P GL n with (PA 1 P 1,..., PA m P 1 ) = (A 1,..., A m)?
6 Module Isomorphism Problem (Easy) R = k x 1,..., x m free associative algebra (A 1,..., A m ) Mat m n,n corresponds to module M = k n, where x i v = A i v for v M
7 Module Isomorphism Problem (Easy) R = k x 1,..., x m free associative algebra (A 1,..., A m ) Mat m n,n corresponds to module M = k n, where x i v = A i v for v M (A 1,..., A m) Mat m n,n corresponds to module M = k n Hom R (M, M ) = {P Mat n,n i PA i = A i P}
8 Module Isomorphism Problem (Easy) R = k x 1,..., x m free associative algebra (A 1,..., A m ) Mat m n,n corresponds to module M = k n, where x i v = A i v for v M (A 1,..., A m) Mat m n,n corresponds to module M = k n Hom R (M, M ) = {P Mat n,n i PA i = A i P} Probabilistic Module Isomorphism Algorithm choose P Hom R (M, M ) Mat n,n at random if P invertible, then M = M if P not invertible, then M = M with high probability polynomial time de-randomized algorithms for module isom.: Chistov-Ivanyos-Karpinsky 1997, Brooksbank-Luks 2008 (for arbitrary finitely generated associative k-algebras)
9 Graph Isomorphism by Solving Polynomial Equations Γ, Γ graphs on n vertices with adjacency matrices A = (a i,j ), A = (a i,j ) does there exists a permutation n n matrix X = (x i,j ) with XAX 1 = A?
10 Graph Isomorphism by Solving Polynomial Equations Γ, Γ graphs on n vertices with adjacency matrices A = (a i,j ), A = (a i,j ) does there exists a permutation n n matrix X = (x i,j ) with XAX 1 = A? We need to solve a system of polynomial equations:
11 Graph Isomorphism by Solving Polynomial Equations Γ, Γ graphs on n vertices with adjacency matrices A = (a i,j ), A = (a i,j ) does there exists a permutation n n matrix X = (x i,j ) with XAX 1 = A? We need to solve a system of polynomial equations: X is a permutation matrix, means: (1) x i,j x i,l = 0 = x j,i x l,i for all i and all j l (2) n j=1 x i,j 1 = n j=1 x j,i 1 = 0 for all i
12 Graph Isomorphism by Solving Polynomial Equations Γ, Γ graphs on n vertices with adjacency matrices A = (a i,j ), A = (a i,j ) does there exists a permutation n n matrix X = (x i,j ) with XAX 1 = A? We need to solve a system of polynomial equations: X is a permutation matrix, means: (1) x i,j x i,l = 0 = x j,i x l,i for all i and all j l (2) n j=1 x i,j 1 = n j=1 x j,i 1 = 0 for all i XA = A X gives us the linear equations: (3) j=1 x i,ja j,l j=1 a i,j x j,l = 0 for all i, l system of linear and quadratic equations in n 2 variables
13 Gröbner Basis? R = k[x 1,1, x 1,2,..., x n,n ] polynomial ring in n 2 variables define Eq(Γ, Γ ) R as the set of poly s from our system of equations (1)-(3) let I = (Eq(Γ, Γ )) R be the ideal generated by Eq(Γ, Γ ) Hilbert s Nullstellensatz 1 I Γ = Γ
14 Gröbner Basis? R = k[x 1,1, x 1,2,..., x n,n ] polynomial ring in n 2 variables define Eq(Γ, Γ ) R as the set of poly s from our system of equations (1)-(3) let I = (Eq(Γ, Γ )) R be the ideal generated by Eq(Γ, Γ ) Hilbert s Nullstellensatz 1 I Γ = Γ Algorithm 1, Gröbner basis (GB) compute Gröbner basis G of I using Buchberger s algorithm then 1 G 1 I Γ = Γ
15 Gröbner Basis? R = k[x 1,1, x 1,2,..., x n,n ] polynomial ring in n 2 variables define Eq(Γ, Γ ) R as the set of poly s from our system of equations (1)-(3) let I = (Eq(Γ, Γ )) R be the ideal generated by Eq(Γ, Γ ) Hilbert s Nullstellensatz 1 I Γ = Γ Algorithm 1, Gröbner basis (GB) compute Gröbner basis G of I using Buchberger s algorithm then 1 G 1 I Γ = Γ Computing a Gröbner basis is known to be very slow there is no reason to believe Algorithm 1 could be polynomial time This is a stupid approach!
16 Truncated Ideals... or is it?
17 Truncated Ideals... or is it? we restrict ourselves to computations in low degree fix positive integer d 2
18 Truncated Ideals... or is it? we restrict ourselves to computations in low degree fix positive integer d 2 R d = k[x 1,1, x 1,2,..., x n,n ] d space of polynomials of degree d dim R d is polynomial in n (for fixed d)
19 Truncated Ideals... or is it? we restrict ourselves to computations in low degree fix positive integer d 2 R d = k[x 1,1, x 1,2,..., x n,n ] d space of polynomials of degree d dim R d is polynomial in n (for fixed d) we construct subspaces I [0] I [1] of R d as follows: I [0] R d is the k-span of Eq(Γ, Γ ) (Eq(Γ, Γ ) was the set of linear and quadratic equations)
20 Truncated Ideals... or is it? we restrict ourselves to computations in low degree fix positive integer d 2 R d = k[x 1,1, x 1,2,..., x n,n ] d space of polynomials of degree d dim R d is polynomial in n (for fixed d) we construct subspaces I [0] I [1] of R d as follows: I [0] R d is the k-span of Eq(Γ, Γ ) (Eq(Γ, Γ ) was the set of linear and quadratic equations) I [j+1] = d e=0 (I [j] R e )R d e for all j
21 Truncated Ideals... or is it? we restrict ourselves to computations in low degree fix positive integer d 2 R d = k[x 1,1, x 1,2,..., x n,n ] d space of polynomials of degree d dim R d is polynomial in n (for fixed d) we construct subspaces I [0] I [1] of R d as follows: I [0] R d is the k-span of Eq(Γ, Γ ) (Eq(Γ, Γ ) was the set of linear and quadratic equations) I [j+1] = d e=0 (I [j] R e )R d e for all j
22 Truncated Ideals... or is it? we restrict ourselves to computations in low degree fix positive integer d 2 R d = k[x 1,1, x 1,2,..., x n,n ] d space of polynomials of degree d dim R d is polynomial in n (for fixed d) we construct subspaces I [0] I [1] of R d as follows: I [0] R d is the k-span of Eq(Γ, Γ ) (Eq(Γ, Γ ) was the set of linear and quadratic equations) I [j+1] = d e=0 (I [j] R e )R d e for all j for some l dim R d, I [l] = I [l+1] = I [l+2] = Let (Eq(Γ, Γ )) d = I [l] be this limit this is the d-truncated ideal generated by Eq(Γ, Γ )
23 Comparison to the Weisfeiler-Leman Algorithm a basis of (Eq(Γ, Γ )) d (as a k-vector space) can be computed with a polynomial number of arithmetic operations in the field k Algorithm 2, Truncated Ideals (TI d ) compute (Eq(Γ, Γ )) d and test whether 1 (Eq(Γ, Γ )) d if 1 (Eq(Γ, Γ )) d then Γ = Γ
24 Comparison to the Weisfeiler-Leman Algorithm a basis of (Eq(Γ, Γ )) d (as a k-vector space) can be computed with a polynomial number of arithmetic operations in the field k Algorithm 2, Truncated Ideals (TI d ) compute (Eq(Γ, Γ )) d and test whether 1 (Eq(Γ, Γ )) d if 1 (Eq(Γ, Γ )) d then Γ = Γ this algorithm is polynomial time if we work over a finite field k = F q and q = q(n) = 2 O(poly(n)) Theorem if q is a prime > n, k = F q if WL d distinguishes Γ and Γ, then TI 2d+2 distinguishes Γ and Γ so TI is as powerful as WL (but perhaps not more powerful) but there is more structure...
25 An Associative Algebra recall R = k[x 1,1, x 1,2,..., x n,n ] and R d = k[x 1,1, x 1,2,..., x n,n ] d matrix multiplication gives a ring homomorphism ϕ : R = k[x 1,1,..., x n,n ] k[y 1,1,..., y n,n, z 1,1,..., z n,n ] = R R defined by ϕ(x i,j ) = n l=1 y i,lz l,j
26 An Associative Algebra recall R = k[x 1,1, x 1,2,..., x n,n ] and R d = k[x 1,1, x 1,2,..., x n,n ] d matrix multiplication gives a ring homomorphism ϕ : R = k[x 1,1,..., x n,n ] k[y 1,1,..., y n,n, z 1,1,..., z n,n ] = R R defined by ϕ(x i,j ) = n l=1 y i,lz l,j this ring homomorphism restricts to a linear map R d R d R d,
27 An Associative Algebra recall R = k[x 1,1, x 1,2,..., x n,n ] and R d = k[x 1,1, x 1,2,..., x n,n ] d matrix multiplication gives a ring homomorphism ϕ : R = k[x 1,1,..., x n,n ] k[y 1,1,..., y n,n, z 1,1,..., z n,n ] = R R defined by ϕ(x i,j ) = n l=1 y i,lz l,j this ring homomorphism restricts to a linear map R d R d R d, which dualizes to a linear map R d R d R d,
28 An Associative Algebra recall R = k[x 1,1, x 1,2,..., x n,n ] and R d = k[x 1,1, x 1,2,..., x n,n ] d matrix multiplication gives a ring homomorphism ϕ : R = k[x 1,1,..., x n,n ] k[y 1,1,..., y n,n, z 1,1,..., z n,n ] = R R defined by ϕ(x i,j ) = n l=1 y i,lz l,j this ring homomorphism restricts to a linear map R d R d R d, which dualizes to a linear map R d R d R d, which defines a bilinear multiplication R d R d R d,
29 An Associative Algebra recall R = k[x 1,1, x 1,2,..., x n,n ] and R d = k[x 1,1, x 1,2,..., x n,n ] d matrix multiplication gives a ring homomorphism ϕ : R = k[x 1,1,..., x n,n ] k[y 1,1,..., y n,n, z 1,1,..., z n,n ] = R R defined by ϕ(x i,j ) = n l=1 y i,lz l,j this ring homomorphism restricts to a linear map R d R d R d, which dualizes to a linear map Rd R d R d, which defines a bilinear multiplication Rd R d R d, which makes Rd into an associative algebra
30 The Category C n,d Definition (Approximate Category C n,d ) objects of C n,d are graphs on n vertices,
31 The Category C n,d Definition (Approximate Category C n,d ) objects of C n,d are graphs on n vertices, Hom Cn,d (Γ, Γ ) = (R d /(Eq(Γ, Γ )) d ) R d
32 The Category C n,d Definition (Approximate Category C n,d ) objects of C n,d are graphs on n vertices, Hom Cn,d (Γ, Γ ) = (R d /(Eq(Γ, Γ )) d ) R d multiplication R d R d R d restricts to a bilinear map Hom Cn,d (Γ, Γ ) Hom Cn,d (Γ, Γ ) Hom Cn,d (Γ, Γ )
33 The Category C n,d Definition (Approximate Category C n,d ) objects of C n,d are graphs on n vertices, Hom Cn,d (Γ, Γ ) = (R d /(Eq(Γ, Γ )) d ) R d multiplication R d R d R d restricts to a bilinear map Hom Cn,d (Γ, Γ ) Hom Cn,d (Γ, Γ ) Hom Cn,d (Γ, Γ ) if 1 (Eq(Γ, Γ )) d then (Eq(Γ, Γ )) d = R d and Hom Cn,d (Γ, Γ ) = 0
34 Properties of C n,d suppose Γ, Γ graphs on n vertices with adjacency matrices A, A if Γ = Γ then there is a permutation matrix P with PA = A P
35 Properties of C n,d suppose Γ, Γ graphs on n vertices with adjacency matrices A, A if Γ = Γ then there is a permutation matrix P with PA = A P if ev P : R d k is evaluation at P, then ev P Hom Cn,d (Γ, Γ ) R d and ev P is an isomorphism in C n,d (with inverse ev P 1)
36 Properties of C n,d suppose Γ, Γ graphs on n vertices with adjacency matrices A, A if Γ = Γ then there is a permutation matrix P with PA = A P if ev P : R d k is evaluation at P, then ev P Hom Cn,d (Γ, Γ ) R d and ev P is an isomorphism in C n,d (with inverse ev P 1) Theorem let T = Hom Cn,d (Γ, Γ) (an associative k-algebra) Γ, Γ are isomorphic in C n,d Hom Cn,d (Γ, Γ) and Hom Cn,d (Γ, Γ) are isomorphic T -modules
37 Properties of C n,d suppose Γ, Γ graphs on n vertices with adjacency matrices A, A if Γ = Γ then there is a permutation matrix P with PA = A P if ev P : R d k is evaluation at P, then ev P Hom Cn,d (Γ, Γ ) R d and ev P is an isomorphism in C n,d (with inverse ev P 1) Theorem let T = Hom Cn,d (Γ, Γ) (an associative k-algebra) Γ, Γ are isomorphic in C n,d Hom Cn,d (Γ, Γ) and Hom Cn,d (Γ, Γ) are isomorphic T -modules we can test whether Γ, Γ are isomorphic in C n,d in polynomial time
38 Properties of C n,d suppose Γ, Γ graphs on n vertices with adjacency matrices A, A if Γ = Γ then there is a permutation matrix P with PA = A P if ev P : R d k is evaluation at P, then ev P Hom Cn,d (Γ, Γ ) R d and ev P is an isomorphism in C n,d (with inverse ev P 1) Theorem let T = Hom Cn,d (Γ, Γ) (an associative k-algebra) Γ, Γ are isomorphic in C n,d Hom Cn,d (Γ, Γ) and Hom Cn,d (Γ, Γ) are isomorphic T -modules we can test whether Γ, Γ are isomorphic in C n,d in polynomial time Algorithm 3 (AC d ) test whether Γ, Γ are isomorphic in the category C n,d for all fields k = F q with q a prime 2n if not isomorphic for some k, then Γ and Γ are non-isomorphic graphs Harm Derksen
39 if V = {1, 2,..., n} is the set of vertices, then WL d 1 captures reasoning on subsets of V d it is as powerful as d-variable logic with counting (see Cai-Fürer-Immerman) if W = kv = k n is the vector space whose basis is the set of vertices, then AC 2d captures reasoning with subspaces of W d = W W with operations such as tensor products, sums, intersections, projections and dimension count.
40 Cai-Fürer-Immerman constructed families of pairs of nonisomorphic graphs that cannot be distinguished by WL d for any fixed d so WL d does not give a polynomial time algorithm for a pair of CFI graphs (Γ, Γ ), we can construct matrices B and B from the adjacency matrices A and A such that B and B do not have the same rank if k = F 2 AC 3 can distinguish each pair of CFI-graphs (Γ, Γ ) if we work over k = F 2
Tractable Approximations of Graph Isomorphism.
Tractable Approximations of Graph Isomorphism. Anuj Dawar University of Cambridge Computer Laboratory visiting RWTH Aachen joint work with Bjarki Holm Darmstadt, 5 February 2014 Graph Isomorphism Graph
More informationAbstract Algebra Study Sheet
Abstract Algebra Study Sheet This study sheet should serve as a guide to which sections of Artin will be most relevant to the final exam. When you study, you may find it productive to prioritize the definitions,
More informationFinite Model Theory and Graph Isomorphism. II.
Finite Model Theory and Graph Isomorphism. II. Anuj Dawar University of Cambridge Computer Laboratory visiting RWTH Aachen Beroun, 13 December 2013 Recapitulation Finite Model Theory aims to study the
More informationProblems in Linear Algebra and Representation Theory
Problems in Linear Algebra and Representation Theory (Most of these were provided by Victor Ginzburg) The problems appearing below have varying level of difficulty. They are not listed in any specific
More informationJanuary 2016 Qualifying Examination
January 2016 Qualifying Examination If you have any difficulty with the wording of the following problems please contact the supervisor immediately. All persons responsible for these problems, in principle,
More informationGRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory.
GRE Subject test preparation Spring 2016 Topic: Abstract Algebra, Linear Algebra, Number Theory. Linear Algebra Standard matrix manipulation to compute the kernel, intersection of subspaces, column spaces,
More informationNote that a unit is unique: 1 = 11 = 1. Examples: Nonnegative integers under addition; all integers under multiplication.
Algebra fact sheet An algebraic structure (such as group, ring, field, etc.) is a set with some operations and distinguished elements (such as 0, 1) satisfying some axioms. This is a fact sheet with definitions
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 3 The minimal polynomial and nilpotent maps 3.1. Minimal polynomial Throughout this chapter, V is a finite-dimensional vector space of dimension
More informationALGEBRAIC GROUPS. Disclaimer: There are millions of errors in these notes!
ALGEBRAIC GROUPS Disclaimer: There are millions of errors in these notes! 1. Some algebraic geometry The subject of algebraic groups depends on the interaction between algebraic geometry and group theory.
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 22. Smith normal form of an integer matrix (linear algebra over Z).
18.312: Algebraic Combinatorics Lionel Levine Lecture date: May 3, 2011 Lecture 22 Notes by: Lou Odette This lecture: Smith normal form of an integer matrix (linear algebra over Z). 1 Review of Abelian
More informationIntroduction to Association Schemes
Introduction to Association Schemes Akihiro Munemasa Tohoku University June 5 6, 24 Algebraic Combinatorics Summer School, Sendai Assumed results (i) Vandermonde determinant: a a m =. a m a m m i
More informationRing Theory Problems. A σ
Ring Theory Problems 1. Given the commutative diagram α A σ B β A σ B show that α: ker σ ker σ and that β : coker σ coker σ. Here coker σ = B/σ(A). 2. Let K be a field, let V be an infinite dimensional
More informationPIT problems in the light of and the noncommutative rank algorithm
PIT problems in the light of and the noncommutative rank algorithm Gábor Ivanyos MTA SZTAKI Optimization, Complexity and Invariant Theory, IAS, June 4-8, 2018. PIT problems in this talk Determinant: det(x
More informationElementary Equivalence in Finite Structures
Elementary Equivalence in Finite Structures Anuj Dawar University of Cambridge Computer Laboratory YuriFest, Berlin, 11 September 2015 When I First Met Yuri When I was a graduate student, I sent Yuri a
More informationThe construction of combinatorial structures and linear codes from orbit matrices of strongly regular graphs
linear codes from Sanja Rukavina sanjar@mathunirihr Department of Mathematics University of Rijeka, Croatia Symmetry vs Regularity The first 50 years since Weisfeiler-Leman stabilization July - July 7,
More informationRepresentations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III
Representations of algebraic groups and their Lie algebras Jens Carsten Jantzen Lecture III Lie algebras. Let K be again an algebraically closed field. For the moment let G be an arbitrary algebraic group
More informationCLIFFORD ALGEBRAS AND DIRAC OPERATORS
CLIFFORD ALGEBRAS AND DIRAC OPERATORS EFTON PARK 1 Algebras Definition 11 Let K be a field A ring R is a K-algebra if there exists a map : K R R that makes R into a K-vector space and has the property
More informationLecture 2 Some Sources of Lie Algebras
18.745 Introduction to Lie Algebras September 14, 2010 Lecture 2 Some Sources of Lie Algebras Prof. Victor Kac Scribe: Michael Donovan From Associative Algebras We saw in the previous lecture that we can
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 informationTHE TATE MODULE. Seminar: Elliptic curves and the Weil conjecture. Yassin Mousa. Z p
THE TATE MODULE Seminar: Elliptic curves and the Weil conjecture Yassin Mousa Abstract This paper refers to the 10th talk in the seminar Elliptic curves and the Weil conjecture supervised by Prof. Dr.
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationarxiv: v1 [math.ra] 10 May 2013
ON FINITE-DIMENSIONAL SUBALGEBRAS OF DERIVATION ALGEBRAS arxiv:1305.2285v1 [math.ra] 10 May 2013 Abstract. Let K be a field, R be an associative and commutative K-algebra and L be a Lie algebra over K.
More informationReal Analysis Prelim Questions Day 1 August 27, 2013
Real Analysis Prelim Questions Day 1 August 27, 2013 are 5 questions. TIME LIMIT: 3 hours Instructions: Measure and measurable refer to Lebesgue measure µ n on R n, and M(R n ) is the collection of measurable
More informationAlgebra Qualifying Exam August 2001 Do all 5 problems. 1. Let G be afinite group of order 504 = 23 32 7. a. Show that G cannot be isomorphic to a subgroup of the alternating group Alt 7. (5 points) b.
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 informationManoj K. Keshari 1 and Satya Mandal 2.
K 0 of hypersurfaces defined by x 2 1 +... + x 2 n = ±1 Manoj K. Keshari 1 and Satya Mandal 2 1 Department of Mathematics, IIT Mumbai, Mumbai - 400076, India 2 Department of Mathematics, University of
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 informationADVANCED TOPICS IN ALGEBRAIC GEOMETRY
ADVANCED TOPICS IN ALGEBRAIC GEOMETRY DAVID WHITE Outline of talk: My goal is to introduce a few more advanced topics in algebraic geometry but not to go into too much detail. This will be a survey of
More information5 Group theory. 5.1 Binary operations
5 Group theory This section is an introduction to abstract algebra. This is a very useful and important subject for those of you who will continue to study pure mathematics. 5.1 Binary operations 5.1.1
More informationSF2729 GROUPS AND RINGS LECTURE NOTES
SF2729 GROUPS AND RINGS LECTURE NOTES 2011-03-01 MATS BOIJ 6. THE SIXTH LECTURE - GROUP ACTIONS In the sixth lecture we study what happens when groups acts on sets. 1 Recall that we have already when looking
More informationNoetherian property of infinite EI categories
Noetherian property of infinite EI categories Wee Liang Gan and Liping Li Abstract. It is known that finitely generated FI-modules over a field of characteristic 0 are Noetherian. We generalize this result
More information1. Algebraic vector bundles. Affine Varieties
0. Brief overview Cycles and bundles are intrinsic invariants of algebraic varieties Close connections going back to Grothendieck Work with quasi-projective varieties over a field k Affine Varieties 1.
More information3.1. Derivations. Let A be a commutative k-algebra. Let M be a left A-module. A derivation of A in M is a linear map D : A M such that
ALGEBRAIC GROUPS 33 3. Lie algebras Now we introduce the Lie algebra of an algebraic group. First, we need to do some more algebraic geometry to understand the tangent space to an algebraic variety at
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 informationDedekind Domains. Mathematics 601
Dedekind Domains Mathematics 601 In this note we prove several facts about Dedekind domains that we will use in the course of proving the Riemann-Roch theorem. The main theorem shows that if K/F is a finite
More informationA linear algebra proof of the fundamental theorem of algebra
A linear algebra proof of the fundamental theorem of algebra Andrés E. Caicedo May 18, 2010 Abstract We present a recent proof due to Harm Derksen, that any linear operator in a complex finite dimensional
More informationA Quick Update on the Open Problems in Blass-Gurevich-Shelah s article On Polynomial Time Computations Over Unordered Structures
A Quick Update on the Open Problems in Blass-Gurevich-Shelah s article On Polynomial Time Computations Over Unordered Structures Andreas Blass Mathematics Department University of Michigan Yuri Gurevich
More informationINVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 INVARIANT IDEALS OF ABELIAN GROUP ALGEBRAS UNDER THE MULTIPLICATIVE ACTION OF A FIELD, II J. M.
More informationRings and groups. Ya. Sysak
Rings and groups. Ya. Sysak 1 Noetherian rings Let R be a ring. A (right) R -module M is called noetherian if it satisfies the maximum condition for its submodules. In other words, if M 1... M i M i+1...
More information10. Noether Normalization and Hilbert s Nullstellensatz
10. Noether Normalization and Hilbert s Nullstellensatz 91 10. Noether Normalization and Hilbert s Nullstellensatz In the last chapter we have gained much understanding for integral and finite ring extensions.
More informationAlgebra Questions. May 13, Groups 1. 2 Classification of Finite Groups 4. 3 Fields and Galois Theory 5. 4 Normal Forms 9
Algebra Questions May 13, 2013 Contents 1 Groups 1 2 Classification of Finite Groups 4 3 Fields and Galois Theory 5 4 Normal Forms 9 5 Matrices and Linear Algebra 10 6 Rings 11 7 Modules 13 8 Representation
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 informationPolynomials, Ideals, and Gröbner Bases
Polynomials, Ideals, and Gröbner Bases Notes by Bernd Sturmfels for the lecture on April 10, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra We fix a field K. Some examples of fields
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 informationSUMS OF VALUES OF A RATIONAL FUNCTION. x k i
SUMS OF VALUES OF A RATIONAL FUNCTION BJORN POONEN Abstract. Let K be a number field, and let f K(x) be a nonconstant rational function. We study the sets { n } f(x i ) : x i K {poles of f} and { n f(x
More informationExercises on chapter 1
Exercises on chapter 1 1. Let G be a group and H and K be subgroups. Let HK = {hk h H, k K}. (i) Prove that HK is a subgroup of G if and only if HK = KH. (ii) If either H or K is a normal subgroup of G
More informationLecture 5: Ideals of Points
Lecture 5: Ideals of Points The Vanishing Lecture Martin Kreuzer Fakultät für Informatik und Mathematik Universität Passau martin.kreuzer@ uni-passau.de Sophus Lie Center Nordfjordeid June 18, 2009 1 Contents
More informationQuantizations and classical non-commutative non-associative algebras
Journal of Generalized Lie Theory and Applications Vol. (008), No., 35 44 Quantizations and classical non-commutative non-associative algebras Hilja Lisa HURU and Valentin LYCHAGIN Department of Mathematics,
More informationA biased overview of computational algebra
A biased overview of computational algebra Peter Brooksbank Bucknell University Linear Algebra and Matrix Theory: connections, applications and computations NUI Galway (December 3, 2012) Lecture Outline
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 informationMATH 631: ALGEBRAIC GEOMETRY: HOMEWORK 1 SOLUTIONS
MATH 63: ALGEBRAIC GEOMETRY: HOMEWORK SOLUTIONS Problem. (a.) The (t + ) (t + ) minors m (A),..., m k (A) of an n m matrix A are polynomials in the entries of A, and m i (A) = 0 for all i =,..., k if and
More informationHomework 5 M 373K Mark Lindberg and Travis Schedler
Homework 5 M 373K Mark Lindberg and Travis Schedler 1. Artin, Chapter 3, Exercise.1. Prove that the numbers of the form a + b, where a and b are rational numbers, form a subfield of C. Let F be the numbers
More informationLesson 2 The Unit Circle: A Rich Example for Gaining Perspective
Lesson 2 The Unit Circle: A Rich Example for Gaining Perspective Recall the definition of an affine variety, presented last lesson: Definition Let be a field, and let,. Then the affine variety, denoted
More informationA Little Beyond: Linear Algebra
A Little Beyond: Linear Algebra Akshay Tiwary March 6, 2016 Any suggestions, questions and remarks are welcome! 1 A little extra Linear Algebra 1. Show that any set of non-zero polynomials in [x], no two
More informationAlgebra Exam Syllabus
Algebra Exam Syllabus The Algebra comprehensive exam covers four broad areas of algebra: (1) Groups; (2) Rings; (3) Modules; and (4) Linear Algebra. These topics are all covered in the first semester graduate
More informationA Field Extension as a Vector Space
Chapter 8 A Field Extension as a Vector Space In this chapter, we take a closer look at a finite extension from the point of view that is a vector space over. It is clear, for instance, that any is a linear
More informationL(C G (x) 0 ) c g (x). Proof. Recall C G (x) = {g G xgx 1 = g} and c g (x) = {X g Ad xx = X}. In general, it is obvious that
ALGEBRAIC GROUPS 61 5. Root systems and semisimple Lie algebras 5.1. Characteristic 0 theory. Assume in this subsection that chark = 0. Let me recall a couple of definitions made earlier: G is called reductive
More informationMath 1060 Linear Algebra Homework Exercises 1 1. Find the complete solutions (if any!) to each of the following systems of simultaneous equations:
Homework Exercises 1 1 Find the complete solutions (if any!) to each of the following systems of simultaneous equations: (i) x 4y + 3z = 2 3x 11y + 13z = 3 2x 9y + 2z = 7 x 2y + 6z = 2 (ii) x 4y + 3z =
More informationAn introduction to arithmetic groups. Lizhen Ji CMS, Zhejiang University Hangzhou , China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109
An introduction to arithmetic groups Lizhen Ji CMS, Zhejiang University Hangzhou 310027, China & Dept of Math, Univ of Michigan Ann Arbor, MI 48109 June 27, 2006 Plan. 1. Examples of arithmetic groups
More informationwhere m is the maximal ideal of O X,p. Note that m/m 2 is a vector space. Suppose that we are given a morphism
8. Smoothness and the Zariski tangent space We want to give an algebraic notion of the tangent space. In differential geometry, tangent vectors are equivalence classes of maps of intervals in R into the
More informationOn the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem
On the singular elements of a semisimple Lie algebra and the generalized Amitsur-Levitski Theorem Bertram Kostant, MIT Conference on Representations of Reductive Groups Salt Lake City, Utah July 10, 2013
More informationFix(g). Orb(x) i=1. O i G. i=1. O i. i=1 x O i. = n G
Math 761 Fall 2015 Homework 4 Drew Armstrong Problem 1 Burnside s Lemma Let X be a G-set and for all g G define the set Fix(g : {x X : g(x x} X (a If G and X are finite, prove that Fix(g Stab(x g G x X
More informationThe Hilbert-Mumford Criterion
The Hilbert-Mumford Criterion Klaus Pommerening Johannes-Gutenberg-Universität Mainz, Germany January 1987 Last change: April 4, 2017 The notions of stability and related notions apply for actions of algebraic
More informationAlgebraic Geometry: MIDTERM SOLUTIONS
Algebraic Geometry: MIDTERM SOLUTIONS C.P. Anil Kumar Abstract. Algebraic Geometry: MIDTERM 6 th March 2013. We give terse solutions to this Midterm Exam. 1. Problem 1: Problem 1 (Geometry 1). When is
More informationComputational methods in the study of symplectic quotients
Computational methods in the study of symplectic quotients Hans-Christian Herbig, UFRJ and Christopher Seaton, Rhodes College Instituto de Matemática Aplicado, Universidade Federal do Rio de Janeiro January
More informationRepresentations of quivers
Representations of quivers Gwyn Bellamy October 13, 215 1 Quivers Let k be a field. Recall that a k-algebra is a k-vector space A with a bilinear map A A A making A into a unital, associative ring. Notice
More informationLECTURES MATH370-08C
LECTURES MATH370-08C A.A.KIRILLOV 1. Groups 1.1. Abstract groups versus transformation groups. An abstract group is a collection G of elements with a multiplication rule for them, i.e. a map: G G G : (g
More informationINTRODUCTION TO LIE ALGEBRAS. LECTURE 1.
INTRODUCTION TO LIE ALGEBRAS. LECTURE 1. 1. Algebras. Derivations. Definition of Lie algebra 1.1. Algebras. Let k be a field. An algebra over k (or k-algebra) is a vector space A endowed with a bilinear
More informationSample algebra qualifying exam
Sample algebra qualifying exam University of Hawai i at Mānoa Spring 2016 2 Part I 1. Group theory In this section, D n and C n denote, respectively, the symmetry group of the regular n-gon (of order 2n)
More informationRandom Involutions and the Distinct Prime Divisor Function
Random Involutions and the Distinct Prime Divisor Function Zubin Mukerjee and Uthsav Chitra Advisor: Kirsten Wickelgren, Harvard University PROMYS 2012 Albany Area Math Circle April 6, 2013 DISTINCT PRIME
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 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 SPRING 2012
ALGEBRA QUALIFYING EXAM SPRING 2012 Work all of the problems. Justify the statements in your solutions by reference to specific results, as appropriate. Partial credit is awarded for partial solutions.
More informationSummer Algebraic Geometry Seminar
Summer Algebraic Geometry Seminar Lectures by Bart Snapp About This Document These lectures are based on Chapters 1 and 2 of An Invitation to Algebraic Geometry by Karen Smith et al. 1 Affine Varieties
More informationBackground on Chevalley Groups Constructed from a Root System
Background on Chevalley Groups Constructed from a Root System Paul Tokorcheck Department of Mathematics University of California, Santa Cruz 10 October 2011 Abstract In 1955, Claude Chevalley described
More informationMATH 8253 ALGEBRAIC GEOMETRY WEEK 12
MATH 8253 ALGEBRAIC GEOMETRY WEEK 2 CİHAN BAHRAN 3.2.. Let Y be a Noetherian scheme. Show that any Y -scheme X of finite type is Noetherian. Moreover, if Y is of finite dimension, then so is X. Write f
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 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 informationA Basis for Polynomial Solutions to Systems of Linear Constant Coefficient PDE's
advances in mathematics 7, 5763 (996) article no. 0005 A Basis for Polynomial Solutions to Systems of Linear Constant Coefficient PDE's Paul S. Pedersen Los Alamos National Laboratory, Mail Stop B265,
More informationAlgebra II. A2.1.1 Recognize and graph various types of functions, including polynomial, rational, and algebraic functions.
Standard 1: Relations and Functions Students graph relations and functions and find zeros. They use function notation and combine functions by composition. They interpret functions in given situations.
More informationRepresentation Theory
Representation Theory Representations Let G be a group and V a vector space over a field k. A representation of G on V is a group homomorphism ρ : G Aut(V ). The degree (or dimension) of ρ is just dim
More informationMAT 5330 Algebraic Geometry: Quiver Varieties
MAT 5330 Algebraic Geometry: Quiver Varieties Joel Lemay 1 Abstract Lie algebras have become of central importance in modern mathematics and some of the most important types of Lie algebras are Kac-Moody
More informationCounting matrices over finite fields
Counting matrices over finite fields Steven Sam Massachusetts Institute of Technology September 30, 2011 1/19 Invertible matrices F q is a finite field with q = p r elements. [n] = 1 qn 1 q = qn 1 +q n
More informationFall 2014 Commutative Algebra Final Exam (Solution)
18.705 Fall 2014 Commutative Algebra Final Exam (Solution) 9:00 12:00 December 16, 2014 E17 122 Your Name Problem Points 1 /40 2 /20 3 /10 4 /10 5 /10 6 /10 7 / + 10 Total /100 + 10 1 Instructions: 1.
More informationLECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F)
LECTURE 4: REPRESENTATION THEORY OF SL 2 (F) AND sl 2 (F) IVAN LOSEV In this lecture we will discuss the representation theory of the algebraic group SL 2 (F) and of the Lie algebra sl 2 (F), where F is
More informationMcGill University Department of Mathematics and Statistics. Ph.D. preliminary examination, PART A. PURE AND APPLIED MATHEMATICS Paper BETA
McGill University Department of Mathematics and Statistics Ph.D. preliminary examination, PART A PURE AND APPLIED MATHEMATICS Paper BETA 17 August, 2018 1:00 p.m. - 5:00 p.m. INSTRUCTIONS: (i) This paper
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 informationALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS.
ALGEBRA II: RINGS AND MODULES OVER LITTLE RINGS. KEVIN MCGERTY. 1. RINGS The central characters of this course are algebraic objects known as rings. A ring is any mathematical structure where you can add
More informationBRUNO L. M. FERREIRA AND HENRIQUE GUZZO JR.
REVISTA DE LA UNIÓN MATEMÁTICA ARGENTINA Vol. 60, No. 1, 2019, Pages 9 20 Published online: February 11, 2019 https://doi.org/10.33044/revuma.v60n1a02 LIE n-multiplicative MAPPINGS ON TRIANGULAR n-matrix
More informationAlgebraic Varieties. Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra
Algebraic Varieties Notes by Mateusz Micha lek for the lecture on April 17, 2018, in the IMPRS Ringvorlesung Introduction to Nonlinear Algebra Algebraic varieties represent solutions of a system of polynomial
More informationClassifying Hilbert functions of fat point subschemes in P 2
Collect. Math. 60, 2 (2009), 159 192 c 2009 Universitat de Barcelona Classifying Hilbert functions of fat point subschemes in P 2 A.V. Geramita Department of Mathematics, Queen s University, Kingston Ontario
More informationMOTIVES ASSOCIATED TO SUMS OF GRAPHS
MOTIVES ASSOCIATED TO SUMS OF GRAPHS SPENCER BLOCH 1. Introduction In quantum field theory, the path integral is interpreted perturbatively as a sum indexed by graphs. The coefficient (Feynman amplitude)
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
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 informationMinimal free resolutions of analytic D-modules
Minimal free resolutions of analytic D-modules Toshinori Oaku Department of Mathematics, Tokyo Woman s Christian University Suginami-ku, Tokyo 167-8585, Japan November 7, 2002 We introduce the notion of
More informationALGEBRA EXERCISES, PhD EXAMINATION LEVEL
ALGEBRA EXERCISES, PhD EXAMINATION LEVEL 1. Suppose that G is a finite group. (a) Prove that if G is nilpotent, and H is any proper subgroup, then H is a proper subgroup of its normalizer. (b) Use (a)
More informationON THE GEOMETRY OF ORBIT CLOSURES FOR REPRESENTATION-INFINITE ALGEBRAS
ON THE GEOMETRY OF ORBIT CLOSURES FOR REPRESENTATION-INFINITE ALGEBRAS CALIN CHINDRIS ABSTRACT. For the Kronecker algebra, Zwara found in [13] an example of a module whose orbit closure is neither unibranch
More informationSeparability of Schur rings and Cayley graph isomorphism problem
Separability of Schur rings and Cayley graph isomorphism problem Grigory Ryabov Novosibirsk State University Symmetry vs Regularity, Pilsen, July 1-7, 2018 1 / 14 S-rings G is a finite group, e is the
More informationLinear and Bilinear Algebra (2WF04) Jan Draisma
Linear and Bilinear Algebra (2WF04) Jan Draisma CHAPTER 10 Symmetric bilinear forms We already know what a bilinear form β on a K-vector space V is: it is a function β : V V K that satisfies β(u + v,
More informationThis is a closed subset of X Y, by Proposition 6.5(b), since it is equal to the inverse image of the diagonal under the regular map:
Math 6130 Notes. Fall 2002. 7. Basic Maps. Recall from 3 that a regular map of affine varieties is the same as a homomorphism of coordinate rings (going the other way). Here, we look at how algebraic properties
More information