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

**13**

votes

**3**answers

2k views

### Fermat's proof for $x^3-y^2=2$

Fermat proved that $x^3-y^2=2$ has only one solution $(x,y)=(3,5)$.
After some search,i found only proofs using factorization over the ring $Z[\sqrt{-2}]$.
My question is:
Is this Fermat's ...

**1**

vote

**0**answers

7 views

### concentration inequalities for quadratic forms of correlated random vectors

Let $\mathbf{n}$ is a Gaussian random vector with mean $\mathbf{0}$ and co-variance matrix $\mathbf{H}$. Let $\mathbf{r} = Sign(\mathbf{n})$, where $Sign(n_i) = 1$ if $n_i>0$ and $Sign(n_i) = -1$ ...

**6**

votes

**1**answer

100 views

### Zeta-Determinant for shifted Laplacians on the circle

Consider on the circle $S^1$ the operator
$$L := - \frac{\partial^2}{\partial \theta^2} + c$$
for some constant $c \in \mathbb{R}$.
What is its $\zeta$-regularized determinant?
This should be ...

**98**

votes

**45**answers

31k 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:
...

**1**

vote

**0**answers

23 views

### Reference request - Compact embedding of intermediate space

Given two Banach spaces $X_0$ and $X_1$ with norms $\|\cdot\|_0$ and $\|\cdot\|_1$, respectively, such that $X_0\subset X_1$ and $X_0\hookrightarrow X_1$, i.e., $X_0$ is continuous embedded in $X_1$.
...

**0**

votes

**1**answer

153 views

### Supplementary notes to Mumford's The Red Book of Varieties and Schemes

I am a graduate student with good mathematical maturity (I took advanced courses like category theory, commutative algebra...). I want to study algebraic geometry from Mumford's red book. I find it ...

**0**

votes

**0**answers

44 views

### The spring Markov chain on $\mathbb{N}$

I'm trying to understand and learn more about "almost surely bounded" Markov chains on countable state spaces. I'm looking for references where I can learn how to work with more complicated examples ...

**5**

votes

**0**answers

118 views

### Bundles over Grassmanian with given top Chern class

So, I have been working on Chern classes for my master thesis and apparently (My proofs could be wrong and a few things are still vague) I was able to give a construction method and exhibit, via ...

**2**

votes

**0**answers

181 views

### Is there a well-known tautological bundle over $\mathbb{P}(\Lambda^nV)\times V$?

Let $V$ be a vector space of dimension $>n$, and define the subset $$
K:=\{ ([\omega],v)\mid v\wedge\omega=0 \}\subset\mathbb{P}(\Lambda^nV)\times V\, .
$$
Denote also by $\pi:K\longrightarrow ...

**29**

votes

**6**answers

1k views

### Deep Learning / Deep neural nets for mathematician

I am interested in finding out the math ideas behind the technologies that are under the umbrella of "Deep Learning" or "Deep neural nets".
Most of the papers/books that are often quoted in ...

**7**

votes

**1**answer

575 views

### Counting subspaces

We are given the finite vector space $V = V(n,p) = \mathbb{F}_p^n$ and two fixed subspaces $W_1, W_2 \subseteq V$ of dimensions $m_1$, $m_2$ respectively. Suppose
that the dimension of $W_1 \cap W_2$ ...

**4**

votes

**0**answers

72 views

### Reference for the Banach Manifold structure of $C^k(M,N)$

I'm completely new to the subject of banach manifolds and I'm looking for a reference of the following:
Let $M$,$N$ be smooth (=$C^\infty$) finite-dimensional compact manifolds. Consider the set ...

**1**

vote

**0**answers

100 views

### Reference request: The compactness and compact embedding in Besov Space?

Let $\Omega\subset \mathbb R^N$ be open bounded with smooth boundary. Let $0<s<1$, $1\leq p<\infty$, and $1\leq \theta\leq\infty$. We denote by $B^{s,p,\theta}(\Omega)$ the Besov space. For ...

**23**

votes

**3**answers

1k views

### fake $S^{2k}\times S^{2k}$

Let $X$ be a fixed closed manifold,$S(X)$ the structure set and $Aut(X)$ the group of self homotopy equivalence of $X$.
surgery theory tells us that $\mathcal{M}(X):=S(X)/Aut(X)$ is in bijection ...

**3**

votes

**0**answers

825 views

### Does anyone have an electronic copy of Waldspurger's “Sur les coefﬁcients de Fourier des formes modulaires de poids demi-entier”?

Is there an electronic copy of Waldspurger's paper "Sur les coefﬁcients de Fourier des formes modulaires de poids demi-entier" floating around the internet somewhere? This appeared in J. Pures Math. ...

**10**

votes

**4**answers

2k views

### Online introduction to Lattice Theory?

Apart from J. B Nation's (revised) Notes on Lattice Theory, is there any other (mostly introductory) material on Lattices available online?

**0**

votes

**0**answers

80 views

### Universal property of complete linear systems

Let $X$ be a projective scheme over a field $k$ and $S$ a $k$-scheme. Fix a closed immersion $i:X \to \mathbb{P}^n$ for some $n$ and denote by $\mathcal{O}_X(1):=i^*\mathcal{O}_{\mathbb{P}^n}(1)$. Let ...

**1**

vote

**1**answer

42 views

### Distribution of Poles of solutions to the first Painleve equation

In the introduction of this paper the distribution of the poles of solutions to the first Painlevé equation is discussed.
In particular it is said that the poles form a deformed lattice that ...

**1**

vote

**0**answers

86 views

### One-sided local $L^p$ spaces

Consider the vector space $L^p_{\text{left-loc}}$ of measurable functions $f:[0,1]\to\mathbb R$ so that for all $x\in(0,1]$ there exists $\delta>0$ so that $f|_{[x-\delta,x]}\in L^p$.
Does this ...

**-1**

votes

**1**answer

195 views

### Class forcings and elementary embeddings

In the Hamkins-Kirmayer-Perlmutter paper "Generalizations Of The Kunen Inconsistency", they prove the following theorem:
"Theorem 7: In any set forcing extension $V[G]$, there is no nontrivial ...

**5**

votes

**4**answers

953 views

### Degree of commutativity of finite groups and subgroups

Recently I started reading some articles about the
degree of commutativity of finite groups. I have some questions:
In "Subgroup commutativity degrees of finite groups" Tarnauceanu
proposes the ...

**1**

vote

**1**answer

64 views

### Essential surfaces in the Exterior of Montesinos knots

Hatcher and Oertel computed the boundary slopes of essential surfaces of Montesinos knots in this paper. But they do not consider surfaces that do not intersect the boundary of the exterior. An ...

**1**

vote

**1**answer

120 views

### Noncommutative analogs of classical Banach geometric properties

The scale of Schatten-von Neumann classes is noncommutatitve analog of classical $\ell_p$-spaces. A lot of researchers devoted their lives to study Banach geometric structure of these spaces. ...

**3**

votes

**0**answers

76 views

### What does “control of a deformation problem” mean?

Is the expression "control of a deformation problem' ever defined? There are of course many examples relating a dg-Lie or L-infty algebra to a deformation problem, and the phrase is evocative. Is it ...

**10**

votes

**1**answer

347 views

### Primer on Eisenstein series

My apologies if this question is a duplicate. I seached, and the closest I could locate is this question, which has very intriguing and intractable (for me) responses.
In my continuing journey of ...

**0**

votes

**0**answers

113 views

### Is the complex structure on a del-Pezzo surface a regular complex structure?

Let $(X, \omega, J)$ be a compact symplectic manifold with an almost complex structure. Fix some homology class $\beta \in H_2(X, \mathbb{Z})$. An almost
complex structure $J$ is said to be ...

**3**

votes

**1**answer

302 views

### Survey papers on the role played by PDE in mathematics

There are already several questions on Mathoverflow about the application of PDE to several other topics (e.g., algebraic and differential geometry and topology, number theory, harmonic analysis, ...

**11**

votes

**2**answers

494 views

### Your favorite papers on geometric group theory

I would like to improve my culture on geometric group theory, so I am interested in short and accessible papers on subjects related to this field but which are not always available in the classical ...

**3**

votes

**0**answers

21 views

### Characterization of complete lattices with join-incomplete lattice endomorphisms

Let $L$ be an complete lattice. A lattice homomorphism $f: L\to L$ is said to be join-incomplete if there is an infinite set $S \subseteq L$ such that $f(\bigvee_L S) > \bigvee_L f(S).$
How can ...

**6**

votes

**0**answers

150 views

### $\alpha$-minimal degrees for singular $\alpha$

An important question in $\alpha$-recursion theory is whether there is a minimal $\alpha$-degree at $\alpha=\aleph_\omega.$
Question 1. Who first introduced the above question, and where can I find ...

**7**

votes

**0**answers

233 views

### Residue class sufficiency sets for the Collatz conjecture

I have recently managed to show a sequence of sufficiency sets for the Collatz conjecture whose natural density approaches 0 (the set theoretic limit approaches the set $\{1\}$). It is an extension of ...

**5**

votes

**1**answer

62 views

### Continuous section inside a family of rank-varying operators

Good morning everybody,
my question is as follows: let $K$ be a compact set and assume $F:K\to L(\mathcal H,\mathbb R^{m+1})$ be a continuous map from the compact set $K$ to the space of linear ...

**1**

vote

**0**answers

56 views

### What can we say about the boundary of the level set of a Sobolev function?

I'm a beginner of the area of free boundary problem. Let me first give some background:
$\Omega \subset \mathbb{R}^n$ is an open connected set, and locally $\partial \Omega$ is a Lipschitz graph.
...

**5**

votes

**0**answers

159 views

### Examples of Rankin-Selberg L-functions from Eisenstein series

I've been digging for awhile to not much success, so I figure I would try here:
I am looking for some references which compute explicitly examples of Rankin-Selberg L-functions from the constant ...

**8**

votes

**2**answers

261 views

### References on quaternionic geometry

Is there any analog, in the quaternionic setting, of Kahler potentials?
In particular I'm interested in a similar construction of the Fubini-Study 2-form on $\mathbb{P}^1(\mathbb{C})$ over the ...

**0**

votes

**0**answers

71 views

### Find motivation for calculating $\int_{2}^{X} A^2(t) A(\alpha t)dt$

I read a thesis of Kong Kar Lun (student of Tsang K.M) about the some mean value theorems for certain errors terms in analytic number theory and in which he gave the asymptotic formulas of the ...

**2**

votes

**1**answer

99 views

### Where can I find a copy of Moussatat's 1976 thesis “On the Asymptotic Theory of Statistical Experiments and Some of Its Applications”?

It was apparently written at Berkeley under the direction of Le Cam, and it is cited in a number of contributions to mathematical statistics, for example in Strasser's (1985) book "Mathematical Theory ...

**4**

votes

**1**answer

145 views

### An example for a construction on monads/operads?

Suppose that $C$ is a bicategory. (I only need a monoidal category, i.e. one object bicategory, but I will stick with bicategories, since theory of monads is more commonly stated in that setting). A ...

**-2**

votes

**0**answers

108 views

### question on collatz trajectories/pattern in form $2^n - 1$ [closed]

I recently noticed this remarkable general "wedge" pattern in base 2 for Collatz iterates starting with values $2^n - 1$, displayed here for $n=20$.
Has this been noticed or analyzed before?
...

**2**

votes

**0**answers

66 views

### $Pin^{+}(4k)$ and $Pin^{-}(4k)$ are isomorphic [Reference Request]

This is some sort of "follow-up" to the (unanswered) question posted here.
Let's denote $$\varphi :O(2n)\rightarrow O(2n);A\mapsto det(A)\cdot A.$$
Then $\varphi $ is an automorphism of $O(2n)$, and ...

**5**

votes

**3**answers

136 views

### Reference request : Besov spaces on ubounded domains

As I am relatively new to these matters, I would like to know if you could provide me a reference for Besov spaces on unbounded domains, because when I checked the first tome of Triebel's Theory of ...

**2**

votes

**1**answer

123 views

### Gradient of Probability Distribution

Given a random walk on a lattice $L$ (not necessarily centered - we allow $E[X_i] \neq 0$ for the i.i.d. increments $X_i$), let $p_t(x)$ denote the probability measure of state $x \in L$ after $t$ ...

**0**

votes

**1**answer

34 views

### References for non-zero boundary value problem

I studied linear elliptic, parabolic and hyperbolic PDEs (boundary/initial value problem) in terms of existence, uniqueness and regularity.
I studied always, following Evans book "PDE", the case with ...

**0**

votes

**2**answers

213 views

### Linear Algebra classic books [closed]

I'm learning linear algebra at the moment, so I'm looking for some great old classic books. Something like Fermat's or Gauss books of some great mathematians.
I don't really like the nowadays books ...

**6**

votes

**0**answers

319 views

### “Forthcoming paper” of Goldston-Graham-Pintz-Yıldırım

The above-named authors of [1] and its (significantly different) published version [2] write:
In a forthcoming paper, we will show how the methods here can be extended to prove corresponding ...

**3**

votes

**2**answers

186 views

### Products of elliptic isometries

A well-known property on groups acting on trees is:
Theorem: Let $T$ be a tree and $g,h \in \mathrm{Isom}(T)$ two elliptic isometries. If $\mathrm{Fix}(g) \cap \mathrm{Fix}(h) = \emptyset$ then ...

**2**

votes

**0**answers

58 views

### Ultraproducts and subobjects of projectives

Usually the question whether the class of projective algebras in a given variety is closed under taking subalgebras seems to be quite hard. In varieties with well understood dual geometry (e. g. ...

**4**

votes

**2**answers

793 views

### Heat kernel estimates and Gaussian estimates for semigroups, good reference?

Hi, it seems like a big field and I'm having trouble getting some solid/classic references to get me started.
If $U \subset \mathbb{R}^d$ is a bounded domain with, say, $C^2$-boundary $\partial U$ ...

**0**

votes

**0**answers

109 views

### Minimum regular open set containing a given set in a T0 Alexandrov topological space

What is known about the minimum regular open set containing a given set in a T$_0$ Alexandrov topological space? I'm particularly interested in the condition for the minimum set happening to be ...

**6**

votes

**2**answers

293 views

### Existence of a measure-preserving bijection

Let $f, g \, \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be two Borel-measurable functions such that $f$ is non negative and
g is radially symmetric,
the function $ (0, \infty )\ni t \mapsto g ...