WHAT DOES THE CLASSIFYING SPACE OF A CATEGORY CLASSIFY? Introduction. Homology, Homotopy and Applications, vol. 7(1), 2005, pp MICHAEL WEISS
|
|
- Isaac Thomas
- 5 years ago
- Views:
Transcription
1 Homology, Homotopy and Appliations, vol. 7(1), 2005, pp Introdution WHAT DOES THE CLASSIFYING SPACE OF A CATEGORY CLASSIFY? MICHAEL WEISS (ommuniated by Graham Ellis) Abstrat The lassifying spae of a small ategory lassifies sheaves whose values are ontravariant funtors from that ategory to sets and whose stalks are representable. Let C be a small ategory. Contravariant funtors from C to the ategory of sets, and natural transformations between them, will be alled C-sets and C-maps, respetively. The ategory of C-sets shares many good properties with the ategory of sets. (In short, it is a topos. See [4] or [7]. Here we will not make any expliit use of this fat.) The C-sets whih are of the form b mor C (b, ) for fixed C, and any isomorphi ones, are alled representable. By the Yoneda lemma, the representable C-sets form a full subategory of the ategory of all C-sets whih is equivalent to C. We will be onerned with sheaves of C-sets on a topologial spae X. For suh a sheaf, and x X, the stalk F x is again a C-set. It is the diret limit of the C-sets F (U) where U runs through the open neighborhoods of x. Theorem 0.1. The lassifying spae BC lassifies sheaves of C-sets with representable stalks. Notation, terminology, larifiations. Let F be any sheaf of C-sets on X. We may regard F as a ontravariant funtor (, U) F () (U) in two variables (where ob(c) and U is open in X). Speializing one of the variables, we obtain F (), a sheaf of sets on X, and F (U), a C-set. Let L be any sheaf of sets on X. The espae étalé of L, denoted Spé(L ), is the (disjoint) union of the stalks L x, suitably topologized. See [2, II.1, ex.1.13] for details. The sheaf L an be identified with the sheaf of ontinuous (partial) setions of the projetion Spé(L ) X. The projetion Spé(L ) X is an étale map alias loal homeomorphism. [But it happens frequently that X is Hausdorff while Spé(L ) is not.] The onstrution Spé(L ) leads to a good notion of pullbak of sheaves: for a map v : Y X, the Partially supported by the Royal Soiety. Reeived February 4, 2005, revised June 18, 2005; published on November 1, Mathematis Subjet Classifiation: 57T30, 18F20, 18G55 Key words and phrases: ategory, lassifying spae, sheaf, representable funtor 2005, Mihael Weiss. Permission to opy for private use granted.
2 Homology, Homotopy and Appliations, vol. 7(1), pullbak v L is defined in suh a way that Spé(v L ) = v Spé(L ). More generally, for a sheaf F of C-sets on X and v : Y X, the pullbak v F is defined in suh a way that Spé((v F ) () ) = v Spé(F () ). Let F and G be sheaves of C-sets on X, both with representable stalks. Let e 0, e 1 : X X [0, 1] be given by e 0 (x) = (x, 0) and e 1 (x) = (x, 1). The sheaves F and G are onordant if there exists a sheaf of C-sets H on X [0, 1], again with representable stalks, suh that e 0H = F and e 1H = G. The preise meaning of theorem 0.1 is as follows. Suppose that X has the homotopy type of a CW-spae. There is a natural bijetion from the homotopy set [X, BC] to the set of onordane lasses of sheaves of C-sets on X with representable stalks. Remark. Suppose that C is a group. To be more preise, suppose that C has just one objet and mor(, ) is a group. Let F be a sheaf of C-sets on a spae X. If the stalks of F are all representable, then the projetion Spé(F ) X is a prinipal mor(, )-bundle. Indeed any hoie of an open U and s F () (U) determines a bundle hart Spé(F U) = mor(, ) U. In this situation, onordant sheaves of C-sets on X (with representable stalks) are isomorphi, beause onordant implies isomorphi for prinipal mor(, )- bundles. Remark. The question in the title undoubtedly has many orret answers and a few have already been given elsewhere. Moerdijk [7, Introd.] has a result like theorem 0.1 in whih the representability ondition on stalks is replaed by a weaker ondition, that of being prinipal. To explain what a prinipal C-set is, we start with the following standard definitions: The transport ategory of a C-set S has objets (, x) where is an objet of C and x S(). A morphism from (, x) to (d, y) is a morphism g : d in C suh that the indued map S(g): S(d) S() takes y to x. (Some people would all this the opposite of the transport ategory of S.) A ategory D is filtered if it has at least one objet; for any two objets d 1, d 2 in D there exists another objet d 3 and morphisms d 1 d 3, d 2 d 3 ; for any two morphisms in D with the same soure and target, say f, g : a b, there exists a oequalizer (a morphism h: b in D suh that hf = hg). Now a C-set is prinipal if its transport ategory is filtered. (This is not exatly the terminology whih Moerdijk uses. He alls a sheaf of C-sets on X a prinipal C op -bundle if the transport ategory of eah stalk, as defined above, is filtered.) A representable C-set S is ertainly prinipal, sine the transport ategory of S has a terminal objet. The onverse does not hold. For example, suppose that C itself is a filtered ategory whih does not have a terminal objet. Define a C-set S in suh a way that S() has exatly one element, for every objet in C. Then the transport ategory of S is equivalent to C, so S is
3 Homology, Homotopy and Appliations, vol. 7(1), prinipal. But S is not representable, sine a representing objet would be a terminal objet for C. It follows that there exist sheaves of C-sets on some spaes X whih do not satisfy the ondition of theorem 0.1 but whih are prinipal C op -bundles aording to Moerdijk s definition. (Take X to be a point.) Moerdijk [7] takes the disussion muh further by onsidering topologial ategories, whih I have not attempted to do. Another preursor of theorem 0.1 is due to tom Diek (1972, unpublished). He used a notion of C-bundle defined in terms of a bundle atlas. His result was redisovered in [5, thm 4.1.2]. Theorem 0.1 is antiipated and illustrated to some extent in [6]. 1. The anonial sheaf on BC We are going to onstrut a sheaf E of C-sets on BC whih will eventually turn out to be universal. Reall to begin with that BC is the geometri realization of the simpliial set whose n-simplies are the ontravariant funtors [n] C, where [n] is the linearly ordered set {0, 1, 2,..., n}. (There are historial reasons for insisting on ontravariant funtors [n] C; the formulae for boundary operators look more familiar in the ase where C is a group or monoid.) Now suppose that U is open in BC and is an objet of C. Definition 1.1. An element of E () (U) is a funtion whih to every α: [n] op C and x B[n] op = n with α x U assigns a morphism s(α, x): α(0) in C. The funtion is required to be loally onstant in the seond variable, so that for y n suffiiently lose to x, with α y U, we have s(α, y) = s(α, x); natural in the first variable. That is, for an order-preserving g : [m] [n] and y m, we have s(α, g y) = α(0, g(0)) s(αg, y) where α(0, g(0)): α(g(0)) α(0) is the morphism in C indued by the unique morphism 0 g(0) in [n]. The ontravariant dependene of E () (U) on U and is obvious. The sheaf property is also obvious. Beause of the naturality ondition, an element s of E () (U) is determined by its values s(α, x) for nondegenerate α: [n] op C and x n n. Then α and x are determined by α x U; in partiular n is the dimension of the ell (in the anonial CW-deomposition of BC) to whih α x belongs. (Regarding ells, the onvention used here is that the ells of a CW-spae are pairwise disjoint, and eah ell is homeomorphi to some eulidean spae. This is in agreement with [1], for example.) Lemma 1.2. Fix a nondegenerate β : [m] op C and y m m. The stalk of E at β y is the ontravariant funtor mor(, β(0)). Proof. Any point of BC an be uniquely written as α z where α: [n] op C is nondegenerate and z n n. If α z is suffiiently lose to β y, then some
4 Homology, Homotopy and Appliations, vol. 7(1), degeneray of β will be a fae of α. That is, there are an order-preserving surjetion f : [k] [m] and an order-preserving injetion g : [k] [n] suh that αg = βf. And moreover, there will be w k suh that f w = y and z is lose to g w. For s in the stalk of E () at β y BC, we then have s(α, z) = s(α, g w) = α(0, g(0)) s(αg, w), s(αg, w) = s(βf, w) = s(β, f w) = s(β, y), so that s(α, z) = α(0, g(0)) s(β, y). Hene s is determined by s(β, y) mor(, β(0)). To establish the existene of a germ s with presribed value s(β, y), we proeed differently. Suppose indutively that the values of s at points near β y and in the (n 1)-skeleton of BC have already been determined onsistently, for some fixed n > m. For an n-simplex α: [n] op C we have an attahing map from n to the (n 1)-skeleton of BC. Hene s(α, x) is already determined for x in some open subset V of n. As a funtion on V, denoted informally s V, it satisfies the ontinuity and naturality onditions of definition 1.1 (mutatis mutandis). We now have to find an open W n suh that V = W n and an extension of s V from V to W. This is easy. For example, n an be identified with a one on n and W ould then be defined as the one on V minus the one point. Then s V has a unique extension from V to W. For an objet of C, let ( C) be the under ategory assoiated with. The objets of ( C) are the morphisms in C with soure, and the morphisms of ( C) are morphisms in C under. The lassifying spae B( C) is ontratible sine ( C) has an initial objet. The forgetful map B( C) BC has a anonial fatorization B( C) λ Spé(E () ) proj. BC. Indeed, any point of BC an be uniquely written as α z where α: [n] op C is nondegenerate and z n n. Lifting α z to B( C) amounts to speifying a morphism α(n) in C; lifting α z to Spé(E () ) amounts to speifying a morphism α(0) in C. Clearly a morphism α(n) determines a morphism α(0) by omposition with α(0, n): α(n) α(0). The map λ will be useful in the proof of Proposition 1.3. The spae Spé(E () ) is weakly ontratible. Proof. Let BC be the fat realization of the nerve of C, obtained by ignoring the degeneray operators. The quotient map q : BC BC is a quasifibration with ontratible fibers. To see this, note that the fat realization of any simpliial set Z an be desribed as the ordinary realization of another simpliial set Z whose n- simplies are triples (k, f, x) where x Z k and f : [n] [k] is an order-preserving surjetion. The forgetful simpliial map Z Z is a Kan fibration with ontratible fibers; hene the indued map of (lean) geometri realizations, Z Z, is a quasifibration with ontratible fibers. See [3]. Let E = Spé(E () ), let r : E BC be the projetion, and let Ē = q E. In the
5 Homology, Homotopy and Appliations, vol. 7(1), pullbak square r q r Ē B q r E B the map q is a quasifibration with ontratible fibers and r is a loal homeomorphism. It follows that r q is a quasifibration with ontratible fibers, and onsequently a weak homotopy equivalene. It remains to prove that Ē is ontratible, or equivalently, that the anonial map λ : B( C) Ē, the fat version of λ, is a weak homotopy equivalene. Suppose therefore that Y is any finitely generated -set (= simpliial set without degeneray operators ) and let f : Y Ē be any map. We want to show that, up to a homotopy, f lifts to B( C). The argument has two parts. (i) If rf : Y B is indued by a map of the underlying -sets, then f admits a unique fatorization through B( C). (ii) Modulo iterated baryentri subdivision of Y, and a homotopy of f, the omposition rf is indeed indued by a map of the underlying -sets. For the proof of (i), we may assume that Y is generated by a single n-simplex, so Y = n. Suppose that rf : n BC is the harateristi map of an n-simplex α: [n] op C in the nerve of C. The extra information ontained in f amounts to ompatible morphisms u i : α(i) for i = 0, 1,..., n; learly all u i are determined by u n. Together, u n and α determine an n-simplex in the nerve of ( C). For the proof of (ii), we note that the first baryentri subdivision of BC an be desribed as BC for another ategory C. An objet of C is a simplex of the nerve of C; a morphism from an m-simplex α to an n-simplex β is an injetive order-preserving v : [m] [n] with v β = α. The funtor C C given by α α(0) indues a -map from the nerve of C to the nerve of C, and then a map ϕ 1 : BC BC. This map is not a homeomorphism. There is of ourse another (well-known) map ϕ 0 : BC BC whih is a homeomorphism. What is important here is that ϕ 0 and ϕ 1 are homotopi in an obvious way, by a homotopy (ϕ t ) t [0,1]. (Eah trak of the homotopy is a straight line segment, or a single point, in a simplex of BC.) The homotopy (ϕ t ϕ 1 0 ) t [0,1], from the identity of BC to ϕ 1 ϕ 1 0, has a unique lift to a homotopy (ψ t : Ē [0, 1] Ē) t [0,1] with ψ 0 = id. (To verify this laim, ompare the pullbaks of Ē under the maps BC [0, 1] ϕϕ 1 0 BC, BC [0, 1] proj. BC. They are homeomorphi as spaes over BC [0, 1].) We an similarly look at iterated
6 Homology, Homotopy and Appliations, vol. 7(1), baryentri subdivisions of BC. They all have two anonial maps ϕ 0, ϕ 1 BC, one being a homeomorphism and the other being simpliial, and these two maps are homotopi by a homotopy (ϕ t ) t [0,1]. Again, the homotopy (ϕ t ϕ 1 0 ) t [0,1] has a unique lift to a homotopy (ψ t : Ē [0, 1] Ē) t [0,1] with ψ 0 = id. Coming bak now to maps Y Ē, any suh map is homotopi to a map f suh that rf is indued by a -map from some iterated baryentri subdivision of Y to some iterated baryentri subdivision of the nerve of C. Compose f with ψ 1 from the above homotopy. Then rψ 1 f is indued by a -map from Y to the nerve of C. 2. Resolutions The previous setion gives us a method to onvert a map f : X BC into a sheaf of C-sets on X with representable stalks, by f f E C. Going in the opposite diretion is more diffiult. From a sheaf F of C-sets on X, we shall onstrut a resolution p F : X F X and a map π F : X F BC. It turns out that p F is a homotopy equivalene if F has representable stalks and X is a CW-spae. Then we an hoose a homotopy inverse p 1 F and obtain a map π F p 1 : X BC, well F defined up to homotopy. Let O(X) be the poset of open subsets of a spae X, ordered by inlusion. Let F be a sheaf of C-sets on X. We an regard F as a ontravariant funtor from O(X) C to sets. The funtor F determines a transport ategory T F whose objets are the triples (U,, s) onsisting of an objet U in O(X), an objet in C, and s F () (U). A morphism from (U,, s) to (V, d, t) is a morphism U V in O(X) together with a morphism f : d in C suh that f (t) U = s. Let τ be the tautologial funtor (taking U O(X) to the spae U) from O(X) to spaes, and let ϕ: T F O(X) be the forgetful funtor. Put X F := τϕ. This omes with a anonial projetion p F : X F X, indued by the obvious natural inlusions τϕ(u,, s) X. There is also a projetion X F BT F whih we an ompose with the forgetful map BT F BC. This gives π F : X F BC. Proposition 2.1. If F has representable stalks, then the projetion p F : X F X is a weak homotopy equivalene. The proof relies on a few lemmas whih in turn rely on the notion of a mirofibration. Reall that a map p: E B is a Serre fibration if it has the homotopy lifting property for homotopies X [0, 1] B, with presribed initial lift X E, where X is a CW-spae. [It is enough to hek this in all ases where X is a disk.] A map p: E B is a Serre mirofibration if, for any homotopy h: X [0, 1] B with presribed initial lift h 0 : X E, there exist a neighborhood U of X {0} in X [0, 1] and a map h: U E suh that p h = h U and h(x, 0) = h 0 (x) for all x X. In that ase the map h is a mirolift of h. [Again it is enough to hek the miro-lifting property in all ases where X is a disk.]
7 Homology, Homotopy and Appliations, vol. 7(1), Lemma 2.2. Let p: E B be a Serre mirofibration. If p has weakly ontratible fibers, then it is a Serre fibration. Notes on the proof. This is essentially due to G. Segal [8, A.2]. The hypotheses here are slightly more general, though. There is a short indutive argument as follows. The indution step onsists in showing that if p: E B is a Serre mirofibration with ontratible fibers, then so is the projetion p I : E I B I. Here I = [0, 1], and the mapping spaes E I = map(i, E) and B I = map(i, B) ome with the ompatopen topology. The Serre mirofibration property for p I is obvious, so it is enough to establish the weak ontratibility of the fibers of p I. Suppose therefore given a map γ : I B and a map f : S n I E whih overs γ, so that pf(z, t) = γ(t) for z S n and t I. We must extend f to a map g : D n+1 I E whih overs γ. But that is easy: Use a suffiiently fine subdivision of I into subintervals [a r, a r+1 ] so that partial extensions g r : D n+1 [a r, a r+1 ] E of f an be onstruted, with pg r (z, t) = γ(t) for z D n+1 and t [a r, a r+1 ]. Then improve g r if neessary, on a small neighborhood of D n+1 {a r } in D n+1 [a r, a r+1 ], to ensure that g r (z, a r ) = g r 1 (z, a r ) for z D n+1. The indution beginning onsists in showing that p has the path lifting property. (That is, given a path γ : I B and a E with p(a) = γ(0), there exists a path ω : I E with pω = γ and ω(0) = a.) But that is also easy. Lemma 2.3. Let τ be the tautologial funtor from O(X) to spaes and let K be a ompat subset of τ. Then there exist a finite full sub-poset P O(X) and a subfuntor κ of τ P with ompat values suh that K κ. Remarks. The fullness assumption means that U, V P and U V imply U V in P. By a subfuntor κ of τ P is meant a seletion of subspaes κ(u) τ(u) = U, one for eah U P, suh that κ(v ) κ(u) if V U in P. The lemma is losely related to an observation for whih I am indebted to Larry Taylor: The mapping ylinder C of the inlusion of the open unit interval in the losed unit interval is not homeomorphi to a subset of [0, 1] 2. This is easy to verify, although surprising. The two endpoints of the losed unit interval, viewed as elements of the mapping ylinder C, don t have ountable neighborhood bases; hene C is not even metrizable. Equally surprising, and more to the point, is the following. Let K be a ompat subset of C. Then there exists a ompat subinterval L of the open unit interval suh that K is ontained in the mapping ylinder of the inlusion L [0, 1]. For the proof, exhaust the open unit interval by an asending sequene of ompat subintervals L i. Suppose if possible that for eah i there exists x i K whih is not ontained in the mapping ylinder of the inlusion L i [0, 1]. Then the x i form an infinite disrete losed subset of K, whih ontradits the ompatness of K. Proof of lemma 2.3. The lassifying spae BO(X) is a simpliial omplex. This has one n-simplex for eah subset of O(X) of the form {U 0, U 1,..., U n } where U i 1 is a proper subset of U i, for i {1, 2,..., n}. The image of C under the projetion
8 Homology, Homotopy and Appliations, vol. 7(1), τ BO(X) is ontained in a ompat simpliial subomplex BO(X), and without loss of generality we an assume that the subomplex has the form BP for a finite full sub-poset P of O(X). For eah simplex S of BP, let e(s) BP be the ell determined by S, so that e(s) is loally losed in BP and BP is the disjoint union (but not the oprodut in general) of the e(s) for the simplies S of BP. Let U(S) be the smallest of the open sets orresponding to the verties of S. The inverse image of e(s) for the projetion τ BO(X) is identified with e(s) U(S). Its intersetion with K is ontained in a subset of the form e(s) L(S), where L(S) U(S) is ompat. (This an be proved as in the remark just above.) Choose suh an L(S) for every simplex S in BP. For an element U of P let κ(u) := L(S). S with U(S) U Then κ(v ) κ(u) for V, U P with V U, and eah κ(u) is ompat. Corollary 2.4. The projetion p F : X F X is a Serre mirofibration. Proof. Write p = p F. Let q : X F BT F be the standard projetion (from the homotopy olimit to the lassifying spae of the indexing ategory). As we just disovered, the formula y (p(y), q(y)) need not define an embedding of X F in X BT F, but it ertainly defines an injetive map and we an use that to label elements of X F. In partiular, let h: D i [0, 1] X be a homotopy with an initial lift H 0 : D i X F, so that h(z, 0) = ph 0 (z). We need to find ε > 0 and a map H : D i [0, ε] X F suh that ph = h on D i [0, 1] and H(z, 0) = H 0 (z) for z D i. The plan is to define H in suh a way that (ph(z, t), qh(z, t)) = (h(z, t), qh 0 (z)), for (z, t) D i [0, ε], whih means that qh : D i [0, 1] BT F is a onstant homotopy. By lemma 2.3, the plan is sound, giving a well defined and ontinuous map D i [0, ε] X F for suffiiently small ε. Lemma 2.5. The projetion p F : X F X has ontratible fibers. Proof. The fiber over x X is identified with the homotopy olimit of the (ontravariant, set-valued) funtor (U, ) F () (U) where U runs through the open subsets of X ontaining x, and runs through the objets of C. By a well-known Fubini priniple for homotopy olimits, it is homotopy equivalent to the double homotopy olimit U x F () (U).
9 Homology, Homotopy and Appliations, vol. 7(1), In this expression the inside homotopy olimit is a homotopy olimit of sets (i.e., disrete spaes) taken over a direted poset, and therefore the anonial map U x is a homotopy equivalene. Therefore U x F () (U) olim U x F () (U) F () (U) F () x where F x () is the stalk of F () at x. But the stalk funtor F x is representable by assumption. The homotopy olimit of a representable funtor is ontratible. Proof of proposition 2.1. Apply lemma 2.2 and note that a Serre fibration with weakly ontratible fibers is a weak homotopy equivalene. 3. Classifiation of sheaves up to onordane Lemma 3.1. Let F 0 and F 1 be two sheaves of C-sets on X, both with representable stalks. Let g : F 0 F 1 be a binatural transformation. Then F 0 and F 1 are onordant. Proof. Let e 0 : X X I be given by e 0 (x) = (x, 0) and let p: X I X be the projetion. For an objet in C and an open subset U of X [0, 1], let U 0 = e 1 0 (U) and let G () (U) be the set of pairs (s, t) F 0 (U 0 ) p F 1 (U) suh that gs = e 0t. Now G is a sheaf of C-sets on X I with representable stalks. Its restritions to X {0} and X {1} are identified with F 0 and F 1, respetively. Corollary 3.2 (to proposition 2.1 and lemma 3.1). Let F be a sheaf of C-sets on X with representable stalks. Suppose that X is a CW-spae. Then π F p 1 F : X BC is a lassifying map for F. That is, (π F p 1 F ) E is onordant to F, with E as in definition 1.1. Proof. Abbreviate p = p F, π = π F. It is enough to show that the sheaves π E and p E on X F are onordant. By lemma 3.1, it is then also enough to make a map from π E to p F. That is what we will do, using the étale point of view. Therefore let z X F. We need to ompare the stalk of F at p(z) X with the stalk of E at π(z) BC. The point z maps to some ell in BT F whih orresponds to a nondegenerate diagram (U 0, 0 ) (U 1, 1 ) (U k 1, k 1 ) (U k, k ) in O(X) C, with p(z) U k, and an element s 0 F ( 0) (U 0 ). The stalk of E at π(z) is then represented by the objet 0. The germ of s 0 near p(z) amounts to a morphism from 0 to the objet whih represents the stalk of F at p(z); equivalently, by the Yoneda lemma, s 0 determines a C-map from the stalk of E at π(z) to the stalk of F at p(z). Letting z vary now, and seleting an objet in C, we obtain a map over X F from Spé(π E () ) to Spé(p F () ). This is ontinuous (verifiation left
10 Homology, Homotopy and Appliations, vol. 7(1), to the reader) and natural in, and therefore amounts to a map between sheaves of C-sets on X F, from π E to p F. Proof of theorem 0.1. Suppose that X is a CW-spae. Let g : X BC be any map and put F = g E. We have to show that g is homotopi to πp 1, where π = π F and p = p F. We note that X F also has the homotopy type of a CW-spae sine it is a homotopy olimit of open subsets of X (all of whih have the homotopy type of CW-spaes). Hene p is a homotopy equivalene. Therefore, showing g πp 1 amounts to showing that gp π. Now reall that X F was onstruted as the homotopy olimit of a funtor τϕ from a ertain ategory T F with objets (U,, s) to the ategory of spaes. The maps gp: X F BC and π : X F BC both have a fatorization of the following kind: (U,,s) U v Spé(E () ) w BC. Here v is (in both ases) indued by a natural transformation from the funtor (U,, s) U to the funtor (U,, s) Spé(E () ), given by the maps U Spé(E () ) ; x (x, s). In the ase of gp, the seond map w = w 0 in the fatorization is determined by the projetions Spé(E () ) BC. In the ase of π, the map w = w 1 is the omposition of the projetion to BT F and the forgetful map BT F BC. Consequently it is now suffiient to show that w 0 and w 1 are weakly homotopi, whih is to say, w 0 f w 1 f for any map f from a CW-spae to the ommon soure of w 0 and w 1. It is enough to hek this for a partiular f whih is a weak equivalene. A good hoie of suh an f is the map B( C) Spé(E () ) indued by the natural maps λ : B( C) Spé(E () ). By proposition 1.3, this f is indeed a weak homotopy equivalene. The maps w 0 f and w 1 f are easily seen to be homotopi. Indeed, eah ( C) has two obvious funtors two C, one given by ( d) d and the other by ( d). These are related by a natural transformation, whih determines a homotopy h () between the indued maps B( C) to BC. Integrating the homotopies h () one obtains a homotopy w 0 f w 1 f. Referenes [1] A. Dold, Letures on algebrai topology, Grundlehren, Springer, [2] R. Hartshorne, Algebrai geometry, Graduate Texts in Mathematis, Springer, [3] J.P.May, Simpliial objets in algebrai topology, Chiago Letures in Math., Univ. of Chiago Press, [4] S. Ma Lane and I. Moerdijk, Sheaves in geometry and logi, Springer, 1992.
11 Homology, Homotopy and Appliations, vol. 7(1), [5] I. Madsen and M. Weiss, The stable moduli spae of Riemann surfaes: Mumford s onjeture, preprint, arxiv:math.at/ , v3, [6] I. Madsen and M. Weiss, The stable mapping lass group and stable homotopy theory, Proeedings of 2004 European Cong. of Maths. in Stokholm, European Math. So., [7] I. Moerdijk, Classifying spaes and lassifying topoi, Leture Notes in Math., vol. 1616, Springer, [8] G. B. Segal, Classifying spaes related to foliations, Topology 17 (1978), This artile is available at Mihael Weiss Dept. of Mathematis, University of Aberdeen, AB24 3UE United Kingdom m.weiss@maths.abdn.a.uk
LECTURE 22: MAPPING DEGREE, POINCARE DUALITY
LECTURE 22: APPING DEGREE, POINCARE DUALITY 1. The mapping degree and its appliations Let, N be n-dimensional onneted oriented manifolds, and f : N a proper map. (If is ompat, then any smooth map f : N
More informationarxiv:math/ v1 [math.ca] 27 Nov 2003
arxiv:math/011510v1 [math.ca] 27 Nov 200 Counting Integral Lamé Equations by Means of Dessins d Enfants Sander Dahmen November 27, 200 Abstrat We obtain an expliit formula for the number of Lamé equations
More informationarxiv: v2 [cs.dm] 4 May 2018
Disrete Morse theory for the ollapsibility of supremum setions Balthazar Bauer INRIA, DIENS, PSL researh, CNRS, Paris, Frane Luas Isenmann LIRMM, Université de Montpellier, CNRS, Montpellier, Frane arxiv:1803.09577v2
More informationOrdered fields and the ultrafilter theorem
F U N D A M E N T A MATHEMATICAE 59 (999) Ordered fields and the ultrafilter theorem by R. B e r r (Dortmund), F. D e l o n (Paris) and J. S h m i d (Dortmund) Abstrat. We prove that on the basis of ZF
More informationA Characterization of Wavelet Convergence in Sobolev Spaces
A Charaterization of Wavelet Convergene in Sobolev Spaes Mark A. Kon 1 oston University Louise Arakelian Raphael Howard University Dediated to Prof. Robert Carroll on the oasion of his 70th birthday. Abstrat
More informationThe perverse t-structure
The perverse t-struture Milan Lopuhaä Marh 15, 2017 1 The perverse t-struture The goal of today is to define the perverse t-struture and perverse sheaves, and to show some properties of both. In his talk
More informationWe will show that: that sends the element in π 1 (P {z 1, z 2, z 3, z 4 }) represented by l j to g j G.
1. Introdution Square-tiled translation surfaes are lattie surfaes beause they are branhed overs of the flat torus with a single branhed point. Many non-square-tiled examples of lattie surfaes arise from
More informationThe Hanging Chain. John McCuan. January 19, 2006
The Hanging Chain John MCuan January 19, 2006 1 Introdution We onsider a hain of length L attahed to two points (a, u a and (b, u b in the plane. It is assumed that the hain hangs in the plane under a
More informationLECTURE NOTES FOR , FALL 2004
LECTURE NOTES FOR 18.155, FALL 2004 83 12. Cone support and wavefront set In disussing the singular support of a tempered distibution above, notie that singsupp(u) = only implies that u C (R n ), not as
More informationPacking Plane Spanning Trees into a Point Set
Paking Plane Spanning Trees into a Point Set Ahmad Biniaz Alfredo Garía Abstrat Let P be a set of n points in the plane in general position. We show that at least n/3 plane spanning trees an be paked into
More informationNonreversibility of Multiple Unicast Networks
Nonreversibility of Multiple Uniast Networks Randall Dougherty and Kenneth Zeger September 27, 2005 Abstrat We prove that for any finite direted ayli network, there exists a orresponding multiple uniast
More informationthe following action R of T on T n+1 : for each θ T, R θ : T n+1 T n+1 is defined by stated, we assume that all the curves in this paper are defined
How should a snake turn on ie: A ase study of the asymptoti isoholonomi problem Jianghai Hu, Slobodan N. Simić, and Shankar Sastry Department of Eletrial Engineering and Computer Sienes University of California
More informationNOTES ON GROUPOIDS, IMAGINARIES AND INTERNAL COVERS
NOTES ON GROUPOIDS, IMAGINARIES AND INTERNAL COVERS OLEG CHTERENTAL April 30, 2009 These notes are an exposition of the beginning of Ehud Hrushovski s paper Groupoids, Imaginaries and Internal Covers.
More informationModal Horn Logics Have Interpolation
Modal Horn Logis Have Interpolation Marus Kraht Department of Linguistis, UCLA PO Box 951543 405 Hilgard Avenue Los Angeles, CA 90095-1543 USA kraht@humnet.ula.de Abstrat We shall show that the polymodal
More informationHankel Optimal Model Order Reduction 1
Massahusetts Institute of Tehnology Department of Eletrial Engineering and Computer Siene 6.245: MULTIVARIABLE CONTROL SYSTEMS by A. Megretski Hankel Optimal Model Order Redution 1 This leture overs both
More informationIndian Institute of Technology Bombay. Department of Electrical Engineering. EE 325 Probability and Random Processes Lecture Notes 3 July 28, 2014
Indian Institute of Tehnology Bombay Department of Eletrial Engineering Handout 5 EE 325 Probability and Random Proesses Leture Notes 3 July 28, 2014 1 Axiomati Probability We have learned some paradoxes
More informationCOALGEBRAS, BRAIDINGS, AND DISTRIBUTIVE LAWS
COALGEBRAS, BRAIDINGS, AND DISRIBUIVE LAWS SEFANO KASANGIAN, SEPHEN LACK, AND ENRICO M. VIALE o Aurelio Carboni on his 60th birthday ABSRAC. We show, for a monad, that oalgebra strutures on a -algebra
More informationThe Erwin Schrödinger International Boltzmanngasse 9 Institute for Mathematical Physics A-1090 Wien, Austria
ESI The Erwin Shrödinger International Boltzmanngasse 9 Institute for Mathematial Physis A-1090 Wien, Austria Moduli Spaes of Holomorphi Triples over Compat Riemann Surfaes Steven B. Bradlow Osar Garia-Prada
More informationMethods of evaluating tests
Methods of evaluating tests Let X,, 1 Xn be i.i.d. Bernoulli( p ). Then 5 j= 1 j ( 5, ) T = X Binomial p. We test 1 H : p vs. 1 1 H : p>. We saw that a LRT is 1 if t k* φ ( x ) =. otherwise (t is the observed
More informationTHE l-primary TORSION CONJECTURE FOR ABELIAN SURFACES WITH REAL MULTIPLICATION
THE l-primary TORSION CONJECTURE FOR ABELIAN SURFACES WITH REAL MULTIPLICATION ANNA CADORET Abstrat. We prove that the Bombieri-Lang onjeture implies the l-primary torsion onjeture for abelian surfaes
More informationAfter the completion of this section the student should recall
Chapter I MTH FUNDMENTLS I. Sets, Numbers, Coordinates, Funtions ugust 30, 08 3 I. SETS, NUMERS, COORDINTES, FUNCTIONS Objetives: fter the ompletion of this setion the student should reall - the definition
More informationDiscrete Bessel functions and partial difference equations
Disrete Bessel funtions and partial differene equations Antonín Slavík Charles University, Faulty of Mathematis and Physis, Sokolovská 83, 186 75 Praha 8, Czeh Republi E-mail: slavik@karlin.mff.uni.z Abstrat
More informationChapter 8 Hypothesis Testing
Leture 5 for BST 63: Statistial Theory II Kui Zhang, Spring Chapter 8 Hypothesis Testing Setion 8 Introdution Definition 8 A hypothesis is a statement about a population parameter Definition 8 The two
More informationarxiv:math/ v4 [math.ca] 29 Jul 2006
arxiv:math/0109v4 [math.ca] 9 Jul 006 Contiguous relations of hypergeometri series Raimundas Vidūnas University of Amsterdam Abstrat The 15 Gauss ontiguous relations for F 1 hypergeometri series imply
More informationOn Component Order Edge Reliability and the Existence of Uniformly Most Reliable Unicycles
Daniel Gross, Lakshmi Iswara, L. William Kazmierzak, Kristi Luttrell, John T. Saoman, Charles Suffel On Component Order Edge Reliability and the Existene of Uniformly Most Reliable Uniyles DANIEL GROSS
More informationEDGE-DISJOINT CLIQUES IN GRAPHS WITH HIGH MINIMUM DEGREE
EDGE-DISJOINT CLIQUES IN GRAPHS WITH HIGH MINIMUM DEGREE RAPHAEL YUSTER Abstrat For a graph G and a fixed integer k 3, let ν k G) denote the maximum number of pairwise edge-disjoint opies of K k in G For
More information(q) -convergence. Comenius University, Bratislava, Slovakia
Annales Mathematiae et Informatiae 38 (2011) pp. 27 36 http://ami.ektf.hu On I (q) -onvergene J. Gogola a, M. Mačaj b, T. Visnyai b a University of Eonomis, Bratislava, Slovakia e-mail: gogola@euba.sk
More informationarxiv:math.co/ v1 2 Aug 2006
A CHARACTERIZATION OF THE TUTTE POLYNOMIAL VIA COMBINATORIAL EMBEDDINGS OLIVIER BERNARDI arxiv:math.co/0608057 v1 2 Aug 2006 Abstrat. We give a new haraterization of the Tutte polynomial of graphs. Our
More informationSome GIS Topological Concepts via Neutrosophic Crisp Set Theory
New Trends in Neutrosophi Theory and Appliations A.A.SALAMA, I.M.HANAFY, HEWAYDA ELGHAWALBY 3, M.S.DABASH 4,2,4 Department of Mathematis and Computer Siene, Faulty of Sienes, Port Said University, Egypt.
More informationComputer Science 786S - Statistical Methods in Natural Language Processing and Data Analysis Page 1
Computer Siene 786S - Statistial Methods in Natural Language Proessing and Data Analysis Page 1 Hypothesis Testing A statistial hypothesis is a statement about the nature of the distribution of a random
More informationAdvanced Computational Fluid Dynamics AA215A Lecture 4
Advaned Computational Fluid Dynamis AA5A Leture 4 Antony Jameson Winter Quarter,, Stanford, CA Abstrat Leture 4 overs analysis of the equations of gas dynamis Contents Analysis of the equations of gas
More informationA Variational Definition for Limit and Derivative
Amerian Journal of Applied Mathematis 2016; 4(3): 137-141 http://www.sienepublishinggroup.om/j/ajam doi: 10.11648/j.ajam.20160403.14 ISSN: 2330-0043 (Print); ISSN: 2330-006X (Online) A Variational Definition
More informationMaximum Entropy and Exponential Families
Maximum Entropy and Exponential Families April 9, 209 Abstrat The goal of this note is to derive the exponential form of probability distribution from more basi onsiderations, in partiular Entropy. It
More informationSOME PROPERTIES OF LOCALLY CONFORMAL SYMPLECTIC MANIFOLDS
SOME PROPERTIES OF LOCALLY CONFORMAL SYMPLECTIC MANIFOLDS STEFAN HALLER Abstrat. The aim of this note is to give an overview of what loally onformal sympleti manifolds are and to present some results,
More informationSQUARE ROOTS AND AND DIRECTIONS
SQUARE ROOS AND AND DIRECIONS We onstrut a lattie-like point set in the Eulidean plane that eluidates the relationship between the loal statistis of the frational parts of n and diretions in a shifted
More informationSurface group representations, Higgs bundles, and holomorphic triples
Surfae group representations, Higgs bundles, and holomorphi triples Steven B. Bradlow 1,2 Department of Mathematis, University of Illinois, Urbana, IL 61801, USA E-mail: bradlow@math.uiu.edu Osar Garía
More informationLecture 3 - Lorentz Transformations
Leture - Lorentz Transformations A Puzzle... Example A ruler is positioned perpendiular to a wall. A stik of length L flies by at speed v. It travels in front of the ruler, so that it obsures part of the
More informationSome Properties on Nano Topology Induced by Graphs
AASCIT Journal of anosiene 2017; 3(4): 19-23 http://wwwaasitorg/journal/nanosiene ISS: 2381-1234 (Print); ISS: 2381-1242 (Online) Some Properties on ano Topology Indued by Graphs Arafa asef 1 Abd El Fattah
More informationJournal of Inequalities in Pure and Applied Mathematics
Journal of Inequalities in Pure and Applied Mathematis A NEW ARRANGEMENT INEQUALITY MOHAMMAD JAVAHERI University of Oregon Department of Mathematis Fenton Hall, Eugene, OR 97403. EMail: javaheri@uoregon.edu
More informationCOMPARISON OF GEOMETRIC FIGURES
COMPARISON OF GEOMETRIC FIGURES Spyros Glenis M.Ed University of Athens, Department of Mathematis, e-mail spyros_glenis@sh.gr Introdution the figures: In Eulid, the geometri equality is based on the apability
More informationComplexity of Regularization RBF Networks
Complexity of Regularization RBF Networks Mark A Kon Department of Mathematis and Statistis Boston University Boston, MA 02215 mkon@buedu Leszek Plaskota Institute of Applied Mathematis University of Warsaw
More informationCounting Idempotent Relations
Counting Idempotent Relations Beriht-Nr. 2008-15 Florian Kammüller ISSN 1436-9915 2 Abstrat This artile introdues and motivates idempotent relations. It summarizes haraterizations of idempotents and their
More informationCMSC 451: Lecture 9 Greedy Approximation: Set Cover Thursday, Sep 28, 2017
CMSC 451: Leture 9 Greedy Approximation: Set Cover Thursday, Sep 28, 2017 Reading: Chapt 11 of KT and Set 54 of DPV Set Cover: An important lass of optimization problems involves overing a ertain domain,
More informationA Functional Representation of Fuzzy Preferences
Theoretial Eonomis Letters, 017, 7, 13- http://wwwsirporg/journal/tel ISSN Online: 16-086 ISSN Print: 16-078 A Funtional Representation of Fuzzy Preferenes Susheng Wang Department of Eonomis, Hong Kong
More informationarxiv:physics/ v1 [physics.class-ph] 8 Aug 2003
arxiv:physis/0308036v1 [physis.lass-ph] 8 Aug 003 On the meaning of Lorentz ovariane Lszl E. Szab Theoretial Physis Researh Group of the Hungarian Aademy of Sienes Department of History and Philosophy
More informationMath 225B: Differential Geometry, Homework 6
ath 225B: Differential Geometry, Homework 6 Ian Coley February 13, 214 Problem 8.7. Let ω be a 1-form on a manifol. Suppose that ω = for every lose urve in. Show that ω is exat. We laim that this onition
More informationLecture 7: Sampling/Projections for Least-squares Approximation, Cont. 7 Sampling/Projections for Least-squares Approximation, Cont.
Stat60/CS94: Randomized Algorithms for Matries and Data Leture 7-09/5/013 Leture 7: Sampling/Projetions for Least-squares Approximation, Cont. Leturer: Mihael Mahoney Sribe: Mihael Mahoney Warning: these
More informationarxiv:physics/ v4 [physics.gen-ph] 9 Oct 2006
The simplest derivation of the Lorentz transformation J.-M. Lévy Laboratoire de Physique Nuléaire et de Hautes Energies, CNRS - IN2P3 - Universités Paris VI et Paris VII, Paris. Email: jmlevy@in2p3.fr
More informationNotes on the bicategory of W*-bimodules
Submitted to Journal of the Mathematial Soiety of Japan Notes on the biategory of W*-bimodules By Yusuke Sawada and Shigeru Yamagami (Reeived July 6, 2017) (Revised Jan. 17, 2018) Abstrat. Categories of
More informationEstimating the probability law of the codelength as a function of the approximation error in image compression
Estimating the probability law of the odelength as a funtion of the approximation error in image ompression François Malgouyres Marh 7, 2007 Abstrat After some reolletions on ompression of images using
More informationA Logic of Local Graph Shapes
CTIT Tehnial Report TR CTIT 03 35, University of Twente, 2003 A Logi of Loal Graph Shapes Arend Rensink Department of Computer Siene, University of Twente P.O.Box 27, 7500 AE, The Netherlands rensink@s.utwente.nl
More informationarxiv:math/ v1 [math.ac] 10 Mar 2005
arxiv:math/0503187v1 [math.ac] 10 Mar 2005 STANLEY REISNER RINGS WITH LARGE MULTIPLICITIES ARE COHEN MACAULAY NAOKI TERAI AND KEN-ICHI YOSHIDA Abstrat. We prove that ertain lass of Stanley Reisner rings
More informationTwo-parametric PT-symmetric quartic family
Two-parametri PT-symmetri quarti family Alexandre Eremenko and Andrei Gabrielov Otober 17, 211 Abstrat We desribe a parametrization of the real spetral lous of the twoparametri family of PT-symmetri quarti
More informationControl Theory association of mathematics and engineering
Control Theory assoiation of mathematis and engineering Wojieh Mitkowski Krzysztof Oprzedkiewiz Department of Automatis AGH Univ. of Siene & Tehnology, Craow, Poland, Abstrat In this paper a methodology
More informationMillennium Relativity Acceleration Composition. The Relativistic Relationship between Acceleration and Uniform Motion
Millennium Relativity Aeleration Composition he Relativisti Relationship between Aeleration and niform Motion Copyright 003 Joseph A. Rybzyk Abstrat he relativisti priniples developed throughout the six
More informationarxiv: v3 [cs.ai] 8 Feb 2019
Disintegration and Bayesian Inversion via String Diagrams K E N T A C H O and B A R T J A C O B S ariv:1709.00322v3 [s.ai] 8 Feb 2019 National Institute of Informatis 2-1-2 Hitotsubashi, Chiyoda-ku, Tokyo
More informationSURFACE WAVES OF NON-RAYLEIGH TYPE
SURFACE WAVES OF NON-RAYLEIGH TYPE by SERGEY V. KUZNETSOV Institute for Problems in Mehanis Prosp. Vernadskogo, 0, Mosow, 75 Russia e-mail: sv@kuznetsov.msk.ru Abstrat. Existene of surfae waves of non-rayleigh
More informationSensitivity analysis for linear optimization problem with fuzzy data in the objective function
Sensitivity analysis for linear optimization problem with fuzzy data in the objetive funtion Stephan Dempe, Tatiana Starostina May 5, 2004 Abstrat Linear programming problems with fuzzy oeffiients in the
More informationSequence Analysis, WS 14/15, D. Huson & R. Neher (this part by D. Huson & J. Fischer) January 21,
Sequene Analysis, WS 14/15, D. Huson & R. Neher (this part by D. Huson & J. Fisher) January 21, 201511 9 Suffix Trees and Suffix Arrays This leture is based on the following soures, whih are all reommended
More informationBäcklund Transformations: Some Old and New Perspectives
Bäklund Transformations: Some Old and New Perspetives C. J. Papahristou *, A. N. Magoulas ** * Department of Physial Sienes, Helleni Naval Aademy, Piraeus 18539, Greee E-mail: papahristou@snd.edu.gr **
More information15.12 Applications of Suffix Trees
248 Algorithms in Bioinformatis II, SoSe 07, ZBIT, D. Huson, May 14, 2007 15.12 Appliations of Suffix Trees 1. Searhing for exat patterns 2. Minimal unique substrings 3. Maximum unique mathes 4. Maximum
More informationON THE LEAST PRIMITIVE ROOT EXPRESSIBLE AS A SUM OF TWO SQUARES
#A55 INTEGERS 3 (203) ON THE LEAST PRIMITIVE ROOT EPRESSIBLE AS A SUM OF TWO SQUARES Christopher Ambrose Mathematishes Institut, Georg-August Universität Göttingen, Göttingen, Deutshland ambrose@uni-math.gwdg.de
More informationG-subsets and G-orbits of Q ( n) under action of the Modular Group.
arxiv:1009.4619v1 [math.gr] 23 Sep 2010 G-subsets and G-orbits of Q ( n) under ation of the Modular Group. M. Aslam Malik and M. Riaz Department of Mathematis, University of the Punjab, Quaid-e-Azam Campus,
More informationStability of alternate dual frames
Stability of alternate dual frames Ali Akbar Arefijamaal Abstrat. The stability of frames under perturbations, whih is important in appliations, is studied by many authors. It is worthwhile to onsider
More informationMost results in this section are stated without proof.
Leture 8 Level 4 v2 he Expliit formula. Most results in this setion are stated without proof. Reall that we have shown that ζ (s has only one pole, a simple one at s =. It has trivial zeros at the negative
More informationQ2. [40 points] Bishop-Hill Model: Calculation of Taylor Factors for Multiple Slip
27-750, A.D. Rollett Due: 20 th Ot., 2011. Homework 5, Volume Frations, Single and Multiple Slip Crystal Plastiity Note the 2 extra redit questions (at the end). Q1. [40 points] Single Slip: Calulating
More informationPhysics 523, General Relativity Homework 4 Due Wednesday, 25 th October 2006
Physis 523, General Relativity Homework 4 Due Wednesday, 25 th Otober 2006 Jaob Lewis Bourjaily Problem Reall that the worldline of a ontinuously aelerated observer in flat spae relative to some inertial
More informationKakimizu complexes of Surfaces and 3-Manifolds
Kakimizu omplexes of Surfaes and 3-Manifolds Jennifer Shultens April 29, 2016 Abstrat The Kakimizu omplex is usually defined in the ontext of knots, where it is known to be quasi-eulidean. We here generalize
More informationParallel disrete-event simulation is an attempt to speed-up the simulation proess through the use of multiple proessors. In some sense parallel disret
Exploiting intra-objet dependenies in parallel simulation Franeso Quaglia a;1 Roberto Baldoni a;2 a Dipartimento di Informatia e Sistemistia Universita \La Sapienza" Via Salaria 113, 198 Roma, Italy Abstrat
More informationBoundary value problems for the one-dimensional Willmore equation
Boundary value problems for the one-dimensional Willmore equation Klaus Dekelnik and Hans-Christoph Grunau Fakultät für Mathematik Otto-von-Guerike-Universität Postfah D-396 Magdeburg November 7, 6 Abstrat
More informationREFINED UPPER BOUNDS FOR THE LINEAR DIOPHANTINE PROBLEM OF FROBENIUS. 1. Introduction
Version of 5/2/2003 To appear in Advanes in Applied Mathematis REFINED UPPER BOUNDS FOR THE LINEAR DIOPHANTINE PROBLEM OF FROBENIUS MATTHIAS BECK AND SHELEMYAHU ZACKS Abstrat We study the Frobenius problem:
More informationEnumeration of One-Nodal Rational Curves in Projective Spaces
Enumeration of One-Nodal Rational Curves in Projetive Spaes Aleksey Zinger June 6, 2004 Abstrat We give a formula omputing the number of one-nodal rational urves that pass through an appropriate olletion
More informationModes are solutions, of Maxwell s equation applied to a specific device.
Mirowave Integrated Ciruits Prof. Jayanta Mukherjee Department of Eletrial Engineering Indian Institute of Tehnology, Bombay Mod 01, Le 06 Mirowave omponents Welome to another module of this NPTEL mok
More informationTheory of projective connections on n-dimensional spaces.
Theorie des projektiven Zusammenhangs n-dimensionaler Räume, Math. Ann. 6 (932), 4-454. Theory of projetive onnetions on n-dimensional spaes. By D. van Dantzig in Delft. Introdution.. The relations between
More informationSolutions Manual. Selected odd-numbered problems in. Chapter 2. for. Proof: Introduction to Higher Mathematics. Seventh Edition
Solutions Manual Seleted odd-numbered problems in Chapter for Proof: Introdution to Higher Mathematis Seventh Edition Warren W. Esty and Norah C. Esty 5 4 3 1 Setion.1. Sentenes with One Variable Chapter
More informationON LOWER LIPSCHITZ CONTINUITY OF MINIMAL POINTS. Ewa M. Bednarczuk
Disussiones Mathematiae Differential Inlusions, Control and Optimization 20 2000 ) 245 255 ON LOWER LIPSCHITZ CONTINUITY OF MINIMAL POINTS Ewa M. Bednarzuk Systems Researh Institute, PAS 01 447 Warsaw,
More informationF = F x x + F y. y + F z
ECTION 6: etor Calulus MATH20411 You met vetors in the first year. etor alulus is essentially alulus on vetors. We will need to differentiate vetors and perform integrals involving vetors. In partiular,
More informationThe transition between quasi-static and fully dynamic for interfaces
Physia D 198 (24) 136 147 The transition between quasi-stati and fully dynami for interfaes G. Caginalp, H. Merdan Department of Mathematis, University of Pittsburgh, Pittsburgh, PA 1526, USA Reeived 6
More informationarxiv:gr-qc/ v7 14 Dec 2003
Propagation of light in non-inertial referene frames Vesselin Petkov Siene College, Conordia University 1455 De Maisonneuve Boulevard West Montreal, Quebe, Canada H3G 1M8 vpetkov@alor.onordia.a arxiv:gr-q/9909081v7
More informationAharonov-Bohm effect. Dan Solomon.
Aharonov-Bohm effet. Dan Solomon. In the figure the magneti field is onfined to a solenoid of radius r 0 and is direted in the z- diretion, out of the paper. The solenoid is surrounded by a barrier that
More informationGONALITY OF DYNATOMIC CURVES AND STRONG UNIFORM BOUNDEDNESS OF PREPERIODIC POINTS
GONALITY OF DYNATOMIC CURVES AND STRONG UNIFORM BOUNDEDNESS OF PREPERIODIC POINTS JOHN R. DOYLE AND BJORN POONEN Abstrat. Fix d 2 and a field k suh that har k d. Assume that k ontains the dth roots of
More informationarxiv: v2 [math.pr] 9 Dec 2016
Omnithermal Perfet Simulation for Multi-server Queues Stephen B. Connor 3th Deember 206 arxiv:60.0602v2 [math.pr] 9 De 206 Abstrat A number of perfet simulation algorithms for multi-server First Come First
More informationThe Effectiveness of the Linear Hull Effect
The Effetiveness of the Linear Hull Effet S. Murphy Tehnial Report RHUL MA 009 9 6 Otober 009 Department of Mathematis Royal Holloway, University of London Egham, Surrey TW0 0EX, England http://www.rhul.a.uk/mathematis/tehreports
More informationLightpath routing for maximum reliability in optical mesh networks
Vol. 7, No. 5 / May 2008 / JOURNAL OF OPTICAL NETWORKING 449 Lightpath routing for maximum reliability in optial mesh networks Shengli Yuan, 1, * Saket Varma, 2 and Jason P. Jue 2 1 Department of Computer
More informationMOLECULAR ORBITAL THEORY- PART I
5.6 Physial Chemistry Leture #24-25 MOLECULAR ORBITAL THEORY- PART I At this point, we have nearly ompleted our rash-ourse introdution to quantum mehanis and we re finally ready to deal with moleules.
More information(, ) Anti Fuzzy Subgroups
International Journal of Fuzzy Mathematis and Systems. ISSN 2248-9940 Volume 3, Number (203), pp. 6-74 Researh India Publiations http://www.ripubliation.om (, ) Anti Fuzzy Subgroups P.K. Sharma Department
More informationSymplectic Projector and Physical Degrees of Freedom of The Classical Particle
Sympleti Projetor and Physial Degrees of Freedom of The Classial Partile M. A. De Andrade a, M. A. Santos b and I. V. Vanea arxiv:hep-th/0308169v3 7 Sep 2003 a Grupo de Físia Teória, Universidade Católia
More informationWhere as discussed previously we interpret solutions to this partial differential equation in the weak sense: b
Consider the pure initial value problem for a homogeneous system of onservation laws with no soure terms in one spae dimension: Where as disussed previously we interpret solutions to this partial differential
More informationAsymptotic non-degeneracy of the solution to the Liouville Gel fand problem in two dimensions
Comment. Math. Helv. 2 2007), 353 369 Commentarii Mathematii Helvetii Swiss Mathematial Soiety Asymptoti non-degeneray of the solution to the Liouville Gel fand problem in two dimensions Tomohio Sato and
More informationCritical Reflections on the Hafele and Keating Experiment
Critial Refletions on the Hafele and Keating Experiment W.Nawrot In 1971 Hafele and Keating performed their famous experiment whih onfirmed the time dilation predited by SRT by use of marosopi loks. As
More informationThe homopolar generator: an analytical example
The homopolar generator: an analytial example Hendrik van Hees August 7, 214 1 Introdution It is surprising that the homopolar generator, invented in one of Faraday s ingenious experiments in 1831, still
More informationEinstein s Three Mistakes in Special Relativity Revealed. Copyright Joseph A. Rybczyk
Einstein s Three Mistakes in Speial Relativity Revealed Copyright Joseph A. Rybzyk Abstrat When the evidene supported priniples of eletromagneti propagation are properly applied, the derived theory is
More informationricci flows with bursts of unbounded curvature
rii flows with bursts of unbounded urvature Gregor Giesen and Peter M. Topping st Otober 04 Abstrat Given a ompletely arbitrary surfae, whether or not it has bounded urvature, or even whether or not it
More informationProbabilistic and nondeterministic aspects of Anonymity 1
MFPS XX1 Preliminary Version Probabilisti and nondeterministi aspets of Anonymity 1 Catusia Palamidessi 2 INRIA and LIX Éole Polytehnique, Rue de Salay, 91128 Palaiseau Cedex, FRANCE Abstrat Anonymity
More informationA note on a variational formulation of electrodynamics
Proeedings of the XV International Workshop on Geometry and Physis Puerto de la Cruz, Tenerife, Canary Islands, Spain September 11 16, 006 Publ. de la RSME, Vol. 11 (007), 314 31 A note on a variational
More informationFrequency hopping does not increase anti-jamming resilience of wireless channels
Frequeny hopping does not inrease anti-jamming resiliene of wireless hannels Moritz Wiese and Panos Papadimitratos Networed Systems Seurity Group KTH Royal Institute of Tehnology, Stoholm, Sweden {moritzw,
More informationAnomaly cancellation and modularity, II: The E 8 E 8 case
SCIENCE CHINA Mathematis. ARTICLES. June 07 Vol. 60 No. 6: 985 994 doi: 0.007/s45-06-9034- Anomaly anellation and modularity, II: The E 8 E 8 ase In memory of Professor LU QiKeng 97 05 HAN Fei, LIU KeFeng,3
More informationNUMERICALLY SATISFACTORY SOLUTIONS OF HYPERGEOMETRIC RECURSIONS
MATHEMATICS OF COMPUTATION Volume 76, Number 259, July 2007, Pages 1449 1468 S 0025-5718(07)01918-7 Artile eletronially published on January 31, 2007 NUMERICALLY SATISFACTORY SOLUTIONS OF HYPERGEOMETRIC
More informationHILLE-KNESER TYPE CRITERIA FOR SECOND-ORDER DYNAMIC EQUATIONS ON TIME SCALES
HILLE-KNESER TYPE CRITERIA FOR SECOND-ORDER DYNAMIC EQUATIONS ON TIME SCALES L ERBE, A PETERSON AND S H SAKER Abstrat In this paper, we onsider the pair of seond-order dynami equations rt)x ) ) + pt)x
More informationTowards an Absolute Cosmic Distance Gauge by using Redshift Spectra from Light Fatigue.
Towards an Absolute Cosmi Distane Gauge by using Redshift Spetra from Light Fatigue. Desribed by using the Maxwell Analogy for Gravitation. T. De Mees - thierrydemees @ pandora.be Abstrat Light is an eletromagneti
More information