Spherical Classes Detected by the Algebraic Transfer


 Rafe Wilkinson
 2 years ago
 Views:
Transcription
1 Vietnam Journal of Mathematics 25:l ( Vil.etnann./ourrnatrof l$4atlt{lem.i\]f ltcs 6 SpringerVerlag 1997 Short Communication Spherical Classes Detected by the Algebraic Transfer Nguyen Huu Viet Hung Department of Mathematics, Unioersity of Hanoi, Hanoi, Vietnam Received August 28, 1996 We are interested in the following classical conjecture on spherical classes in QgSO, i.e., elements belonging to the image of the Hurewicz homomorphism H: zi(so) = z.(oo,so)  H(2oso). Here and throughout the note, the coefficient ring for homology and cohomology is always F2, the field of two elements. Coniecture 1 (conjecture on spherical classes). There are no spherical classes in QsS0, except the Hopf inuari.ant one and the Keruaire inuarinnt one elements. Some topologists believe that the conjecture is due to Madsen, while others say it is due to Curtis. (See Curtis [5] and Wellington [20] for a discussion.) Let EK be an elementary Abelian 2group of rank k. The general linear group GLk: GL(k,F) acts on Ek and therefore on H"(BEk) in the usual way. Let Dr be the Dickson algebra of k variables, Dp :: H* (BEtleu = Fz lxr,...,, where P7.:Fzlxt,..., x*l is the polynomial algebra on k generators xl,..., "k]gto xk, each of dimension l. As the action of the (mod 2) Steenrod algebra,,il, and that of GL1, on P/. commute with each other, Dp is an algebra over d. Let g1,:ext!k+i1f2, Fz)  Dp)i be the LannesZarati homomorphism, which is compatible with the Hurewicz homomorphism (see[8],[9, p.46]). The domain of rpp is the E2term of the Adams spectral sequence converging to fti(^so) = n(qsso). According to Madsen's theorem [10], which asserts that Di. is dual to the coalgebra of DyerLashof operations of length /c, the range of gp is a submodule of f1(00s0). By compatibility of qp and the Hurewicz This work was partially supported by the National Basic Research Programme in Natural Science, No
2 Nguyen Huu Viet Hung homomorphism, we mean {pp is a "lifting" of the latter from the o'elevel" to the "E2leyel". The Hopf invariant one and the Kervaire invariant one elements are respectively represented by certain pennanent cycles in Exrti (Fz, F2) and Ex(j (F2,F2), on which rp1 and ez are nonzero (see Adams [1], Browder [4], LannesZaratil9l). Therefore, Conjecture I is a consequence of the following one. Coniecture 2. et :0 in any positiue stem i for k > 2. It is well known that the Ext group has intensively been studied, but remains very mysterious. In order to avoid the shortage of our knowledge of the Ext group, we have combined the above data with Singer's algebraic transfer (see[12]). Singer defined in [19] the algebraic transfer Tr1,:F2 I GLe . Extff+t(Fr, Fr), where PH*(BEk) denotes the submodule consisting of all.ilannihilated elements in H.(BEk).It is shown to be an isomorphism for k < 2 by Singer [19] and for k : 3 by Boardman [2]. Singer also proved in [9] that it is not an isomorphism for k : 5, and conjectured that Trp is a monomorphism for any k. Restricting gp to the image of Trp, we stated in [12] the following conjecture. Conjecture 3 (weak conjecture on spherical classes). /.\ / \ 91,' Tr1,: Fz I PH.(BE\ + P( n.1ank1) :: ( rz I ao I G L * \ c r * / \ d / is zero in positiue dimensions for k > 2. In other words, there are no spherical classes in QsSo, which can be detected by the algebraic transfer, except the Hopf inuarinnt one and the Keruaire inuariant one elements. In [12], we have proved that the inclusion of D;. into P7. is a lifting of Dp + Pr)"o.So, we get the following result. Theorem 4. The weak conjecture on spherical classes is equiualent to the conjecture that the homomorphism / \GLU j*,f2e eftr) * (r, I ro. d \ " a / / I ' induced by the identity map on Pp is zero in positiue dimensions for k > 2. Let D[,,il+ be respectively the submodules of Dy. and.il consisting of all elements of positive dimensions. Then the above conjecture on jk can equivalently be stated as follows. Coniecture 5.If k > 2, then DI c.il+.pp.
3 Spherical Classes Detected by the Algebraic Transfer lnll2], we have proof of this conjecture for k : 3. To introduce a new approach, we need to summarize Singer's invarianttheoretic description of the lambda algebra [8]. By Dickson [6], Dp = FzlQr,rr,..., Qt,ol, where Q1,,i denotes the Dickson invariant of dimension 2k 2i. Singer set f7.: DdQi,tl,thelocalization of Dp given by inverting Q1,6, and defined ff to be a certain "not too large" submodule of f7". He also equipped fn with a differential d: ff  ff, and a coproduct. Then, he showed that the differential coalgebra f^ is dual to the lambda algebra of the six authors of [3]. Thus, I1r(fn) = Tor{(Fz, F2). (Originally, Singer used the notation ff, to denote ff;. However,by DI,il+ we always mean the submodules of Dp and.il respectively consisting of all elements of positive dimensions, so Singer's notation would make a confusion in this note. Therefore, we prefer the notation ff to ff ). One of the main results of this note is the following theorem. Theorem 6. There exists a lifting Lp:ffF[",11,...,xk!'l of Trf: Tor{(F2, Fz)  whose restriction to Dpc.ff X the inclusion of bp into Pp. Note that every q e Df, is a cycle in the differential module ff. BV means of this theorem, the weak conjecture on spherical classes is an immediate consequence of the following conjecture. Conjecture 7. If q e D[, then [q] : O in Torf; (82, F2) for k > 2. This is a corollary of the following conjecture. Coniecture 8, Let Ker 0p be the submodule of all cycles in ff. fhen, for k > 2, DI c.il+. Ker d7.. We get the following result, which is weaker than the above coniecture. Theorem 9. If k > 2, then nf c "e+.f1. We also have the following theorem. Theorem lo. Conjecture 7 is true for k : 3. Conjecture 5 is related to the difficult problem of the determination of P7". This problem has first been studied by Peterson [15], Wood [21], Singer [19], and Priddy [6] who show its relationship to several classical problems in homotopy theory. Pp has explicitly been computed for k < 3. The cases k : I and 2 are not difficult, while the case k : 3 is very complicated and was solved by Kameko [7]. There is also another approach, the qualitative one, to the problem. By this we mean giving conditions on elements of Pp to show that they go to zero in Pp, i.e.. belong to.il+.p7.. Peterson's conjecture, which was
4 78 Nguyen Huu Viet Hung established by Wood [21], claims that in dimension d such that a(d + k) > ft. Here, a(n) denotes the number of ones in the dyadic expansion of n. Recently, Singer, Monks and Silverman have refined the method of Wood to show that many more monomials in Pp are in.il+.p;". (See Silverman [17] and its references). Conjecture 5 presents a large family, whose elements are predicted to be in.il+.pr. Remark. Conjecture 7, and therefore Conjecture 8, is false when /c: I or 2. Indeed, la?',;t) and lq],',;rl are norzero in Tor((F2, F2). The{ are respectively dual to the'adams element h;eextt"(f2, tr'2) and its square h! eext2*(fz,fz). One easily verifies this assertion by combining Theorem 6 with Theorem 2.1 of ll2l and Proposition 5.3 of [9]. The only Hopf invariant one elements are represented by hi for i : l, 2,3 (see Adams []). Furthennore, the only Kervaire invariant one elements are represented by h!, wherever h! is a permanent cycle in the Adams spectral sequence for spheres (see Browder [4]). Let pi,: Dp + Tor{ (Fz, Fz) be the dual of the LannesZarati homomorphism, which is compatible with the Hurewicz one,fl: r(0050)  fl(00,s0). In ll2l we have proved that the inclusion Dp c. Pp is a lifting of Tr[. tp[: This together with Theorem 6 lead us to the following conjecture. Conjecture ll. The inclusion Dp c fl k a lifting of 9[. This conjecture and Conjecture 7 imply the classical conjecture on spherical classes. The results of this note will be published in detail elsewhere. References l. J. F. Adams, On the nonexistence of elements of Hopf invariant one, Ann. Math.72 (1960) J. M. Boardman, Modular representations on the homology of powers of real projective space, Algebraic Topology: Oaxtepec 1991, M. C. Tangora (ed.), Contemp. Math., 146 (1993) 49, A. K. Bousfleld, E. B. Curtis, D. M. Kan, D. G. Quillen, D. L. Rector, and J. W. Schlesinger, The mod p lower contral series and the Adams spectral sequence, Topology s (1966) 33r W. Browder, The Kervaire invariant of a framed manifold and its generalization, Ann. Math. 90 (1969) E. B. Curtis, The Dyer Lashof algebra and the lambda algebra, Illinois J. Math. 18 (197s) 23r L. E. Dickson, A fundamental system of invariants of the general modular linear group with a solution of the form problem, Trans. Amer. Math. Soc. 12 (l9l l) M. Kameko, Products of Projectiue Spaces as Steenrod Modules, Thesis, John Hopkins University, J. Lannes and S. Zarati, Invariants de Hopf d'ordre superieur et suite spectrale d'adams, C. R. Acad. Sci.296 (1983)
5 Spherical Classes Detected by the Algebraic Transfer J. Lannes and S. Zarati, Sur les foncteurs d6viv6s de la d6stabilisation, Math. Zeit. 194 (re87) 2ss I. Madsen, On the action of the DyerLashof algebra in H*(G), Pacific J. Math. 60 (r97s) 23s275. I l. N. H. V. Hung, The action of the Steenrod squares on the modular invariants of linear groups, Proc. Amer. Math. Soc.113 (1991) N. H. V. Hung, Spherical classes and the algebraic transfer, Trans. Amer. Math. Soc. (to appear). 13. N. H. V. Hung and F. P. Peterson,.ilgenerators for the Dickson algebra, Trans. Amer. Math. Soc. Yi (1995't N. H. V. Hung and F. P. Peterson, Spherical classes and the Dickson algebra, Math. Proc. Camb. Phyl. Soc. (to appear). 15. F. P. Peterson, Generators of H*(RP n RP) as a module over the Steenrod algebra, Abstracts Amer. Math. Soc. 833 (1987). 16. S. Priddy, On characterizing summands in the classifying space of a group I, Amer. J. Math. lr2 (1990) J. H. Silverman, Hit polynomials and the canonical antiautomorphism of the Steenrod algebra, Proc. Amer. Math. Soc. 123(1995) W. M. Singer, Invariant theory and the lambda algebra, Trans. Amer. Math. Soc. 280 (1983) W. M. Singer, The transfer in homological algebra, Math. Zeit. 202 (1989) R. J. Wellington, The unstable Adams spectral sequence of free iterated loop spaces, Memoirs Amer. Math. Soc.258 (1982). 21. R. M. W. Wood, Steenrod squares of polynomials and Peterson conjecture, Math. Proc. Camb. Phil. Soc.105 (1989)
SPHERICAL CLASSES AND THE ALGEBRAIC TRANSFER
TRNSCTIONS OF THE MERICN MTHEMTICL SOCIETY Volume 349, Number 10, October 1997, Pages 3893 3910 S 00029947(97019910 SPHERICL CLSSES ND THE LGEBRIC TRNSFER NGUYÊ N H. V. HU NG bstract. We study a wea
More informationMath 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 Jhomomorphism could be defined by
More informationTHE HOPF RING FOR COMPLEX COBORDISM 1 BY DOUGLAS C. RAVENEL AND W. STEPHEN WILSON. Communicated by Edgar Brown, Jr., May 13, 1974
BULLETIN OF THE AMERICAN MATHEMATICAL SOCIETY Volume 80, Number 6, November 1974 THE HOPF RING FOR COMPLEX COBORDISM 1 BY DOUGLAS C. RAVENEL AND W. STEPHEN WILSON Communicated by Edgar Brown, Jr., May
More informationF. ABTAHI and M. ZARRIN. (Communicated by J. Goldstein)
Journal of Algerian Mathematical Society Vol. 1, pp. 1 6 1 CONCERNING THE l p CONJECTURE FOR DISCRETE SEMIGROUPS F. ABTAHI and M. ZARRIN (Communicated by J. Goldstein) Abstract. For 2 < p
More informationBPcohomology of mapping spaces from the classifying space of a torus to some ptorsion free space
BPcohomology of mapping spaces from the classifying space of a torus to some ptorsion 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 informationThe fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992), 33 37) Bart de Smit
The fundamental group of the Hawaiian earring is not free Bart de Smit The fundamental group of the Hawaiian earring is not free (International Journal of Algebra and Computation Vol. 2, No. 1 (1992),
More informationNote on desuspending the Adams map
Math. Proc. Camb. Phil. Soc. (1986), 99, 59 59 Printed in Qreat Britain Note on desuspending the Adams map BY F. R. COHEN AND J. A. NEISENDORFER University of Kentucky and Ohio State University (Received
More informationRow 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 informationA NOTE ON TRIVIAL FIBRATIONS
A NOTE ON TRIVIAL FIBRATIONS Petar Pavešić Fakulteta za Matematiko in Fiziko, Univerza v Ljubljani, Jadranska 19, 1111 Ljubljana, Slovenija petar.pavesic@fmf.unilj.si Abstract We study the conditions
More informationSign changes of Hecke eigenvalues of Siegel cusp forms of degree 2
Sign changes of Hecke eigenvalues of Siegel cusp forms of degree 2 Ameya Pitale, Ralf Schmidt 2 Abstract Let µ(n), n > 0, be the sequence of Hecke eigenvalues of a cuspidal Siegel eigenform F of degree
More informationHomological Algebra Workshop 020315/060315
Homological Algebra Workshop 020315/060315 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 informationA simple criterion on degree sequences of graphs
Discrete Applied Mathematics 156 (2008) 3513 3517 Contents lists available at ScienceDirect Discrete Applied Mathematics journal homepage: www.elsevier.com/locate/dam Note A simple criterion on degree
More informationFIELD DEGREES AND MULTIPLICITIES FOR NONINTEGRAL EXTENSIONS
Illinois Journal of Mathematics Volume 51, Number 1, Spring 2007, Pages 299 311 S 00192082 FIELD DEGREES AND MULTIPLICITIES FOR NONINTEGRAL EXTENSIONS BERND ULRICH AND CLARENCE W. WILKERSON Dedicated
More informationFINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS
FINITE DIMENSIONAL ORDERED VECTOR SPACES WITH RIESZ INTERPOLATION AND EFFROSSHEN S UNIMODULARITY CONJECTURE AARON TIKUISIS Abstract. It is shown that, for any field F R, any ordered vector space structure
More informationThe Dirichlet Unit Theorem
Chapter 6 The Dirichlet Unit Theorem As usual, we will be working in the ring B of algebraic integers of a number field L. Two factorizations of an element of B are regarded as essentially the same if
More informationCOHOMOLOGY 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 informationSets of Fibre Homotopy Classes and Twisted Order Parameter Spaces
Communications in Mathematical Physics ManuscriptNr. (will be inserted by hand later) Sets of Fibre Homotopy Classes and Twisted Order Parameter Spaces Stefan BechtluftSachs, Marco Hien Naturwissenschaftliche
More informationNOTES 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 informationIRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL. 1. Introduction
IRREDUCIBLE OPERATOR SEMIGROUPS SUCH THAT AB AND BA ARE PROPORTIONAL R. DRNOVŠEK, T. KOŠIR Dedicated to Prof. Heydar Radjavi on the occasion of his seventieth birthday. Abstract. Let S be an irreducible
More informationMathematics Course 111: Algebra I Part IV: Vector Spaces
Mathematics Course 111: Algebra I Part IV: Vector Spaces D. R. Wilkins Academic Year 19967 9 Vector Spaces A vector space over some field K is an algebraic structure consisting of a set V on which are
More informationAllen 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 information8.1 Examples, definitions, and basic properties
8 De Rham cohomology Last updated: May 21, 211. 8.1 Examples, definitions, and basic properties A kform ω Ω k (M) is closed if dω =. It is exact if there is a (k 1)form σ Ω k 1 (M) such that dσ = ω.
More informationSMOOTHING HSPACES ERIK KJÆR PEDERSEN
SMOOTHING HSPACES ERIK KJÆR PEDERSEN 0. Introduction It is an old question in the theory of Hspaces, whether a finite Hspaces is homotopy equivalent to a differentiable manifold. For a long time all
More informationOnline 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 informationKyoto University. Note on the cohomology of finite cyclic coverings. Yasuhiro Hara and Daisuke Kishimoto
Kyoto University KyotoMath 201302 Note on the cohomology of finite cyclic coverings by Yasuhiro Hara and Daisuke Kishimoto April 2013 Department of Mathematics Faculty of Science Kyoto University Kyoto
More informationThe Euler class groups of polynomial rings and unimodular elements in projective modules
The Euler class groups of polynomial rings and unimodular elements in projective modules Mrinal Kanti Das 1 and Raja Sridharan 2 1 HarishChandra Research Institute, Allahabad. Chhatnag Road, Jhusi, Allahabad
More informationContinued 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 informationCLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS
POISSON GEOMETRY BANACH CENTER PUBLICATIONS, VOLUME 51 INSTITUTE OF MATHEMATICS POLISH ACADEMY OF SCIENCES WARSZAWA 000 CLASSIFICATIONS OF STAR PRODUCTS AND DEFORMATIONS OF POISSON BRACKETS PHILIPP E BO
More informationRINGS WITH A POLYNOMIAL IDENTITY
RINGS WITH A POLYNOMIAL IDENTITY IRVING KAPLANSKY 1. Introduction. In connection with his investigation of projective planes, M. Hall [2, Theorem 6.2]* proved the following theorem: a division ring D in
More informationFACTORING 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 informationChapter 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 informationit 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 informationOn the existence of Gequivariant maps
CADERNOS DE MATEMÁTICA 12, 69 76 May (2011) ARTIGO NÚMERO SMA# 345 On the existence of Gequivariant maps Denise de Mattos * Departamento de Matemática, Instituto de Ciências Matemáticas e de Computação,
More informationSeparation Properties for Locally Convex Cones
Journal of Convex Analysis Volume 9 (2002), No. 1, 301 307 Separation Properties for Locally Convex Cones Walter Roth Department of Mathematics, Universiti Brunei Darussalam, Gadong BE1410, Brunei Darussalam
More informationSéminaire Dubreil. Algèbre
Séminaire Dubreil. Algèbre DAVID EISENBUD Notes on an extension of Krull s principal ideal theorem Séminaire Dubreil. Algèbre, tome 28, n o 1 (19741975), exp. n o 20, p. 14.
More informationMultiplier on Character Amenable Banach Algebras
International Mathematical Forum, 5, 2010, no. 42, 20852091 Multiplier on Character Amenable Banach Algebras A. Fattahi Department of Mathematics, Razi University, Kermanshah, Iran mjidzr@razi.ac.ir abfattahi@yahoo.ca
More informationA homotopytheoretic view of Bott Taubes integrals
Stanford University November 8, 2009 Intro We will construct cohomology classes in spaces of knots K where K = Emb(S 1, R n ) or Emb(R, R n ) (n 3). Connected components of K correspond to isotopy classes
More informationGROUP 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 informationAnalytic 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 informationFIBER 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 informationOn the multiplicity of zeroes of polynomials with quaternionic coefficients
Milan j. math. 76 (2007), 1 10 DOI 10.1007/s000320030000 c 2007 Birkhäuser Verlag Basel/Switzerland Milan Journal of Mathematics On the multiplicity of zeroes of polynomials with quaternionic coefficients
More informationIdeal 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 informationOn Highly Regular Embeddings (Extended Abstract)
On Highly Regular Embeddings (Extended Abstract) Pavle V. M. Blagojević, Wolfgang Lück, and Günter M. Ziegler Abstract A continuous map R d R N is kregular if it maps any k pairwise distinct points to
More informationTopological Algebraic Geometry Workshop Oslo, September 4th8th, 2006. Spectra associated with ArtinSchreier curves. Doug Ravenel
Topological Algebraic Geometry Workshop Oslo, September 4th8th, 2006 Spectra associated with ArtinSchreier curves Doug Ravenel University of Rochester September 6, 2006 1 2 1. My favorite part of the
More informationEffective 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 informationDIVISORS AND LINE BUNDLES
DIVISORS AND LINE BUNDLES TONY PERKINS 1. Cartier divisors An analytic hypersurface of M is a subset V M such that for each point x V there exists an open set U x M containing x and a holomorphic function
More information7. Some irreducible polynomials
7. Some irreducible polynomials 7.1 Irreducibles over a finite field 7.2 Worked examples Linear factors x α of a polynomial P (x) with coefficients in a field k correspond precisely to roots α k [1] of
More informationSOME 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 rth
More informationSamuel Omoloye Ajala
49 Kragujevac J. Math. 26 (2004) 49 60. SMOOTH STRUCTURES ON π MANIFOLDS Samuel Omoloye Ajala Department of Mathematics, University of Lagos, Akoka  Yaba, Lagos NIGERIA (Received January 19, 2004) Abstract.
More informationFIBRATION 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 informationAN ALGORITHM FOR DETERMINING WHETHER A GIVEN BINARY MATROID IS GRAPHIC
AN ALGORITHM FOR DETERMINING WHETHER A GIVEN BINARY MATROID IS GRAPHIC W. T. TUTTE. Introduction. In a recent series of papers [l4] on graphs and matroids I used definitions equivalent to the following.
More informationTHE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS
THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear
More informationADDITIVE 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 torsionfree
More information3. Some commutative algebra Definition 3.1. Let R be a ring. We say that R is graded, if there is a direct sum decomposition, M n, R n,
3. Some commutative algebra Definition 3.1. Let be a ring. We say that is graded, if there is a direct sum decomposition, = n N n, where each n is an additive subgroup of, such that d e d+e. The elements
More informationAn Introduction to Frame Theory
An Introduction to Frame Theory Taylor Hines April 4, 2010 Abstract In this talk, I give a very brief introduction to orthonormal bases for Hilbert spaces, and how they can be naturally generalized to
More informationHomological Algebra  Problem Set 3
Homological Algebra  Problem Set 3 Problem 1. Let R be a ring. (1) Show that an Rmodule M is projective if and only if there exists a module M and a free module F such that F = M M (we say M is a summand
More informationThe Open University s repository of research publications and other research outputs
Open Research Online The Open University s repository of research publications and other research outputs A counterexample to a continued fraction conjecture Journal Article How to cite: Short, Ian (2006).
More informationAlgebra 2. Rings and fields. Finite fields. A.M. Cohen, H. Cuypers, H. Sterk. Algebra Interactive
2 Rings and fields A.M. Cohen, H. Cuypers, H. Sterk A.M. Cohen, H. Cuypers, H. Sterk 2 September 25, 2006 1 / 20 For p a prime number and f an irreducible polynomial of degree n in (Z/pZ)[X ], the quotient
More informationON THE EMBEDDING OF BIRKHOFFWITT RINGS IN QUOTIENT FIELDS
ON THE EMBEDDING OF BIRKHOFFWITT RINGS IN QUOTIENT FIELDS DOV TAMARI 1. Introduction and general idea. In this note a natural problem arising in connection with socalled BirkhoffWitt algebras of Lie
More informationON 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 00192082 ON THE NUMBER OF REAL HYPERSURFACES HYPERTANGENT TO A GIVEN REAL SPACE CURVE J. HUISMAN Abstract. Let C be a
More informationsconvexity, model sets and their relation
sconvexity, model sets and their relation Zuzana Masáková Jiří Patera Edita Pelantová CRM2639 November 1999 Department of Mathematics, Faculty of Nuclear Science and Physical Engineering, Czech Technical
More informationLecture 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 informationP adic numbers And BruhatTits Tree
P adic numbers And BruhatTits Tree In the first part of these notes we give a brief introduction to padic numbers. In the second part we discuss some properties of the BruhatTits tree. It is mostly
More informationINVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS
INVARIANT METRICS WITH NONNEGATIVE CURVATURE ON COMPACT LIE GROUPS NATHAN BROWN, RACHEL FINCK, MATTHEW SPENCER, KRISTOPHER TAPP, AND ZHONGTAO WU Abstract. We classify the leftinvariant metrics with nonnegative
More informationabelian groups, where cohomology is now to be interpreted as reduced cohomology since we want it to be stable under suspension.
The Adams spectral sequence was invented as a tool for computing stable homotopy groups of spheres and more generally the stable homotopy groups of any space. Let us begin by explaining the underlying
More informationCharacterization Of Polynomials Using Reflection Coefficients
Applied Mathematics ENotes, 4(2004), 114121 c ISSN 16072510 Available free at mirror sites of http://www.math.nthu.edu.tw/ amen/ Characterization Of Polynomials Using Reflection Coefficients José LuisDíazBarrero,JuanJosé
More informationNonzero degree tangential maps between dual symmetric spaces
ISSN 14722739 (online) 14722747 (printed) 709 Algebraic & Geometric Topology Volume 1 (2001) 709 718 Published: 30 November 2001 ATG Nonzero degree tangential maps between dual symmetric spaces Boris
More informationIntroduction to finite fields
Introduction to finite fields Topics in Finite Fields (Fall 2013) Rutgers University Swastik Kopparty Last modified: Monday 16 th September, 2013 Welcome to the course on finite fields! This is aimed at
More informationAlgebraic Morava Ktheories and the. higher degree formula
Algebraic Morava Ktheories and the higher degree formula 1 Contents Chapter 1. Introduction 1 Chapter 2. The construction of an algebraic Morava Ktheory spectrum 5 Chapter 3. The theorem in the general
More informationComputing divisors and common multiples of quasilinear ordinary differential equations
Computing divisors and common multiples of quasilinear ordinary differential equations Dima Grigoriev CNRS, Mathématiques, Université de Lille Villeneuve d Ascq, 59655, France Dmitry.Grigoryev@math.univlille1.fr
More informationBasics of Polynomial Theory
3 Basics of Polynomial Theory 3.1 Polynomial Equations In geodesy and geoinformatics, most observations are related to unknowns parameters through equations of algebraic (polynomial) type. In cases where
More informationZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS
ZERODIVISOR GRAPHS OF POLYNOMIALS AND POWER SERIES OVER COMMUTATIVE RINGS M. AXTELL, J. COYKENDALL, AND J. STICKLES Abstract. We recall several results of zero divisor graphs of commutative rings. We
More informationOn duality of modular GRiesz bases and GRiesz bases in Hilbert C*modules
Journal of Linear and Topological Algebra Vol. 04, No. 02, 2015, 5363 On duality of modular GRiesz bases and GRiesz bases in Hilbert C*modules M. RashidiKouchi Young Researchers and Elite Club Kahnooj
More informationUniversitat de Barcelona
Universitat de Barcelona GRAU DE MATEMÀTIQUES Final year project Cohomology of Product Spaces from a Categorical Viewpoint Álvaro Torras supervised by Prof. Carles Casacuberta January 18, 2016 2 3 Introduction
More informationDefinition: Group A group is a set G together with a binary operation on G, satisfying the following axioms: a (b c) = (a b) c.
Algebraic Structures Abstract algebra is the study of algebraic structures. Such a structure consists of a set together with one or more binary operations, which are required to satisfy certain axioms.
More informationFIBER BUNDLES AND UNIVALENCE
FIBER BUNDLES AND UNIVALENCE TALK BY IEKE MOERDIJK; NOTES BY CHRIS KAPULKIN This talk presents a proof that a universal Kan fibration is univalent. The talk was given by Ieke Moerdijk during the conference
More informationChapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm.
Chapter 4, Arithmetic in F [x] Polynomial arithmetic and the division algorithm. We begin by defining the ring of polynomials with coefficients in a ring R. After some preliminary results, we specialize
More informationCLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDERREITEN THEORY
CLUSTER ALGEBRAS AND CATEGORIFICATION TALKS: QUIVERS AND AUSLANDERREITEN THEORY ANDREW T. CARROLL Notes for this talk come primarily from two sources: M. Barot, ICTP Notes Representations of Quivers,
More information2.5 Complex Eigenvalues
1 25 Complex Eigenvalues Real Canonical Form A semisimple matrix with complex conjugate eigenvalues can be diagonalized using the procedure previously described However, the eigenvectors corresponding
More informationMOP 2007 Black Group Integer Polynomials Yufei Zhao. Integer Polynomials. June 29, 2007 Yufei Zhao yufeiz@mit.edu
Integer Polynomials June 9, 007 Yufei Zhao yufeiz@mit.edu We will use Z[x] to denote the ring of polynomials with integer coefficients. We begin by summarizing some of the common approaches used in dealing
More informationLinear Maps. Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007)
MAT067 University of California, Davis Winter 2007 Linear Maps Isaiah Lankham, Bruno Nachtergaele, Anne Schilling (February 5, 2007) As we have discussed in the lecture on What is Linear Algebra? one of
More informationThe sum of digits of polynomial values in arithmetic progressions
The sum of digits of polynomial values in arithmetic progressions Thomas Stoll Institut de Mathématiques de Luminy, Université de la Méditerranée, 13288 Marseille Cedex 9, France Email: stoll@iml.univmrs.fr
More informationSimilarity 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 informationPOLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS
POLYNOMIAL RINGS AND UNIQUE FACTORIZATION DOMAINS RUSS WOODROOFE 1. Unique Factorization Domains Throughout the following, we think of R as sitting inside R[x] as the constant polynomials (of degree 0).
More informationFIXED POINT SETS OF FIBERPRESERVING MAPS
FIXED POINT SETS OF FIBERPRESERVING MAPS Robert F. Brown Department of Mathematics University of California Los Angeles, CA 90095 email: rfb@math.ucla.edu Christina L. Soderlund Department of Mathematics
More informationANAGRAMS: Dimension of triangulated categories
ANAGRAMS: Dimension of triangulated categories Julia Ramos González February 7, 2014 Abstract These notes were prepared for the first session of "Dimension functions" of ANAGRAMS seminar. The goal is to
More informationMatrix 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 informationCOMMUTATIVITY 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 informationQUADRATIC ALGEBRAS WITH EXT ALGEBRAS GENERATED IN TWO DEGREES. Thomas Cassidy
QUADRATIC ALGEBRAS WITH EXT ALGEBRAS GENERATED IN TWO DEGREES Thomas Cassidy Department of Mathematics Bucknell University Lewisburg, Pennsylvania 17837 Abstract Green and Marcos [3] call a graded kalgebra
More informationOn the Exponential Diophantine Equation (12m 2 + 1) x + (13m 2 1) y = (5m) z
International Journal of Algebra, Vol. 9, 2015, no. 6, 261272 HIKARI Ltd, www.mhikari.com http://dx.doi.org/10.12988/ija.2015.5529 On the Exponential Diophantine Equation (12m 2 + 1) x + (13m 2 1) y
More informationSmith Theory Revisited
Smith Theory Revisited William G. Dwyer Clarence W. Wilkerson 1 Introduction In the late 1930 s, P. A. Smith began the investigation of the cohomological properties of a group G of prime order p acting
More informationInvariant Metrics with Nonnegative Curvature on Compact Lie Groups
Canad. Math. Bull. Vol. 50 (1), 2007 pp. 24 34 Invariant Metrics with Nonnegative Curvature on Compact Lie Groups Nathan Brown, Rachel Finck, Matthew Spencer, Kristopher Tapp and Zhongtao Wu Abstract.
More informationsome algebra prelim solutions
some algebra prelim solutions David Morawski August 19, 2012 Problem (Spring 2008, #5). Show that f(x) = x p x + a is irreducible over F p whenever a F p is not zero. Proof. First, note that f(x) has no
More informationReview: Vector space
Math 2F Linear Algebra Lecture 13 1 Basis and dimensions Slide 1 Review: Subspace of a vector space. (Sec. 4.1) Linear combinations, l.d., l.i. vectors. (Sec. 4.3) Dimension and Base of a vector space.
More informationThree observations regarding Schatten p classes
Three observations regarding Schatten p classes Gideon Schechtman Abstract The paper contains three results, the common feature of which is that they deal with the Schatten p class. The first is a presentation
More informationGalois Theory III. 3.1. Splitting fields.
Galois Theory III. 3.1. Splitting fields. We know how to construct a field extension L of a given field K where a given irreducible polynomial P (X) K[X] has a root. We need a field extension of K where
More informationELLIPTIC CURVES AND LENSTRA S FACTORIZATION ALGORITHM
ELLIPTIC CURVES AND LENSTRA S FACTORIZATION ALGORITHM DANIEL PARKER Abstract. This paper provides a foundation for understanding Lenstra s Elliptic Curve Algorithm for factoring large numbers. We give
More informationSOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE
SOME PROPERTIES OF SYMBOL ALGEBRAS OF DEGREE THREE CRISTINA FLAUT and DIANA SAVIN Communicated by the former editorial board In this paper, we study some properties of the matrix representations of the
More informationThe van Hoeij Algorithm for Factoring Polynomials
The van Hoeij Algorithm for Factoring Polynomials Jürgen Klüners Abstract In this survey we report about a new algorithm for factoring polynomials due to Mark van Hoeij. The main idea is that the combinatorial
More informationReal quadratic fields with class number divisible by 5 or 7
Real quadratic fields with class number divisible by 5 or 7 Dongho Byeon Department of Mathematics, Seoul National University, Seoul 151747, Korea Email: dhbyeon@math.snu.ac.kr Abstract. We shall show
More information