# All Questions

**59**

votes

**26**answers

5k views

### What would you want on a Lie theory cheat poster?

For some long time now I've thought about making a poster-sized "cheat sheet" with all the data about Lie groups and their representations that I occasionally need to reference. It's a moving target, ...

**26**

votes

**2**answers

710 views

### A more natural proof of Dold-Kan?

The Dold-Kan correspondence gives an equivalence of categories between $SAb$, the category of simplicial abelian groups, and $Ch_{\geq 0}$, the category of non-negatively graded chain complexes of ...

**7**

votes

**4**answers

1k views

### Is the Manickam-Miklós-Singhi Conjecture solved? [closed]

This arXiv paper is claimed to contain a proof for the MMS conjecture. But it seems that this manuscript is not yet peer reviewed by other mathematicians. I personally tried to follow the paper, but ...

**64**

votes

**12**answers

20k views

### What are the big problems in probability theory?

Most branches of mathematics have big, sexy famous open problems. Number theory has the Riemann hypothesis and the Langlands program, among many others. Geometry had the Poincaré conjecture for a long ...

**15**

votes

**2**answers

471 views

### Ultraweak topology on B(X): Is the map X\otimes X* -> B(X)* isometric?

Let $X$ be a Banach space. Consider the map
$$
\alpha\colon X\hat{\otimes} X^* \to B(X)^*,
$$
defined one simple tensors as
$$
\alpha(\xi\otimes\eta)(a) = \eta(a(\xi)).\quad (\xi\in X, \eta\in X^*, ...

**28**

votes

**4**answers

2k views

### Why the Dold-Thom theorem?

Dold-Thom Theorem: $$\pi_i(SP(X))\cong\tilde{H}_i(X)$$
It's pretty miraculous, no? I've seen its proof, where you show that the composition of the functors on the left-side satisfies the axioms of a ...

**39**

votes

**9**answers

11k views

### What is the exterior derivative intuitively?

Hi,
actually I have several related questions, not worth opening different threads:
What is the of the exterior derivative intuitively? What is its geometric meaning?
A possible answer I know is, ...

**6**

votes

**1**answer

267 views

### Non-negativity of invariant polynomials

Certifying the non-negativity of a symmetric polynomial is much easier than
certifying the non-negativity of an arbitrary polynomial function:
for instance, in (1) is proved that the complexity of ...

**15**

votes

**2**answers

1k views

### (co)homology of symmetric groups

Let $S_n=\{\text{bijections }[n]\to[n]\}$ be the n-th symmetric group. Its (co)homology will be understood with trivial action. What are the $\mathbb{Z}$-modules $H_k(S_n;\mathbb{Z})$? Using GAP, we ...

**15**

votes

**1**answer

856 views

### Applications of $p$-adic Hodge theory

I am trying to learn $p$-adic Hodge theory. I found some materials explaining main theorems (or aspects) of the theory. However, I could not find references which explaining how to use the theory. ...

**35**

votes

**11**answers

8k views

### Standard model of particle physics for mathematicians

If a mathematician who doesn't know much about the physicist's jargon and conventions had the curiosity to learn how the so called Standard Model (of particle physics, including SUSY) works, where ...

**4**

votes

**2**answers

348 views

### Yang–Baxter explanation

What are the most simple examples which can explain the meaning of Yang–Baxter equation? Is there any way to explain this mysterious object to a person who is not a professional in quantum groups? ...

**11**

votes

**1**answer

237 views

### How many Fréchet manifolds are there?

Clearly the title needs clarifying. Allow me to let "how many" to mean a set larger than a skeleton of the category of Fréchet manifolds and smooth maps, if this category is indeed essentially small.
...

**40**

votes

**1**answer

3k views

### Are the primes normally distributed? Or is this the Riemann hypothesis?

Forgive my very naive question. I know next to nothing about number theory, but I'm curious about the state of the art on the distribution of primes.
Let $\mathrm{Li}(x)$ be the offset logarithmic ...

**2**

votes

**2**answers

146 views

### Question on the number of equilibria

Let $f: C \to C$ be a smooth function and $C$ be a compact set, subset of $\mathbb{R}^n$.
We assume that all the fixed points are hyperbolic. Is it true that the number of fixed points is finite or ...

**53**

votes

**7**answers

17k views

### Is Mac Lane still the best place to learn category theory?

For a student embarking on a study of algebraic topology, requiring a knowledge of basic category theory, with a long-term view toward higher/stable/derived category theory, ...
Is Mac Lane still ...

**20**

votes

**3**answers

1k views

### What's a noncommutative set?

This issue is for logicians and operator algebraists (but also for anyone who is interested).
Let's start by short reminders on von Neumann algebra (for more details, see [J], [T], [W]):
Let $H$ ...

**41**

votes

**23**answers

23k views

### Taking lecture notes in lectures

Do you find it a good idea to take lecture notes (even detailed lecture notes) in mathematical lectures?
Related question: Digital Pen for Math: Your Experiences?

**21**

votes

**5**answers

2k views

### Verlinde's formula

"Verlinde's formula" predicts the dimension of the space of conformal blocks of a chiral CFT.
Depending on...
• which chiral CFT one considers (does one restrict to WZW models, or not?)
...

**1**

vote

**2**answers

211 views

### Mathematical statistical qm book-recommendation

I feel that there are quite a few good and rigorous books on the mathematical foundations of quantum mechanics, but I am currently looking for a book that covers mathematical statistical quantum ...

**0**

votes

**0**answers

86 views

### Random Cluster Model only for bond percolation?

Can someone please tell me which of the following statements I make are true of the current state of the art:
The Random Cluster Model is a generalization of bond percolation (with possibly ...

**27**

votes

**7**answers

1k views

### Concise model of modern fiat money and its non-conservation

A confession: I have never really understood the basic model of fiat money and central banking, by which a central bank controls the money supply. By the standards of someone trained in mathematics, ...

**4**

votes

**1**answer

417 views

### weak convergence of the solutions to stochastic heat equation

$W(t,x)=\sum_ic_ie_i(x)B^i_t$ is a Brownian motion in $L^2(R^d)$, where $\{e_i\}$ is the standard orthogonal basis and $\sum_ic_i^2<\infty$.
$$\partial_t u(t,x)=\Delta u(t,x)+u(t,x)\dot{W}(t,x)$$
...

**7**

votes

**7**answers

906 views

### Almost-converses to the AM-GM inequality

Let us consider the Arithmetic Mean -- Geometric Mean inequality for nonnegative real numbers:
$$ GM := (a_1 a_2 \ldots a_n)^{1/n} \le \frac{1}{n} \left( a_1 + a_2 + \ldots + a_n \right) =: AM. $$
...

**5**

votes

**1**answer

978 views

### Riemann hypothesis and Kakeya needle problem

The question may be a bit vague. I noticed an analogy that both Riemann hypothesis and Kakeya needle problem has been proved in finite fields. Can somebody shed light on why finite field analogues are ...

**59**

votes

**3**answers

11k views

### Slick proof?: A vector space has the same dimension as its dual if and only if it is finite dimensional

A very important theorem in linear algebra that is rarely taught is:
A vector space has the same dimension as its dual if and only if it is finite dimensional.
I have seen a total of one proof ...

**7**

votes

**3**answers

671 views

### Is it consistent with ZFC (or ZF) that every definable family of sets has at least one definable member?

I consider definability to mean one of either cases:
Definability without parameters (in the language of set theory), or
Definability from ordinals and a real (in the same language).
So my ...

**23**

votes

**7**answers

2k views

### Intuition for failure of Implicit Function theorem on Frechet Manifolds

When dealing with moduli spaces of, say connections or metrics, I am using the notions of Frechet spaces/manifolds/groups. I have become familiar with Banach manifolds (I think), but Frechet manifolds ...

**1**

vote

**1**answer

194 views

### Polynomial convex coefficients

Assume we have an arbitrary high order polynomial $$f(L)=1-L\theta_1-L^2\theta_2-L^3\theta_3-...-L^N\theta_N$$ and we know all roots of this polynomial site outside the unit circle. It is obvious that ...

**20**

votes

**6**answers

5k views

### How does one motivate the analytic continuation of the Riemann zeta function?

I saw the functional equation and its proof for the Riemann zeta function many times, but ususally the books start with, e.g. tricky change of variable of Gamma function or other seemly unmotivated ...

**18**

votes

**5**answers

4k views

### What mathematical treatment is there on the renormalization group flow in a space of Lagrangians?

What mathematical treatment is there on the renormalization group flow in a space of Lagrangians?

**22**

votes

**8**answers

2k views

### Between mu- and primitive recursion

It is well known that primitive recursion is not powerful enough
to express all functions, Ackermann function being probably the best
known example.
Now, in the logic courses (that I have had look ...

**12**

votes

**3**answers

723 views

### Can eta invariant be written in terms of topological data?

The eta invariant was introduced by Atiyah, Patodi, and Singer. It roughly measures the asymmetry of the spectrum of a self-adjoint elliptic operator with respect to the origin. In the paper "Exotic ...

**378**

votes

**1**answer

28k views

### Polynomial bijection from $\mathbb Q\times\mathbb Q$ to $\mathbb Q$?

Is there any polynomial $f(x,y)\in{\mathbb Q}[x,y]{}\ $ such that $f:\mathbb{Q}\times\mathbb{Q} \rightarrow\mathbb{Q}$ is a bijection?

**4**

votes

**0**answers

124 views

### ``Occasional'' Laurent phenomenon

This question is motivated by Richard Stanley's A question on the Laurent phenomenon (motivated by his answer to the question what is the probability that a scissor became the champion?).
He asked ...

**38**

votes

**4**answers

2k views

### Inconsistent theory with long contradiction

What can one say about an inconsistent theory $T$ which has no contradictions (i.e. deductions of $P \wedge \neg P$) of length shorter than $n$, where $n$ is some huge number?
There have been some ...

**2**

votes

**1**answer

125 views

### Existence of parametrizations of rational orthogonal matrices

I suppose that there are formulas which parametrize all the orthogonal matrices with rational coefficients. Does anyone know anything about it? And what are some publications that discuss this?
...

**35**

votes

**6**answers

3k views

### Status of PL topology

I posted this question on math stackexchange but received no answers. Since I know there are more people knowledgeable in geometric and piecewise-linear (PL) topology here, I'm reposting the question. ...

**14**

votes

**10**answers

3k views

### nonstandard analysis book recommendation

I wish to learn nonstandard analysis. Are there any good book recommendations? I'm familiar with the ZFC system, and learnt analysis the classical way. I've found some undergraduate texts, but they ...

**22**

votes

**8**answers

4k views

### Why are fusion categories interesting?

In the same vein as Kate and Scott's questions, why are fusion categories interesting? I know that given a "suitably nice" fusion category (which probably means adding adjectives such as "unitary," ...

**46**

votes

**3**answers

2k views

### Groups that do not exist

In the long process that resulted in the classification of finite simple groups, some of the exceptional groups were only shown to exist after people had computed (most of) their character tables and ...

**44**

votes

**16**answers

8k views

### Atiyah-Singer index theorem

Every year or so I make an attempt to "really" learn the Atiyah-Singer index theorem. I always find that I give up because my analysis background is too weak -- most of the sources spend a lot of ...

**27**

votes

**4**answers

3k views

### Construction of the Stiefel-Whitney and Chern Classes

I've seen two constructions of these characteristic classes. The first comes from Milnor and Stasheff's book and involves the Thom isomorphism and (at least for me) the rather mysterious Steenrod ...

**24**

votes

**4**answers

3k views

### Flatness and local freeness

The following statement is well-known:
$A$ a commutative Noetherian ring, $M$ a finitely generated $A$-module. Than $M$ is flat if and only if $M_{\mathfrak{p}}$ is free for all $\mathfrak{p}$.
My ...

**21**

votes

**4**answers

5k views

### Finite extension of fields with no primitive element

What is an example of a finite field extension which is not generated by a single element?
Background: A finite field extension E of F is generated by a primitive element if and only if there are a ...

**53**

votes

**2**answers

5k views

### How would you solve this tantalizing Halmos problem?

1-ab invertible => 1-ba invertible has a slick power series "proof" as below, where Halmos asks for an explanation of why this tantalizing derivation succeeds. Do you know one?
Geometric series. In ...

**16**

votes

**14**answers

2k views

### Teaching a pedagogy course

At my institution incoming graduate students must take a semester long course on pedagogy taught by current grad students. I may soon be in the position of having to teach this course and I'm looking ...

**24**

votes

**10**answers

3k views

### Toy Models of Quantum Mechanics

Do toy models of quantum mechanics help us better understand "regular" quantum mechanics? For example, if we look at quantum mechanics over a finite field $F$ (e.g. $\mathbb{Z}_2$), can this lead to ...

**8**

votes

**3**answers

604 views

### When is the projective model structure cartesian? When is the internal hom invariant?

If M is a sufficiently nice model category and D is a small category then there are two natural model structures we can impose on the functor category $Fun(D,M)$ where the weak equivalences are the ...

**23**

votes

**6**answers

3k views

### When (if ever) disclose your identity as a reviewer?

The peer review system is in general single blinded: The reviewers will not be known by the authors of a paper by default. One reason for this is to guarantee that the reviewer can write his opinions ...