Questions tagged [reference-request]
This tag is used if a reference is needed in a paper or textbook on a specific result.
1,800 questions
10
votes
2
answers
1k
views
Reference request: Oldest number theory books with (unsolved) exercises?
Per the title, what are some of the oldest number theory books out there with (unsolved) exercises? Maybe there are some hidden gems from before the 20th century out there. I am already aware of the ...
9
votes
2
answers
991
views
Reference for homotopy colimit = total complex
I'm looking for a reference for the following fact:
take a simplicial chain complex $ X:\Delta^{op}\to Ch_{\geq 0}(\mathcal A)$ for $\mathcal A$ a nice abelian category (say, cocomplete with enough ...
- 15.8k
9
votes
1
answer
1k
views
Nonabelian $H^2$ and Galois descent
I would like to know whether the following metatheorem on nonabelian $H^2$ has been ever stated and/or proved.
Let $k$ be a perfect field and $k^s$ its fixed separable closure.
Let $X^s$ be a variety ...
- 14.2k
9
votes
4
answers
1k
views
When $X \times Y \cong X \times Z$ implies $Y \cong Z$ (in the category of finite topological spaces)
The title has it all. I'm looking for a reference to the following:
Q. Let $X, Y, Z$ be finite, non-empty (topological) spaces. When does $X \times Y \cong X \times Z$ imply $Y \cong Z$ (in the ...
- 10.5k
9
votes
3
answers
2k
views
Generalizations and relative applications of Fekete's subadditive lemma
Fekete's (subadditive) lemma takes its name from a 1923 paper by the Hungarian mathematician Michael Fekete [1]. A historical overview and references to (a couple of) generalizations and applications ...
- 10.5k
9
votes
1
answer
1k
views
Reference for push-pull formula in cohomology
I would like a precise reference for the following fact.
Assume that
$$
\begin{array}{ccc}
M\times_B N & \stackrel{f'}{\to} & N \newline
\quad\downarrow g' & & \quad\downarrow g \...
- 35.9k
9
votes
1
answer
2k
views
Density of smooth functions on Hölder spaces
The following result is often cited without reference in the context of PDEs:
Let $\varOmega \subset\mathbb R^n$ be a bounded open set with smooth boundary. If $0<\beta<\alpha<1$ then $C^\...
- 727
8
votes
2
answers
567
views
Darboux property of non-atomic sigma-additive nonnegative measures equivalent to the AC?
A result commonly, and probably erroneously, attributed to W. Sierpiński is that every non-atomic, countably additive, nonnegative measure $\mu: \Sigma \to \bf R$, where $\Sigma$ is a sigma-algebra on ...
- 10.5k
7
votes
2
answers
1k
views
Surjective entire functions without critical points
It is easy to construct surjective locally univalent holomorphic functions $f: {\mathbb D}\to {\mathbb C}$, where ${\mathbb D}$ is the open unit disk.
I am pretty sure that the answer to the ...
- 12.3k
7
votes
4
answers
3k
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 ...
- 4,586
7
votes
3
answers
2k
views
Convex hulls of families of probability measures
Let $X$ be a standard Borel space, so that the space of Borel probability measures on $X$ is also a standard Borel space. We denote it by $\mathcal P(X)$.
In this paper for any family of probability ...
- 1,655
6
votes
3
answers
490
views
Non-polynomial splines, a non-linear problem
I'm looking for references on how to construct spline-like functions from a basis that does not include piecewise polynomials.
To be specific, given a class of functions such as "decaying ...
- 3,065
6
votes
1
answer
495
views
Sets of reals and absoluteness
Schoenfield's absoluteness states that if $\phi$ is $\Sigma^1_2$ then $V\models \phi$ iff $L\models \phi$. The set of reals in $L$ is $\Sigma^1_2$ and it is the largest countable $\Sigma^1_2$ set of ...
- 3,804
5
votes
0
answers
198
views
Heuristic and graphic representation of BV functions and their singularities
This question is about some heuristics and graphs of BV functions.
In 1-dimensional setting, two key examples of $BV$ functions $u: \mathbb R \to \mathbb R$ are
the Heaviside function, whose ...
- 839
5
votes
1
answer
395
views
Universal decay rate of the Fisher information along the heat flow
I'm looking for a reference for the following fact: In the torus $\mathbb T^d$ let me denote by $u_t=u(t,x)$ the (unique, distributional) solution of the heat equation
$$
\partial_t u=\Delta u
$$
...
- 5,380
5
votes
2
answers
2k
views
Moduli Spaces of Higher Dimensional Complex Tori
I know that the space of all complex 1-tori (elliptic curves) is modeled by $SL(2, \mathbb{R})$ acting on the upper half plane. There are many explicit formulas for this action.
Similarly, I have ...
- 1,010
5
votes
1
answer
597
views
Can every cancellative invertible-free monoid be embedded in a group?
A monoid is invertible-free if $xy=1$ implies $x=y=1$ for all $x,y$.
Question: Can every cancellative invertible-free monoid be embedded in a group?
I'm fairly sure that a quotient of the free product ...
4
votes
2
answers
489
views
Mapping between Notations
$\DeclareMathOperator{\address}{address}$
As in my other question, it is assumed that the (total) function describing a given notation is denoted as $\address:p \rightarrow \Bbb{N}$ and assumed to be ...
- 881
4
votes
1
answer
387
views
$\sum_{k=1}^n\frac{\sin kx}{k^\alpha} >0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi, \text{and}\ \alpha \ge 1$
The Fejer-Jackson inequality as follows:
$$\sum_{k=1}^n\frac{\sin kx}k>0\quad\text{for all}\ n=1,2,3,\ldots\ \text{and}\ 0<x<\pi.$$
I conjecture that the inequality as follows holds:
$$\sum_{...
- 1,776
4
votes
0
answers
762
views
Rewrite sum of radicals equation as polynomial equation
My question is about a method described in [Dr.Math forum][1] for simplifying equations involving sums of radical functions.
(The following is a transcription of the example given by Dr. Vogler):
--- ...
- 153
4
votes
2
answers
890
views
Partitioning an orthogonal matrix into full rank square submatrices
Let $U$ be an $n \times n$ orthogonal matrix. Given an arbitrary partition ${\mathcal P}_c=\{y_1,y_2,\ldots,y_k\}$ of the columns of
$U$, does there always exist a corresponding partition ${\mathcal ...
- 81
4
votes
1
answer
495
views
Generalizations of Abhyankar-Moh theorem (embeddings of the line in the plane)
Abhyankar-Moh theorem says that if $L$ is a complex line in the complex affine plane $\mathbb{C}^2$, then every embedding of $L$ into $\mathbb{C}^2$ extends to an automorphism of the plane.
It seems ...
- 2,837
4
votes
1
answer
560
views
Inducing a Monoidal Structure using an Equivalence of Categories [closed]
Given an equivalence of categories $C \equiv D$, such that $C$ has a monoidal structure, is it clear that we can use the equivalence to induce a monoidal structure on $D$. Is there a standard ...
- 401
4
votes
2
answers
764
views
Earliest use of deconvolution by Fourier transforms
From a previous discussion here Origin of the convolution theorem, it was shown that the property of convolution $y(t)$=$a$*$b$ becoming a multiplication after Fourier transform: $F$$(y(t))$= $F(a)F(b)...
- 879
3
votes
0
answers
133
views
Reference for a lemma on the asymptotic upper density of special sets with large gaps and intervals
Update. Based on Anthony Quas' comment below, the proof can be made sensibly shorter and the lemma can be slightly generalized by weakening the old assumption (iii).
In a joint paper that I am ...
- 10.5k
2
votes
2
answers
317
views
Concrete example of BV function $u:\mathbb{R}^2 \to \mathbb{R}$ with singular derivative
What are examples of two BV functions $u:\mathbb{R}^2 \to \mathbb{R}$ with singular derivative?
More precisely, I'd like to see an example (and a plot using Mathematica or Matlab) of
a function
$$...
- 839
2
votes
1
answer
165
views
Boundary condition for elliptic problems and domain decomposition
This question is motivated by one that has been previously asked on this website: Elliptic problem on a domain split in two subdomains
Consider an open domain $U$ split in two non-overlapping ...
user60665
2
votes
2
answers
351
views
Weak convergence for discrete-time processes using characteristic functions
I am looking for a good reference about the analogues of the Bochner Theorem and the Lévy Continuity Theorem
for probability measures on $\mathbb{R}^{\mathbb{N}}$ with the product topology.
...
2
votes
1
answer
423
views
Tools for Removing Radicals from Equations
I am currently doing some investigations on Sylvester's 4 Point Problem Probability of 4 Points being in Convex Configuration
and repeatedly face the problem of solving equations between sums of ...
- 13.2k
2
votes
1
answer
308
views
Elliptic problem on a domain split in two subdomains
Consider the following elliptic problem in a split domain:
$$ (\ast) \quad\begin{cases} -\Delta u=f_1 \quad &\text{ in } U_1\\
-\Delta u =f_2 & \text{ in }
U_2\\
u=g & \text{ on } \...
user123456
2
votes
1
answer
149
views
Surveys/monographs on the vortex filament equation
Where can I find surveys on the mathematical aspects of the vortex filament equation?
In particular, I'm interested in the following topics:
physical motivation;
notion of solutions and ...
- 277
1
vote
1
answer
186
views
Defining homotopy via endofunctors of a simplicial category
$\newcommand\sSets{\text{sSets}}\newcommand\sing{\text{sing}}\DeclareMathOperator\Hom{Hom}\newcommand\Top{\text{Top}}$I am looking for a reference describing the notions of homotopy and ...
- 317
0
votes
1
answer
1k
views
Name of a conjecture on difference of prime numbers? [closed]
Hello Dear
there is a conjecture for which I do not know how it is called. The conjecture is:
Every even number can be always written as the difference between two prime numbers.
Could you please ...
- 3
0
votes
1
answer
124
views
Relationship between the vortex filament equation and the cubic Schrödinger equation
How is the vortex filament equation
$$\partial_t \chi = \partial_s \chi \wedge \partial_{ss} \chi,$$
where $\chi(t,s)$ is a curve in $\mathbb R^3$,
related to the cubic Schrödinger equation?
Note 1. ...
- 277
236
votes
36
answers
35k
views
Conway's lesser-known results
John Horton Conway is known for many achievements:
Life, the three sporadic groups in the "Conway constellation," surreal numbers, his "Look-and-Say" sequence analysis, the Conway-Schneeberger $15$-...
136
votes
15
answers
36k
views
Statistics for mathematicians
I'm looking for an overview of statistics suitable for the mathematically mature reader: someone familiar with measure theoretic probability at say Billingsley level, but almost completely ignorant of ...
75
votes
22
answers
19k
views
Essays and thoughts on mathematics
Many distinguished mathematicians, at some point of their career,
collected their thoughts on mathematics (its aesthetic, purposes,
methods, etc.) and on the work of a mathematician in written ...
74
votes
8
answers
14k
views
Category theory and set theory: just a different language, or different foundation of mathematics?
This is a question to research mathematicians, as well as to those concerned with the history and philosophy of mathematics.
I am asking for a reference. In order to make the reference request as ...
- 6,917
73
votes
17
answers
9k
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 ...
71
votes
3
answers
5k
views
Does iterating the derivative infinitely many times give a smooth function whenever it converges?
I am a graduate student and I've been thinking about this fun but frustrating problem for some time. Let $d = \frac{d}{dx}$, and let $f \in C^{\infty}(\mathbb{R})$ be such that for every real $x$, $$g(...
- 1,763
69
votes
7
answers
17k
views
What is a chess piece mathematically?
Historically, the current "standard" set of chess pieces wasn't the only existing alternative or even the standard one. For instance, the famous Al-Suli's Diamond Problem (which remained ...
64
votes
7
answers
7k
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. ...
60
votes
2
answers
11k
views
What is a good roadmap for learning Shimura curves?
I am interested in learning about Shimura curves. Unlike most of the people who post reference requests however (see this question for example), my problem is not sorting through an abundance of books ...
user1073
55
votes
9
answers
6k
views
Proofs of theorems that proved more or deeper results than what was first supposed or stated as the corresponding theorem
Recently, I figured out that a colleague of mine has had published during recent years a proof of a theorem in which he was actually proving a deeper result which we both thought to be still open. ...
52
votes
6
answers
10k
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 ...
- 5,293
52
votes
14
answers
14k
views
Introductory text on geometric group theory?
Can someone indicate me a good introductory text on geometric group theory?
49
votes
2
answers
5k
views
Well known theorems that have not been proved
I believe that there are numerous challenging theorems in mathematics for which only a sketch of a proof exists. To meet the standards of rigor, a complete proof of these theorems has yet to be ...
49
votes
1
answer
2k
views
Producing finite objects by forcing!
It is a trivial fact that forcing can not produce finite sets of ground model objects. However there are situations,
where we can use forcing to prove the existence of finite objects with some ...
- 32.1k
45
votes
8
answers
10k
views
A down-to-earth introduction to the uses of derived categories
When I was learning about spectral sequences, one of the most helpful sources I found was Ravi Vakil's notes here. These notes are very down-to-earth and give a kind of minimum knowledge needed about ...
45
votes
10
answers
11k
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 ...
- 60.5k