Congruences Between Derivatives of Geometric L-Functions

Copy Link

Congruences between Derivatives of Geometric -Functions

David Burns
Abstract.
David Burns Introduction

§
§
§

•••••
∗
§

congruences between derivatives

§
§
§

Preliminaries

−

P
P
P

David Burns

P
·

•

P
→

P
→ P

∗

•

∗

•

∗

•
•

(
)

•

(
)
(
)

•

can
(
)

•

⊗

(−1) can

•
•

•

∼

•

(−1) can

O^×

Σ
0

→

Σ
0

O^×

Σ
Σ

congruences between derivatives
The leading term formula

•

−

W´et
Σ!
Σ

•

Σp

•

Z[
]
Z[
]

⊗ O^×
⊗

0Σ
Σ
Σ

O^×

→

O^×

⊗

Σ
∈Σ(
)

•

∼

Σ
Z[
]
Z[
]
Q[
]
Q[
]

Z[
]

Q⊗

∈

1
Σ

−

∧

∈

•

−

Σ
→1

∧

∈
∗

Σ
Σ

×
∗

Σ
Z[
]
Z[
]
Σ
Σ

§
⊗O^×

Σp

•

⊗

Σ
Z[
]

David Burns

−→

◦
∼

1
0
−1

∧

−

Λ
→1

∧

{
∈
∈
}

∧

∈

| | ∈

∧

•

−

´et
Σ!

•

⊗

Z[
]

⊗
−
⊗ −

⊗

]

W´et
Σ!

•

•
•

´et
Σ!

W´et
Σ!

•

→
−−→
→
→

−−→
→
→

W´et
Σ!
W´et
Σ!
W´et
Σ!

•

∼

W´et

∼

Σ!

•

p
´et

´et
Σ!

Σ!
W´et
Σ!

∼

congruences between derivatives

••
•

−1

· · · −−−−→ · · · −−−−→
−−−−→ −−−−→
−−−−→ · · ·

−

•

−1

−−−−→ · · ·

◦

−1

◦

−1

→

−1

W´et
Σ!

←−
←−

•

Q [

]

Q [

]
Σ

Z [

]

Q
L

∼

Σ
Σ

Z [

]

Z [

]

Z [

]

Σ
Z[ Z[
]

⊗

Z [

Σ
Z[

]
]

Z [

]

Σ
]

Z [

]
Σ

#
Σ

p
Σ

•

David Burns

→

Z [

]
]

Iwasawa theory

G
G
←−
G

−1

−

•

´et
Σ!

→

∼

Λ(G
)

∼

Λ(G
)

Λ(G
)

−

Λ(G
)

Λ(G
)

Λ(G)

∞

congruences between derivatives

∼

Λ(G)

G ^Σ

•

••

∞

•

∼

Λ(G) p

•

••

Λ(G

⊗
G −

−G

Λ(G)

Λ(G)
Λ(G)

•

∼

)
Λ(G)

Λ(G

•

∼
−

)

•

G
∼

Λ(G)

∈

(G)

←−
G

∈

(G)

←−

•

∈ {
}

⊗ O^×
G

Σ
1

•

0
0

→

•

→

{ }

→
G

•

→
⊗
O
→
→
G ⊗_Λ(G
→
→

)
Σ

←−

∈Σ

David Burns

→
⊗ O^×
→

∈

0
(
)

(
)

⊗
←−

G ⊗_Λ(G
→

)

•

→
→
G ⊗_Λ(G
→
⊗
O
→

)
Σ

←−

∈Σ ﬁn
0

←−

G ⊗_Λ(G

)

−
∈
G
∈ G

→
G

•

••

•

−

−−→

•
•

p
−1
0
1

G
· · · →
−→

−1

0
−1

−1

•

−−→

≥0

∼

Λ(G)
Λ(G)
−1

•

⊗ O^×

1
Σ

∼
G

≥0
−1

−1

∼

−1
−1

←−
←−

∞

⊆

ﬁn
0

Recommended publications

Op → Sset in Simplicial Sets, Or Equivalently a Functor X : ∆Op × ∆Op → Set

Contents 21 Bisimplicial sets 1 22 Homotopy colimits and limits (revisited) 10 23 Applications, Quillen’s Theorem B 23 21 Bisimplicial sets A bisimplicial set X is a simplicial object X : Dop ! sSet in simplicial sets, or equivalently a functor X : Dop × Dop ! Set: I write Xm;n = X(m;n) for the set of bisimplices in bidgree (m;n) and Xm = Xm;∗ for the vertical simplicial set in horiz. degree m. Morphisms X ! Y of bisimplicial sets are natural transformations. s2Set is the category of bisimplicial sets. Examples: 1) Dp;q is the contravariant representable functor Dp;q = hom( ;(p;q)) 1 on D × D. p;q G q Dm = D : m!p p;q The maps D ! X classify bisimplices in Xp;q. The bisimplex category (D × D)=X has the bisim- plices of X as objects, with morphisms the inci- dence relations Dp;q ' 7 X Dr;s 2) Suppose K and L are simplicial sets. The bisimplicial set K×˜ L has bisimplices (K×˜ L)p;q = Kp × Lq: The object K×˜ L is the external product of K and L. There is a natural isomorphism Dp;q =∼ Dp×˜ Dq: 3) Suppose I is a small category and that X : I ! sSet is an I-diagram in simplicial sets. Recall (Lecture 04) that there is a bisimplicial set −−−!holim IX (“the” homotopy colimit) with vertical sim- 2 plicial sets G X(i0) i0→···→in in horizontal degrees n. The transformation X ! ∗ induces a bisimplicial set map G G p : X(i0) ! ∗ = BIn; i0→···→in i0→···→in where the set BIn has been identiﬁed with the dis- crete simplicial set K(BIn;0) in each horizontal de- gree.
Category Theory

Michael Paluch Category Theory April 29, 2014 Preface These note are based in part on the the book [2] by Saunders Mac Lane and on the book [3] by Saunders Mac Lane and Ieke Moerdijk. v Contents 1 Foundations ....................................................... 1 1.1 Extensionality and comprehension . .1 1.2 Zermelo Frankel set theory . .3 1.3 Universes.....................................................5 1.4 Classes and Gödel-Bernays . .5 1.5 Categories....................................................6 1.6 Functors .....................................................7 1.7 Natural Transformations. .8 1.8 Basic terminology . 10 2 Constructions on Categories ....................................... 11 2.1 Contravariance and Opposites . 11 2.2 Products of Categories . 13 2.3 Functor Categories . 15 2.4 The category of all categories . 16 2.5 Comma categories . 17 3 Universals and Limits .............................................. 19 3.1 Universal Morphisms. 19 3.2 Products, Coproducts, Limits and Colimits . 20 3.3 YonedaLemma ............................................... 24 3.4 Free cocompletion . 28 4 Adjoints ........................................................... 31 4.1 Adjoint functors and universal morphisms . 31 4.2 Freyd’s adjoint functor theorem . 38 5 Topos Theory ...................................................... 43 5.1 Subobject classiﬁer . 43 5.2 Sieves........................................................ 45 5.3 Exponentials . 47 vii viii Contents Index .................................................................. 53 Acronyms List of categories. Ab The category of small abelian groups and group homomorphisms. AlgA The category of commutative A-algebras. Cb The category Func(Cop,Sets). Cat The category of small categories and functors. CRings The category of commutative ring with an identity and ring homomor- phisms which preserve identities. Grp The category of small groups and group homomorphisms. Sets Category of small set and functions. Sets Category of small pointed set and pointed functions.
Generic Programming with Adjunctions

Generic Programming with Adjunctions Ralf Hinze Department of Computer Science, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England [email protected] http://www.cs.ox.ac.uk/ralf.hinze/ Abstract. Adjunctions are among the most important constructions in mathematics. These lecture notes show they are also highly relevant to datatype-generic programming. First, every fundamental datatype| sums, products, function types, recursive types|arises out of an adjunc- tion. The defining properties of an adjunction give rise to well-known laws of the algebra of programming. Second, adjunctions are instrumental in unifying and generalising recursion schemes. We discuss a multitude of basic adjunctions and show that they are directly relevant to program- ming and to reasoning about programs. 1 Introduction Haskell programmers have embraced functors [1], natural transformations [2], monads [3], monoidal functors [4] and, perhaps to a lesser extent, initial alge- bras [5] and final coalgebras [6]. It is time for them to turn their attention to adjunctions. The notion of an adjunction was introduced by Daniel Kan in 1958 [7]. Very briefly, the functors L and R are adjoint if arrows of type L A → B are in one-to- one correspondence to arrows of type A → R B and if the bijection is furthermore natural in A and B. Adjunctions have proved to be one of the most important ideas in category theory, predominantly due to their ubiquity. Many mathemat- ical constructions turn out to be adjoint functors that form adjunctions, with Mac Lane [8, p.vii] famously saying, \Adjoint functors arise everywhere." The purpose of these lecture notes is to show that the notion of an adjunc- tion is also highly relevant to programming, in particular, to datatype-generic programming.
A Category Theory Primer

A category theory primer Ralf Hinze Computing Laboratory, University of Oxford Wolfson Building, Parks Road, Oxford, OX1 3QD, England [email protected] http://www.comlab.ox.ac.uk/ralf.hinze/ 1 Categories, functors and natural transformations Category theory is a game with objects and arrows between objects. We let C, D etc range over categories. A category is often identiﬁed with its class of objects. For instance, we say that Set is the category of sets. In the same spirit, we write A 2 C to express that A is an object of C. We let A, B etc range over objects. However, equally, if not more important are the arrows of a category. So, Set is really the category of sets and total functions. (There is also Rel, the category of sets and relations.) If the objects have additional structure (monoids, groups etc.) then the arrows are typically structure-preserving maps. For every pair of objects A; B 2 C there is a class of arrows from A to B, denoted C(A; B). If C is obvious from the context, we abbreviate f 2 C(A; B) by f : A ! B. We will also loosely speak of A ! B as the type of f . We let f , g etc range over arrows. For every object A 2 C there is an arrow id A 2 C(A; A), called the identity. Two arrows can be composed if their types match: if f 2 C(A; B) and g 2 C(B; C ), then g · f 2 C(A; C ).
Category Theory Course

Category Theory Course John Baez September 3, 2019 1 Contents 1 Category Theory: 4 1.1 Definition of a Category....................... 5 1.1.1 Categories of mathematical objects............. 5 1.1.2 Categories as mathematical objects............ 6 1.2 Doing Mathematics inside a Category............... 10 1.3 Limits and Colimits.......................... 11 1.3.1 Products............................ 11 1.3.2 Coproducts.......................... 14 1.4 General Limits and Colimits..................... 15 2 Equalizers, Coequalizers, Pullbacks, and Pushouts (Week 3) 16 2.1 Equalizers............................... 16 2.2 Coequalizers.............................. 18 2.3 Pullbacks................................ 19 2.4 Pullbacks and Pushouts....................... 20 2.5 Limits for all finite diagrams.................... 21 3 Week 4 22 3.1 Mathematics Between Categories.................. 22 3.2 Natural Transformations....................... 25 4 Maps Between Categories 28 4.1 Natural Transformations....................... 28 4.1.1 Examples of natural transformations........... 28 4.2 Equivalence of Categories...................... 28 4.3 Adjunctions.............................. 29 4.3.1 What are adjunctions?.................... 29 4.3.2 Examples of Adjunctions.................. 30 4.3.3 Diagonal Functor....................... 31 5 Diagrams in a Category as Functors 33 5.1 Units and Counits of Adjunctions................. 39 6 Cartesian Closed Categories 40 6.1 Evaluation and Coevaluation in Cartesian Closed Categories. 41 6.1.1 Internalizing Composition................. 42 6.2 Elements................................ 43 7 Week 9 43 7.1 Subobjects............................... 46 8 Symmetric Monoidal Categories 50 8.1 Guest lecture by Christina Osborne................ 50 8.1.1 What is a Monoidal Category?............... 50 8.1.2 Going back to the definition of a symmetric monoidal category.............................. 53 2 9 Week 10 54 9.1 The subobject classifier in Graph.................
WHEN IS ∏ ISOMORPHIC to ⊕ Introduction Let C Be a Category

WHEN IS Q ISOMORPHIC TO L MIODRAG CRISTIAN IOVANOV Abstract. For a category C we investigate the problem of when the coproduct L and the product functor Q from CI to C are isomorphic for a fixed set I, or, equivalently, when the two functors are Frobenius functors. We show that for an Ab category C this happens if and only if the set I is finite (and even in a much general case, if there is a morphism in C that is invertible with respect to addition). However we show that L and Q are always isomorphic on a suitable subcategory of CI which is isomorphic to CI but is not a full subcategory. If C is only a preadditive category then we give an example to see that the two functors can be isomorphic for infinite sets I. For the module category case we provide a different proof to display an interesting connection to the notion of Frobenius corings. Introduction Let C be a category and denote by ∆ the diagonal functor from C to CI taking any object I X to the family (X)i∈I ∈ C . Recall that C is an Ab category if for any two objects X, Y of C the set Hom(X, Y ) is endowed with an abelian group structure that is compatible with the composition. We shall say that a category is an AMon category if the set Hom(X, Y ) is (only) an abelian monoid for every objects X, Y . Following [McL], in an Ab category if the product of any two objects exists then the coproduct of any two objects exists and they are isomorphic.
Notes on Category Theory (In Progress)

Notes on Category Theory (in progress) George Torres Last updated February 28, 2018 Contents 1 Introduction and Motivation 3 2 Deﬁnition of a Category 3 2.1 Examples . .4 3 Functors 4 3.1 Natural Transformations . .5 3.2 Adjoint Functors . .5 3.3 Units and Counits . .6 3.4 Initial and Terminal Objects . .7 3.4.1 Comma Categories . .7 4 Representability and Yoneda's Lemma 8 4.1 Representables . .9 4.2 The Yoneda Embedding . 10 4.3 The Yoneda Lemma . 10 4.4 Consequences of Yoneda . 11 5 Limits and Colimits 12 5.1 (Co)Products, (Co)Equalizers, Pullbacks and Pushouts . 13 5.2 Topological limits . 15 5.3 Existence of limits and colimits . 15 5.4 Limits as Representable Objects . 16 5.5 Limits as Adjoints . 16 5.6 Preserving Limits and GAFT . 18 6 Abelian Categories 19 6.1 Homology . 20 6.1.1 Biproducts . 21 6.2 Exact Functors . 23 6.3 Injective and Projective Objects . 26 6.3.1 Projective and Injective Modules . 27 6.4 The Chain Complex Category . 28 6.5 Homological dimension . 30 6.6 Derived Functors . 32 1 CONTENTS CONTENTS 7 Triangulated and Derived Categories 35 ||||||||||| Note to the reader: This is an ongoing collection of notes on introductory category theory that I have kept since my undergraduate years. They are aimed at students with an undergraduate level background in topology and algebra. These notes started as lecture notes for the Fall 2015 Category Theory tutorial led by Danny Shi at Harvard. There is no single textbook that these notes follow, but Categories for the Working Mathematician by Mac Lane and Lang's Algebra are good standard resources.
Notes on Category Theory

Notes on Category Theory Mariusz Wodzicki November 29, 2016 1 Preliminaries 1.1 Monomorphisms and epimorphisms 1.1.1 A morphism m : d0 ! e is said to be a monomorphism if, for any parallel pair of arrows a / 0 d / d ,(1) b equality m ◦ a = m ◦ b implies a = b. 1.1.2 Dually, a morphism e : c ! d is said to be an epimorphism if, for any parallel pair (1), a ◦ e = b ◦ e implies a = b. 1.1.3 Arrow notation Monomorphisms are often represented by arrows with a tail while epimorphisms are represented by arrows with a double arrowhead. 1.1.4 Split monomorphisms Exercise 1 Given a morphism a, if there exists a morphism a0 such that a0 ◦ a = id (2) then a is a monomorphism. Such monomorphisms are said to be split and any a0 satisfying identity (2) is said to be a left inverse of a. 3 1.1.5 Further properties of monomorphisms and epimorphisms Exercise 2 Show that, if l ◦ m is a monomorphism, then m is a monomorphism. And, if l ◦ m is an epimorphism, then l is an epimorphism. Exercise 3 Show that an isomorphism is both a monomorphism and an epimor- phism. Exercise 4 Suppose that in the diagram with two triangles, denoted A and B, ••u [^ [ [ B a [ b (3) A [ u u ••u the outer square commutes. Show that, if a is a monomorphism and the A triangle commutes, then also the B triangle commutes. Dually, if b is an epimorphism and the B triangle commutes, then the A triangle commutes.
Basic Category Theory

Basic Category Theory TOMLEINSTER University of Edinburgh arXiv:1612.09375v1 [math.CT] 30 Dec 2016 First published as Basic Category Theory, Cambridge Studies in Advanced Mathematics, Vol. 143, Cambridge University Press, Cambridge, 2014. ISBN 978-1-107-04424-1 (hardback). Information on this title: http://www.cambridge.org/9781107044241 c Tom Leinster 2014 This arXiv version is published under a Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International licence (CC BY-NC-SA 4.0). Licence information: https://creativecommons.org/licenses/by-nc-sa/4.0 c Tom Leinster 2014, 2016 Preface to the arXiv version This book was ﬁrst published by Cambridge University Press in 2014, and is now being published on the arXiv by mutual agreement. CUP has consistently supported the mathematical community by allowing authors to make free ver- sions of their books available online. Readers may, in turn, wish to support CUP by buying the printed version, available at http://www.cambridge.org/ 9781107044241. This electronic version is not only free; it is also freely editable. For in- stance, if you would like to teach a course using this book but some of the examples are unsuitable for your class, you can remove them or add your own. Similarly, if there is notation that you dislike, you can easily change it; or if you want to reformat the text for reading on a particular device, that is easy too. In legal terms, this text is released under the Creative Commons Attribution- NonCommercial-ShareAlike 4.0 International licence (CC BY-NC-SA 4.0). The licence terms are available at the Creative Commons website, https:// creativecommons.org/licenses/by-nc-sa/4.0.
Topos Theory

Topos Theory Olivia Caramello Introduction The categorical point of view The language of Category Theory Categories Functors Natural transformations Topos Theory Properties of functors Lectures 2-3-4: Categorical preliminaries Full and faithful functors Equivalence of categories Basic categorical Olivia Caramello constructions Universal properties Limits and colimits Adjoint functors The Yoneda Lemma Elementary toposes For further reading Topos Theory The categorical point of view Olivia Caramello Introduction • Category Theory, introduced by Samuel Eilenberg and Saunders The categorical point of view Mac Lane in the years 1942-45 in the context of Algebraic The language of Topology, is a branch of Mathematics which provides an abstract Category Theory Categories language for expressing mathematical concepts and reasoning Functors Natural about them. In fact, the concepts of Category Theory are transformations unifying notions whose instances can be found in essentially Properties of functors every ﬁeld of Mathematics. Full and faithful functors • Equivalence of The underlying philosophy of Category Theory is to replace the categories primitive notions of set and belonging relationship between sets, Basic categorical constructions which constitute the foundations of Set Theory, with abstractions Universal of the notions of set and function, namely the concepts of object properties Limits and colimits and arrow. Adjoint functors • Since it was introduced, this approach has entailed a deep The Yoneda Lemma paradigmatic shift in the way Mathematicians could look at their Elementary subject, and has paved the way to important discoveries which toposes would have hardly been possible before. One of the great For further reading achievements of Category Theory is Topos Theory, a subject entirely written in categorical language.
On Adjoint and Brain Functors

On Adjoint and Brain Functors David Ellerman Philosophy Department University of California at Riverside Abstract There is some consensus among orthodox category theorists that the concept of adjoint functors is the most important concept contributed to mathematics by category theory. We give a heterodox treatment of adjoints using heteromorphisms (object-to-object morphisms between objects of different categories) that parses an adjunction into two separate parts (left and right representations of heteromorphisms). Then these separate parts can be recombined in a new way to define a cognate concept, the brain functor, to abstractly model the functions of perception and action of a brain. The treatment uses relatively simple category theory and is focused on the interpretation and application of the mathematical concepts. The Mathematical Appendix is of general interest to category theorists as it is a defense of the use of heteromorphisms as a natural and necessary part of category theory. Contents 1 Category theory in the life and cognitive sciences 1 2 The ubiquity and importance of adjoints 2 3 Adjoints and universals 3 4 The Hom-set definition of an adjunction 4 5 Heteromorphisms and adjunctions 6 6 Brain functors 8 7 A mathematical example of a brain functor 12 8 Conclusion 13 9 Mathematical Appendix: Are hets really necessary in category theory? 13 9.1 Chimeras in the wilds of mathematical practice . 14 9.2 Hets as "homs" in a collage category . 15 9.3 What about the homs-only UMPs in adjunctions? . 16 9.4 Are all UMPs part of adjunctions? . 16 1 Category theory in the life and cognitive sciences There is already a considerable but widely varying literature on the application of category theory to the life and cognitive sciences—such as the work of Robert Rosen ([31], [32]) and his followers1 as 1 See [38], [20], and [21] and their references.
Complete Internal Categories

Complete Internal Categories Enrico Ghiorzi∗ April 2020 Internal categories feature notions of limit and completeness, as originally proposed in the context of the effective topos. This paper sets out the theory of internal completeness in a general context, spelling out the details of the definitions of limit and completeness and clarifying some subtleties. Remarkably, complete internal categories are also cocomplete and feature a suitable version of the adjoint functor theorem. Such results are understood as consequences of the intrinsic smallness of internal categories. Contents Introduction 2 1 Background 3 1.1 Internal Categories . .3 1.2 Exponentials of Internal Categories . .9 2 Completeness of Internal Categories 12 2.1 Diagrams and Cones . 12 2.2 Limits . 14 2.3 Completeness . 17 2.4 Special Limits . 20 2.5 Completeness and Cocompleteness . 22 arXiv:2004.08741v1 [math.CT] 19 Apr 2020 2.6 Adjoint Functor Theorem . 25 References 32 ∗Research funded by Cambridge Trust and EPSRC. 1 Introduction Introduction It is a remarkable feature of the effective topos [Hyl82] to contain a small subcategory, the category of modest sets, which is in some sense complete. That such a category should exist was originally suggested by Eugenio Moggi as a way to understand how realizability toposes give rise to models for impredicative polymorphism, and concrete versions of such models already appeared in [Gir72]. The sense in which the category of modest sets is complete is a delicate matter which, among other aspects of the situation, is considered in [HRR90]. This notion of (strong) completeness is related in a reasonably straightforward way—using the externalization of an internal category—to the established notion for indexed categories [PS78].