Questions designed to get an overview of a specific subject or body of results or to understand the relations among similar definitions, techniques or concepts appearing in different sub-fields of mathematics. While such questions by their very nature sometimes cannot be made very narrow and ...

learn more… | top users | synonyms

15
votes
1answer
586 views

3D generalizations of permutations, RSK correspondence, contingency tables, etc.

I want to gather facts and questions related to 3D generalizations of permutations, RSK correspondence, contingency tables, etc. One reason I am interested in this is because it is potentially related ...
15
votes
3answers
1k views

Research level applications of “row rank = column rank”?

No less an authority than Gilbert Strang frames "row rank equals column rank" (and a couple of other facts) as "The Fundamental Theorem of Linear Algebra." I'd simply like to assemble (for teaching ...
7
votes
3answers
634 views

spectacular applications of functional analysis in resolutions of apparently unrelated problems

What are some of the spectacular applications of functional analysis to apparently unrelated problems.One that comes to my mind is Per Enflo's resolution of Hilbert's 5th problem.There are also ...
15
votes
1answer
527 views

Skeleton category of the category of skeleton categories?

A category is a skeleton if, roughly speaking, no two distinct objects within the category are isomorphic. To every category is associated a skeleton, and two categories are categorically "equivalent" ...
53
votes
11answers
3k views

Why is Set, and not Rel, so ubiquitous in mathematics?

The concept of relation in the history of mathematics, either consciously or not, has always been important: think of order relations or equivalence relations. Why was there the necessity of singling ...
4
votes
1answer
1k views

Algebraic number theory: building and simplifying

This is a somewhat subjective question, about the past, present and especially future of algebraic number theory. I'm not at all in this area, but I'd be interested in an answer. As we all know, ...
20
votes
4answers
1k views

When must it be sets rather than proper classes, or vice-versa, outside of foundational mathematics?

Every once in a blue moon it actually matters that some mathematical entity which might a priori only be a class is in fact a set. For clarification, here are some examples of what I do not ...
32
votes
3answers
2k views

What do theta functions have to do with quadratic reciprocity?

The theta function is the analytic function $\theta:U\to\mathbb{C}$ defined on the (open) right half-plane $U\subset\mathbb{C}$ by $\theta(\tau)=\sum_{n\in\mathbb{Z}}e^{-\pi n^2 \tau}$. It has the ...
19
votes
4answers
2k views

The Riemann Hypothesis and the Langlands program

On page 263 of this book review appears the following: Given the centrality of L-functions to the Langlands program, nothing would seem more natural (than a presentation of elementary algebraic ...
16
votes
1answer
570 views

Monte Carlo integration

As probably many other people here, I learned integration, as an undergrad, from Rudin's books. I recently realized, however, that I don't quite use Lebesgue integration in my work, or at least I use ...
29
votes
3answers
1k views

“Softness” vs “rigidity” in Geometry

According to common wisdom, there are structures in Geometry that have a more "topological" flavor, others that are more "geometrical", and others that are halfway between. Usually, geometries${}^*$ ...
55
votes
7answers
4k views

How does “modern” number theory contribute to further understanding of $\mathbb{N}$?

I hope this question is appropriate for MO. It comes from a genuine desire to understand the big picture and ground my own studies "morally". I'm a graduate student with interest in number theory. I ...
5
votes
1answer
915 views

Clean introduction to toric varieties for an undergraduate audience

I will be giving a talk to a (primarily) undergraduate audience on certain relatively concrete computations with toric varieties and their blowups. The talk is short, about 20 mins. As I result I need ...
3
votes
1answer
468 views

What do orbital integrals have to do with reciprocity?

Hi, this is my first question (of many). I am blogging for the Fields Medal Symposium and would like to get into the mathematics involved with our program. In an attempt to sort through the articles ...
8
votes
3answers
943 views

What are Penrose Tilings, and how do they relate to Quasicrystals?

The question is in the title, but let me elaborate a little. Background Penrose Tilings are really pretty and satisfy some remarkable properties. For instance, I believe the following is true: even ...
22
votes
9answers
2k views

What are some interesting problems in the intersection of Algebraic Number Theory and Algebraic Topology?

I'm a beginning graduate student and while my background is primarily in algebraic number theory, I've found myself a bit smitten with the subject of algebraic topology recently after only having read ...
19
votes
5answers
2k views

A toolbox for algebraic topology

This question has a very general part and a rather concrete part. General: When one wants to prove something in algebraic topology (actually in all parts of mathematics) one obviously needs some ...
12
votes
6answers
829 views

Proof by `universal receiver'

Anyone following the news knows about the major breakthoughs that have taken place recently in $3$-manifold topology. These have come via a route whose big-picture I find to be conceptually ...
13
votes
0answers
696 views

What is the appropriate setting for Cauchy's Integral Formula?

For a $C^1$ function $f:U\to\mathbb{C}$, where $D\subset U\subseteq \mathbb{C}$ with piecewise $C^1$ boundary $\partial D$, we have the following generalized Cauchy integral formula: $$ f(\zeta) = ...
10
votes
0answers
1k views

Status of the Leopoldt conjecture ? [closed]

In 2009 Mihailescu published a proof of the famous Leopoldt conjecture on the arxiv. Later on, in 2011, he published a 'lightweight' version that proves the conjecture for CM fields. Also compare ...
21
votes
2answers
2k views

Elevator pitch for the Virtual Fibering Theorem

There has been a great deal of excitement among topologists about the proof of the Virtual Haken Theorem, and in fact of the Virtual Fibering Theorem (for closed hyperbolic 3-manifolds, but I'm ...
7
votes
2answers
823 views

Explaining Mukai-Fourier transforms physically

A core concept in mathematics, engineering, and physics is the Fourier Transform (FT) and its many variants (Generalized Fourier Series, Green's Function, Pontryagin duality). The basic algorithm is ...
25
votes
1answer
834 views

Coefficients of Weil Cohomology Theories

A Weil Cohomology theory is a functor from the category of smooth projective varieties (over some fixed field $k$) to graded $K$-algebras (for some fixed field $K$) satisfying various axioms. For ...
16
votes
3answers
841 views

Proofs that inspire and teach

I was just listening to the show "A Splendid Table" (which I'd recommend, if you're interested in food) in which they were discussing how to spot a good recipe: one which you can follow successfully ...
3
votes
0answers
840 views

Which mathematical questions are objectively true or false? [closed]

Which parts of mathematics are objectively true or false like finite arithmetic and which are only true, false or undecidable relative to a particular axiom system such as Euclidean geometry? ...
7
votes
2answers
1k views

Duality of eta product identities: a new idea?

Looking at the collection of Eta Function Product Identities by Michael Somos, it seems like generally those identities come in pairs: let's call two eta product identities $\sum\limits_{i=1}^r ...
3
votes
0answers
201 views

Finite subgroups of the unimodular group

This is related to this MO question (and others as well). Hoping that this will not turn out to be too broad, I would like to know about the 'state of the art' of: 1) The problem of classifying ...
2
votes
1answer
435 views

Is there a well defined subset of the integers that cannot be defined as a property of a recursive process or Turing Machine?

Is there a well defined subset of the integers that cannot be defined as a property of a recursive process or Turing Machine? I have long been intrigued by the observation that much of mathematics ...
13
votes
2answers
512 views

Why are some q-analogues more canonical than others?

It is striking that some q-analogs of functions, operators, identities and especially whole theorems seem quite "canonical", e.g. the factorial and the q-Gamma function the basic hypergeometric ...
41
votes
6answers
4k views

What is the significance of non-commutative geometry in mathematics?

This is a question that has been winding around my head for a long time and I have not found a convincing answer. The title says everything, but I am going to enrich my question by little more ...
1
vote
2answers
988 views

Intrinsic vs. Extrinsic [closed]

Undoubtedly, these terms play essential roles in (pure) mathematics. My problem is that I have feelings what they mean in different fields, such as, differential geometry (abstract manifolds vs. ...
1
vote
2answers
1k views

An undergraduate's guide to the foundational theorems of logic [closed]

How would you explain one of these theorems in the foundations of mathematics to a fellow colleague outside the field of logic (or rather to an undergraduate mathematics student) handwaving over the ...
0
votes
4answers
767 views

What are other applications of difference equations in other branches of mathematics ?

What are some of interesting results that arise from using difference equations in number theory , Combinatorics or any other field ?
22
votes
11answers
1k views

Characterizing specific “concrete” mathematical objects by abstract general properties

In this note by Tom Leinster the Banach space $\mathrm{L}^1[0,1]$ is recovered by "abstract nonsense" as the initial object of a certain category of (decorated) Banach spaces. So a function space, ...
33
votes
0answers
4k views

Grothendieck's manuscript on topology

Edit: Infos on the current state by Lieven Le Bruyn: http://www.neverendingbooks.org/grothendiecks-gribouillis Edit: Just in case anyone still thinks that Grothendieck's unpublished manuscripts are ...
3
votes
0answers
211 views

ubiquitous modulicity?

On the one hand, as mentioned here, basically "everything" in algebraic geometry could be seen in the context of "moduli problems" - on the other hand, Grothendieck's few remarks on a possible "tame ...
5
votes
1answer
1k views

When are technical assumptions critical? [closed]

Apart from their technical statement and proof, a usual presentation of theorems is by leading up to them with a definite motivation or intuition, for example putting the results in the wider context ...
20
votes
4answers
2k views

What information is contained in the Kazhdan-Lusztig polynomials?

The Kazhdan-Lusztig polynomials contain all kinds of representation theoretic (and other kinds of) informations. For example the character of a simple module over a Lie algebra with Weyl group $W$ ...
2
votes
1answer
425 views

Hilbert's 3rd problem,number theory, motives, cyclic homology,…

This talk by Jinhyun Park connects a lot of interesting themes, making me curious to read more about that. Do you know where?
24
votes
1answer
1k views

more on “Transalgebraic Theories” (a 19th century yoga)?

Among the talks at occasion of the Galois Bicentennial, one is about "Transalgebraic Theories". Unfortunately I found only this article describing that fascinating idea as " an extremely powerful ...
3
votes
3answers
437 views

Usefulness of symbolic devices

Each mathematician knows that good notation or symbolism – which seems to be irrelevant from a purely logical point of view – makes theorems more plausible and motivates results which would ...
15
votes
3answers
780 views

Thom's Principle: rich structures are more numerous in low dimension

Marcel Berger states Thom's Principle as: "rich structures are more numerous in low dimension, and poor structures are more numerous in high dimension." This is in Geometry II ...
23
votes
14answers
3k views

Interesting mathematical topics arising from Biology

I've heard that there's a relatively new field of science called Mathematical Biology. It will certainly apply well known and less known mathematical techniques to the understanding of some ...
40
votes
24answers
7k views

The concept of Duality

I have been thinking for sometime about asking this question, but because I did not want to have two "big-list" questions open at the same time, I did not ask this one. Now its time has come. ...
6
votes
1answer
896 views

How are mathematical objects defined from an ultrafinitist perspective?

I remember attending a lecture given by an ultrafinitist who denied that curves are a set of points, he would only say that any particular point may or not be on the curve. Similarly for algebraic or ...
12
votes
0answers
223 views

Is there a common framework for Tannaka and Gabriel-Ulmer reconstruction theorems?

Gabriel-Ulmer duality is a biequivalence between the 2-category of finite limit categories and the 2-category of locally finitely presentable categories. It allows for the reconstruction of a theory ...
8
votes
2answers
1k views

Did Joseph Doob prove that random sequences don't exist?

In the book "The Mathematical Experience" it says: "An infinite [binary] sequence $x_1, x_2, \ldots$ is called random in the sense of von Mises if every infinite sequence $x_{n_1}, x_{n_2}, ...
5
votes
2answers
616 views

What is the relation of the Kuznetsov-Bruggeman trace formula and the Selberg trace formula?

I have read that there is an elementary way to show that the above mentioned trace fromulas are equivalent in the sense, that each of them can be derived directly from the other. There should exist a ...
29
votes
3answers
2k views

On what kind of objects do the Galois groups act?

I am neither number theorist nor algebraic geometer. I am wondering whether Galois groups of number fields (say the absolute Galois group $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$) act on objects which ...
34
votes
1answer
1k views

Various flavours of infinitesimals

I'm not sure if this is a soft question, and whether it may be too broad or, on the contrary, too localized. Well, in Mathematics the concept of "infinitesimal" has been of extreme importance for ...