**15**

votes

**1**answer

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

**3**answers

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

**3**answers

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

**1**answer

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

**11**answers

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

**1**answer

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

**4**answers

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

**3**answers

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

**4**answers

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

**1**answer

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

**3**answers

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

**7**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**9**answers

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

**5**answers

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

**6**answers

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

**0**answers

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

**0**answers

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

**2**answers

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

**2**answers

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

**1**answer

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

**3**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**1**answer

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

**2**answers

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

**6**answers

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

**2**answers

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

**2**answers

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

**4**answers

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

**11**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**4**answers

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

**1**answer

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

**1**answer

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

**3**answers

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

**3**answers

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

**14**answers

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

**24**answers

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

**1**answer

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

**0**answers

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

**2**answers

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

**2**answers

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

**3**answers

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

**1**answer

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 ...