Fibration of Toposes PSSL 101, Leeds
|
|
- Neal Bell
- 5 years ago
- Views:
Transcription
1 Fibration of Tooses PSSL 101, Leeds Sina Hazratour Setember 2017
2 AUs AUs as finitary aroximation of Grothendieck tooses Pretooses 1 finite limits 2 stable finite disjoint coroducts 3 stable effective quotients Giraud s theorem Arithmetic Universes arametrized list objects 1 ε List(A) cons A List(A) Grothendieck tooses set-indexed coroducts + small hom-sets + a set of generators
3 AUs There is no reason we should restrict ourselves to Set-tooses. If S is any elementary toos, any bounded geometric morhism : E S is equivalent to Sh S (C, J) S where (C, J) is an internal site in S and Sh S (C, J) is the toos of S-valued sheaves. This is sometimes known as relativized Giraud s theorem. So, we have More details: [(Elehant, 2002) B3.3.4, C2.4] A Grothendieck toos over Set S := A bounded geometric morhism : E S an internal site in S Note: we always assume base toos S has n.n.o (same with an AU)
4 AUs AUs versus Grothendieck tooses Suose a geometric theory T can be exressed in an "arithmetic way". AUs Grothendieck tooses Classifying sace AU T S[T] T 2 T 1 AU T 2 AU T 1 S[T 1 ] S[T 2 ] Base Base indeendent Base deendent Infinities Intrinsic; rovided by List Extrinsic; from S e.g. infinite e.g. N = List(1) coroducts in the category of sheaves Results A single result in AUs a family of results for tooses arametrized by base S
5 Outline of the talk Outline of the talk Steven Vickers (2016). Sketches for arithmetic universes. In: URL: htts://arxiv.org/abs/ develoes a theory of AUs and resents them by a 2-category Con of contexts. Con has finite strict PIE limits. It also ossesses strict ullbacks along certain class of mas called context extension.
6 Outline of the talk Outline of the talk Steven Vickers (2016). Sketches for arithmetic universes. In: URL: htts://arxiv.org/abs/ develoes a theory of AUs and resents them by a 2-category Con of contexts. Con has finite strict PIE limits. It also ossesses strict ullbacks along certain class of mas called context extension. (O)fibrations in 2-categories: Ross Street (1974). Fibrations and Yoneda s lemma in a 2-category. In: Lecture Notes in Math., Sringer, Berlin Vol.420, : internal to reresentable 2-categories (with strict ullbacks and cotensor with 2). Relies on existence of comma objects. Generalizes notion of Grothendieck (o)fibrations in Cat. Peter Johnstone (1993). Fibrations and artial roducts in a 2-category. In: Alied Categorical Structures Vol.1, : internal to 2-categories with bi-ullbacks without use of comma objects in definition.
7 Outline of the talk Outline of the talk Using classifying tooses of contexts, we rove that (o)fibrations of contexts give rise to (o)fibrations of tooses. at the level of syntax (contexts) we need strict constructions and the level of semantics we need lax constructions. Street-Style (o)fibrations of contexts in Con Syntactic level (strict) models Johnstone-Style (o)fibrations of tooses in To Semantic level (non-strict)
8 A very brief into contexts 2-category Con The 2-category Con of contexts which is develoed in (Vickers, 2016). We start with structure of sketches: An AU-sketch is a structure with sorts and oerations as shown in this diagram. U b Λ 2 U list Λ 0 U 1 Γ 1 Γ 2 G 2 Γ 1 Γ 2 d i (i=0,1,2) c e G 1 d i (i=0,1) s G 0 tm i U o U 0
9 A very brief into contexts A morhism of AU-sketches is a family of carriers for each sort that also reserves oerators. Some of this morhism deserve the name extension, which are in fact, finite sequence of simle extensions. A simle extension consist of adding fresh nodes, edges and commutativities for universals which have been freshly added.
10 A very brief into contexts A morhism of AU-sketches is a family of carriers for each sort that also reserves oerators. Some of this morhism deserve the name extension, which are in fact, finite sequence of simle extensions. A simle extension consist of adding fresh nodes, edges and commutativities for universals which have been freshly added. The next fundamental concet is the notion of equivalence extension. When we have a sketch morhism, we may get some derived edges and commutativities. The idea of equivalence extension is to add them at this stage. The added elements are indeed uniquely determined by elements of the original, so the resented AUs are isomorhic as a result of an equivalence extension.
11 A very brief into contexts A morhism of AU-sketches is a family of carriers for each sort that also reserves oerators. Some of this morhism deserve the name extension, which are in fact, finite sequence of simle extensions. A simle extension consist of adding fresh nodes, edges and commutativities for universals which have been freshly added. The next fundamental concet is the notion of equivalence extension. When we have a sketch morhism, we may get some derived edges and commutativities. The idea of equivalence extension is to add them at this stage. The added elements are indeed uniquely determined by elements of the original, so the resented AUs are isomorhic as a result of an equivalence extension. Contexts are a restricted form of sketches for arithmetic universes. Every 0-cells, 1-cells, and 2-cells in Con are introduced in finite number of stes. e.g. 1, O, T 1 T 2, T, T, etc.
12 A very brief into contexts Finally, Con(T 0, T 1 ) consists of all osans (E, F ) from T 0 to T 1 : T 0 E F T 0 T 1 where F is a sketch extension morhism and E an sketch equivalence. 2-cells are given as context mas (e, α) from T 0 to T 1 where T 0 and T 1 are themselves contexts.
13 A very brief into contexts A central issue for models of sketches is that of strictness. The standard sketch-theoretic notion is non-strict: for a universal, such as a ullback of some given osan, the ullback cone can be interreted as any ullback of the osan. Contexts give us good handle over strictness: Proosition (Vickers, 2017) Let U : T 1 T 0 be an extension ma in Con, that is to say one deriving from an extension T 0 T 1. Suose in some AU A we have a model M 1 of T 1, a strict model M 0 of T 0, and an isomorhism φ 0 : M 0 = M 1U. T 1 M 1 φ 1 = M 1 U T 0 M 0 φ 0 = M 1U Then there is a unique model M 1 of T 1 and isomorhism φ 1 : M 1 = M 1 such that 1 M 1 is strict, 2 M 1U = M 0, 3 φ 1U = φ 0, and 4 φ 1 is equality on all the rimitive nodes for the extension T 0 T 1.
14 Fibration 2-monad of Street Street-style fibrations in strict 2-categories For a reresentable 2-category K, and for each 0-cell B in K. Street defines a strict KZ-monad on strict slice 2-category K/B. exand 1-cells : E B in K which suort the structure a seudo-algebra w.r.t to this 2-monad are called fibrations. 1-cells suorting the structure of an algebra are called slit fibrations. For ofibration there is a similar story using another KZ-monad. exand
15 Fibration 2-monad of Street Street-style fibrations in strict 2-categories Chevalley criteria: Proosition (Street) : E B is a (slit) fibration if and only if has a right adjoint with (identity) isomorhism counit. E e 1 e 0 E B/ E R() Φ B 1 B
16 A brief summary of Con Con has ullbacks along context extensions and also cotensor with 2 and that makes ossible to use Street s definition to define context fibrations. Definition Context extension U is said to be an extension ma with fibration roerty if it is a Street-style fibration in the 2-category Con, that is γ 1 : T 1 cod (T 1) has a right adjoint γ 1 λ 1 with co-unit of adjunction given by strict equality, that is γ 1 λ 1 = id cod T 1. λ 1 T 1 cod (T 1 ) γ 1 ι c γ 0 dom (T 1 ) T 1 ι d U U 0 T 0 cod U α T 0 T 0 dom
17 Elehant s Definition of Fibration Elehant s Definition of Fibration For 2-category of elementary tooses we can not use Street s definition, since this 2-category does not have strict ullbacks, but only bi-ullbacks along bounded geometric morhisms. One remedy is to look at Section B of (Johnstone, 2002) which rovides a definition of fibration for 1-cells in any 2-category with bi-ullbacks. However, one only needs existence of bi-ullbacks of the class of 1-cells that one would like to define as fibrations. This definition can be very well used in 2-category of elementary tooses to define certain bounded geometric morhisms as fibrations. However, Elehant s definition is comlicated and difficult to use for uroses of our work. We introduce a 2-category GTo and utilize it to simlify Elehant s definition (with slight modification). Essentially, we wra u the information of iso 2-cells involved in Elehant s definition as art of structure of 1-cells in GTo.
18 GTo We construct a 2-category GTo secified by the following data: 0-cells are of the form E S E, S : elementary tooses, and : bounded geometric morhism. 1-cells from q to are of the form f = f, f, f, where q F A f f f E S f : f f q: isomorhism geometric transformation.
19 GTo 2-cells between any two 1-cells f and g are of the form α = α, α where α : f g and α : f g are geometric transformations q F A f g f g f α α g E S in such a way that the obvious diagram of 2-cells commutes.
20 GTo Comosition of 1-cells k : r q and f : q is given by asting. more exlicitly, f k = f k, (f k ) ( f k), f k. Vertical and horizontal comosition of 2-cells is defined comonent-wise. Identity 1-cells and 2-cells are defined trivially.
21 Reformulating Fibration of Tooses in GTo Suose E and S are elementary tooses and : E S is a bounded geometric morhisms. We call a fibration in 2-category To whenever for any geometric transformation α : f g : A S, we have a 1-cell l(α): g f and a 2-cell α: f l(α) g in GTo, and moreover the following axioms are satisfied: Unack
22 Reformulating Fibration of Tooses in GTo Suose E and S are elementary tooses and : E S is a bounded geometric morhisms. We call a fibration in 2-category To whenever for any geometric transformation α : f g : A S, we have a 1-cell l(α): g f and a 2-cell α: f l(α) g in GTo, and moreover the following axioms are satisfied: Unack 1 If α = id f, then there exists an isomorhism 2-cell ι 0 : id f l(α) in GTo with ι 0 = id ida and α (f τ 0 ) = id f. Unack
23 Reformulating Fibration of Tooses in GTo Suose E and S are elementary tooses and : E S is a bounded geometric morhisms. We call a fibration in 2-category To whenever for any geometric transformation α : f g : A S, we have a 1-cell l(α): g f and a 2-cell α: f l(α) g in GTo, and moreover the following axioms are satisfied: Unack 1 If α = id f, then there exists an isomorhism 2-cell ι 0 : id f l(α) in GTo with ι 0 = id ida and α (f τ 0 ) = id f. Unack 2 If β : g h is another geometric transformation, then there exists an isomorhism 2-cell ι α,β : l(α) l(β) l(βα) in such a way that the following diagram of 2-cells in GTo commutes: f l(α) l(β) f ι α,β α l(β) = g l(β) β f l(βα) βα h Unack
24 Reformulating Fibration of Tooses in GTo 3 Lifting of α is comatible with left whiskering; That is, given any geometric morhism k : B A of tooses, we require l(α k) to fit into the following bi-ullback square in GTo: (gk) k g g l(α k) = κ l(α) (f k) f k f where k f and k g are ullback 1-cells over k. We also require asting of 2-cells α and κ to be equal to 2-cell α k. Unack
25 Reformulating Fibration of Tooses in GTo 4 For any 1-cells x = x, x, id where x : D f E, and y = y, id (g ) y, id A where y : D g E, any 2-cell β = β, α : f x g y in GTo is uniquely factored through α, that is there is a unique 2-cell µ in GTo with roerty (α y) (f µ) = β, that is to say the two asting diagrams in below are equal: g y y x µ f l(α) f = g y y x β f f g α g g g Unack
26 Reformulating Fibration of Tooses in GTo Fix an elementary toos S. Every context T gives rise to an indexed category over T : BTo/S, where T(E): = T -Mod-(E) = category of models of T in E
27 Reformulating Fibration of Tooses in GTo Fix an elementary toos S. Every context T gives rise to an indexed category over T : BTo/S, where T(E): = T -Mod-(E) = category of models of T in E Note that T encasulates data of all the models in all Grothendieck tooses (with base S). Vickers (2017) calls them "elehant theories" after (Elehant, 2002), and also to convey their big structure.
28 Reformulating Fibration of Tooses in GTo Fix an elementary toos S. Every context T gives rise to an indexed category over T : BTo/S, where T(E): = T -Mod-(E) = category of models of T in E Note that T encasulates data of all the models in all Grothendieck tooses (with base S). Vickers (2017) calls them "elehant theories" after (Elehant, 2002), and also to convey their big structure. Of course not all elehant theories arise from contexts. For instance if U is a context extension and M is a strict model of context T in base toos S, then T 1 /M is an elehant theory but not a context. T 1 /M(E): = strict models of T 1 in E which reduce to M via U
29 Reformulating Fibration of Tooses in GTo Fix an elementary toos S. Every context T gives rise to an indexed category over T : BTo/S, where T(E): = T -Mod-(E) = category of models of T in E Note that T encasulates data of all the models in all Grothendieck tooses (with base S). Vickers (2017) calls them "elehant theories" after (Elehant, 2002), and also to convey their big structure. Of course not all elehant theories arise from contexts. For instance if U is a context extension and M is a strict model of context T in base toos S, then T 1 /M is an elehant theory but not a context. T 1 /M(E): = strict models of T 1 in E which reduce to M via U Certain elehant theories are geometric and have classifying tooses. T and T 1 /M are such examles.
30 Reformulating Fibration of Tooses in GTo Theorem (Vickers,2017) Suose U : T 1 T 0 is a context extension. For any model M of T 0 in a (base) toos S, S[T 1/M] is an S-toos, and moreover, for any geometric (not necessarily bounded) morhism f : A S, the classifying toos A[T 1/f M] is got by bi-ullback of S[T 1/M] along f : A[T 1/f M] f A f f f S[T 1/M] S
31 Reformulating Fibration of Tooses in GTo Theorem (Vickers,2017) Suose U : T 1 T 0 is a context extension. For any model M of T 0 in a (base) toos S, S[T 1/M] is an S-toos, and moreover, for any geometric (not necessarily bounded) morhism f : A S, the classifying toos A[T 1/f M] is got by bi-ullback of S[T 1/M] along f : A[T 1/f M] f A f f f S[T 1/M] S Theorem (S.H., 2017) If U : T 1 T 0 is an extension ma of contexts with fibration roerty, and M is any model of T 0 in an elementary toos S, then : S[T 1/M] S is a fibration in the 2-category To.
32 Reformulating Fibration of Tooses in GTo l(α) A[T 1 /g M] α g S[T 1 /M] A[T 1 /f M] f g A α f g S[T 1 /M] S A f S finding l(α): equivalent to finding a model of T 1 /f M in A[T 1 /g M]. g := (G T 1 g M, g α M ) cod (T 1 ) -Mod- A[T 1 /g M] Model N : = g (λ 1 ; γ 0 ; δ d ) corresonds to l(α).
33 Reformulating Fibration of Tooses in GTo g λ 1 : induces a 1-cell v : u in GTo with v = id. We have θ = (θ, α) and f l(α) = vq 0 and v q 1 = g. Pasting all these 2-cells in GTo defines α = (α, α). g q 1 v g θ u q 0 l(α) f f
34 Reformulating Fibration of Tooses in GTo Local homeomorhism of tooses as ofibration Definition A geometric morhism F E is a local homeomorhism whenever F E/A for some object A of E. For S a bounded S 0 toos, and T 0 = O and T 1 the extended context of T 0 with a fresh edge from terminal to the unique node of T 0 : S/M S[T 1 /M] S 0 [X, x] = S 0 [X ][T 1 /X ] M S S 0 [X ] M
35 Reformulating Fibration of Tooses in GTo References Elehant (2002). Sketches of an elehant: A toos theory comendium. In: Oxford Logic Guides Vol.2.no.44, Oxford University Press. Johnstone, Peter (1993). Fibrations and artial roducts in a 2-category. In: Alied Categorical Structures Vol.1, (2002). Sketches of an elehant: A toos theory comendium. In: Oxford Logic Guides Vol.1.no.44, Oxford University Press. Street, Ross (1974). Fibrations and Yoneda s lemma in a 2-category. In: Lecture Notes in Math., Sringer, Berlin Vol.420, Vickers, Steven (2016). Sketches for arithmetic universes. In: URL: htts://arxiv.org/abs/ (2017). Arithmetic universes and classifying tooses. In: URL: htts://arxiv.org/abs/
36 Reformulating Fibration of Tooses in GTo End! Thank you for your attention!
37 Sulement A 2-monad of Street Let K be a reresentable 2-category. Define K/B to be the (strict) slice 2-category over B. (Street, 1974) constructs a 2-monad R : K/B K/B which takes an object (E, ) to (B/, R()) where B/ e E is a comma square. R() B Φ 1 B Back to resentation
38 Sulement A 2-monad of Street Remark Φ can be decomosed as follows: B/ e E B/ ˆ ˆ d 1 E R() Φ = B d 1 B B 1 B Φ d 0 1 B 1 B
39 Sulement A 2-monad of Street If f : E E is a 1-cell in K/B, then define B/f to be the unique 1-cell with f ˆd 1 = ˆd 1 B/f and ˆ B/f = ˆ. ˆd 1 B/ E B/f f ˆ B/ ˆ ˆd 1 E B d 1 B
40 Sulement A 2-monad of Street If f : E E is a 1-cell in K/B, then define B/f to be the unique 1-cell with f ˆd 1 = ˆd 1 B/f and ˆ B/f = ˆ. ˆd 1 B/ E B/f f ˆ B/ ˆ ˆd 1 E B Similarly if σ : f g is a 2-cell then we have a unique induced 2-cell B/σ : B/f B/g with ˆd 1 B/σ = σ ˆd 1 and ˆ B/σ = id ˆ. d 1 B
41 Sulement A 2-monad of Street Proosition R is a KZ monad.
42 Sulement A 2-monad of Street Unit of monad i : id R at (E, ) is given by the unique arrow i : E B/ with roerty that R() i = and ˆd 1 i = 1 E, and moreover Φ i = id, all inferred by universal roerty of comma object B/. i E B/ E ˆ ˆd 1 B d 1 B d 0 Φ id It follows that ˆd 1 i with identity counit. B B B 1 1
43 Sulement A 2-monad of Street Multilication of monad m : R 2 R at (E, ) is given by the unique arrow m : B/R() B/ B/R() B/ E d ˆd 1 1 ˆ B B B d d 1 1 Φ d 0 B B B B m ˆ B d 0 1 d 1 1 d 0 1 Φ 1 with roerty that R() m = R 2 () and ˆd 1 m = ˆd 1 d 1, and moreover Φ m = (Φ d 1 ) (Φ d 0 ˆ), all inferred by universal roerty of comma object B/.
44 Sulement A 2-monad of Street Examle When K = Cat, unit i takes an object N of E to the object (N, 1 M ) of B/, where M = (N). N M 1 M N M Multilication m takes an object (N 2, f : M 0 M 1, g : M 1 M 2) of B/R(), where M 2 = (N 2), to the object (N 2, f ; g : M 0 M 2) of B/. N 2 M 0 M 1 M 2 f g N 2 M 0 M 2 f ;g Back to resentation
45 Sulement What does a seudo-algebra of this monad look like? Suose a : (B/, R()) (E, ) is a seudo-algebra for 2-monad R. It involves 1 1-cell a : B/ E such that a = R() 2 invertible 2-cell ζ : 1 a i such that ζ = id. 3 invertible 2-cell θ : a R(a) a m such that θ = id R 2 (). Additionally, ζ and θ satisfy coherence equations of seudo-algebra a.
46 Sulement What does a seudo-algebra of this monad look like? Examle When K = Cat, 1 1-cell a gives us for any object (N 1, f : M 0 M 1) of B/ an object Pull f N 1 of E over N cell ζ gives us an isomorhism between N and Pull 1M N over 1 N, whereby M = (N). 3 2-cell θ gives us as isomorhism between Pull f Pull g N 2 and Pull f ;g N 2 over 1 M0. Additionally, following diagrams commute: Pull f N 1 Pull f Pull g Pull h N 3 Pull f ;g Pull h N 3 a (Rζ) Pull 1M0 Pull f N 1 Pull f N 1 θ Ri Pull f Pull g;h N 3 Pull f ;g;h N 3 Back to resentation
47 Sulement Unacking them yields the following diagram in To: f E l(α) f l(α) g g E A f α g g E E S α A f S where obvious diagram of 2-cells commutes. ack
48 Sulement Unacking τ 0 yields the following diagram in To: l(id) f α f E f E E τ 0 f id f id A A S id id f f ack
49 Sulement Unacking τ α,β yields the following diagram in To: l(β α) h l(β) = E g l(α) E f E = = A Furthermore, we require (β α) (f τ α,β ) = β (α l(β)) l(β α) (f τ α,β ) = l(β) (l(α) l(β)) ack
50 Sulement l(α k) is isomorhic to the bi-ullback of l(α) along k f, which is to say the to left vertical square of the diagram commutes u to an isomorhism. l(α k) (f k) E (gk) E = gk k g E g E E k f E f E E k f = k l(α) S A S B A S k k f k f fk f f g α α g ack
51 Sulement D x l(α) y g E g f E α E f = A g f A α S f ack
52 Sulement With regards to models of a context T, 2-category GTo has a class of very secial objects, namely a classifying toos : S[T] S, for each base toos S, with the classifying roerty given by following equivalence of categories whereby E is an S-toos: Φ : BTo /S (E, S[T]) T -Mod-(E) : Ψ which makes the reresentable object for the index category T.
ALGEBRAIC TOPOLOGY MASTERMATH (FALL 2014) Written exam, 21/01/2015, 3 hours Outline of solutions
ALGERAIC TOPOLOGY MASTERMATH FALL 014) Written exam, 1/01/015, 3 hours Outline of solutions Exercise 1. i) There are various definitions in the literature. ased on the discussion on. 5 of Lecture 3, as
More informationSECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY
SECTION 12: HOMOTOPY EXTENSION AND LIFTING PROPERTY In the revious section, we exloited the interlay between (relative) CW comlexes and fibrations to construct the Postnikov and Whitehead towers aroximating
More informationQuaternionic Projective Space (Lecture 34)
Quaternionic Projective Sace (Lecture 34) July 11, 2008 The three-shere S 3 can be identified with SU(2), and therefore has the structure of a toological grou. In this lecture, we will address the question
More informationDIFFERENTIAL GEOMETRY. LECTURES 9-10,
DIFFERENTIAL GEOMETRY. LECTURES 9-10, 23-26.06.08 Let us rovide some more details to the definintion of the de Rham differential. Let V, W be two vector bundles and assume we want to define an oerator
More informationδ(xy) = φ(x)δ(y) + y p δ(x). (1)
LECTURE II: δ-rings Fix a rime. In this lecture, we discuss some asects of the theory of δ-rings. This theory rovides a good language to talk about rings with a lift of Frobenius modulo. Some of the material
More informationA CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS. 1. Abstract
A CONCRETE EXAMPLE OF PRIME BEHAVIOR IN QUADRATIC FIELDS CASEY BRUCK 1. Abstract The goal of this aer is to rovide a concise way for undergraduate mathematics students to learn about how rime numbers behave
More informationTopic 7: Using identity types
Toic 7: Using identity tyes June 10, 2014 Now we would like to learn how to use identity tyes and how to do some actual mathematics with them. By now we have essentially introduced all inference rules
More informationA review of the foundations of perfectoid spaces
A review of the foundations of erfectoid saces (Notes for some talks in the Fargues Fontaine curve study grou at Harvard, Oct./Nov. 2017) Matthew Morrow Abstract We give a reasonably detailed overview
More informationUniversity of Oxford, Michaelis November 16, Categorical Semantics and Topos Theory Homotopy type theor
Categorical Semantics and Topos Theory Homotopy type theory Seminar University of Oxford, Michaelis 2011 November 16, 2011 References Johnstone, P.T.: Sketches of an Elephant. A Topos-Theory Compendium.
More informationStone Duality for Skew Boolean Algebras with Intersections
Stone Duality for Skew Boolean Algebras with Intersections Andrej Bauer Faculty of Mathematics and Physics University of Ljubljana Andrej.Bauer@andrej.com Karin Cvetko-Vah Faculty of Mathematics and Physics
More informationSECTION 5: FIBRATIONS AND HOMOTOPY FIBERS
SECTION 5: FIBRATIONS AND HOMOTOPY FIBERS In this section we will introduce two imortant classes of mas of saces, namely the Hurewicz fibrations and the more general Serre fibrations, which are both obtained
More informationUnbounded quantifiers via 2-categorical logic
via Unbounded via A. University of Chicago March 18, 2010 via Why? For the same reasons we study 1-categorical. 1 It tells us things about 2-categories. Proofs about fibrations and stacks are simplified
More informationAn Overview of Witt Vectors
An Overview of Witt Vectors Daniel Finkel December 7, 2007 Abstract This aer offers a brief overview of the basics of Witt vectors. As an alication, we summarize work of Bartolo and Falcone to rove that
More informationRECIPROCITY LAWS JEREMY BOOHER
RECIPROCITY LAWS JEREMY BOOHER 1 Introduction The law of uadratic recirocity gives a beautiful descrition of which rimes are suares modulo Secial cases of this law going back to Fermat, and Euler and Legendre
More informationLecture 2: Homotopical Algebra
Lecture 2: Homotoical Algebra Nicola Gambino School of Mathematics University of Leeds Young Set Theory Coenhagen June 13th, 2016 1 Homotoical algebra Motivation Axiomatic develoment of homotoy theory
More informationp-adic Measures and Bernoulli Numbers
-Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,
More information3 Properties of Dedekind domains
18.785 Number theory I Fall 2016 Lecture #3 09/15/2016 3 Proerties of Dedekind domains In the revious lecture we defined a Dedekind domain as a noetherian domain A that satisfies either of the following
More informationε i (E j )=δj i = 0, if i j, form a basis for V, called the dual basis to (E i ). Therefore, dim V =dim V.
Covectors Definition. Let V be a finite-dimensional vector sace. A covector on V is real-valued linear functional on V, that is, a linear ma ω : V R. The sace of all covectors on V is itself a real vector
More informationTHE RATIONAL COHOMOLOGY OF A p-local COMPACT GROUP
THE RATIONAL COHOMOLOGY OF A -LOCAL COMPACT GROUP C. BROTO, R. LEVI, AND B. OLIVER Let be a rime number. In [BLO3], we develoed the theory of -local comact grous. The theory is modelled on the -local homotoy
More informationGeneral Linear Model Introduction, Classes of Linear models and Estimation
Stat 740 General Linear Model Introduction, Classes of Linear models and Estimation An aim of scientific enquiry: To describe or to discover relationshis among events (variables) in the controlled (laboratory)
More informationANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM
ANALYTIC NUMBER THEORY AND DIRICHLET S THEOREM JOHN BINDER Abstract. In this aer, we rove Dirichlet s theorem that, given any air h, k with h, k) =, there are infinitely many rime numbers congruent to
More information18.312: Algebraic Combinatorics Lionel Levine. Lecture 12
8.3: Algebraic Combinatorics Lionel Levine Lecture date: March 7, Lecture Notes by: Lou Odette This lecture: A continuation of the last lecture: comutation of µ Πn, the Möbius function over the incidence
More informationTopos Theory. Lectures 21 and 22: Classifying toposes. Olivia Caramello. Topos Theory. Olivia Caramello. The notion of classifying topos
Lectures 21 and 22: toposes of 2 / 30 Toposes as mathematical universes of Recall that every Grothendieck topos E is an elementary topos. Thus, given the fact that arbitrary colimits exist in E, we can
More informationSheaves on Subanalytic Sites
REND. SEM. MAT. UNIV. PADOVA, Vol. 120 2008) Sheaves on Subanalytic Sites LUCA PRELLI *) ABSTRACT - In [7]the authors introduced the notion of ind-sheaves and defined the six Grothendieck oerations in
More informationDirichlet s Theorem on Arithmetic Progressions
Dirichlet s Theorem on Arithmetic Progressions Thai Pham Massachusetts Institute of Technology May 2, 202 Abstract In this aer, we derive a roof of Dirichlet s theorem on rimes in arithmetic rogressions.
More informationComposition of Transformations: A Framework for Systems with Dynamic Topology
Comosition of Transformations: A Framework for Systems with Dynamic Toology Marnes Augusto Hoff, Karina Girardi Roggia, Paulo lauth Menezes Instituto de Informática, Universidade Federal do Rio Grande
More informationUNIVALENT UNIVERSES FOR ELEGANT MODELS OF HOMOTOPY TYPES. Denis-Charles Cisinski
UNIVALENT UNIVERSES FOR ELEGANT MODELS OF HOMOTOP TPES by Denis-Charles Cisinski Abstract. We construct a univalent universe in the sense of Voevodsky in some suitable model categories for homotoy tyes
More informationIntroduction to Group Theory Note 1
Introduction to Grou Theory Note July 7, 009 Contents INTRODUCTION. Examles OF Symmetry Grous in Physics................................. ELEMENT OF GROUP THEORY. De nition of Grou................................................
More informationCMSC 425: Lecture 4 Geometry and Geometric Programming
CMSC 425: Lecture 4 Geometry and Geometric Programming Geometry for Game Programming and Grahics: For the next few lectures, we will discuss some of the basic elements of geometry. There are many areas
More informationRECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS
RECIPROCITY, BRAUER GROUPS AND QUADRATIC FORMS OVER NUMBER FIELDS THOMAS POGUNTKE Abstract. Artin s recirocity law is a vast generalization of quadratic recirocity and contains a lot of information about
More informationDIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS. 1. Introduction
DIRICHLET S THEOREM ON PRIMES IN ARITHMETIC PROGRESSIONS INNA ZAKHAREVICH. Introduction It is a well-known fact that there are infinitely many rimes. However, it is less clear how the rimes are distributed
More informationElementary theory of L p spaces
CHAPTER 3 Elementary theory of L saces 3.1 Convexity. Jensen, Hölder, Minkowski inequality. We begin with two definitions. A set A R d is said to be convex if, for any x 0, x 1 2 A x = x 0 + (x 1 x 0 )
More informationApplications to stochastic PDE
15 Alications to stochastic PE In this final lecture we resent some alications of the theory develoed in this course to stochastic artial differential equations. We concentrate on two secific examles:
More informationPretest (Optional) Use as an additional pacing tool to guide instruction. August 21
Trimester 1 Pretest (Otional) Use as an additional acing tool to guide instruction. August 21 Beyond the Basic Facts In Trimester 1, Grade 8 focus on multilication. Daily Unit 1: Rational vs. Irrational
More informationSTABLE HOMOTOPICAL ALGEBRA AND Γ-SPACES. Stefan Schwede. February 11, 1998
STABLE HOMOTOPICAL ALGEBRA AND Γ-SPACES Stefan Schwede February 11, 1998 Introduction In this aer we advertise the category of Γ-saces as a convenient framework for doing algebra over rings in stable homotoy
More informationCategory theory and set theory: algebraic set theory as an example of their interaction
Category theory and set theory: algebraic set theory as an example of their interaction Brice Halimi May 30, 2014 My talk will be devoted to an example of positive interaction between (ZFC-style) set theory
More informationACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes)
ACLT: Algebra, Categories, Logic in Topology - Grothendieck's generalized topological spaces (toposes) Steve Vickers CS Theory Group Birmingham 2. Theories and models Categorical approach to many-sorted
More informationPaper C Exact Volume Balance Versus Exact Mass Balance in Compositional Reservoir Simulation
Paer C Exact Volume Balance Versus Exact Mass Balance in Comositional Reservoir Simulation Submitted to Comutational Geosciences, December 2005. Exact Volume Balance Versus Exact Mass Balance in Comositional
More informationIMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES
IMPROVED BOUNDS IN THE SCALED ENFLO TYPE INEQUALITY FOR BANACH SPACES OHAD GILADI AND ASSAF NAOR Abstract. It is shown that if (, ) is a Banach sace with Rademacher tye 1 then for every n N there exists
More informationTopos Theory. Lectures 17-20: The interpretation of logic in categories. Olivia Caramello. Topos Theory. Olivia Caramello.
logic s Lectures 17-20: logic in 2 / 40 logic s Interpreting first-order logic in In Logic, first-order s are a wide class of formal s used for talking about structures of any kind (where the restriction
More informationCHAPTER 3: TANGENT SPACE
CHAPTER 3: TANGENT SPACE DAVID GLICKENSTEIN 1. Tangent sace We shall de ne the tangent sace in several ways. We rst try gluing them together. We know vectors in a Euclidean sace require a baseoint x 2
More informationThe equivalence axiom and univalent models of type theory.
The equivalence axiom and univalent models of type theory. (Talk at CMU on February 4, 2010) By Vladimir Voevodsky Abstract I will show how to define, in any type system with dependent sums, products and
More informationAlgebraic Topology (topics course) Spring 2010 John E. Harper. Series 6
Algebraic Toology (toics course) Sring 2010 John E. Harer Series 6 Let R be a ring and denote by Ch + R (res. Mod R) the category of non-negative chain comlexes over R (res. the category of left R-modules).
More informationQUADRATIC RECIPROCITY
QUADRATIC RECIPROCIT POOJA PATEL Abstract. This aer is an self-contained exosition of the law of uadratic recirocity. We will give two roofs of the Chinese remainder theorem and a roof of uadratic recirocity.
More informationIDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 24, Number 5, May 996 IDENTIFYING CONGRUENCE SUBGROUPS OF THE MODULAR GROUP TIM HSU (Communicated by Ronald M. Solomon) Abstract. We exhibit a simle
More informationVarious Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems
Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various
More informationWeil s Conjecture on Tamagawa Numbers (Lecture 1)
Weil s Conjecture on Tamagawa Numbers (Lecture ) January 30, 204 Let R be a commutative ring and let V be an R-module. A quadratic form on V is a ma q : V R satisfying the following conditions: (a) The
More informationFock Space: A Model of Linear Exponential Types. School of Computer Science. R.A.G. Seely z. Montreal, Canada H3A 2K6.
Fock Sace: A Model of Linear Exonential Tyes R.F. Blute Deartment of Mathematics University of Ottawa Ottawa, Canada K1N 6N5 rblute@mathstat.uottawa.ca Prakash Panangaden y School of Comuter Science McGill
More informationGENERALIZED FACTORIZATION
GENERALIZED FACTORIZATION GRANT LARSEN Abstract. Familiarly, in Z, we have unique factorization. We investigate the general ring and what conditions we can imose on it to necessitate analogs of unique
More informationLECTURE 6: FIBER BUNDLES
LECTURE 6: FIBER BUNDLES In this section we will introduce the interesting class o ibrations given by iber bundles. Fiber bundles lay an imortant role in many geometric contexts. For examle, the Grassmaniann
More informationMath 4400/6400 Homework #8 solutions. 1. Let P be an odd integer (not necessarily prime). Show that modulo 2,
MATH 4400 roblems. Math 4400/6400 Homework # solutions 1. Let P be an odd integer not necessarily rime. Show that modulo, { P 1 0 if P 1, 7 mod, 1 if P 3, mod. Proof. Suose that P 1 mod. Then we can write
More informationON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 00, Number 0, Pages 000 000 S 000-9939XX)0000-0 ON THE NORM OF AN IDEMPOTENT SCHUR MULTIPLIER ON THE SCHATTEN CLASS WILLIAM D. BANKS AND ASMA HARCHARRAS
More informationQUADRATIC RESIDUES AND DIFFERENCE SETS
QUADRATIC RESIDUES AND DIFFERENCE SETS VSEVOLOD F. LEV AND JACK SONN Abstract. It has been conjectured by Sárközy that with finitely many excetions, the set of quadratic residues modulo a rime cannot be
More informationINTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES
INTRODUCTION TO PART V: CATEGORIES OF CORRESPONDENCES 1. Why correspondences? This part introduces one of the two main innovations in this book the (, 2)-category of correspondences as a way to encode
More informationON A THEOREM OF MOHAN KUMAR AND NORI
ON A THEOREM OF MOHAN KUMAR AND NORI RICHARD G. SWAN Abstract. A celebrated theorem of Suslin asserts that a unimodular row x m 1 1,..., xmn n is comletable if m 1 m n is divisible by (n 1!. Examles due
More informationAdditive results for the generalized Drazin inverse in a Banach algebra
Additive results for the generalized Drazin inverse in a Banach algebra Dragana S. Cvetković-Ilić Dragan S. Djordjević and Yimin Wei* Abstract In this aer we investigate additive roerties of the generalized
More informationMobius Functions, Legendre Symbols, and Discriminants
Mobius Functions, Legendre Symbols, and Discriminants 1 Introduction Zev Chonoles, Erick Knight, Tim Kunisky Over the integers, there are two key number-theoretic functions that take on values of 1, 1,
More informationAMS10 HW1 Grading Rubric
AMS10 HW1 Grading Rubric Problem 1 (16ts- ts/each). Left hand side is shown to equal right hand side using examles with real vectors. A vector sace is a set V on which two oerations, vector addition and
More informationDISCRIMINANTS IN TOWERS
DISCRIMINANTS IN TOWERS JOSEPH RABINOFF Let A be a Dedekind domain with fraction field F, let K/F be a finite searable extension field, and let B be the integral closure of A in K. In this note, we will
More informationSome local (at p) properties of residual Galois representations
Some local (at ) roerties of residual Galois reresentations Johnson Jia, Krzysztof Klosin March 5, 2006 1 Preliminary results In this talk we are going to discuss some local roerties of (mod ) Galois reresentations
More informationON UNIFORM BOUNDEDNESS OF DYADIC AVERAGING OPERATORS IN SPACES OF HARDY-SOBOLEV TYPE. 1. Introduction
ON UNIFORM BOUNDEDNESS OF DYADIC AVERAGING OPERATORS IN SPACES OF HARDY-SOBOLEV TYPE GUSTAVO GARRIGÓS ANDREAS SEEGER TINO ULLRICH Abstract We give an alternative roof and a wavelet analog of recent results
More informationVIEWING MODULAR FORMS AS AUTOMORPHIC REPRESENTATIONS
VIEWING MODULAR FORMS AS AUTOMORPHIC REPRESENTATIONS JEREMY BOOHER These notes answer the question How does the classical theory of modular forms connect with the theory of automorhic forms on GL 2? They
More informationMATH 250: THE DISTRIBUTION OF PRIMES. ζ(s) = n s,
MATH 50: THE DISTRIBUTION OF PRIMES ROBERT J. LEMKE OLIVER For s R, define the function ζs) by. Euler s work on rimes ζs) = which converges if s > and diverges if s. In fact, though we will not exloit
More informationConvex Analysis and Economic Theory Winter 2018
Division of the Humanities and Social Sciences Ec 181 KC Border Conve Analysis and Economic Theory Winter 2018 Toic 16: Fenchel conjugates 16.1 Conjugate functions Recall from Proosition 14.1.1 that is
More informationDepartment of Mathematics
Deartment of Mathematics Ma 3/03 KC Border Introduction to Probability and Statistics Winter 209 Sulement : Series fun, or some sums Comuting the mean and variance of discrete distributions often involves
More informationElementary Analysis in Q p
Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some
More informationarxiv: v1 [quant-ph] 3 Feb 2015
From reversible comutation to quantum comutation by Lagrange interolation Alexis De Vos and Stin De Baerdemacker 2 arxiv:502.0089v [quant-h] 3 Feb 205 Cmst, Imec v.z.w., vakgroe elektronica en informatiesystemen,
More informationCONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS. 1. Definitions and results
Ann. Sci. Math. Québec 35 No (0) 85 95 CONGRUENCES MODULO 4 OF CALIBERS OF REAL QUADRATIC FIELDS MASANOBU KANEKO AND KEITA MORI Dedicated to rofessor Paulo Ribenboim on the occasion of his 80th birthday.
More informationMATH 6210: SOLUTIONS TO PROBLEM SET #3
MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form
More informationMAS 4203 Number Theory. M. Yotov
MAS 4203 Number Theory M. Yotov June 15, 2017 These Notes were comiled by the author with the intent to be used by his students as a main text for the course MAS 4203 Number Theory taught at the Deartment
More informationMATH 361: NUMBER THEORY ELEVENTH LECTURE
MATH 361: NUMBER THEORY ELEVENTH LECTURE The subjects of this lecture are characters, Gauss sums, Jacobi sums, and counting formulas for olynomial equations over finite fields. 1. Definitions, Basic Proerties
More informationTRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES
Khayyam J. Math. DOI:10.22034/kjm.2019.84207 TRACES OF SCHUR AND KRONECKER PRODUCTS FOR BLOCK MATRICES ISMAEL GARCÍA-BAYONA Communicated by A.M. Peralta Abstract. In this aer, we define two new Schur and
More informationSome Applications of Metacyclic p-groups of Nilpotency Class Two
Research Journal of Alied Sciences, Engineering and Technology 4(3): 517-51, 01 ISSN: 040-7467 Maxwell Scientific Organization, Submitted: Aril 5, 01 Acceted: May 13, 01 Published: December 01, 01 Some
More informationSolvability and Number of Roots of Bi-Quadratic Equations over p adic Fields
Malaysian Journal of Mathematical Sciences 10(S February: 15-35 (016 Secial Issue: The 3 rd International Conference on Mathematical Alications in Engineering 014 (ICMAE 14 MALAYSIAN JOURNAL OF MATHEMATICAL
More informationMAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT p-adic L-FUNCTION. n s = p. (1 p s ) 1.
MAZUR S CONSTRUCTION OF THE KUBOTA LEPOLDT -ADIC L-FUNCTION XEVI GUITART Abstract. We give an overview of Mazur s construction of the Kubota Leooldt -adic L- function as the -adic Mellin transform of a
More informationTopological K-theory, Lecture 3
Topological K-theory, Lecture 3 Matan Prasma March 2, 2015 1 Applications of the classification theorem continued Let us see how the classification theorem can further be used. Example 1. The bundle γ
More informationFactorability in the ring Z[ 5]
University of Nebraska - Lincoln DigitalCommons@University of Nebraska - Lincoln Dissertations, Theses, and Student Research Paers in Mathematics Mathematics, Deartment of 4-2004 Factorability in the ring
More informationGOOD MODELS FOR CUBIC SURFACES. 1. Introduction
GOOD MODELS FOR CUBIC SURFACES ANDREAS-STEPHAN ELSENHANS Abstract. This article describes an algorithm for finding a model of a hyersurface with small coefficients. It is shown that the aroach works in
More informationvia Topos Theory Olivia Caramello University of Cambridge The unification of Mathematics via Topos Theory Olivia Caramello
in University of Cambridge 2 / 23 in in In this lecture, whenever I use the word topos, I really mean Grothendieck topos. Recall that a Grothendieck topos can be seen as: a generalized space a mathematical
More informationFactor Rings and their decompositions in the Eisenstein integers Ring Z [ω]
Armenian Journal of Mathematics Volume 5, Number 1, 013, 58 68 Factor Rings and their decomositions in the Eisenstein integers Ring Z [ω] Manouchehr Misaghian Deartment of Mathematics, Prairie View A&M
More informationAlgebraic Number Theory
Algebraic Number Theory Joseh R. Mileti May 11, 2012 2 Contents 1 Introduction 5 1.1 Sums of Squares........................................... 5 1.2 Pythagorean Triles.........................................
More informationAlmost 4000 years ago, Babylonians had discovered the following approximation to. x 2 dy 2 =1, (5.0.2)
Chater 5 Pell s Equation One of the earliest issues graled with in number theory is the fact that geometric quantities are often not rational. For instance, if we take a right triangle with two side lengths
More informationGENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS
GENERICITY OF INFINITE-ORDER ELEMENTS IN HYPERBOLIC GROUPS PALLAVI DANI 1. Introduction Let Γ be a finitely generated grou and let S be a finite set of generators for Γ. This determines a word metric on
More informationIntrinsic Approximation on Cantor-like Sets, a Problem of Mahler
Intrinsic Aroximation on Cantor-like Sets, a Problem of Mahler Ryan Broderick, Lior Fishman, Asaf Reich and Barak Weiss July 200 Abstract In 984, Kurt Mahler osed the following fundamental question: How
More informationCombinatorics of topmost discs of multi-peg Tower of Hanoi problem
Combinatorics of tomost discs of multi-eg Tower of Hanoi roblem Sandi Klavžar Deartment of Mathematics, PEF, Unversity of Maribor Koroška cesta 160, 000 Maribor, Slovenia Uroš Milutinović Deartment of
More informationGroup Theory Problems
Grou Theory Problems Ali Nesin 1 October 1999 Throughout the exercises G is a grou. We let Z i = Z i (G) and Z = Z(G). Let H and K be two subgrous of finite index of G. Show that H K has also finite index
More informationRESOLUTIONS OF THREE-ROWED SKEW- AND ALMOST SKEW-SHAPES IN CHARACTERISTIC ZERO
RESOLUTIONS OF THREE-ROWED SKEW- AND ALMOST SKEW-SHAPES IN CHARACTERISTIC ZERO MARIA ARTALE AND DAVID A. BUCHSBAUM Abstract. We find an exlicit descrition of the terms and boundary mas for the three-rowed
More informationLECTURE 7 NOTES. x n. d x if. E [g(x n )] E [g(x)]
LECTURE 7 NOTES 1. Convergence of random variables. Before delving into the large samle roerties of the MLE, we review some concets from large samle theory. 1. Convergence in robability: x n x if, for
More informationON THE PROLONGATION OF FIBER BUNDLES AND INFINITESIMAL STRUCTURES ( 1 )
Du rolongement des esaces fibrés et des structures infinitésimales, Ann. Inst. Fourier, Grenoble 17, 1 (1967), 157-223. ON THE PROLONGATION OF FIBER BUNDLES AND INFINITESIMAL STRUCTURES ( 1 ) By Ngô Van
More informationThe synthetic theory of -categories vs the synthetic theory of -categories
Emily Riehl Johns Hopkins University The synthetic theory of -categories vs the synthetic theory of -categories joint with Dominic Verity and Michael Shulman Vladimir Voevodsky Memorial Conference The
More informationB8.1 Martingales Through Measure Theory. Concept of independence
B8.1 Martingales Through Measure Theory Concet of indeendence Motivated by the notion of indeendent events in relims robability, we have generalized the concet of indeendence to families of σ-algebras.
More informationarxiv: v1 [math.ag] 17 May 2017
LIFTING THE CARTIER TRANSFORM OF OGUS-VOLOGODSKY MODULO n arxiv:1705.06241v1 [math.ag] 17 May 2017 DAXIN XU Abstract. Let W be the ring of the Witt vectors of a erfect field of characteristic, X a smooth
More informationA Fibrational View of Geometric Morphisms
A Fibrational View of Geometric Morphisms Thomas Streicher May 1997 Abstract In this short note we will give a survey of the fibrational aspects of (generalised) geometric morphisms. Almost all of these
More informationAn interesting result concerning the lower bound to the energy in the Heisenberg picture
Aeiron, Vol. 16, No. 2, Aril 29 191 An interesting result concerning the lower bound to the energy in the Heisenberg icture Dan Solomon Rauland-Borg Cororation 345 W Oakton Skokie, IL 676 USA Email: dan.solomon@rauland.com
More information(IV.D) PELL S EQUATION AND RELATED PROBLEMS
(IV.D) PELL S EQUATION AND RELATED PROBLEMS Let d Z be non-square, K = Q( d). As usual, we take S := Z[ [ ] d] (for any d) or Z 1+ d (only if d 1). We have roved that (4) S has a least ( fundamental )
More informationStochastic integration II: the Itô integral
13 Stochastic integration II: the Itô integral We have seen in Lecture 6 how to integrate functions Φ : (, ) L (H, E) with resect to an H-cylindrical Brownian motion W H. In this lecture we address the
More informationMultiplicative group law on the folium of Descartes
Multilicative grou law on the folium of Descartes Steluţa Pricoie and Constantin Udrişte Abstract. The folium of Descartes is still studied and understood today. Not only did it rovide for the roof of
More information2 Asymptotic density and Dirichlet density
8.785: Analytic Number Theory, MIT, sring 2007 (K.S. Kedlaya) Primes in arithmetic rogressions In this unit, we first rove Dirichlet s theorem on rimes in arithmetic rogressions. We then rove the rime
More informationGAUSSIAN INTEGERS HUNG HO
GAUSSIAN INTEGERS HUNG HO Abstract. We will investigate the ring of Gaussian integers Z[i] = {a + bi a, b Z}. First we will show that this ring shares an imortant roerty with the ring of integers: every
More information