**12**

votes

**2**answers

778 views

### Describe the desired features of a “Mathematics Colloquium”?

I'm now a member of my department's colloquium committee. Our task is to make a great colloquium series. I thought that the first step would be to come up with an appropriate definition of ...

**81**

votes

**53**answers

15k views

### Counterexamples in Algebra?

This is certainly related to "What are your favorite instructional counterexamples?", but I thought I would ask a more focused question. We've all seen Counterexamples in Analysis and Counterexamples ...

**124**

votes

**36**answers

22k views

### Demonstrating that rigour is important

Any pure mathematician will from time to time discuss, or think about, the question of why we care about proofs, or to put the question in a more precise form, why we seem to be so much happier with ...

**4**

votes

**1**answer

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

**0**

votes

**1**answer

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

**58**

votes

**73**answers

11k views

### Elementary+Short+Useful

Imagine your-self in front of a class with very good undergraduates
who plan to do mathematics (professionally) in the future.
You have 30 minutes after that you do not see these students again.
You ...

**87**

votes

**33**answers

13k views

### Most harmful heuristic?

What's the most harmful heuristic (towards proper mathematics education), you've seen taught/accidentally taught/were taught? When did handwaving inhibit proper learning?

**3**

votes

**1**answer

390 views

### A priori estimates for a nonlinear elliptic problem singular on the boundary

Let us consider the following elliptic problem
$$
\begin{cases}
-\Delta u = \frac{u^p}{|x|^2} \mbox{ in } \Omega \\
u >0 \mbox{ in } \Omega \\
u = 0 \mbox{ on } \partial \Omega.
\end{cases}
$$
with ...

**5**

votes

**0**answers

110 views

### Furtwangler's Principal ideal theorem in number fields

Does anyone know a simple proof, using cohomological method of the fact that the verlagerung from a finite group G. to its commutator subgroup G', i.e. $$G/G'->(G')^{ab}$$ vanishes?
The simplest ...

**112**

votes

**69**answers

21k views

### Which math paper maximizes the ratio (importance)/(length)?

My vote would be Milnor's 7-page paper "On manifolds homeomorphic to the 7-sphere", in Vol. 64 of Annals of Math. For those who have not read it, he explicitly constructs smooth 7-manifolds which are ...

**8**

votes

**0**answers

131 views

### Distribution of Mordell–Weil ranks of higher genus curves

By "nice curve", I mean a smooth, projective, geometrically integral curve over $\newcommand{\Q}{\mathbb{Q}}\newcommand{\Jac}{\operatorname{Jac}}\Q$ with at least one $\Q$-rational point. The ...

**28**

votes

**2**answers

1k views

### Maps which induce the same homomorphism on homotopy and homology groups are homotopic

I am interested in the following question. Are maps which induce the same homomorphism on homotopy and homology groups homotopic? I am sure the answer is no, however I cannot imagine how to construct ...

**6**

votes

**2**answers

296 views

### Asymptotic expansion of $\zeta(s \mid a,b)= \sum_{n=1}^{\infty} \frac{1}{(n+a)^{s}(n+b)}$

I'm interested in an asymptotic expansion of the following Riemann zeta-type function
$$
\begin{align}
\displaystyle \zeta(s \mid a,b) := \sum_{n=1}^{\infty} \frac{1}{(n+a)^{s}(n+b)},
\quad \Re a ...

**88**

votes

**39**answers

29k views

### Most interesting mathematics mistake?

Some mistakes in mathematics made by extremely smart and famous people can eventually lead to interesting developments and theorems, e.g. Poincare's 3d sphere charaterization or the search to prove ...

**215**

votes

**22**answers

26k views

### Thinking and Explaining

How big a gap is there between how you think about mathematics and what you say to others? Do you say what you're thinking? Please give either personal examples of how your thoughts and words ...

**1**

vote

**0**answers

103 views

### Free resolutions of affine (non-projective!) varieties

Say, you have an ideal $I$ of a polynomial ring $R = K\lbrack X_1,\ldots,X_n \rbrack$ over an algebraically closed field $K$ (you can assume $K = \mathbb{C}$). What does a minimal free resolution of ...

**151**

votes

**41**answers

58k views

### A single paper everyone should read? [closed]

Different people like different things in math, but sometimes you stand in awe before a beautiful and simple, but not universally known, result that you want to share with any of your colleagues.
Do ...

**1**

vote

**0**answers

93 views

### Classification of compact Shimura curves

Is there a classification that determines all isomorphism classes of compact Shimura curves at least Shimura curves in $A_g$? I did not find this in the literature and appreciate any helpful ...

**7**

votes

**1**answer

179 views

### Poincaré inequality for curl-integrable functions

Let $B=B(r)$ denote a ball of radius $r$ in $\Omega \subset \mathbb R^d$ and
$$
u_B := \frac1{|B|}\int_B u \, dx.
$$
The standard Sobolev-Poincaré inequality states that if $u \in W^{1,p}(\Omega)$, ...

**3**

votes

**1**answer

448 views

### Is this polynomial irreducible over the rationals?

Prove (or disprove): Define $T_n(x)$ as the Chebyshev polynomial of the first kind with degree $n$ . If $p$ is an odd prime, then $\sqrt{\frac{T_p(x)-1}{x-1}}$ is an irreducible polynomial over the ...

**11**

votes

**1**answer

268 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

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

**4**

votes

**1**answer

179 views

### Lifting torsors in characteristic $p$ to characteristic zero

Let $R$ be a local integral domain with residue field $k$ such that $R$ is of characteristic zero and $k$ is of characteristic $p>0$. Let $G$ be a smooth finite type affine group scheme with ...

**46**

votes

**46**answers

16k views

### An example of a beautiful proof that would be accessible at the high school level?

The background of my question comes from an observation that what we teach in schools does not always reflect what we practice. Beauty is part of what drives mathematicians, but we rarely talk about ...

**148**

votes

**64**answers

25k views

### Proofs that require fundamentally new ways of thinking [closed]

I do not know exactly how to characterize the class of proofs that interests me, so let me give some examples and say why I would be interested in more. Perhaps what the examples have in common is ...

**3**

votes

**2**answers

430 views

### Who is currently researching topics concerning applying algebraic topology and/or differential geometry to numerical methods? [closed]

I am interested in pursuing a PhD in mathematics from a top ranked university with a faculty member researching something akin to the following description: applications of algebraic topology and/or ...

**14**

votes

**1**answer

257 views

### Geometric Mean of $L(1,\chi)$ for quadratic Dirichlet characters

Let $S = \{D_1, D_2, D_3, \ldots \}$ be the set of all prime discriminants
(or positive prime discriminants) of quadratic number fields. For such a
discriminant let $\chi_j(n) = (\frac{D_j}n)$ be ...

**5**

votes

**3**answers

3k views

### Non-computable but easily described arithmetical functions

I have read about the existence of functions of the kind described in the title in several places, but never seen an instance of them. Sorry if this is too much an elementary question to be posted ...

**9**

votes

**3**answers

1k views

### Minimize Perimeter(S)/Area(S) for S inside the unit square.

This is a very silly question.
For all regions S contained inside the unit square, what is the infimum of the quantity Perimeter(S)/Area(S)? This ratio being considered is not scale invariant, so it ...

**1**

vote

**0**answers

75 views

### K-equivalence does not depend on the choice of the third variety

By K-equivalent of two smooth varieties $X,Y$, we mean there exist a smooth variety $Z$, and birational morphism $q: Z \to X,\quad p: Z \to Y$ , such that $q^* \omega_X \cong p^* \omega_Y$.
Suppose ...

**6**

votes

**1**answer

501 views

### A sequence of finite groups

Question: does there exist a strictly ascending sequence of finite groups
$G_0<G_1<G_2<\dots $ such that for every $i \in \mathbb{N}$ there is $a_i \in G_{i+3}$ and the following two ...

**6**

votes

**2**answers

715 views

### Understanding the analytic index map of the Atiyah-Singer index theorem

Hi,
I'm currently trying to understand the Atiyah-Singer index theorem and its proof as presented in the book "Spin Geometry" by Lawson and Michelsohn.
I do not understand why the analytic index map ...

**0**

votes

**2**answers

138 views

### commuting family [closed]

I have tow matrix A & B, that B is a parametric matrix. what i can find B so that it is commuting with A?

**26**

votes

**3**answers

1k views

### Embeddings of $S^2$ in $\mathbb{CP}^2$

Suppose we are given an embedding of $S^2$ in $\mathbb{CP}^2$ with self-intersection 1. Is there a diffeomorphism of $\mathbb{CP}^2$ which takes the given sphere to a complex line?
Note: I suspect ...

**3**

votes

**1**answer

390 views

### The differential of the exponential map: reductive homogeneous space

The differential of the exponential map on a symmetric space can be expanded
(abusing some notation) as
$d{\rm Exp}_X=\sum_{n=0}^{\infty}\frac{({\rm ad}X)^{2n}}{(2n+1)!}.$
This is an old (1958) ...

**7**

votes

**1**answer

971 views

### Give an example of monoid with property $m^2 = m^3$

Give an example of finitely generated, infinite monoid $M$ with property that for all $m \in M$ we've got $m^2 = m^3$.
This question comes from the problem I was given during algebraic languages ...

**5**

votes

**1**answer

2k views

### Motivation for the proof of Hilbert's Theorem 90

The proof of Hilbert's Theorem 90 about cyclic extensions goes like this: Let $\sigma$ be the generator of the Galois group of order $n$ and let $b$ have norm $1$, i.e. $b \sigma(b) \cdots ...

**6**

votes

**2**answers

2k views

### Example of connected-etale sequence for group schemes over a Henselian field?

Can someone give a really concrete example of such a sequence? I am looking at several notes related with such things, but haven't seen any well-calculated example. And I'm really confused at this ...

**3**

votes

**1**answer

542 views

### Behaviour of euler characteristics in characteristic p for finite etale covers

Let $k$ be an algebraic closure of a finite field of characteristic $p$. Fix an integer $l\neq p$. For a separated $k$-scheme $X$ of finite type, we define the (compactly supported) Euler ...

**2**

votes

**2**answers

247 views

### Are there formulas for the derivatives $\zeta_{F}^{(n)}(0)$ of Dedekind zeta functions?

Let $F/\mathbb{Q}$ be a number field. I'm interested in knowing if there are formulas for the values of the derivatives $\zeta_{F}^{(n)}(0)$ of the Dedekind zeta function of $F$ at zero.
Maybe if in ...

**8**

votes

**3**answers

413 views

### Classes of graphs for which isospectrum implies isomorphism ?

The spectrum of a graph is the (multi)set of eigenvalues of its adjacency matrix (or Laplacian, depending on what you're interested in). In general, two non-isomorphic graphs might have the same ...

**12**

votes

**3**answers

2k views

### Harmonic analysis on semisimple groups - modern treatment

For my finals, I am digging through the book by Varadarajan An introduction to harmonic analysis on semisimple Lie groups. I find it a rather hard read and I feel it's a bit outdated now. Any ...

**6**

votes

**0**answers

200 views

### Different complexifications of a real analytic Riemannian manifold

Hi,
I have a question concerning the complexification of a real analytic Riemannian manifold. Let $(M,g)$ be a compact Riemannian manifold. It is a well knwon fact that in a neighbourhood $U$ of the ...

**3**

votes

**3**answers

873 views

### Which $n$ maximize $G(n)=\frac{\sigma(n)}{n \log \log n}$?

By Robin's theorem
$$G(n)=\frac{\sigma(n)}{n \log \log n}$$
is bounded by $e^\gamma \approx 1.78107241799$ for $n>5040$ assuming Riemann hypothesis .
For $n=\mathrm {lcm} (1,2 \dots k)$, $G(n)$ ...

**5**

votes

**3**answers

879 views

### Volume of Minkowski sum of a ball and an ellipsoid

Is there a simple way to calculate/estimate the volume of Minkowski sum of an n-dimensional unit ball and an n-dimensional ellipsoid? Even a simple ellipsoid like $\frac{x_1^2}{a^2} + x_2^2 + \ldots + ...

**24**

votes

**1**answer

1k views

### Can you flip the end of a large exotic $\mathbb{R}^4$

Can you flip the end of a large exotic $\mathbb{R}^4$
Background
Definition (Exotic $\mathbb{R}^4$):
An exotic $\mathbb{R}^4$ is a smooth manifold $R$ homeomorphic but not diffeomorphic to ...

**1**

vote

**2**answers

298 views

### submonoids of Z_n

Anyone knows how to describe explicitly the submonoids of Z_n, regarded as a multiplicative
monoid?

**1**

vote

**0**answers

204 views

### A Multiplicative version of McDiarmid's Inequality like the one of Chernoff-Hoeffding Bounds

McDiarmid's Inequality basically says the following:
Let $X_1, X_2, X_3, \ldots, X_n$ denote independent random variables and $f$ is a function of $n$ real arguments. If changing the value of the ...

**19**

votes

**1**answer

1k views

### The Quaternion Moat Problem

"One cannot walk to infinity on the real line if one uses steps of bounded
length and steps on the prime numbers. This is simply
a restatement of the classic result that there are arbitrarily
large ...

**16**

votes

**2**answers

2k views

### Missing document request

I received a request for another long-lost document:
I am wondering if there is any way I
might obtain a copy of
The geometry of circles: Voronoi
diagrams, Moebius transformations,
...