# Tagged Questions

This tag is used if a reference is needed in a paper or textbook on a specific result.

**6**

votes

**1**answer

226 views

### coloring in lattice

This is a mathematical question raised from engineering and physics:
Is there some established mathematical approach in filling a physical lattice with some colored basis (black and white here)? For ...

**5**

votes

**0**answers

206 views

### Reference for Wang Tile

I am working on projects in solving ground state of generalized ising models. One recent work involves tiling with basic tiles that filled the whole lattice. For example, we could obtain results:
...

**18**

votes

**2**answers

1k views

### Similarities between Post's Problem and Cohen's Forcing

Remark: I have since learned that G.H. Moore addresses this question in the third reference listed at the end of this post, beginning on p. 157 in which he cites a letter from Kreisel to Gödel dated ...

**16**

votes

**8**answers

1k views

### Determining a surface in $\mathbb{R}^3$ by its Gaussian curvature

A curve in the plane is determined, up to orientation-preserving
Euclidean
motions, by its curvature function, $\kappa(s)$.
Here is one of my favorite examples, from
Alfred Gray's book,
Modern ...

**74**

votes

**41**answers

21k views

### Ways to prove the fundamental theorem of algebra

This seems to be a favorite question everywhere, including Princeton quals. How many ways are there?
Please give a new way in each answer, and if possible give reference. I start by giving two:
...

**82**

votes

**10**answers

9k views

### Is there an introduction to probability theory from a structuralist/categorical perspective?

The title really is the question, but allow me to explain.
I am a pure mathematician working outside of probability theory, but the concepts and techniques of probability theory (in the sense of ...

**24**

votes

**12**answers

4k views

### Explicit computations using the Haar measure

This question is somewhat related to my previous one on Grassmanians. The few times I've encountered the Haar measure in the course of my mathematical education, it's always been used in a very ...

**19**

votes

**3**answers

4k views

### Are nontrivial integer solutions known for $x^3+y^3+z^3=3$?

The Diophantine equation
$$x^3+y^3+z^3=3$$
has four easy integer solutions: $(1,1,1)$ and the three permutations of $(4,4,-5)$. Elsenhans and Jahnel wrote in 2007 that these were all the solutions ...

**29**

votes

**6**answers

3k views

### Is the Mendeleev table explained in quantum mechanics?

Does anybody know if there exists a mathematical explanation of Mendeleev table in quantum mechanics? In some textbooks (for example in "F.A.Berezin, M.A.Shubin. The Schrödinger Equation") the authors ...

**12**

votes

**3**answers

2k views

### Proof of the Reidemeister theorem

While preparing for my introduction to topology course, I've realized that I don't know where to find a detailed proof of the Reidemeister theorem (two link diagrams give isotopic links, iff they can ...

**9**

votes

**0**answers

698 views

### Complexes of representations with complementary central charges

This is another question asking for references. There is an important phenomenon of correspondence between (complexes of) representations of infinite-dimensional Lie algebras with the complementary ...

**8**

votes

**5**answers

1k views

### Measure theory treatment geared toward the Riesz representation theorem

I'm looking for recommendations for books (or lecture notes) that develop measure theory in sufficient detail to state and prove the Riesz representation theorem (which is the characterization of the ...

**8**

votes

**5**answers

2k views

### totally disconnected and zero-dimensional spaces

When do the notions of totally disconnected space and zero-dimensional space coincide? From what I gather, there are at least three common notions of topological dimension: covering dimension, small ...

**7**

votes

**3**answers

513 views

### Consistency of Analysis (second order arithmetic)

Is there a proof of the consistency of Analysis (second order arithmetic), which is similar to Gentzen's proof of the consistency of arithmetic?
Update:
Which (different) methods can be used to ...

**6**

votes

**2**answers

1k views

### Riemann zeta function at positive integers and an Appell sequence of polynomials related to fractional calculus

I was exploring some raising and lowering operators related to an infinitesimal generator for fractional integro-derivatives and found an Appell sequence of polynomials, i.e., an infinite sequence of ...

**13**

votes

**1**answer

367 views

### Unpublished works of Woodin on SCH and Radin forcing

There are many unpublished results of Hugh Woodin on ''singular cardinals hypothesis'' and '' Radin forcing''. Some of his results are published later by others, but it seems that there are still many ...

**14**

votes

**1**answer

849 views

### Some unpublished notes of Hofstadter

I'm looking for some unpublished notes called "Eta Lore," which are apparently related to a talk Douglas Hofstadter first gave at the Stanford Math Club in 1963. I know these notes exist because ...

**5**

votes

**1**answer

390 views

### List of open problems of formal languages

As we know ,there are some open problems of formal languages,I am wandering if there is a somehow complete list of open problem of formal languages,or if there is no somehow complet one,May we make it ...

**4**

votes

**3**answers

809 views

### Consequences of Legendre's conjecture

I am looking for a list/reference which explores the consequences of Legendre's conjecture, which states that one can always find a prime number between $n^2$ and $(n+1)^2$.

**4**

votes

**1**answer

550 views

### Uniform boundedness of an $L^2[0,1]$-ONB in $C[0,1]$

Assume that we have an orthonormal basis of smooth functions in $L^2[0,1]$. Are there useful practical criteria to determine whether the sup-norm of the basis functions has a uniform bound? I am sure ...

**3**

votes

**4**answers

1k views

### Measure on real Grassmannians

OK, so I'm reading about this nice measure you can define on a (real) Grassmannian on Wikipedia. Basically, and to save you the trip through the link, consider the Haar measure $\theta$ on $O(n)$, fix ...

**2**

votes

**2**answers

427 views

### $ 2|f^{'}(0)| = \sup_{z, w \in D} |f(z)-f(w)|$ if and only if $f$ is linear

I know the following is a well-known result.
Let $D = B(0,1) \subset \mathbb{C} $ a disc, $f$ holomorphic on $D$. Show that $$ 2|f^{'}(0)| \le \sup_{z, w \in D} |f(z)-f(w)|$$
Furthermore, there is ...

**6**

votes

**2**answers

387 views

### Equivariant Stratifications of a Variety

Let $X$ be a complex variety acted upon algebraically by a complex torus $T$. Suppose that $\{X_{\beta}\}_{\beta\in S}$ is a finite $T$-equivariant stratification of $X$, so that the $X_{\beta}$ are ...

**19**

votes

**6**answers

2k views

### Covering a unit ball with balls half the radius

This is a direct (and obvious) generalization of the recent MO question, "Covering disks with smaller disks":
How many balls of radius $\frac{1}{2}$ are needed to cover completely a ball of radius ...

**10**

votes

**2**answers

500 views

### What are Moschovakis cardinals?

The question is exactly that of the title: what are Moschovakis cardinals?
Background. In a recent answer to the question, "Are there examples of statements that have been proven whose consistency ...

**6**

votes

**1**answer

326 views

### On the irrationality measure of $\sum_{n=1}^\infty a^{-b^n}$

Pick integers $a, b \ge 2$ and let $\xi_{a,b}$ be the sum of the series $\sum_{n=1}^\infty a^{-b^n}$. It is known that $\xi_{2,2}$ is transcendental: I learned a proof of this from notes by M. ...

**2**

votes

**1**answer

92 views

### Hilbert's Finiteness Theorem for connected semisimple Lie groups in Weyl's “Classical Groups”

First of all, sorry for using this account. Somehow I can't login to my previous one anymore and am thus using the account associated to my MSE one. Also, I already asked the question on MSE, but ...

**54**

votes

**6**answers

7k views

### How to find ICM talks?

I am very interested in reading some and skimming through the list of invited talks at the International Congress of Mathematicians. Since the proceedings contain talks supposedly by top experts in ...

**51**

votes

**12**answers

5k views

### Mathematical research published in the form of poems

The article
Friedrich Wille: Galerkins Lösungsnäherungen bei monotonen Abbildungen,
Math. Z. 127 (1972), no. 1, 10-16
is written in the form of a lengthy poem, in a style similar to that
of the ...

**28**

votes

**5**answers

2k views

### Which nonlinear PDEs are of interest to algebraic geometers and why?

Motivation
I have recently started thinking about the interrelations among algebraic geometry and nonlinear PDEs. It is well known that the methods and ideas of algebraic geometry have lead to a ...

**35**

votes

**10**answers

5k views

### The functional equation $f(f(x))=x+f(x)^2$

I'd like to gather information and references on the following functional equation for power series $$f(f(x))=x+f(x)^2,$$$$f(x)=\sum_{k=1}^\infty c_k x^k$$
(so $c_0=0$ is imposed).
First things that ...

**29**

votes

**9**answers

3k views

### Dimensional Analysis in Mathematics

Is there a sensible and useful definition of units in mathematics? In other words, is there a theory of dimensional analysis for mathematics?
In physics, an extremely useful tool is the Buckingham Pi ...

**24**

votes

**6**answers

3k views

### Triangulating surfaces

I've had a few undergraduate students ask me for references for the classical fact (due to Rado) that closed topological surfaces can be triangulated. I know two sources for this, namely Ahlfors's ...

**47**

votes

**3**answers

6k views

### Nelson's program to show inconsistency of ZF

At the end of the paper Division by three by Peter G. Doyle and John H. Conway, the authors say:
Not that we believe there really are any such things as infinite sets, or that the Zermelo-Fraenkel ...

**24**

votes

**3**answers

2k views

### What are D-branes, really?

In the past couple years, I've read many words pertaining to "D-branes" without feeling I have fully comprehended them. In broad terms, I think I get what they're about: They're supposed to serve as ...

**31**

votes

**6**answers

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

**18**

votes

**2**answers

1k views

### Integral representation of higher order derivatives

I'm quite curious about the following phenomena, that still puzzle me although I have a proof, and I'd be really glad if someone may shred some light, showing an interpretation or a generalization. I ...

**16**

votes

**3**answers

2k views

### An unfamiliar (to me) form of Hensel's Lemma

In his very nice article
Peter Roquette,
History of valuation theory. I. (English summary) Valuation theory and its applications, Vol. I (Saskatoon, SK, 1999), 291--355,
Fields Inst. Commun., ...

**9**

votes

**6**answers

2k views

### CW-structures and Morse functions: a reference request

The following is probably well known, but I wasn't able to locate a reference in the literature.
Let $f$ be a Morse function on a smooth compact manifold $M$ without boundary and let $\rho$ be a ...

**21**

votes

**5**answers

2k views

### References for “modern” proof of Newlander-Nirenberg Theorem

Hi,
I'm starting to prepare a graduate topics course on Complex and Kahler manifolds for January 2011. I want to use this course as an excuse to teach the students some geometric analysis. In ...

**14**

votes

**4**answers

1k views

### Weitzenböck Identities

I asked this question at Maths Stack Exchange, but I haven't received any replies yet (I'm not sure how long I should wait before it is acceptable to ask here, assuming there is such a period of ...

**9**

votes

**3**answers

1k views

### How to Compute the coordinate ring of flag variety?

Let $G$ be algebraic group over $\mathbb(C)$(semisimple), $B$ be Borel subgroup. consider flag variety $G/B$. It is known that $G/B$ is projective variety. So one consider the homogeneous coordinate ...

**23**

votes

**2**answers

2k views

### Kunneth formula for sheaf cohomology of varieties

What is a good reference for the following fact (the hypotheses may not be quite right):
Let $X$ and $Y$ be projective varieties over a field $k$. Let $\mathcal{F}$ and $\mathcal{G}$ be coherent ...

**14**

votes

**9**answers

3k views

### The free group $F_2$ has index 12 in SL(2,$\mathbb{Z}$)

Is there someone who can give me some hints/references to the proof of this fact?

**34**

votes

**1**answer

2k views

### Probability that a stick randomly broken in five places can form a tetrahedron

The following problem was brought to my attention by a doctoral dissertation on Mathematics Education, but - as far as I know - the solution remains unknown.
I have already asked this question on ...

**28**

votes

**6**answers

2k views

### Billiard dynamics under gravity

Has the dynamics of billiards in a polygon subject to gravity been
studied?
What I have in mind is something like this:
Still Snell's ...

**16**

votes

**10**answers

4k views

### Uniformization theorem for Riemann surfaces

How does one prove that every simply connected Riemann surface is conformally equivalent to the open unit disk, the complex plane, or the Riemann sphere, and these are not conformally equivalent to ...

**13**

votes

**2**answers

2k views

### What's about “quantum modular forms”?

Do you know where one could read on "Modular Forms, K-theory and Knots"? The combination of themes sounds thrilling!
Edit: Zagier's paper on "quantum modular forms" will be published in Clay's ...

**8**

votes

**2**answers

2k views

### Has the Fundamental Theorem of Algebra been proved using just fixed point theory?

Question:
Is there already in the literature a proof of the fundamental theorem of algebra as a consequence of Brouwer's fixed point theorem?
N.B. The original post contained superfluous ...

**20**

votes

**5**answers

955 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?)
...