## An Update

Hey everyone. It’s been a fair bit of time since I last posted here. Since then, a lot of things have happened. Most relevant for this blog, I graduated UMD and started attending the University of California, Berkeley.

I recently decided that I wanted to start blogging again. Instead of posting on Abstract Nonsense again, I thought I would start a new blog: Hard Arithmetic. If you are interested, you should come and take a look.

Because of the popularity of this blog though, I have decided to leave it up–it makes me so happy it’s helped so many people since I’ve left it. This decision is despite the fact that reading some of my older posts is quite embarrassment inducing. That said, if you’d like to contact me, it would probably more effective to either contact me at my new blog, or shoot me an email at ayoucis@berkeley.edu

Thanks for reading everyone!

## Meromorphic Functions on Riemann Surfaces (Pt. II)

**Point of Post: **This is a continuation of this post.

## Holomorphic Maps and Functions (Pt. I)

**Point of Post: **In this post we define holomorphic maps between surfaces and prove various properties that such maps possess. We then specialize this to looking at holomorphic functions.

**Motivation**

Now that we have defined Riemann surfaces and given ample examples we can define the arrows in our category–in other words, the structure preserving maps between Riemann surfaces. Of course, these should just be the maps between Riemann surfaces that are holomorphic locally, where this makes sense since locally Riemann surfaces are just open subsets of .

How do we make this rigorous? Precisely the way we did with smooth maps between smooth manifolds. Namely, if we have a map between two Riemann surfaces, and a point then should be holomorphic at if, when we pretend that is just an open subset of locally around , and that is just an open subset of around , and then pretend that is just a map between these open subsets of , that we get something holomorphic. Of course, we need to unravel this to make it slightly more rigorous. The first rigorization (new word?) we would like to perform is to make explicit what we mean by “pretending” things look, locally, like an open subset of . In particular, choosing charts and at and allows us to pretend that and are just the open subsets and of (we need to, for set theoretic technicalities, assume that –but this is just technical, and should [intuition wise!] just be ignored). Fine, but, how do we “pretend” that is a map ? Well, it’s fairly obvious that we would want the method of “pretending” to be consistent with the method of “pretend” we performed on the identifications and . In particular, we should pull back to a map on a subset of the same way we pulled back–using . Similarly, we should use to pull to a map on a subset of . Putting this all together we see that the map we should be considering is . Thus, *this* is the map we want to be holomorphic at (the “pretend” ).

Of course, just as in the case of smooth manifolds, the somewhat unsettling aspect of this definition is the idea that, a priori, this definition depends on our method of “pretend”. In particular, why can’t we pick different charts and get a function which is not holomorphic? Well, this is precisely why Riemann surfaces aren’t defined as just topological manifolds of one complex dimension. Namely, the requirement that our complex structure be internally (holomorphically) compatible is precisely so that this definition is independent of chart choice.

Ok, now that we have a notion of holomorphic mappings between Riemann surface we can start to ask how many of the theorems from complex analysis transfer over to this context? Does the Open Mapping Theorem hold? Does the Identity Theorem Hold? It turns out that the meta principle that (almost!) any mapping property that holds for true for holomorphic mappings between domains in holds true for mappings between Riemann surfaces. This should be intuitively true since holomorphic mapping properties are most often local theorems, and locally Riemann surfaces and the maps between them, are just holomorphic mappings between domains!

Of course, this is a meta principle, and as my parenthetical disclaimer indicates, things don’t always hold true for Riemann surfaces in general. What are some of the issues that would prevent us from carrying over a true statement about holomorphic maps between domains to a true statement about holomorphic mappings between Riemann surfaces? Probably the most egregious issue, and one of the simplest conceptually, is that perhaps there isn’t even an obvious analog for the theorem! For example, the Maximum Modulus Principle involves the notion of . Now, if we have a mapping for abstract Riemann surfaces and , what does even mean? That said, most of the issues are ones where we really only require to be not-so-abstract. Thus, we are naturally led (via trying to generalize theorems in complex analysis) to consider the special case of holomorphic mappings . Such holomorphic mappings shall be called (for historical reasons) holomorphic functions (i.e. the word function is reserved [instead of mapping] for when the codomain is ).

Now anyone familiar with smooth manifold theory will be saying to themselves “of course, holomorphic functions will undoubtedly be extremely important in our studies!” This intuition comes from the fact that in real manifold theory, this is very much true. Studying the smooth functions can tell us a surprisingly, fantastically huge amount of information about (pronounced Morse theory). This is, in fact, not entirely true. For example, we shall see that the *only* holomorphic functions on compact Riemann surfaces shall be constant maps (intuitively, this makes sense because any function shall have to assume it’s maximum from where [using our intuition given by the Maximum Modulus Principle on domains] we should guess our map is contant). This shall be the first indication of a very fundamental fact of Riemann surfaces. Namely, there are two types of Riemann surfaces: the compact and the non-compact. To be less cryptic, we shall see that the theorems/techniques used in the study of compact Riemann surfaces shall vary greatly from those in the study of non-compact Riemann surfaces. A good rule of thumb is that the study of compact Riemann surfaces feels algebraic/algebraic geometric (this has very precise, rigorous categorical statement) that the study of non-compact Riemann surfaces feels much more analysis/ geometric analysis like.

## Smooth Maps and the Category of Smooth Manifolds (Pt. I)

**Point of Post:** In this post we define what it means for a map between two manifolds to be smooth.

**Motivation**

We literally defined smooth manifolds to be the topological spaces where we will have a relatively sound meaning of what a “smooth map” is. Thus, it would seem that the first order of business is to fully define and explore this notion of smooth map. The basic idea though is precisely what we have said before. A map between smooth manifold will be smooth if it is smooth locally around each point and its image–when we think about the space locally as Euclidean space.

The interesting part is that once we define smooth map we will then be able to define the category of (finite dimensional) smooth manifolds. We will then be able to discuss the functor which takes a smooth manifold to it’s algebra of smooth functions (for us, function will mean a map into ). We will then be able to make sense of the following statement: the smooth structure of a manifold is largely encoded in its algebra of smooth functions.

## Current Schedule:Summer REU and Blogging

I thought that I would give any (if there exists any) regular readers of my blog a heads-up as to what is coming up in the following months in terms of blogging.

This summer I will be attending the SMALL program at Williams College in Williamstown, MA. Specifically I shall be working in the Algebraic and Geometric Combinatorics project with Elizabeth Beazley.

## Extension of Scalars (Pt. I)

**Point of Post: **In this post we discuss some of the fundamental ideas concerning extension of scalars.

*Motivation*

We finally can now get around to discussing a use of tensor products that I touted in my original introduction: extension of scalars. Namely, the idea is that we are handed some -module and some superring and would like to see to what extent we can consider to be an -module. In other words, are are considering the problem which is dual to taking an -module and considering it as an -module by just “restricting” scalars. Unfortunately, this is often impossible to do. For example, can’t be made into a -space since, if it could, whatever would be (and note, it has to be an INTEGER since the multiplication is a map ) it would satisfy which is impossible! So, the next best thing one could hope to do is perhaps extend the module in some “minimal” way so that it can be naturally imbued with an -module structure. In other words, we want to find some -module for which embeds into as an -module, and doing this in some minimal sort of way. For example, while cannot be given the structure of an -space it can surely be -embedded into such a space, namely itself. Once again, this may not always be possible, for example if is a finite abelian group (e.g. -module) then can never be -embedded into a -space since (as can be easily proven!) every element of a -space has infinite order. Thus, we can really only hope to ask for a “best case scenario”. What -module maximizes both the ability to faithfully (to some degree) embed and is minimal in some sense. In the case of our abelian group it’s clear that we’re going to have to take to be our -space since this is the only such space in which can be “embedded” (albeit very unfaithfully). This is what we mean by extension of scalars, such an -module .

If the obvious intellectual curiosity isn’t enough to motivate this problem I can mention that it has many uses. For example, I have in the past discussed the notion of induced representations which can be seen as extension of scalars problem. Namely, we suppose that we have some group and some subgroup . Roughly then what we wish to do is pass from an -representation to a -representation, which can be thought of as extending an -module (where is the group algebra) to an -module.

So, why might we expect that the tensor product is the correct route for such an extension of scalars? There is actually a quite natural way one might realize this. The first is the naive attempt that one might actually try to make a given -module into an -module in the most brutish way. Namely, let’s define a “formal multiplication” of and elements. Namely, given and let just be formal symbol, our “multiplication”. We then see that if this “multiplication” is to create a valid -module structure extending that of ‘s preexisting -module structure, we’re going to need certain identities to hold. For example, by mere definition of a module we are going to need that is linear in each entry (this is because we should have that , etc.). Moreover, since we want (since we are extending the -module structure) and we see that we are going to have for all , , and . Thus, we see that is an -biadditive map . Therefore if we’d like to consider a “universal” way to define an -module structure on it seems that we should be looking for a “universal” -biadditive map and so really we want to just be and that this should be our extension of scalars.