# Tagged Questions

Questions to get the "big picture" about a subject.

3k views

### Mathematics - The big picture

My knowledge in math sums up to several university level courses and a lot of self-study. Sometimes it feels like Mathematics is a huge subject with a lot of different areas which some of them ...
102 views

### What makes “the topos $\mathbf{M}_2$” such a good counterexample?

I'd like to ask this question sooner rather than later; it might be a bit half-baked. So I'm sorry. It's just that there's a chance I'll be side-tracked from Topos Theory for a couple of months (with ...
297 views

### How did Kurt Gödel's Incompleteness Theorem affect the mathematical world?

Hi I am looking not to understand the Incompleteness Theorem, but to find out more about how and what this has effected the mathematics world. I am in high school, in Honors Algebra II, and I am ...
2k views

### Understanding the Laplace operator conceptually

The Laplace operator: those of you who now understand it, how would you explain what it "does" conceptually? How do you wish you had been taught it? Any good essays (combining both history and ...
713 views

### Why there is much interest in the study of $\operatorname{Gal}\left(\overline{\mathbb Q}/\mathbb Q\right)$?

Let's start for a simple quote from wikipedia: "No direct description is known for the absolute Galois group of the rational numbers. In this case, it follows from Belyi's theorem that the ...
81 views

581 views

### Homological algebra in PDE

I have been fascinated by the power and wide applicability of homological methods in algebra and topology. Because I am also interested in PDE, there arises a natural question for me. What is ...
8k views

### Exterior Derivative vs. Covariant Derivative vs. Lie Derivative

In differential geometry, there are several notions of differentiation, namely: Exterior Derivative, $d$ Covariant Derivative/Connection, $\nabla$ Lie Derivative, $\mathcal{L}$. I have listed them ...
1k views

### If adjunction arises everywhere, where is it in the fundamental theorems?

MacLane's slogan "adjunction arises everywhere" is widely known, and adjunction has been identified as a key concept (maybe the key concept?) in category theory, eg, in the books by Goldblatt Topoi, ...
2k views

### Detailed diagram with mathematical fields of study

Some time ago, I was searching for a detailed diagram with mathematical fields of study the nearest one I could find is in this file, second page. I want something that shows information like: ...
2k views

### Main differences between analytic number theory and algebraic number theory

What are some of the big differences between analytic number theory and algebraic number theory? Well, maybe I saw too much of the similarities between those two subjects, while I don't see too much ...
218 views

### A quick question about categoricity in model theory

I just want to see if I am using the term "categoricity" correctly in the following context: (1) I was thinking about why someone might reject a simple resolution to Skolem's Paradox. (2) The ...
338 views

### Approach to Learning Co/Homology

I have decided to begin studying co/homology and I'm trying to work out the best approach to doing this. As I understand the situation, any system that satisfies the Eilenberg-Steenrod axioms ...
2k views

### Why are modular lattices important?

A lattice $(L,\leq)$ is said to be modular when $$(\forall a,b\in L) x \leq b \implies x \vee (a \wedge b) = (x \vee a) \wedge b,$$ where $\vee$ is the join operation, and $\wedge$ is the meet ...
337 views

### Projective profinite groups

I'm reading the first chapter of Serre's Galois Cohomology. On p. 58, He gives two examples of projective profinite groups: the profinite completion of free (discrete) groups; the cartesian product ...
118 views

### Is the notion of a dual space related to the set of polynomial functions on an affine algebraic variety?

Let $M$ be an affine algebraic variety and consider the ring of polynomial functions on $M$, $\mathcal{O}(M):=\{f: M\to k : f\text{ a polynomial}\}$. If $k$ is algebraically closed we can recover our ...