I realize there have been plently of discussions about this, but most of them are over my head and I never understand the geometric intuition behind them. I’m trying to make a big list of “justifications” for using the prime spectrum of a ring. So far, I have two fairly pleasing formal ones: Preimages of […]

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 known about applications of methods from homological algebra to the analysis of solutions of PDE on domains in $\mathbb{R}^n$?

I recently asked a question regarding why homomorphisms and isomorphisms are important. The best answer to that question was actually a comment, which referred me to Brian M. Scott’s answer here: https://math.stackexchange.com/a/242370/115703 That answer was mind blowingly insightful for me. I finally began to understand why someone would care about homomorphisms, and why the “kernel” […]

While reading about elliptic differential operators, I have seen the phrase elliptic bootstrapping in several places, but none of them explain exactly what it means. I know it has something to do with the regularity of elliptic differential equations. Does elliptic bootstrapping refer to a collection of theorems, a method/technique, or just a vague concept? […]

My casual study of mathematics and calculus introduced me to the notion that calculus didn’t find a firm foundation until Cauchy, Weierstrauss (et al) developed set theory some ~100 years after Newton and Leibniz. The concept of limits (and their epsilon-delta proofs) was what allowed calculus to get past the shaky logic of infinitesimals. (The […]

A lattice $(L,\leq)$ is said to be modular when $$ (\forall x,a,b\in L)\quad 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 operation. (Join and meet.) The ideals of a ring form a modular lattice. So do […]

This is ONE thing about my undergraduate studies in computer science that I haven’t been able to ‘link’ in my real life (academic and professional). Almost everything I studied I’ve observed be applied (directly or indirectly) or has given me Aha! moments understanding the principles behind the applications. Groups, Rings and Fields have always eluded […]

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 conceptual understanding) on the Laplace operator, and its subsequent variations (e.g. Laplace-Bertrami) that you would highly recommend?

This is an open-ended question, as is probably obvious from the title. I understand that it may not be appreciated and I will try not to ask too many such questions. But this one has been bothering me for quite some time and I’m not entirely certain that it’s completely worthless, which is why I’ve […]

A quick look at the wikipedia entry on mathematical constants suggests that the most important fundamental constants all live in the immediate neighborhood of the first few positive integers. Is there some kind of normalization going on, or some other reasonable explanation for why we have only identified interesting small constants? EDIT: I may have […]

Intereting Posts

How would one go about proving that the rationals are not the countable intersection of open sets?
Measurability and almost sure convergence
C.H. Edwards “Advanced Calculus of Several Variables”, Problem 3.5 of page 194
Special Orthogonal Group and Cayley-Hamilton theorem
How to show that $(a+b)^p\le 2^p (a^p+b^p)$
Understanding the solution of $\int\left(1-x^{p}\right)^{\frac{n-1}{p}}\log\left(1-x^{p}\right)dx$
What IS conditional convergence?
Is math built on assumptions?
Von Neumann universe in ZC
Is there a homology theory that counts connected components of a space?
Ideals of Polynomial Rings and Field Extensions
What is the class of topological spaces $X$ such that the functors $\times X:\mathbf{Top}\to\mathbf{Top}$ have right adjoints?
Why do negative exponents work the way they do?
How to prove this inequality(7)?
Automorphisms of the Petersen graph