Folding of Regular CW-Complexes

Similar documents
ON THE COMPLEXITY OF K-STEP AND K-HOP DOMINATING SETS IN GRAPHS

Lucas Test is based on Euler s theorem which states that if n is any integer and a is coprime to n, then a φ(n) 1modn.

Hardy-Littlewood Conjecture and Exceptional real Zero. JinHua Fei. ChangLing Company of Electronic Technology Baoji Shannxi P.R.

Week 3: Connected Subgraphs

Group Codes Define Over Dihedral Groups of Small Order

The Hyperelastic material is examined in this section.

Introduction to Arithmetic Geometry Fall 2013 Lecture #20 11/14/2013

Grand Canonical Ensemble

Combinatorial Networks Week 1, March 11-12

The Equitable Dominating Graph

Section 6.1. Question: 2. Let H be a subgroup of a group G. Then H operates on G by left multiplication. Describe the orbits for this operation.

A NEW GENERALISATION OF SAM-SOLAI S MULTIVARIATE ADDITIVE GAMMA DISTRIBUTION*

4D SIMPLICIAL QUANTUM GRAVITY

A Note on Estimability in Linear Models

An Application of Hardy-Littlewood Conjecture. JinHua Fei. ChangLing Company of Electronic Technology Baoji Shannxi P.R.China

cycle that does not cross any edges (including its own), then it has at least

SCHUR S THEOREM REU SUMMER 2005

Math 656 March 10, 2011 Midterm Examination Solutions

ON RIGHT(LEFT) DUO PO-SEMIGROUPS. S. K. Lee and K. Y. Park

International Journal of Scientific & Engineering Research, Volume 6, Issue 7, July ISSN

Independent Domination in Line Graphs

On Tiling for Some Types of Manifolds. and their Folding

Heisenberg Model. Sayed Mohammad Mahdi Sadrnezhaad. Supervisor: Prof. Abdollah Langari

Matched Quick Switching Variable Sampling System with Quick Switching Attribute Sampling System

SOME PARAMETERS ON EQUITABLE COLORING OF PRISM AND CIRCULANT GRAPH.

Figure 1: Closed surface, surface with boundary, or not a surface?

Derangements and Applications

Recall that by Theorems 10.3 and 10.4 together provide us the estimate o(n2 ), S(q) q 9, q=1

Physics 256: Lecture 2. Physics

Propositional Logic. Combinatorial Problem Solving (CPS) Albert Oliveras Enric Rodríguez-Carbonell. May 17, 2018

DISTRIBUTION OF DIFFERENCE BETWEEN INVERSES OF CONSECUTIVE INTEGERS MODULO P

INCOMPLETE KLOOSTERMAN SUMS AND MULTIPLICATIVE INVERSES IN SHORT INTERVALS. xy 1 (mod p), (x, y) I (j)

COMPLEX NUMBER PAIRWISE COMPARISON AND COMPLEX NUMBER AHP

September 27, Introduction to Ordinary Differential Equations. ME 501A Seminar in Engineering Analysis Page 1. Outline

te Finance (4th Edition), July 2017.

Announce. ECE 2026 Summer LECTURE OBJECTIVES READING. LECTURE #3 Complex View of Sinusoids May 21, Complex Number Review

ON EISENSTEIN-DUMAS AND GENERALIZED SCHÖNEMANN POLYNOMIALS

JEE-2017 : Advanced Paper 2 Answers and Explanations

BINOMIAL COEFFICIENTS INVOLVING INFINITE POWERS OF PRIMES

Review - Probabilistic Classification

arxiv: v1 [math.pr] 28 Jan 2019

Department of Mathematics and Statistics Indian Institute of Technology Kanpur MSO202A/MSO202 Assignment 3 Solutions Introduction To Complex Analysis

Addition of angular momentum

EAcos θ, where θ is the angle between the electric field and

Analyzing Frequencies

GEOMETRICAL PHENOMENA IN THE PHYSICS OF SUBATOMIC PARTICLES. Eduard N. Klenov* Rostov-on-Don, Russia

Ερωτήσεις και ασκησεις Κεφ. 10 (για μόρια) ΠΑΡΑΔΟΣΗ 29/11/2016. (d)

10. EXTENDING TRACTABILITY

10/7/14. Mixture Models. Comp 135 Introduction to Machine Learning and Data Mining. Maximum likelihood estimation. Mixture of Normals in 1D

10. The Discrete-Time Fourier Transform (DTFT)

VISUALIZATION OF DIFFERENTIAL GEOMETRY UDC 514.7(045) : : Eberhard Malkowsky 1, Vesna Veličković 2

COHORT MBA. Exponential function. MATH review (part2) by Lucian Mitroiu. The LOG and EXP functions. Properties: e e. lim.

Consider a system of 2 simultaneous first order linear equations

Zero Point Energy: Thermodynamic Equilibrium and Planck Radiation Law

A general N-dimensional vector consists of N values. They can be arranged as a column or a row and can be real or complex.

Journal of Theoretical and Applied Information Technology 10 th January Vol. 47 No JATIT & LLS. All rights reserved.

Spectral Synthesis in the Heisenberg Group

Two Types of Geometric-Arithmetic Indices of Nanotubes and Nanotori

Mutually Independent Hamiltonian Cycles of Pancake Networks

UNIT 8 TWO-WAY ANOVA WITH m OBSERVATIONS PER CELL

Limiting value of higher Mahler measure

Strongly Connected Components

Electrochemical Equilibrium Electromotive Force. Relation between chemical and electric driving forces

1 Minimum Cut Problem

Note If the candidate believes that e x = 0 solves to x = 0 or gives an extra solution of x = 0, then withhold the final accuracy mark.

Square of Hamilton cycle in a random graph

Total Prime Graph. Abstract: We introduce a new type of labeling known as Total Prime Labeling. Graphs which admit a Total Prime labeling are

Optimal Ordering Policy in a Two-Level Supply Chain with Budget Constraint

nd the particular orthogonal trajectory from the family of orthogonal trajectories passing through point (0; 1).

Shortest Paths in Graphs. Paths in graphs. Shortest paths CS 445. Alon Efrat Slides courtesy of Erik Demaine and Carola Wenk

The second condition says that a node α of the tree has exactly n children if the arity of its label is n.

y = 2xe x + x 2 e x at (0, 3). solution: Since y is implicitly related to x we have to use implicit differentiation: 3 6y = 0 y = 1 2 x ln(b) ln(b)

Basic Polyhedral theory

Deift/Zhou Steepest descent, Part I

On spanning trees and cycles of multicolored point sets with few intersections

Alpha and beta decay equation practice

4. (5a + b) 7 & x 1 = (3x 1)log 10 4 = log (M1) [4] d = 3 [4] T 2 = 5 + = 16 or or 16.

Addition of angular momentum

9.5 Complex variables

CHAPTER 33: PARTICLE PHYSICS

Math 656 Midterm Examination March 27, 2015 Prof. Victor Matveev

Frequency Response. Response of an LTI System to Eigenfunction

Search sequence databases 3 10/25/2016

BSc Engineering Sciences A. Y. 2017/18 Written exam of the course Mathematical Analysis 2 August 30, x n, ) n 2

ON THE INTEGRAL INVARIANTS OF KINEMATICALLY GENERATED RULED SURFACES *

Lecture 3: Phasor notation, Transfer Functions. Context

Searching Linked Lists. Perfect Skip List. Building a Skip List. Skip List Analysis (1) Assume the list is sorted, but is stored in a linked list.

Epistemic Foundations of Game Theory. Lecture 1

EEO 401 Digital Signal Processing Prof. Mark Fowler

(Upside-Down o Direct Rotation) β - Numbers

Random Process Part 1

Outlier-tolerant parameter estimation

External Equivalent. EE 521 Analysis of Power Systems. Chen-Ching Liu, Boeing Distinguished Professor Washington State University

First derivative analysis


ECE602 Exam 1 April 5, You must show ALL of your work for full credit.

Basic Electrical Engineering for Welding [ ] --- Introduction ---

Lie Groups HW7. Wang Shuai. November 2015

PROOF OF FIRST STANDARD FORM OF NONELEMENTARY FUNCTIONS

Supplementary Materials

Transcription:

Ald Mathmatcal Scncs, Vol. 6,, no. 83, 437-446 Foldng of Rgular CW-Comlxs E. M. El-Kholy and S N. Daoud,3. Dartmnt of Mathmatcs, Faculty of Scnc Tanta Unvrsty,Tanta,Egyt. Dartmnt of Mathmatcs, Faculty of Scnc, El-Mnufya Unvrsty Shbn El-Kom, Egyt 3. Dartmnt of Ald Mathmatcs, Faculty of Ald Scnc Tabah Unvrsty, Al-Madnah, Saud Araba sa_na_daoud@yahoo.com Abstract In ths ar w obtand som rlatons btwn th rgular CW-comlx K and ts mag such as homologcal grous, Btt numbrs, Eulr charactrstc and th gnus undr a cllular foldng, a nat cllular foldng, th comoston of two cllular foldngs and fnally th comoston of a cllular foldng and a nat cllular foldng.. Introducton A cllular foldng s a foldng dfnd on rgular CW-comlxs frst dfnd by E. El-Kholy and. Al-Khurasan, [], and varous rorts of ths ty of foldng ar also studd by thm. By a cllular foldng of rgular CWcomlxs, t s mant a cllular ma f : K L whch mas -clls of K to - clls of L and such that f, for ach -cll, s a homomorhsm onto ts mag. Th st of rgular CW-comlxs togthr wth cllular foldngs form a catgory dnotd by C ( K, L. If f C ( K, L ; thn x K s sad to b a sngularty of f ff f s not a local homomorhsm at x. Th st of all sngularts of f s dnotd by f. Ths st corrsonds to th folds of th ma. It s notcd that for a cllular foldng f, th st f of sngularts of f s a ror subst of th unon of clls of dmnsons n. Thus whn w consdr any f C ( K, L,

438 E. M. El-Kholy and S N. Daoud whr K and L ar connctd rgular CW-comlxs of dmnson, th st f wll conssts of -clls, and -clls, ach -cll (vrtx has an vn valncy, [, 3,6]. Of cours, f nd not b connctd. Now a nat cllular n n foldng f : K L s a cllular foldng such that L L conssts of a sngl n- cll, Int L, [4,5]. Th st of rgular CW-comlxs togthr wth nat cllular foldng from a catgory whch s dnotd by N C ( K, L. Ths catgory s a subcatgory of th catgory C ( K, L. Agan f f th st of sngularts of f and ths st corrsonds to th folds of th ma. From now w man by a comlx a rgular CW-comlx.. Man rsults Th followng thorm gvs som rlatons btwn a comlx and ts mag undr a cllular foldng. Thorm.: Lt K and L comlxs of th sam dmnsons n. If ϕ C ( K, L such that ϕ ( K = L K. Thn ( ( K ( L Krϕ, ( ( K = ( L + r k (Kr ϕ, ( χ ( K = χ ( L + ( r k (Kr ϕ, = g ( K = g ( L ( r k ( Kr ϕ (v and = ( = ( ( ( Kr = g K g L r k ϕ comlxs, whr ϕ : ( K ( L s th nducd homomorhsm. n cas of orntabl comlxs,, n cas of non-orntabl Proof: ( Consdr th nducd homomorhsm ϕ : ( K ( L, thr s a short xact squnc ϕ K ϕ Kr ϕ ( Im,

Foldng of rgular CW-comlxs 439 whr s th nducd homomorhsm by th ncluson. Snc ϕ s surjctv w hav Im ϕ ( L and ϕ ([ ] z = ϕ ([ z ] for all z n ( K, hnc th abov squnc wll b tak th form ϕ Kr ϕ ( K ( L. Ths squnc can b slt by th homomorhsm h: ( L ( K such that h( a = ϕ ( a for all a ( L and hnc w hav th rsult. ( From ( w hav ( K ( L Krϕ. Thus rk( ( K = rk( ( L Kr ϕ = rk( ( L + rk(kr ϕ. Thrfor ( K = ( L + rk (Kr ϕ ( Snc ( K = ( L + rk (Kr ϕ for =,,,..., n. Thn ( K = ( L + rk (Kr ϕ ( K = ( L + r k (Kr ϕ M M M n ( K = n ( L + r k (Kr ϕn Thus w hav + + K = + + L + rk φ = χ ( K = χ( L + ( rk (Kr ϕ. = (... ( ( (... ( ( ( (Kr Thrfor (v Snc g = ( x n cas of orntabl comlxs. Thn χ = g. Thus g ( K = g ( L + ( r k (Kr ϕ and hnc = g ( K = g ( L ( r k (Kr ϕ. = In cas of non orantabl comlxs, g = χ.., χ = g Thus g ( x = g ( L + ( r k ( Kr ϕ = Thn g ( K = g ( L ( r k (Kr ϕ. Examl. = (a Consdr th cllular foldng f of a comlx K such that K s a shr nto tslf wth cllular subdvson shown n Fg. (. Th mag of ths ma s a comlx L such that L s a dsc.

44 E. M. El-Kholy and S N. Daoud f K : Z : O : Z Fg. ( Z O O L Kr f Kr f Kr f It s asy to s that th condtons of thorm ( ar satsfd. (b Consdr th cllular foldng g of a comlx K such that K s a tours nto tslf wth cllular subdvson shown n Fg. (. Th mag f ths ma s a comlx L such that L s a cylndr. 3 4 3 K 7 6 g 4 L 6 5 Z : Z : Z Z : Z Kr g Fg.( A gan th condtons of thorm (. ar satsfd. Th followng thorm gvs som rlatons btwn a comlx and ts mag undr a nat cllular foldng.

Foldng of rgular CW-comlxs 44 ( ( Thorm.3: Lt K, L b comlxs of th sam dmnson n. If ϕ NC( K, L such that ϕ ( K = L K. Thn K ( Kr ϕ, ( K = rk (Kr ϕ ( χ ( K = + ( rk (Kr ϕ = (v g K = rk ϕ = and ( ( ( K r =, ncas of orntabl comlxs, g ( K = ( rk (Kr ϕ, ncas of non-orntabl comlxs, whr ϕ : ( K ( L s th nducd homomorhsm. Proof: ( Consdr th nducd homomorhsm ϕ : ( K ( L, thr s a short xact squnc ϕ Kr ϕ ( K Imϕ whr s th nducd homomorhsm by th ncluson. Snc ϕ s surjctv, w hav Im ϕ ( L, but ( L for a nat cllular foldng, hnc th abov squnc wll tak th form Kr ϕ ( K and th roof of ( wll follow thn from th xactnss of th squnc. ( From ( w hav ( K Kr ϕ, Thus rk ( ( K = rk (Kr ϕ, and hnc ( K = rk (Kr ϕ ( Snc ( K = rk (Kr ϕ, =,,..., n Thn ( K = rk (Kr ϕ ( K = rk (Kr ϕ M n ( K = rk (Kr ϕ n

44 E. M. El-Kholy and S N. Daoud Thus ( +... + ( ( K = ( K + ( rk ( Kr ϕ, and hnc χ ( K = + ( rk (K r ϕ =. = (v g = ( χ for orntabl comlxs.., χ = g. Thus w hav g ( K = + ( rk (Kr ϕ = Thn g ( K = ( rk (Kr ϕ, and = g = χ for non-orntabl comlxs..., x = g Thus w hav g ( K = ( rk ( Kr ϕ. = Examl.4 (a Lt K b a comlx such that K s th rojctv lan and th ma f : K L s a nat cllular foldng such that f ( K homomorhc to a dsk. a a K Fg. (3 It s asy to chck that th condtons of thorm ( ar satsfd. (b Consdr a comlx K such that K = T # T, th doubl torus, wth cllular subdvson consstng of tn -clls, twnty -clls and ght -clls. S Fg. (4. Lt f : K K b a nat cllular foldng dfnd by: o o o o o o o f ( 6,..., = ( 4, 5, 3,, and th omttd -clls wll b mad nto tslf. f (, j, k, l, m = (,, 3, 4, 5, whr =,, 3, 4, j =, 9, 5, 6, k = 3, 8, 7, 8, l = 4, 7, 9,, m = 5, 6,, and f ( =, =,..., 8.

Foldng of rgular CW-comlxs 443 5 9 6 7 6 6 5 8 6 7 9 7 8 9 5 f 4 7 K f ( K = L Fg. (4 Th mag f ( K = L, whr L s a dsc wth cllular subdvson consstng of fv -clls, fv -clls and a sngl -cll. Agan th condtons of thorm (.3 ar satsfd. Th followng thorm gvs som rlatons btwn a comlx and ts mag undr th comoston of two cllular foldngs. Thorm.5: Lt K, L and M b comlxs of th sam dmnson n. If f C ( K, L such that f ( K = L K and g C ( L, M such that g ( L = M L. Thn ( g o f C ( M, L and th followng condtons ar satsfd: ( ( K ( M Kr( g o f ( ( K = ( M + rk (Kr( g o f ( χ ( K = χ ( M + ( rk ( Kr ( g o f = g ( K = g ( M ( rk (Kr( g f (v o n cas of orntabl = comlxs and, g ( K = g ( M ( rk (Kr( g o f, n cas of nonorntabl comlxs; = whr ( g of = g o f : ( K ( M s th nducd homomorhsm.

444 E. M. El-Kholy and S N. Daoud Examl.6: Consdr th cllular foldng f of a comlx K such that K s a tours nto tslf wth cllular subdvson shown n Fg. (5. Th mag of ths ma s a comlx L such that L s a cylndr and nto tslf. S Fg. (5. 7 7 9 5 6 7 K 6 4 6 6 f 7 6 L 6 4 g 7 6 6 M 4 Fg. (5 It s asy to chck that th condtons of thorm (.5 ar satsfd. Th followng thorm gvs som rlatons btwn a comlx and ts mag undr comoston of a cllular foldng and a nat cllular foldng. ( ( Thorm.7: Lt K, L and M b comlxs of th sam dmnson n. If f C( K, L such that f ( K = L K, g NC( L, M such that g ( L = M L. Thn g o f N C ( K, M and th followng condtons ar satsfd: K g f ( Kr( o, K = r k g o f ( (Kr( ( x ( K = + ( rk (Kr( g o f = (v g ( K = ( rk (Kr( g o f n cas of orntabl comlxs, and whr = ( = ( (Kr ( = = g K rk g f o n cas of non-orntabl comlxs, ( g of g o f : ( K ( M s th nduc homomorhsm.

Foldng of rgular CW-comlxs 445 Examl.8 : Consdr th comlxs K, L and M such that K, L and M ar tours, cylndr and dsc rsctvly wth cllular subdvson shown n Fg. (6 and lt f C ( K, L, g N C ( L, M 7 3 5 3 4 6 4 f 3 4 6 g K L M Fg. (6 6 It s asy to chck th condtons of thorm (.7 ar satsfd. Rfrncs [] E. M. El-Kholy and Al-Kurasan,. A., Foldng of CW-comlxs, J. Inst. Math & Com. Sc. (Math. Sr., Inda Vol. 4 No.,. 4-48, (99. []. R. Farran, E. El. Kholy and S. A. Robrtson, Foldng a surfac to a olygon, Gomtra Ddcata V. 33,. 55-66, (996. [3] S. A. Robrtson and E. El-Kholy, Toologcal Foldng, commum, Fac. Sc. Unv. Ank. Srs A V. 35,. -7, (986. [4] E. M El-Kholy. and Shahn, R. M., Cllular foldng, J. Inst. Math. & Com. Sc. (Math. Sr. Vol., No. 3,. 77-8, Inda (998.

446 E. M. El-Kholy and S N. Daoud [5] E. M El-Kholy., S.R Lashn and S.N Daoud: Equ- Gauss curvatur foldng, Proc. Indan Acad. Sc.(Math. Sc. Vol.7, No3,.93-3, Inda August (7. [6] A.atchr, Algbrac Toology, Cambrdg Unvrsty rss, London (. Rcvd: March,