**8**

votes

**1**answer

795 views

### Remark on Fermat's Last Theorem by Darmon, Diamond and Taylor

In their paper, Darmon, Diamond and Taylor remarked the following :
(the previous paragraph of Section 2.2 (p. 55), https://www.math.wisc.edu/~boston/ddt.pdf)
If $\rho : G \rightarrow ...

**-1**

votes

**0**answers

37 views

### A question on spectrum [migrated]

Let $A,B \in {C^{n \times n}}$ and ${\sigma (A + B)}$ is spectrom of $(A+B)$.
Suppose
$M = \left\{ {\lambda \in C:\lambda \in \sigma (A + B),\left\| B \right\| \le \varepsilon } \right\}$
$F(A) = ...

**31**

votes

**4**answers

998 views

### Connectedness in the language of path-connectedness

Is there a topological space $(C,\tau_C)$ and two points $c_0\neq c_1\in C$ such that the following holds?
A space $(X,\tau)$ is connected if and only if for all $x,y\in X$ there is a ...

**106**

votes

**83**answers

24k views

### Examples of great mathematical writing

This question is basically from Ravi Vakil's web page, but modified for Math Overflow.
How do I write mathematics well? Learning by example is more helpful than being told what to do, so let's try to ...

**11**

votes

**1**answer

295 views

### No limit shape for random Young diagrams under z-measure?

In their paper Random partitions and the Gamma kernel (Advances in Mathematics 194 (2005) 141–202), Borodin and Olshanski state that:
An important difference between the Plancherel measures and ...

**2**

votes

**1**answer

232 views

### Two questions about Whittaker functions

I am watching the video: Modeling p-adic Whittaker functions, Part I. I have two questions about Whittaker functions in the video.
From 33:00 to 37:00, it is said that after changing of variables, ...

**3**

votes

**0**answers

164 views

### Ring epimorphisms, and epimorphism in the category of small preadditive cats

This question is related to this other question I have asked some time ago. Let $R$ and $S$ be two rings and let $\phi:R\to S$ be a ring homomorphism.
It is well-known that $\phi$ is an epimorphism ...

**0**

votes

**1**answer

81 views

### Link between Harris recurrence and Ergodicity

Is it possible to obtain Harris recurrent Markov chain from Ergodic chain (in Birkhoff sense) under certain assumption? That is, suppose we know a Markov chain is ergodic (in Birkhoff sense); is it ...

**34**

votes

**9**answers

3k views

### Generalizations of the Four-Color theorem

The four color theorem asserts that every planar graph can be properly colored by four colors.
The purpose of this question is to collect generalizations and strengthenings of the four color theorem ...

**5**

votes

**1**answer

198 views

### Rellich's theorem from compact resolvent

On a compact Riemannian manifold, we know that the Laplacian $\Delta$ has compact resolvent. In proving this, one typical way is to use Rellich's theorem about the compact embedding of $H^1(M)$ into ...

**7**

votes

**1**answer

263 views

### Can a finite von Neumann algebra be strongly morita equivalent to a properly infinite von neumann algebra?

Can a finite (by finite I mean when the projection $1$ is finite) von Neumann algebra be strongly morita equivalent to a properly infinite von Neumann algebra?
(Strong morita equivalence is the same ...

**86**

votes

**42**answers

18k views

### What are the most attractive Turing undecidable problems in mathematics?

What are the most attractive Turing undecidable problems in mathematics?
There are thousands of examples, so please post here only the most attractive, best examples. Some examples already appear on ...

**-2**

votes

**1**answer

124 views

### configuration space and iterated loop space

Let the topological monoid $M$ be the configuration space $C(\mathbb{R}^n;X)=C_n(X)$ as in the book The geometry of iterated loop spaces, Theorem 5.2. I want to prove that the map $\alpha_n$ in ...

**150**

votes

**35**answers

34k views

### Why is a topology made up of 'open' sets? [closed]

I'm ashamed to admit it, but I don't think I've ever been able to genuinely motivate the definition of a topological space in an undergraduate course. Clearly, the definition distills the essence of ...

**59**

votes

**32**answers

39k views

### Why do we teach calculus students the derivative as a limit?

I'm not teaching calculus right now, but I talk to someone who does, and the question that came up is why emphasize the $h \to 0$ definition of a derivative to calculus students?
Something a teacher ...

**4**

votes

**2**answers

238 views

### Equidistribution of Hecke points and $p = (a+bi)(a-bi) = e^{i\theta}\sqrt{a^2 + b^2}$

I have seen two versions of a result called "Hecke Equidistribution" and I wanted to know if they were the same or different.
#1 Let $p = 4k+1 = (a+bi)(a-bi) = e^{i\theta}\sqrt{a^2 + b^2}$. Then ...

**36**

votes

**4**answers

3k views

### Fermat's last theorem over larger fields

Fermat's last theorem implies that the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}$ is finite.
Is the number of solutions of $x^5 + y^5 = 1$ over $\mathbb{Q}^{\text{ab}}$ finite?
Here ...

**18**

votes

**2**answers

905 views

### Non-homeomorphic spaces such that taking away a point makes them homeomorphic

Are there topological spaces $X,Y$, each having more than $2$ points, such that
$X\not\cong Y$, and
there is a bijection $\varphi: X\to Y$ such that for all $x\in X$ the spaces $X\setminus \{x\}$ ...

**2**

votes

**1**answer

71 views

### Set of regular points in an Alexandrov space with curvature bounded below

Let $X^n$ be an $n$-dimensional Alexandrov space with curvature bounded below. A point $x\in X$ is called regular if the space of directions $\Sigma_x$ is isometric to the standard sphere $S^{n-1}$.
...

**2**

votes

**1**answer

159 views

### Schubert calculus and Pieri's formula

In the lecture notes Grassmannians: the first example of a moduli space. MIT Open Course Ware. page 7:
Are there any formal publications (books/papers) where I can find the formula?

**7**

votes

**0**answers

135 views

### Counting the size of the largest sets of independent strings

This question derives from a PPCG coding challenge I posed previously but despite asking on math.se and offering a bounty, no progress has been made.
For a given positive integer $n$, consider all ...

**10**

votes

**1**answer

414 views

### Is an irreducible ideal in $R$ also irreducible in $R[x]$?

Let $R$ be a commutative Noetherian ring and $I\subset R$ an ideal that is irreducible in the sense that if $I = J_1 \cap J_2$, then $I=J_1$ or $I=J_2$. Is (the ideal generated by) $I$ irreducible in ...

**0**

votes

**1**answer

209 views

### Non-standard numbers and exponential form of Zeta function

Basic idea
For a long time I was looking for a numerical system that would allow to compare infinite sets. In contrast to Cantor's approach that empathizes the possibility of on-to-one correspondence ...

**7**

votes

**2**answers

262 views

### For a 3-manifold $Y$, when does $Y\times S^{1}$ admits a Riemannian metric with positive scalar curvature?

Let $Y$ be an orientable, smooth 3-manifold and let $X=Y\times S^{1}$. My question is that: when does $X$ admits a Riemannian metric with positive scalar curvature?
An obvious case is when $Y$ ...

**13**

votes

**1**answer

440 views

### How big is the lattice of all functions?

Define the lattice $(\mathcal{L},\prec)$ as the set of all function $f:\mathbb{N}\rightarrow\mathbb{N}$ satisfying $f(n)\leq f(n+1)\leq f(n)+1$, where two functions are considered equal if they differ ...

**3**

votes

**1**answer

48 views

### Path-connected Hausdorff interval topologies

Let $(P,\leq)$ be a poset with more than $1$ point such that the interval topology $\tau_i(P)$ is path-connected and $T_2$. Does this imply that $[0,1]$ order-embeds into $P$?
(This is a follow-up ...

**15**

votes

**2**answers

491 views

### Matrix equation $XAXBXC=I$

Let $A,B,C$ be unitary matrices. Does there always exist a unitary matrix $X$ such that $$(XA)(XB)(XC)=I,$$ where $I$ is the identity matrix? The quadratic equation $(XA)(XB)=I$ has the solution ...

**4**

votes

**0**answers

94 views

### Understanding Segal's definition of conformal field theory

I have a fundamental problem in understanding Segal's definition of a conformal field theory:
On the one hand his monoidal CFT-functor is a formalization of the fact that, physically, the integrand ...

**5**

votes

**2**answers

296 views

### Riemannian metrics preserved by diffeomorphisms

Let $f \neq Id$ be a diffeomorphism (of a smooth manifold $M$) which admits some Riemannain metric on $M$ making it an isometry. How many different metrics are preserved by $f$?
Note that ...

**1**

vote

**0**answers

170 views

### Flat cohomology of an ordinary liftable Calabi-Yau threefold

Let $k$ be a perfect field of characteristic $p>0$ and consider an ordinary liftable Calabi-Yau threefold $X_{0}/k$. By this I mean that $H^{i}(X_{0},B_{X_{0}/k}^{j})=0$ for all $i\geq 0$ and ...

**2**

votes

**2**answers

96 views

### Counting number of $2\times 2$ unimodular matrices of particular type

From set of numbers from $\Bbb S=\{0,1,\dots,m\}$, how many distinct $3\times 3$ unimodular matrices parametrized by $(a,b,c,d,e,f)\in\Bbb S^6$ of following type can one form?
\begin{bmatrix}
a^2 ...

**1**

vote

**1**answer

74 views

### Convergence to equilibrium via gradient descent

J. B. Rosen proved that in concave games of n players (which assumes that Cartesian product of strategy profiles is convex) if the game satisfies the condition of diagonally strictly concave then ...

**1**

vote

**0**answers

95 views

### Can someone explain some of the steps in this paper clearly?

I'm having trouble understanding the steps this paper makes to come to the conclusion $p_{f}(d) \sim e^d\sqrt{d}$
Marek Wolf, First occurrence of a given gap between consecutive primes, preprint, ...

**14**

votes

**2**answers

357 views

### Number of distinct factors

Denote $\omega(m)$ to be number of distinct factors of $m$ as defined in http://mathworld.wolfram.com/DistinctPrimeFactors.html.
At every $c>0$, given $n\in\Bbb N$ define $$S(n,c)=\big\{m\in\Bbb ...

**-1**

votes

**0**answers

98 views

### Is $(X_G, d_G)$ , compact manifold?

Let compact topological group $G$ acts on $(X,d)$ . We define a relation $\sim$ on $(X, d)$ as follows: for $x,y\in X$:
$$x\sim y \Leftrightarrow x=gy \ \text{ for some } g\in G.$$
It is clear that ...

**1**

vote

**1**answer

98 views

### Curves on $SU(4)$ whose adjoint action on $\mathfrak{su}(4)$ integrates to $0$

Given $\xi \in \mathfrak{su}(4)$ and positive $T \in \mathbb{R}$, is it possible to find all smooth curves $U_s \in SU(4)$ with $U_0 = I$ such that
$$\int_0^T U_s \xi U_s^{\dagger} ds =0\; ?$$

**20**

votes

**8**answers

1k views

### Advanced Differential Geometry Textbook

I tried this post on StackExchange with no luck. Hopefully the experts at MathOverflow can help.
In algebraic topology there are two canonical "advanced" textbooks that go quite far beyond the usual ...

**5**

votes

**3**answers

120 views

### Probability of random geodesics on the half-sphere intersecting

4 end points (a,b,c,d say) are chosen uniformly randomly and connected a to b and c to d by two geodesics on the 2-dim half-sphere. Here, uniform means that, probability that a point lies on a surface ...

**52**

votes

**42**answers

6k views

### Important formulas in Combinatorics

Motivation:
The poster for the conference celebrating Noga Alon's 60th birthday, fifteen formulas describing some of Alon's work are presented. (See this post, for the poster, and cash prizes offered ...

**-1**

votes

**0**answers

31 views

### Why do there is a unique continuous homomorphism? [migrated]

Is this a right place to ask help for an exercise?
Let $n\geq 2$ be an integer and $D=\mathbb Z[1/n]$. Let $A$ be a complete commutative ring with unit for the $I$-adic topology, where $I$ is an ...

**6**

votes

**0**answers

123 views

### On an unpublished result of Magidor

In 1970th, Magidor proved the following important results:
(1) Assuming the existence of a supercompact cardinal, it is consistent that $\aleph_\omega$
is strong limit and ...

**4**

votes

**1**answer

115 views

### Optimisation of betting strategy

Consider integers $r \geq 1$ and $k \geq 1$ and consider the following game:
We start with $r$ tokens and at each round we choose $i \in \{1,...,r\}$ tokens to bet (if we have $N<r$ tokens we ...

**11**

votes

**1**answer

621 views

### A problem in elementary geometry

Let us have a triangle ABC in the Cartesian plane and consider the following transformation of this triangle:
On the ray AB starting at A, select a point B' so that so that |AB'|=|AC|. Likewise,
...

**-3**

votes

**1**answer

97 views

### Encyclopedia of Mathematics?(non-Alphabetical) [on hold]

Do you know any Encyclopedia of Mathematics which is in non-alphabetical order, like it starts from basic mathematics and then goes up to very advanced level.
And what's the difference between say, ...

**20**

votes

**2**answers

1k views

### Center of mass from the abstract point of view, or could the ancient Greeks invent modern analysis?

This is a very open-ended question, which may or may not have a perfect answer, and for which I have a few ideas but nothing like a clear picture. However, I guess it won't hurt to ask to see if ...

**6**

votes

**2**answers

67 views

### Generate polyhedra by collapsing vertices of a polyhedron

I am looking for basic information about the following idea:
(I) Consider a square. By collapsing two adjacent vertices, we obtain a triangle.
(II) Consider a three-dimensional cube. By collapsing a ...

**12**

votes

**1**answer

310 views

### Integral cohomology ring of K(Z,3)

Computing the cohomology of Eilenberg Maclane spaces is a feasible but difficult problem in algebraic topology. The general answer is quite complicated (see the MO answer and the reference therein ...

**0**

votes

**1**answer

292 views

### cup-length of the first Chern class of complex grassmannian

Let $G_2(\mathbb{C}^{n+1})$ be the complex grassmannian.
Then the cohomology ring $H^*(G_2(\mathbb{C}^{n+1});\mathbb{C})=\mathbb{C}[c_1,c_2]/(f_n,f_{n+1})$, where ...

**4**

votes

**3**answers

358 views

### Bateman-Horn, continued even further

As before, consider the "singular series", which shows up in the Bateman-Horn conjecture: for an irreducible polynomial $f,$ this is equal to
$$
s(f) = \prod_p \frac{1-\frac{n_f(p)}p}{1-\frac1p},
$$
...

**2**

votes

**0**answers

21 views

### Non-existence of commutative rings with many nilpotent elements with some restrictions where matrix powers are efficient

At the moment can't find better reference than "Cycle Enumeration using Nilpotent Adjacency Matrices with Algorithm Runtime Comparisons"
though certainly there are others.
Consider the following ...