Laudal s Noncommutative Geometry

Size: px
Start display at page:

Download "Laudal s Noncommutative Geometry"

Transcription

1 Laudal s Noncommutative Geometry Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland 2016 Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

2 Laudal s classical moduli theory Moduli and classification Algebraic objects can be classified as points in an algebraic space. The demand for functorial properties gives the spectrum of a k-algebra A as the classifying object of all maximal ideals, or all simple A-modules ρ V : A A/m = V. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

3 Laudal s classical moduli theory Classification of singularities and Lie-algebras Together with Gerhard Pfister, Laudal gave a moduli space of algebraic singularities: This was in need of a stratification because of some jump phenomenon in accordance to non-closed orbits. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

4 Laudal s classical moduli theory Classification of singularities and Lie-algebras Together with Gerhard Pfister, Laudal gave a moduli space of algebraic singularities: This was in need of a stratification because of some jump phenomenon in accordance to non-closed orbits. The root systems of singularities gives a link to classification of Lie algebras. Together with Harald Bjar, Laudal gave a modulispace of Lie algebras. Quite natural, this was in need of a stratification due to the same jump phenomenon. ivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

5 Laudal s classical moduli theory Classification of singularities and Lie-algebras Together with Gerhard Pfister, Laudal gave a moduli space of algebraic singularities: This was in need of a stratification because of some jump phenomenon in accordance to non-closed orbits. The root systems of singularities gives a link to classification of Lie algebras. Together with Harald Bjar, Laudal gave a modulispace of Lie algebras. Quite natural, this was in need of a stratification due to the same jump phenomenon. ivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

6 Laudal s classical moduli theory First noncommutative geometry The first attempt to make a noncommutative geometry just tried to make a scheme-theory for noncommutative k-algebras by replacing the localizations. This gave the localization in Ore-sets after Øystein Ore. This theory seems not very suited for moduli problems. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

7 Laudal s classical moduli theory First noncommutative geometry The first attempt to make a noncommutative geometry just tried to make a scheme-theory for noncommutative k-algebras by replacing the localizations. This gave the localization in Ore-sets after Øystein Ore. This theory seems not very suited for moduli problems. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

8 Laudal s classical moduli theory Second noncommutative geometry So if it is a problem with localizations, we might just ignore it and look to the representations of a noncommutative k-algebra A: Spec(A) = mod A. Of course, this is far to easy, we should take the derived category of finitely generated A-modules. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

9 Laudal s classical moduli theory Second noncommutative geometry So if it is a problem with localizations, we might just ignore it and look to the representations of a noncommutative k-algebra A: Spec(A) = mod A. Of course, this is far to easy, we should take the derived category of finitely generated A-modules. In fact, this works nearly very well: For any S = Spec(A), qmod A /S is a stack over nsch. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

10 Laudal s classical moduli theory Second noncommutative geometry So if it is a problem with localizations, we might just ignore it and look to the representations of a noncommutative k-algebra A: Spec(A) = mod A. Of course, this is far to easy, we should take the derived category of finitely generated A-modules. In fact, this works nearly very well: For any S = Spec(A), qmod A /S is a stack over nsch. It might happen in this case, for A B, that Spec(A) Spec(B). That is the reason for the nearly well. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

11 Laudal s classical moduli theory Second noncommutative geometry So if it is a problem with localizations, we might just ignore it and look to the representations of a noncommutative k-algebra A: Spec(A) = mod A. Of course, this is far to easy, we should take the derived category of finitely generated A-modules. In fact, this works nearly very well: For any S = Spec(A), qmod A /S is a stack over nsch. It might happen in this case, for A B, that Spec(A) Spec(B). That is the reason for the nearly well. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

12 Laudal s classical moduli theory Laudal s Noncommutative geometry It is well known that the theory of flat deformations gives the local moduli in the commutative situation. Notice that analytic deformations are interesting, but they do not give the local algebraic moduli. ivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

13 Laudal s classical moduli theory Laudal s Noncommutative geometry It is well known that the theory of flat deformations gives the local moduli in the commutative situation. Notice that analytic deformations are interesting, but they do not give the local algebraic moduli. To be precise, for A a commutative k-algebra, for the category of local artinian k-algebras l = a 1 with objects the commutative diagrams of local artinian k-algebras k A id π k and commuting homomorphisms, the deformation functor has a prorepresenting hull H. Def M : a 1 Sets Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

14 Laudal s classical moduli theory Laudal s Noncommutative geometry It is well known that the theory of flat deformations gives the local moduli in the commutative situation. Notice that analytic deformations are interesting, but they do not give the local algebraic moduli. To be precise, for A a commutative k-algebra, for the category of local artinian k-algebras l = a 1 with objects the commutative diagrams of local artinian k-algebras k A id π k and commuting homomorphisms, the deformation functor has a prorepresenting hull H. Def M : a 1 Sets Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

15 Laudal s classical moduli theory One slide on hulls The definition of the deformation functor is: Def M (S) = {S-mod M S M S is S-flat, A S M S M}/. The residue π of every S a 1 can be decomposed in small morphisms φ ((ker φ)m = 0), S/m n S/m n 1 S/m k. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

16 Laudal s classical moduli theory One slide on hulls The definition of the deformation functor is: Def M (S) = {S-mod M S M S is S-flat, A S M S M}/. The residue π of every S a 1 can be decomposed in small morphisms φ ((ker φ)m = 0), S/m n S/m n 1 S/m k. Then there is a famous theorem of Laudal stating that Def M has a prorepresenting hull H, which can be computed algorithmically by Generalized Matric Massey products, and that the hull H of Def A/m satisfies H Ô Spec A,m. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

17 Laudal s classical moduli theory One slide on hulls The definition of the deformation functor is: Def M (S) = {S-mod M S M S is S-flat, A S M S M}/. The residue π of every S a 1 can be decomposed in small morphisms φ ((ker φ)m = 0), S/m n S/m n 1 S/m k. Then there is a famous theorem of Laudal stating that Def M has a prorepresenting hull H, which can be computed algorithmically by Generalized Matric Massey products, and that the hull H of Def A/m satisfies H Ô Spec A,m. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

18 Laudal s classical moduli theory Classification of commutative moduli of modules If there is a commutative solution of the moduli of a family of A-modules M = {M i } i I, the space can be defined as the set of all modules (with the Zariski=Jacobson topology), and the local ring in the point M can be defined as H M, the hull of Def M. We notice that commutative schemes can be defined this way, though we have some problems with the classification of prime ideals that are not maximal. The problem turns out to be solved in a natural way. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

19 Laudal s classical moduli theory Classification of commutative moduli of modules If there is a commutative solution of the moduli of a family of A-modules M = {M i } i I, the space can be defined as the set of all modules (with the Zariski=Jacobson topology), and the local ring in the point M can be defined as H M, the hull of Def M. We notice that commutative schemes can be defined this way, though we have some problems with the classification of prime ideals that are not maximal. The problem turns out to be solved in a natural way. Notice that the tangent space in a point is essential for pointing out the directions of deformations. This is, as it has to be, directly involved in the computation of H by the GMMP s. ivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

20 Laudal s classical moduli theory Classification of commutative moduli of modules If there is a commutative solution of the moduli of a family of A-modules M = {M i } i I, the space can be defined as the set of all modules (with the Zariski=Jacobson topology), and the local ring in the point M can be defined as H M, the hull of Def M. We notice that commutative schemes can be defined this way, though we have some problems with the classification of prime ideals that are not maximal. The problem turns out to be solved in a natural way. Notice that the tangent space in a point is essential for pointing out the directions of deformations. This is, as it has to be, directly involved in the computation of H by the GMMP s. ivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

21 Laudal s Noncommutative Deformation Theory Computing non-commutatively The computation of the hull works very well even if the k-algebra A is non-commutative. In some way, this solves the problem of a noncommutative scheme, but it does not solve the noncommutative moduli problem. ivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

22 Laudal s Noncommutative Deformation Theory Computing non-commutatively The computation of the hull works very well even if the k-algebra A is non-commutative. In some way, this solves the problem of a noncommutative scheme, but it does not solve the noncommutative moduli problem. The new, and as all simple ideas, genius idea is to look at semi-points (=tuples of points) rather than points, and the tangent directions from one point to another. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

23 Laudal s Noncommutative Deformation Theory Computing non-commutatively The computation of the hull works very well even if the k-algebra A is non-commutative. In some way, this solves the problem of a noncommutative scheme, but it does not solve the noncommutative moduli problem. The new, and as all simple ideas, genius idea is to look at semi-points (=tuples of points) rather than points, and the tangent directions from one point to another. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

24 Laudal s Noncommutative Deformation Theory Definition The objects in the category a r are the k-algebras S with morphisms commuting in the diagram k r ι S, id ϱ k r such that ker(ϱ) n = 0. We call ker(ϱ) = I(S) the radical, the morphisms are the morphisms commuting with ι and ϱ. The category a r is called the category of r-pointed Artinian k-algebras. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

25 Laudal s Noncommutative Deformation Theory Definition The objects in the category a r are the k-algebras S with morphisms commuting in the diagram k r ι S, id ϱ k r such that ker(ϱ) n = 0. We call ker(ϱ) = I(S) the radical, the morphisms are the morphisms commuting with ι and ϱ. The category a r is called the category of r-pointed Artinian k-algebras.the notation â r denotes the procategory of a r, the category of objects that are projective limits of objects in a r. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

26 Laudal s Noncommutative Deformation Theory Definition The objects in the category a r are the k-algebras S with morphisms commuting in the diagram k r ι S, id ϱ k r such that ker(ϱ) n = 0. We call ker(ϱ) = I(S) the radical, the morphisms are the morphisms commuting with ι and ϱ. The category a r is called the category of r-pointed Artinian k-algebras.the notation â r denotes the procategory of a r, the category of objects that are projective limits of objects in a r. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

27 Laudal s Noncommutative Deformation Theory Definition Let A be a k-algebra, let M = {M 1,..., M r } be A-modules, and let M = r i=1 M i. The noncommutative deformation functor Def M : a r Sets is given by: Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

28 Laudal s Noncommutative Deformation Theory Definition Let A be a k-algebra, let M = {M 1,..., M r } be A-modules, and let M = r i=1 M i. The noncommutative deformation functor Def M : a r Sets is given by: Def M (S) = {S k A-Mod M S, flat over S : k r S M S M}/ = where the equivalence of M S and M S is given as an isomorphism M S M S. M Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

29 Laudal s Noncommutative Deformation Theory Definition Let A be a k-algebra, let M = {M 1,..., M r } be A-modules, and let M = r i=1 M i. The noncommutative deformation functor Def M : a r Sets is given by: Def M (S) = {S k A-Mod M S, flat over S : k r S M S M}/ = where the equivalence of M S and M S is given as an isomorphism M S M S. M Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

30 Laudal s Noncommutative Deformation Theory Theorem There exists a semi-local formal moduli (Ĥ M, ˆξ M ) for the noncommutative deformation functor Def M. There is a homomorphism ι : A (H ij ) k r Hom k (M i, M j ). Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

31 Laudal s Noncommutative Deformation Theory Theorem There exists a semi-local formal moduli (Ĥ M, ˆξ M ) for the noncommutative deformation functor Def M. There is a homomorphism ι : A (H ij ) k r Hom k (M i, M j ). Its kernel is given by ker ι = i,n a n i, where a i = ker ρ i : A End k (M i ) is the kernel of the structure homomorphism. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

32 Laudal s Noncommutative Deformation Theory Theorem There exists a semi-local formal moduli (Ĥ M, ˆξ M ) for the noncommutative deformation functor Def M. There is a homomorphism ι : A (H ij ) k r Hom k (M i, M j ). Its kernel is given by ker ι = i,n a n i, where a i = ker ρ i : A End k (M i ) is the kernel of the structure homomorphism. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

33 Laudal s Noncommutative Deformation Theory The space Simp A Let A be an associative, unital k-algebra, k algebraically closed of characteristic 0. All A-modules V are right A-modules, and the A-module structure on V is given by its structure morphism ρ V : A End k (V ). Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

34 Laudal s Noncommutative Deformation Theory The space Simp A Let A be an associative, unital k-algebra, k algebraically closed of characteristic 0. All A-modules V are right A-modules, and the A-module structure on V is given by its structure morphism ρ V : A End k (V ). We Define the topological space X = Simp(A) = Simp < (A) which has as points the set of finite-dimensional A-modules, and the topology is defined by the base of open sets D(f ) = {V X = Simp(A) ρ V : A End k (V ) is invertible }. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

35 Laudal s Noncommutative Deformation Theory The space Simp A Let A be an associative, unital k-algebra, k algebraically closed of characteristic 0. All A-modules V are right A-modules, and the A-module structure on V is given by its structure morphism ρ V : A End k (V ). We Define the topological space X = Simp(A) = Simp < (A) which has as points the set of finite-dimensional A-modules, and the topology is defined by the base of open sets D(f ) = {V X = Simp(A) ρ V : A End k (V ) is invertible }. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

36 Laudal s Noncommutative Deformation Theory A parenthesis When A is commutative, this is nothing but the usual definition of an affine variety. The simple modules are all of dimension one and in one-to-one correspondence with the maximal ideals. Notice that we choose use the term variety when we use only maximal ideals, before we generalize to schemes. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

37 Laudal s Noncommutative Deformation Theory Noncommutative Schemes We define a semi-locally sheaf of rings on X = Simp(A): For each basis open set D(f ), f A we define the ring of regular functions on D(f ) by ivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

38 Laudal s Noncommutative Deformation Theory Noncommutative Schemes We define a semi-locally sheaf of rings on X = Simp(A): For each basis open set D(f ), f A we define the ring of regular functions on D(f ) by A f = {φ f : p(d(f )) c D(f ) O(π, c ) φ f (w) = af n, a A, n N} where p(d(f )) denotes the family of finite subsets of D(f ). This is well-definied because ρ V (f ) is invertible for all V c : Then ρ(η c (f )) = u is a unit and η c (f ) = u + r with u ker ρ. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

39 Laudal s Noncommutative Deformation Theory Noncommutative Schemes We define a semi-locally sheaf of rings on X = Simp(A): For each basis open set D(f ), f A we define the ring of regular functions on D(f ) by A f = {φ f : p(d(f )) c D(f ) O(π, c ) φ f (w) = af n, a A, n N} where p(d(f )) denotes the family of finite subsets of D(f ). This is well-definied because ρ V (f ) is invertible for all V c : Then ρ(η c (f )) = u is a unit and η c (f ) = u + r with u ker ρ. Because D(f ) is a base for the topology, we can define the semi-local sheaf of rings on X = Simp(A) by O X (U) = lim D(f ) U A f. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

40 Laudal s Noncommutative Deformation Theory Noncommutative Schemes We define a semi-locally sheaf of rings on X = Simp(A): For each basis open set D(f ), f A we define the ring of regular functions on D(f ) by A f = {φ f : p(d(f )) c D(f ) O(π, c ) φ f (w) = af n, a A, n N} where p(d(f )) denotes the family of finite subsets of D(f ). This is well-definied because ρ V (f ) is invertible for all V c : Then ρ(η c (f )) = u is a unit and η c (f ) = u + r with u ker ρ. Because D(f ) is a base for the topology, we can define the semi-local sheaf of rings on X = Simp(A) by O X (U) = lim D(f ) U A f. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

41 Laudal s Noncommutative Deformation Theory The Serre s theorem We have to do some adjustments: Simp(A) Spec(A) in the sense that we have to remove all eventual tangent directions from one (quotient of) a prime ideal to another. With this adjustmnent we have Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

42 Laudal s Noncommutative Deformation Theory The Serre s theorem We have to do some adjustments: Simp(A) Spec(A) in the sense that we have to remove all eventual tangent directions from one (quotient of) a prime ideal to another. With this adjustmnent we have A = O Spec A (Spec A), and so the noncommutative algebraic geometry is a true generalization of the commutative. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

43 Laudal s Noncommutative Deformation Theory The Serre s theorem We have to do some adjustments: Simp(A) Spec(A) in the sense that we have to remove all eventual tangent directions from one (quotient of) a prime ideal to another. With this adjustmnent we have A = O Spec A (Spec A), and so the noncommutative algebraic geometry is a true generalization of the commutative. Laudal s noncommutative theory is a solution of noncommutative moduli problems (e.g. not good quotients of groups). Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

44 Laudal s Noncommutative Deformation Theory The Serre s theorem We have to do some adjustments: Simp(A) Spec(A) in the sense that we have to remove all eventual tangent directions from one (quotient of) a prime ideal to another. With this adjustmnent we have A = O Spec A (Spec A), and so the noncommutative algebraic geometry is a true generalization of the commutative. Laudal s noncommutative theory is a solution of noncommutative moduli problems (e.g. not good quotients of groups). Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

45 Application of noncommutative algebraic geometry Dynamics In the following, we will assume that all k-algebras are finitely generated. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

46 Application of noncommutative algebraic geometry Dynamics In the following, we will assume that all k-algebras are finitely generated.let alg k /A be the category where the objects are the k-algebra homomorphisms κ : A R, and the morphisms ψ Mor(κ, κ ) are the commutative diagrams R κ A ψ κ R. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

47 Application of noncommutative algebraic geometry Dynamics In the following, we will assume that all k-algebras are finitely generated.let alg k /A be the category where the objects are the k-algebra homomorphisms κ : A R, and the morphisms ψ Mor(κ, κ ) are the commutative diagrams R κ A ψ κ R. We then have the functor defined by Der k (A, κ) = Der k (A, R). Der k (A, ) : alg k /A sets Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

48 Application of noncommutative algebraic geometry Dynamics In the following, we will assume that all k-algebras are finitely generated.let alg k /A be the category where the objects are the k-algebra homomorphisms κ : A R, and the morphisms ψ Mor(κ, κ ) are the commutative diagrams R κ A ψ κ R. We then have the functor defined by Der k (A, κ) = Der k (A, R). Der k (A, ) : alg k /A sets Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

49 Application of noncommutative algebraic geometry Lemma The functor Der k (A, ) : alg k /A sets is represented by ι : A Ph(A) with the universal derivation d : A Ph(A). Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

50 Application of noncommutative algebraic geometry Lemma The functor Der k (A, ) : alg k /A sets is represented by ι : A Ph(A) with the universal derivation d : A Ph(A). Proof. Let F = k t 1, t 2,..., t r be the free noncommutative k-algebra in r variables mapping surjectively onto A, and let I = ker π. Then we put π : F A, Ph(A) = k t 1, t 2,..., t r, dt 1, dt 2,..., dt r /(I, di ). Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

51 Application of noncommutative algebraic geometry Lemma The functor Der k (A, ) : alg k /A sets is represented by ι : A Ph(A) with the universal derivation d : A Ph(A). Proof. Let F = k t 1, t 2,..., t r be the free noncommutative k-algebra in r variables mapping surjectively onto A, and let I = ker π. Then we put π : F A, Ph(A) = k t 1, t 2,..., t r, dt 1, dt 2,..., dt r /(I, di ). Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

52 Application of noncommutative algebraic geometry Geometry of dynamics We see that Ph(A) gives a point with a tangent directions, and as the process can be repeated, Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

53 Application of noncommutative algebraic geometry Geometry of dynamics We see that Ph(A) gives a point with a tangent directions, and as the process can be repeated, Ph (A) = Ph n (A), Ph(A) represents a point together with the momenta of all higher orders. This is the dynamics of an algebraic system. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

54 Application of noncommutative algebraic geometry Geometry of dynamics We see that Ph(A) gives a point with a tangent directions, and as the process can be repeated, Ph (A) = Ph n (A), Ph(A) represents a point together with the momenta of all higher orders. This is the dynamics of an algebraic system. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

55 Application of noncommutative algebraic geometry Physics As Platon claimed, we can only observe change (shadows). So physics is classification of change, i.e. dynamics. This means that the strange physics of Arnfinn is not strange at all: Start with the definition of a particle by letting it have the observed invariants as tangent directions in a dynamic system, and find its moduli. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

56 Application of noncommutative algebraic geometry Physics As Platon claimed, we can only observe change (shadows). So physics is classification of change, i.e. dynamics. This means that the strange physics of Arnfinn is not strange at all: Start with the definition of a particle by letting it have the observed invariants as tangent directions in a dynamic system, and find its moduli. Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

57 Application of noncommutative algebraic geometry Conclusion Thank You! Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

58 Application of noncommutative algebraic geometry E. Eriksen. An Introduction to noncommutative Deformations of Modules. Lect. Notes Pure Appl. Math., 243 (2005), R. Hartshorne. Algebraic geometry Graduate Texts in Mathematics, No. 52 New York 1977 ISBN O.A. Laudal. Formal moduli of algebraic structures. Lecture Notes in Mathematics, Springer Verlag, 754 (1979). O. A. Laudal. Noncommutative Algebraic Geometry. Rev. Mat. Iberoamericana, 19 (2) (2003), M. Schlessinger Functors of Artin rings. Trans-Amer.Math.soc., 130 (1968), A. Siqveland. Geometry of noncommutative k-algebras. J. Gen. Lie Theory Appl., 5 (2011), Eivind Eriksen, O. Arnfinn Laudal, and Arvid Siqveland Laudal s Noncommutative Geometry / 21

FIBER PRODUCTS AND ZARISKI SHEAVES

FIBER PRODUCTS AND ZARISKI SHEAVES FIBER PRODUCTS AND ZARISKI SHEAVES BRIAN OSSERMAN 1. Fiber products and Zariski sheaves We recall the definition of a fiber product: Definition 1.1. Let C be a category, and X, Y, Z objects of C. Fix also

More information

3. Prime and maximal ideals. 3.1. Definitions and Examples.

3. Prime and maximal ideals. 3.1. Definitions and Examples. COMMUTATIVE ALGEBRA 5 3.1. Definitions and Examples. 3. Prime and maximal ideals Definition. An ideal P in a ring A is called prime if P A and if for every pair x, y of elements in A\P we have xy P. Equivalently,

More information

A result of Gabber. by A.J. de Jong

A result of Gabber. by A.J. de Jong A result of Gabber by A.J. de Jong 1 The result Let X be a scheme endowed with an ample invertible sheaf L. See EGA II, Definition 4.5.3. In particular, X is supposed quasi-compact and separated. 1.1 Theorem.

More information

DEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES.

DEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES. DEFORMATIONS OF MODULES OF MAXIMAL GRADE AND THE HILBERT SCHEME AT DETERMINANTAL SCHEMES. JAN O. KLEPPE Abstract. Let R be a polynomial ring and M a finitely generated graded R-module of maximal grade

More information

NOTES ON CATEGORIES AND FUNCTORS

NOTES ON CATEGORIES AND FUNCTORS NOTES ON CATEGORIES AND FUNCTORS These notes collect basic definitions and facts about categories and functors that have been mentioned in the Homological Algebra course. For further reading about category

More information

Galois representations with open image

Galois representations with open image Galois representations with open image Ralph Greenberg University of Washington Seattle, Washington, USA May 7th, 2011 Introduction This talk will be about representations of the absolute Galois group

More information

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16

INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 INTRODUCTION TO ALGEBRAIC GEOMETRY, CLASS 16 RAVI VAKIL Contents 1. Valuation rings (and non-singular points of curves) 1 1.1. Completions 2 1.2. A big result from commutative algebra 3 Problem sets back.

More information

Algebraic Geometry. Keerthi Madapusi

Algebraic Geometry. Keerthi Madapusi Algebraic Geometry Keerthi Madapusi Contents Chapter 1. Schemes 5 1. Spec of a Ring 5 2. Schemes 11 3. The Affine Communication Lemma 13 4. A Criterion for Affineness 15 5. Irreducibility and Connectedness

More information

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS

BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS BABY VERMA MODULES FOR RATIONAL CHEREDNIK ALGEBRAS SETH SHELLEY-ABRAHAMSON Abstract. These are notes for a talk in the MIT-Northeastern Spring 2015 Geometric Representation Theory Seminar. The main source

More information

Chapter 13: Basic ring theory

Chapter 13: Basic ring theory Chapter 3: Basic ring theory Matthew Macauley Department of Mathematical Sciences Clemson University http://www.math.clemson.edu/~macaule/ Math 42, Spring 24 M. Macauley (Clemson) Chapter 3: Basic ring

More information

Notes on Localisation of g-modules

Notes on Localisation of g-modules Notes on Localisation of g-modules Aron Heleodoro January 12, 2014 Let g be a semisimple Lie algebra over a field k. One is normally interested in representation of g, i.e. g-modules. If g were commutative,

More information

Lecture 18 - Clifford Algebras and Spin groups

Lecture 18 - Clifford Algebras and Spin groups Lecture 18 - Clifford Algebras and Spin groups April 5, 2013 Reference: Lawson and Michelsohn, Spin Geometry. 1 Universal Property If V is a vector space over R or C, let q be any quadratic form, meaning

More information

Kenji Matsuki and Martin Olsson

Kenji Matsuki and Martin Olsson Mathematical Research Letters 12, 207 217 (2005) KAWAMATA VIEHWEG VANISHING AS KODAIRA VANISHING FOR STACKS Kenji Matsuki and Martin Olsson Abstract. We associate to a pair (X, D), consisting of a smooth

More information

Math 231b Lecture 35. G. Quick

Math 231b Lecture 35. G. Quick Math 231b Lecture 35 G. Quick 35. Lecture 35: Sphere bundles and the Adams conjecture 35.1. Sphere bundles. Let X be a connected finite cell complex. We saw that the J-homomorphism could be defined by

More information

EXERCISES FOR THE COURSE MATH 570, FALL 2010

EXERCISES FOR THE COURSE MATH 570, FALL 2010 EXERCISES FOR THE COURSE MATH 570, FALL 2010 EYAL Z. GOREN (1) Let G be a group and H Z(G) a subgroup such that G/H is cyclic. Prove that G is abelian. Conclude that every group of order p 2 (p a prime

More information

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces

Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Communications in Mathematical Physics Manuscript-Nr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan Bechtluft-Sachs, Marco Hien Naturwissenschaftliche

More information

CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY

CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDER-REITEN THEORY ANDREW T. CARROLL Notes for this talk come primarily from two sources: M. Barot, ICTP Notes Representations of Quivers,

More information

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22

FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 FOUNDATIONS OF ALGEBRAIC GEOMETRY CLASS 22 RAVI VAKIL CONTENTS 1. Discrete valuation rings: Dimension 1 Noetherian regular local rings 1 Last day, we discussed the Zariski tangent space, and saw that it

More information

Irreducible Representations of Wreath Products of Association Schemes

Irreducible Representations of Wreath Products of Association Schemes Journal of Algebraic Combinatorics, 18, 47 52, 2003 c 2003 Kluwer Academic Publishers. Manufactured in The Netherlands. Irreducible Representations of Wreath Products of Association Schemes AKIHIDE HANAKI

More information

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE

ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE Illinois Journal of Mathematics Volume 46, Number 1, Spring 2002, Pages 145 153 S 0019-2082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a

More information

4.1 Modules, Homomorphisms, and Exact Sequences

4.1 Modules, Homomorphisms, and Exact Sequences Chapter 4 Modules We always assume that R is a ring with unity 1 R. 4.1 Modules, Homomorphisms, and Exact Sequences A fundamental example of groups is the symmetric group S Ω on a set Ω. By Cayley s Theorem,

More information

ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS. Cosmin Pelea

ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS. Cosmin Pelea ACTA UNIVERSITATIS APULENSIS No 15/2008 PRODUCTS OF MULTIALGEBRAS AND THEIR FUNDAMENTAL ALGEBRAS Cosmin Pelea Abstract. An important tool in the hyperstructure theory is the fundamental relation. The factorization

More information

Group Theory. Contents

Group Theory. Contents Group Theory Contents Chapter 1: Review... 2 Chapter 2: Permutation Groups and Group Actions... 3 Orbits and Transitivity... 6 Specific Actions The Right regular and coset actions... 8 The Conjugation

More information

Allen Back. Oct. 29, 2009

Allen Back. Oct. 29, 2009 Allen Back Oct. 29, 2009 Notation:(anachronistic) Let the coefficient ring k be Q in the case of toral ( (S 1 ) n) actions and Z p in the case of Z p tori ( (Z p )). Notation:(anachronistic) Let the coefficient

More information

GROUP ALGEBRAS. ANDREI YAFAEV

GROUP ALGEBRAS. ANDREI YAFAEV GROUP ALGEBRAS. ANDREI YAFAEV We will associate a certain algebra to a finite group and prove that it is semisimple. Then we will apply Wedderburn s theory to its study. Definition 0.1. Let G be a finite

More information

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS

SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS SOME PROPERTIES OF FIBER PRODUCT PRESERVING BUNDLE FUNCTORS Ivan Kolář Abstract. Let F be a fiber product preserving bundle functor on the category FM m of the proper base order r. We deduce that the r-th

More information

Analytic cohomology groups in top degrees of Zariski open sets in P n

Analytic cohomology groups in top degrees of Zariski open sets in P n Analytic cohomology groups in top degrees of Zariski open sets in P n Gabriel Chiriacescu, Mihnea Colţoiu, Cezar Joiţa Dedicated to Professor Cabiria Andreian Cazacu on her 80 th birthday 1 Introduction

More information

MCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 9 April. Hilbert Polynomials

MCS 563 Spring 2014 Analytic Symbolic Computation Wednesday 9 April. Hilbert Polynomials Hilbert Polynomials For a monomial ideal, we derive the dimension counting the monomials in the complement, arriving at the notion of the Hilbert polynomial. The first half of the note is derived from

More information

Mathematics Course 111: Algebra I Part IV: Vector Spaces

Mathematics Course 111: Algebra I Part IV: Vector Spaces Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 1996-7 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are

More information

Continued Fractions and the Euclidean Algorithm

Continued Fractions and the Euclidean Algorithm Continued Fractions and the Euclidean Algorithm Lecture notes prepared for MATH 326, Spring 997 Department of Mathematics and Statistics University at Albany William F Hammond Table of Contents Introduction

More information

Similarity and Diagonalization. Similar Matrices

Similarity and Diagonalization. Similar Matrices MATH022 Linear Algebra Brief lecture notes 48 Similarity and Diagonalization Similar Matrices Let A and B be n n matrices. We say that A is similar to B if there is an invertible n n matrix P such that

More information

it is easy to see that α = a

it is easy to see that α = a 21. Polynomial rings Let us now turn out attention to determining the prime elements of a polynomial ring, where the coefficient ring is a field. We already know that such a polynomial ring is a UF. Therefore

More information

COHOMOLOGY OF GROUPS

COHOMOLOGY OF GROUPS Actes, Congrès intern. Math., 1970. Tome 2, p. 47 à 51. COHOMOLOGY OF GROUPS by Daniel QUILLEN * This is a report of research done at the Institute for Advanced Study the past year. It includes some general

More information

MATH1231 Algebra, 2015 Chapter 7: Linear maps

MATH1231 Algebra, 2015 Chapter 7: Linear maps MATH1231 Algebra, 2015 Chapter 7: Linear maps A/Prof. Daniel Chan School of Mathematics and Statistics University of New South Wales danielc@unsw.edu.au Daniel Chan (UNSW) MATH1231 Algebra 1 / 43 Chapter

More information

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES

I. GROUPS: BASIC DEFINITIONS AND EXAMPLES I GROUPS: BASIC DEFINITIONS AND EXAMPLES Definition 1: An operation on a set G is a function : G G G Definition 2: A group is a set G which is equipped with an operation and a special element e G, called

More information

9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ?

9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ? 9. Quotient Groups Given a group G and a subgroup H, under what circumstances can we find a homomorphism φ: G G ', such that H is the kernel of φ? Clearly a necessary condition is that H is normal in G.

More information

Lecture 4 Cohomological operations on theories of rational type.

Lecture 4 Cohomological operations on theories of rational type. Lecture 4 Cohomological operations on theories of rational type. 4.1 Main Theorem The Main Result which permits to describe operations from a theory of rational type elsewhere is the following: Theorem

More information

Chapter 7. Homotopy. 7.1 Basic concepts of homotopy. Example: z dz. z dz = but

Chapter 7. Homotopy. 7.1 Basic concepts of homotopy. Example: z dz. z dz = but Chapter 7 Homotopy 7. Basic concepts of homotopy Example: but γ z dz = γ z dz γ 2 z dz γ 3 z dz. Why? The domain of /z is C 0}. We can deform γ continuously into γ 2 without leaving C 0}. Intuitively,

More information

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS Bull Austral Math Soc 77 (2008), 31 36 doi: 101017/S0004972708000038 COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V EROVENKO and B SURY (Received 12 April 2007) Abstract We compute

More information

Classification of Cartan matrices

Classification of Cartan matrices Chapter 7 Classification of Cartan matrices In this chapter we describe a classification of generalised Cartan matrices This classification can be compared as the rough classification of varieties in terms

More information

FIXED POINT SETS OF FIBER-PRESERVING MAPS

FIXED POINT SETS OF FIBER-PRESERVING MAPS FIXED POINT SETS OF FIBER-PRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 e-mail: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics

More information

Factoring of Prime Ideals in Extensions

Factoring of Prime Ideals in Extensions Chapter 4 Factoring of Prime Ideals in Extensions 4. Lifting of Prime Ideals Recall the basic AKLB setup: A is a Dedekind domain with fraction field K, L is a finite, separable extension of K of degree

More information

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath

ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP. A. K. Das and R. K. Nath International Electronic Journal of Algebra Volume 7 (2010) 140-151 ON GENERALIZED RELATIVE COMMUTATIVITY DEGREE OF A FINITE GROUP A. K. Das and R. K. Nath Received: 12 October 2009; Revised: 15 December

More information

Basic Algorithms In Computer Algebra

Basic Algorithms In Computer Algebra Basic Algorithms In Computer Algebra Kaiserslautern SS 2011 Prof. Dr. Wolfram Decker 2. Mai 2011 References Cohen, H.: A Course in Computational Algebraic Number Theory. Springer, 1993. Cox, D.; Little,

More information

SMALL SKEW FIELDS CÉDRIC MILLIET

SMALL SKEW FIELDS CÉDRIC MILLIET SMALL SKEW FIELDS CÉDRIC MILLIET Abstract A division ring of positive characteristic with countably many pure types is a field Wedderburn showed in 1905 that finite fields are commutative As for infinite

More information

Row Ideals and Fibers of Morphisms

Row Ideals and Fibers of Morphisms Michigan Math. J. 57 (2008) Row Ideals and Fibers of Morphisms David Eisenbud & Bernd Ulrich Affectionately dedicated to Mel Hochster, who has been an inspiration to us for many years, on the occasion

More information

Homological Algebra Workshop 02-03-15/06-03-15

Homological Algebra Workshop 02-03-15/06-03-15 Homological Algebra Workshop 02-03-15/06-03-15 Monday: Tuesday: 9:45 10:00 Registration 10:00 11:15 Conchita Martínez (I) 10:00 11:15 Conchita Martínez (II) 11:15 11:45 Coffee Break 11:15 11:45 Coffee

More information

NOTES ON LINEAR TRANSFORMATIONS

NOTES ON LINEAR TRANSFORMATIONS NOTES ON LINEAR TRANSFORMATIONS Definition 1. Let V and W be vector spaces. A function T : V W is a linear transformation from V to W if the following two properties hold. i T v + v = T v + T v for all

More information

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication:

COMMUTATIVE RINGS. Definition: A domain is a commutative ring R that satisfies the cancellation law for multiplication: COMMUTATIVE RINGS Definition: A commutative ring R is a set with two operations, addition and multiplication, such that: (i) R is an abelian group under addition; (ii) ab = ba for all a, b R (commutative

More information

A new compactification of the Drinfeld period domain over a finite field

A new compactification of the Drinfeld period domain over a finite field A new compactification of the Drinfeld period domain over a finite field Simon Schieder June 2009 Abstract We study a compactification of the Drinfeld period domain over a finite field which arises naturally

More information

BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space

BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space BP-cohomology of mapping spaces from the classifying space of a torus to some p-torsion free space 1. Introduction Let p be a fixed prime number, V a group isomorphic to (Z/p) d for some integer d and

More information

From Factorial Designs to Hilbert Schemes

From Factorial Designs to Hilbert Schemes From Factorial Designs to Hilbert Schemes Lorenzo Robbiano Università di Genova Dipartimento di Matematica Lorenzo Robbiano (Università di Genova) Factorial Designs and Hilbert Schemes Genova, June 2015

More information

On the existence of G-equivariant maps

On the existence of G-equivariant maps CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of G-equivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,

More information

Fair testing vs. must testing in a fair setting

Fair testing vs. must testing in a fair setting Fair testing vs. must testing in a fair setting Tom Hirschowitz and Damien Pous Amsterdam, Novembre 2010 Laboratoire de Mathématiques Université de Savoie UMR 5127 Tom Hirschowitz and Damien Pous Fair

More information

University of Lille I PC first year list of exercises n 7. Review

University of Lille I PC first year list of exercises n 7. Review University of Lille I PC first year list of exercises n 7 Review Exercise Solve the following systems in 4 different ways (by substitution, by the Gauss method, by inverting the matrix of coefficients

More information

On The Existence Of Flips

On The Existence Of Flips On The Existence Of Flips Hacon and McKernan s paper, arxiv alg-geom/0507597 Brian Lehmann, February 2007 1 Introduction References: Hacon and McKernan s paper, as above. Kollár and Mori, Birational Geometry

More information

Using morphism computations for factoring and decomposing general linear functional systems

Using morphism computations for factoring and decomposing general linear functional systems Using morphism computations for factoring and decomposing general linear functional systems Thomas Cluzeau and Alban Quadrat Abstract Within a constructive homological algebra approach we study the factorization

More information

MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL

MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 0002-9939(XX)0000-0 MICROLOCAL ANALYSIS OF THE BOCHNER-MARTINELLI INTEGRAL NIKOLAI TARKHANOV AND NIKOLAI VASILEVSKI

More information

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction

CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC. 1. Introduction Acta Math. Univ. Comenianae Vol. LXXXI, 1 (2012), pp. 71 77 71 CURVES WHOSE SECANT DEGREE IS ONE IN POSITIVE CHARACTERISTIC E. BALLICO Abstract. Here we study (in positive characteristic) integral curves

More information

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS

ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS ABSTRACT ALGEBRA: A STUDY GUIDE FOR BEGINNERS John A. Beachy Northern Illinois University 2014 ii J.A.Beachy This is a supplement to Abstract Algebra, Third Edition by John A. Beachy and William D. Blair

More information

Matrix Representations of Linear Transformations and Changes of Coordinates

Matrix Representations of Linear Transformations and Changes of Coordinates Matrix Representations of Linear Transformations and Changes of Coordinates 01 Subspaces and Bases 011 Definitions A subspace V of R n is a subset of R n that contains the zero element and is closed under

More information

Online publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE

Online publication date: 11 March 2010 PLEASE SCROLL DOWN FOR ARTICLE This article was downloaded by: [Modoi, George Ciprian] On: 12 March 2010 Access details: Access Details: [subscription number 919828804] Publisher Taylor & Francis Informa Ltd Registered in England and

More information

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS

COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS COMMUTATIVITY DEGREES OF WREATH PRODUCTS OF FINITE ABELIAN GROUPS IGOR V. EROVENKO AND B. SURY ABSTRACT. We compute commutativity degrees of wreath products A B of finite abelian groups A and B. When B

More information

FACTORING AFTER DEDEKIND

FACTORING AFTER DEDEKIND FACTORING AFTER DEDEKIND KEITH CONRAD Let K be a number field and p be a prime number. When we factor (p) = po K into prime ideals, say (p) = p e 1 1 peg g, we refer to the data of the e i s, the exponents

More information

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2:

4. CLASSES OF RINGS 4.1. Classes of Rings class operator A-closed Example 1: product Example 2: 4. CLASSES OF RINGS 4.1. Classes of Rings Normally we associate, with any property, a set of objects that satisfy that property. But problems can arise when we allow sets to be elements of larger sets

More information

Gröbner bases talk at the ACAGM Summer School Leuven 2011- p. 1

Gröbner bases talk at the ACAGM Summer School Leuven 2011- p. 1 Gröbner bases talk at the ACAGM Summer School Leuven 2011- p. 1 Gröbner bases talk at the ACAGM Summer School Leuven 2011 - Hans Schönemann hannes@mathematik.uni-kl.de Department of Mathematics University

More information

Rough Semi Prime Ideals and Rough Bi-Ideals in Rings

Rough Semi Prime Ideals and Rough Bi-Ideals in Rings Int Jr. of Mathematical Sciences & Applications Vol. 4, No.1, January-June 2014 Copyright Mind Reader Publications ISSN No: 2230-9888 www.journalshub.com Rough Semi Prime Ideals and Rough Bi-Ideals in

More information

MA651 Topology. Lecture 6. Separation Axioms.

MA651 Topology. Lecture 6. Separation Axioms. MA651 Topology. Lecture 6. Separation Axioms. This text is based on the following books: Fundamental concepts of topology by Peter O Neil Elements of Mathematics: General Topology by Nicolas Bourbaki Counterexamples

More information

Basic theory of group schemes.

Basic theory of group schemes. Chapter III. Basic theory of group schemes. As we have seen in the previous chapter, group schemes come naturally into play in the study of abelian varieties. For example, if we look at kernels of homomorphisms

More information

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z

FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z FACTORING POLYNOMIALS IN THE RING OF FORMAL POWER SERIES OVER Z DANIEL BIRMAJER, JUAN B GIL, AND MICHAEL WEINER Abstract We consider polynomials with integer coefficients and discuss their factorization

More information

r(x + y) =rx + ry; (r + s)x = rx + sx; r(sx) =(rs)x; 1x = x

r(x + y) =rx + ry; (r + s)x = rx + sx; r(sx) =(rs)x; 1x = x Chapter 4 Module Fundamentals 4.1 Modules and Algebras 4.1.1 Definitions and Comments A vector space M over a field R is a set of objects called vectors, which can be added, subtracted and multiplied by

More information

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES

MATH 101A: ALGEBRA I PART B: RINGS AND MODULES MATH 101A: ALGEBRA I PART B: RINGS AND MODULES In the unit on rings, I explained category theory and general rings at the same time. Then I talked mostly about commutative rings. In the unit on modules,

More information

First and raw version 0.1 23. september 2013 klokken 13:45

First and raw version 0.1 23. september 2013 klokken 13:45 The discriminant First and raw version 0.1 23. september 2013 klokken 13:45 One of the most significant invariant of an algebraic number field is the discriminant. One is tempted to say, apart from the

More information

On an algorithm for classification of binary self-dual codes with minimum distance four

On an algorithm for classification of binary self-dual codes with minimum distance four Thirteenth International Workshop on Algebraic and Combinatorial Coding Theory June 15-21, 2012, Pomorie, Bulgaria pp. 105 110 On an algorithm for classification of binary self-dual codes with minimum

More information

FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3

FIBRATION SEQUENCES AND PULLBACK SQUARES. Contents. 2. Connectivity and fiber sequences. 3 FIRTION SEQUENES ND PULLK SQURES RY MLKIEWIH bstract. We lay out some foundational facts about fibration sequences and pullback squares of topological spaces. We pay careful attention to connectivity ranges

More information

A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT

A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT Bol. Soc. Mat. Mexicana (3) Vol. 12, 2006 A CHARACTERIZATION OF C k (X) FOR X NORMAL AND REALCOMPACT F. MONTALVO, A. A. PULGARÍN AND B. REQUEJO Abstract. We present some internal conditions on a locally

More information

MODULES OVER A PID KEITH CONRAD

MODULES OVER A PID KEITH CONRAD MODULES OVER A PID KEITH CONRAD Every vector space over a field K that has a finite spanning set has a finite basis: it is isomorphic to K n for some n 0. When we replace the scalar field K with a commutative

More information

Global analytic geometry and the functional equation 1

Global analytic geometry and the functional equation 1 Global analytic geometry and the functional equation 1 (master course and exercices) Frédéric Paugam September 6, 2012 1 This text was typed in the flow of a course during one month at IMPA and thus certainly

More information

Mathematische Zeitschrift

Mathematische Zeitschrift Math. Z. (212 27:871 887 DOI 1.17/s29-1-83-2 Mathematische Zeitschrift Modular properties of nodal curves on K3 surfaces Mihai Halic Received: 25 April 21 / Accepted: 28 November 21 / Published online:

More information

Gabriel-Roiter inclusions and Auslander-Reiten theory.

Gabriel-Roiter inclusions and Auslander-Reiten theory. Gabriel-Roiter inclusions and Auslander-Reiten theory. Claus Michael Ringel ABSTRACT. Let Λ be an artin algebra. The aim of this paper is to outline a strong relationship between the Gabriel-Roiter inclusions

More information

OSTROWSKI FOR NUMBER FIELDS

OSTROWSKI FOR NUMBER FIELDS OSTROWSKI FOR NUMBER FIELDS KEITH CONRAD Ostrowski classified the nontrivial absolute values on Q: up to equivalence, they are the usual (archimedean) absolute value and the p-adic absolute values for

More information

On the Connectedness of the Spectrum of Forcing Algebras

On the Connectedness of the Spectrum of Forcing Algebras Revista Colombiana de Matemáticas Volumen 48(2014)1, páginas 1-19 On the Connectedness of the Spectrum of Forcing Algebras Sobre la conexidad del espectro de álgebras de forzado Holger Brenner, Danny de

More information

Introduction to Modern Algebra

Introduction to Modern Algebra Introduction to Modern Algebra David Joyce Clark University Version 0.0.6, 3 Oct 2008 1 1 Copyright (C) 2008. ii I dedicate this book to my friend and colleague Arthur Chou. Arthur encouraged me to write

More information

Let H and J be as in the above lemma. The result of the lemma shows that the integral

Let H and J be as in the above lemma. The result of the lemma shows that the integral Let and be as in the above lemma. The result of the lemma shows that the integral ( f(x, y)dy) dx is well defined; we denote it by f(x, y)dydx. By symmetry, also the integral ( f(x, y)dx) dy is well defined;

More information

How To Find Out How To Build An Elliptic Curve Over A Number Field

How To Find Out How To Build An Elliptic Curve Over A Number Field Numbers Volume 2015, Article ID 501629, 4 pages http://dx.doi.org/10.1155/2015/501629 Research Article On the Rank of Elliptic Curves in Elementary Cubic Extensions Rintaro Kozuma College of International

More information

Fundamental Groups of Schemes. Lei Yang

Fundamental Groups of Schemes. Lei Yang Fundamental Groups of Schemes Master thesis under the supervision of Jilong Tong Lei Yang Universite Bordeaux 1 E-mail address: lyang0176@gmailcom Chapter 1 Introduction 3 Chapter 2 Galois categories 5

More information

o-minimality and Uniformity in n 1 Graphs

o-minimality and Uniformity in n 1 Graphs o-minimality and Uniformity in n 1 Graphs Reid Dale July 10, 2013 Contents 1 Introduction 2 2 Languages and Structures 2 3 Definability and Tame Geometry 4 4 Applications to n 1 Graphs 6 5 Further Directions

More information

OPERS. The geometric Langlands correspondence conjectures a correspondence

OPERS. The geometric Langlands correspondence conjectures a correspondence OPERS JONATHAN BARLEV The geometric Langlands correspondence conjectures a correspondence Qcoloc-sysL Gx)) = D-modBun G )) on the level of derived categories. As remarked previously in theseminar,toeach

More information

Degree Hypergroupoids Associated with Hypergraphs

Degree Hypergroupoids Associated with Hypergraphs Filomat 8:1 (014), 119 19 DOI 10.98/FIL1401119F Published by Faculty of Sciences and Mathematics, University of Niš, Serbia Available at: http://www.pmf.ni.ac.rs/filomat Degree Hypergroupoids Associated

More information

Ideal Class Group and Units

Ideal Class Group and Units Chapter 4 Ideal Class Group and Units We are now interested in understanding two aspects of ring of integers of number fields: how principal they are (that is, what is the proportion of principal ideals

More information

16.3 Fredholm Operators

16.3 Fredholm Operators Lectures 16 and 17 16.3 Fredholm Operators A nice way to think about compact operators is to show that set of compact operators is the closure of the set of finite rank operator in operator norm. In this

More information

ADDITIVE GROUPS OF RINGS WITH IDENTITY

ADDITIVE GROUPS OF RINGS WITH IDENTITY ADDITIVE GROUPS OF RINGS WITH IDENTITY SIMION BREAZ AND GRIGORE CĂLUGĂREANU Abstract. A ring with identity exists on a torsion Abelian group exactly when the group is bounded. The additive groups of torsion-free

More information

How To Prove The Cellosauric Cardinal Compactness (For A Cardinal Cardinal Compact)

How To Prove The Cellosauric Cardinal Compactness (For A Cardinal Cardinal Compact) Cellular objects and Shelah s singular compactness theorem Logic Colloquium 2015 Helsinki Tibor Beke 1 Jiří Rosický 2 1 University of Massachusetts tibor beke@uml.edu 2 Masaryk University Brno rosicky@math.muni.cz

More information

Effective homotopy of the fiber of a Kan fibration

Effective homotopy of the fiber of a Kan fibration Effective homotopy of the fiber of a Kan fibration Ana Romero and Francis Sergeraert 1 Introduction Inspired by the fundamental ideas of the effective homology method (see [5] and [4]), which makes it

More information

Quantum Mechanics and Representation Theory

Quantum Mechanics and Representation Theory Quantum Mechanics and Representation Theory Peter Woit Columbia University Texas Tech, November 21 2013 Peter Woit (Columbia University) Quantum Mechanics and Representation Theory November 2013 1 / 30

More information

Geometry and Topology

Geometry and Topology Geometry and Topology CMUP 21/07/2008 CMUP (21/07/2008) Geometry and Topology 1 / 9 People Permanent academic staff (pluri-anual 2007 2010) Inês Cruz Poisson and symplectic geometry, singularities of vector

More information

FIBERS OF GENERIC PROJECTIONS

FIBERS OF GENERIC PROJECTIONS FIBERS OF GENERIC PROJECTIONS ROYA BEHESHTI AND DAVID EISENBUD Abstract. Let X be a smooth projective variety of dimension n in P r, and let π : X P n+c be a general linear projection, with c > 0. In this

More information

How To Understand The Theory Of Differential Geometry

How To Understand The Theory Of Differential Geometry Chapter 23 Fiber bundles Consider a manifold M with the tangent bundle T M = P M T P M. Let us look at this more closely. T M can be thought of as the original manifold M with a tangent space stuck at

More information

Six lectures on analytic torsion

Six lectures on analytic torsion Six lectures on analytic torsion Ulrich Bunke May 26, 215 Abstract Contents 1 Analytic torsion - from algebra to analysis - the finite-dimensional case 2 1.1 Torsion of chain complexes...........................

More information

i=1 n i. The base of induction

i=1 n i. The base of induction 1. Rings, ideals, and modules 1.1. Rings. Noncommutative algebra studies properties of rings (not necessarily commutative) and modules over them. By a ring we mean an associative ring with unit 1. We will

More information