Questions tagged [reference-request]
This tag is used if a reference is needed in a paper or textbook on a specific result.
14,312
questions
-1
votes
1
answer
89
views
Overview resources for (rigorous) critical phenomena
I recently came across this overview which discusses some results in the theory of critical phenomena. It is already quite old and I would like to know if there are other (more recent) overviews in ...
- 1,145
6
votes
0
answers
120
views
Complex cobordism and integrable systems
In Jack Morava's paper On the complex cobordism ring as a Fock representation, it was remarked right at the beginning that complex cobordism may play a role in the theory of integrable systems. In ...
- 61
23
votes
1
answer
1k
views
Is every real number in [0,1] a product of three (or more) Cantor set's numbers?
It is well known that every number $x$ in the unit interval $[0,1]$ is the arithmetic mean of two elements of the (triadic) Cantor set $C$. The way to see it I like the most: the Cantor set is the ...
- 55.5k
4
votes
0
answers
76
views
Buchi's conditional proof of the non-existence of finite algorithm to decide solubility of system of diagonal quadratic form equations in integers
I am doing some literature review regarding Buchi's problem. In particular, I am reading the relevant section in this survey paper by Mazur (Questions of Decidability and Undecidability in Number ...
- 25k
0
votes
0
answers
31
views
Generalized envelope theorems
I'm looking for references for two generalizations of Danskin/envelope-type theorems for convex optimization. The first is for when the parameters are functions on a space rather than numbers. A ...
- 3,977
4
votes
0
answers
107
views
Taking integer values of a sequence of Beurling primes
Let $P=(p_j)_{j=1}^\infty$ be an increasing sequence of real numbers with $1<p_1$ and $\lim_{j\to\infty}p_j=\infty$. As mentioned in [1], Beurling proved that if the multiplicative group $N_P$ ...
- 41
8
votes
2
answers
483
views
On martingale convergence
Let $(X_t)_{t\ge0}$ be a martingale with continuous paths. It was previously shown here and here that then it is impossible that $X_t\to\infty$ almost surely as $t\to\infty$.
Is it possible that there ...
- 111k
4
votes
1
answer
221
views
Examples of Borel probability measures on the Schwartz function space?
Let $\mathcal{S}(\mathbb{R}^d)$ be the Frechet space of Schwartz functions on $\mathbb{R}^n$. Its dual space $\mathcal{S}'(\mathbb{R}^d)$ is the space of tempered distributions.
Minlos Theorem as ...
- 2,331
6
votes
0
answers
357
views
Consistency results for divergent series summed with smooth cutoff functions
One way to try to give a value $S$ to a divergent series $\sum_{n=1}^\infty a_n$ is with a smooth cutoff function:
$$
S = \lim_{N\to\infty}\sum_{n=1}^\infty a_n \eta\left(\frac{n}{N}\right)
$$
where $\...
- 213
5
votes
0
answers
209
views
Video abstracts for mathematical papers
I recently published a video abstract of a manuscript of mine (number theory), finding that more people are interested in its content than when I uploaded the preprint on arXiv.
Now, my main question ...
- 883
3
votes
1
answer
160
views
Weighted Lebesgue space with exponential weights: smoothing effect and properties
I am researching whether there are weighted Lebesgue spaces of the type
$$ \left\{ f\omega(x)\in L^p(\mathbb{R}^n):\|f\|_{L^p_\omega}=\int_{\mathbb{R}^n}|f|^p\omega^p(x)\,dx< \infty,\right\} $$
...
- 563
2
votes
1
answer
199
views
Is the Fortissimo space on discrete $\omega_1$ radial?
Let $\omega_1$ have the discrete topology. Its Fortissimo space is $X=\omega_1\cup\{\infty\}$ where neighborhoods of $\infty$ are co-countable.
A space is radial provided for every subset $A$ and ...
- 933
0
votes
0
answers
73
views
Restrictions of a morphism that is piecewise smooth
My lecture notes of classical algebraic geometry on complex field has presented a following result.
Theorem. Let $X$ and $Y$ be (quasi-projective irreducible) varieties, and $f \colon X \to Y$ a ...
1
vote
0
answers
141
views
Linear third order water wave pde admitting particular gamma factor solution. How do you understand evolution on vertical strip in complex plane?
I would like to understand a little bit about how to interpret and construct $1$-parameter gamma factors that are dynamical - that is they are particular solutions to linear PDE's. Some possible ...
- 141
7
votes
0
answers
130
views
An identity for characters of the symmetric group
I am looking for a reference for the identity
$$\chi_\lambda(C)=\frac{\dim(V_\lambda)}{|C|}\sum_{p\in P_\lambda,\,q\in Q_\lambda,\,pq\in C}\operatorname{sgn}(q)$$
for the irreducible characters of the ...
- 1,514
4
votes
1
answer
94
views
Reference request: Discriminant of a $V_4$-extension of local fields is the product of discriminants of intermediate fields
Disclaimer - cross-posting: I already posted this question on MSE, here. In line with the accepted answer of this meta question, I am also asking it here, since it is a research-level question and it ...
- 317
9
votes
1
answer
504
views
Irrationality of cubic threefold (before Clemens and Griffiths)
I came across this notice, which seems to say Fano proved that a general cubic threefold is irrational back in 1940s. I'm interested in seeing this work, especially a proof without intermediate ...
- 1,346
1
vote
1
answer
165
views
The function $G(x) =(4\pi t)^{-d/2} \int_{\mathbb{R}^d} e^{\frac{-|x-y|^2}{4t}}|y|^k dy$ can be controlled when $|x|\rightarrow \infty$
In this paper, Lemma 6, Pinsky proves that $$H(x) =(4\pi t)^{-d/2} \int_{\mathbb{R}^d} e^{\frac{-|x-y|^2}{4t}}(1+|y|)^m \, dy$$ attains its maximum in $x=0$ for $m<0$. This can also be proven using ...
- 563
0
votes
0
answers
57
views
Decrease of $(1/\zeta)^{(r)}(\sigma + i T)$ as $\sigma\to -\infty$?
What is a standard reference for the simple fact that, for $T$ fixed and $\sigma\to -\infty$,
every derivative $|(1/\zeta)^{(r)}(\sigma+i T)|$ of the Riemann zeta function decreases faster than any ...
- 19.1k
4
votes
1
answer
74
views
Some questions about the definition of Chern classes in Cheeger--Simons differential characters
In page 62 to 63 of the paper "Differential characters and geometric invariants" by Cheeger and Simons, they define, among other things, Chern classes taking values in differential ...
- 1,017
-1
votes
0
answers
359
views
Are these finite semirings known?
I am trying to prove the properties below, and by doing this, I hope to find a way to speed up the computation of the below defined addition and multiplication. I am also interested if these finite ...
- 2,126
0
votes
0
answers
41
views
Reference needed for powers of semi-group generators
Let $\mathcal{L}$ be the infinitesimal generator of a Markov semi-group. I am looking for references that study powers of $\mathcal{L}$; i.e. $\mathcal{L}^n$, for $n\in\mathbb{N}$.
For example, if the ...
- 116
3
votes
0
answers
160
views
Wondering if Monsky-Washnitzer ever published a result claimed to be forthcoming in a later paper
At the very end of the paper Formal Cohomology I by Monsky and Washnitzer, they write the following:
"In some sense, the operator $\psi$ applied to a power series gives it "better
growth ...
- 376
0
votes
0
answers
70
views
Weighted least squares regression: Iterative modeling of variance
In chemical analysis, the instrument's signal are plotted as a function of chemical concentration. In general, higher the concentration higher is the response and the relationship is linear. At ...
- 813
0
votes
0
answers
189
views
On characters of the symmetric group: Part 2
This question is related to my earlier MO quest.
For an integer partition $\lambda$, denote $\ell(\lambda)=$ length, $\vert\lambda\vert=$ size and $\lambda=$ conjugate of $\lambda$. Allow to write $\...
- 41.2k
6
votes
2
answers
601
views
Number of divisors which are at most $n$
I’m interested in the function $\tau_n:\mathbb{N}\to\{1,2,3,\cdots, n\}$ defined by
$$\tau_n(x)=\sum_{k=1}^n \mathbf{1}_{k\mid x},$$
the number of divisors of $x$ which are at most $n$. Question 6 of ...
- 375
3
votes
0
answers
202
views
Finding the DOI for a paper
How can we find the DOI of an old paper. For example, what are the DOI of the following papers?
Anderson, D.D. and Jayaram, C., 1995. Regular lattices. Studia Scientiarum Mathematicarum Hungarica, 30(...
- 31
3
votes
0
answers
169
views
A probabilistic proof of van der Waerden theorem
Is there an elementary proof of van der Waerden's theorem on arithmetic progressions using probabilistic methods?
- 31.5k
9
votes
1
answer
463
views
Reference request: number of antichains of a partially ordered set
Let $\mathbb{N}$ denote the set of all positive integers. For each $n \in \mathbb{N}$, define the set $$ P_n = \{ (a,b) \in \mathbb{N} \times \mathbb{N} : 1 \leq a \leq b \leq n \} $$ and consider the ...
- 563
1
vote
0
answers
79
views
Reference for a clear version of multigraded Serre-Grothendieck-Deligne correspondence local cohomology
The Grothendieck-Serre-Deligne correspondence states the following. Let $ R $ be a Noetherian, graded ring and let $ T $ be $ \operatorname{Proj}(R) $. If $ \mathcal{F} $ is a coherent sheaf on $ T $...
- 759
5
votes
0
answers
92
views
On Soergel's results concerning projectives modules in category $\mathcal{O}$
I am looking for a translated proof of two results of Soergel usually referred to as endomorphismensatz and struktursatz.
Both of those results were shown in the paper
Soergel, W. (1990). Kategorie 𝒪...
- 151
6
votes
2
answers
377
views
On the existence of a real which is not set-generic over $L$
Recall that a real $r$ is set-generic over $L$ if there is a constructible forcing notion $\mathbb{P}$ and some $L$-generic filter $G\subset\mathbb{P}$ such that $r \in L[G]$.
I know that Jensen's ...
- 2,042
0
votes
1
answer
238
views
Factorization trees and (continued) fractions?
This question is inspired by trying to understand the lexicographic sorting of the natural numbers in the fractal at this question:
Is $1 = \sum_{n=1}^{\infty} \frac{\pi(p_n^2)-n+2}{p_n^3-p_n}$ , ...
- 2,126
3
votes
0
answers
124
views
Defining ideal of a Schubert variety as a kernel
Consider the Plücker embedding of the variety of complete flags in $\mathbb C^n$: $$F_n\subset\mathbb P(\bigwedge\nolimits^1\mathbb C^n)\times\dots\times\mathbb P(\bigwedge\nolimits^{n-1}\mathbb C^n).$...
- 3,435
10
votes
1
answer
628
views
Smooth map between oriented manifolds
Let $f: M\rightarrow N$ be a smooth map between smooth closed oriented connected manifolds of same dimension.
Question: is it true that $f$ is smoothly homotopic to some smooth map $g: M\rightarrow N$...
- 323
2
votes
0
answers
317
views
On characters of the symmetric group: Part 1
Given an integer partition $\lambda$, denote $\ell(\lambda)=$ length, $\vert\lambda\vert=$ size and $\lambda=$ conjugate of $\lambda$. Allow to write $\lambda\vdash n$ either as $(\lambda_1,\dots,\...
- 41.2k
2
votes
0
answers
88
views
Are covering families of localizations stable under pushouts?
For a commutative ring $A$, we call a finite family of localizations $A \to A_{S_i}$ (where $S_i$ are some subsets of $A$) a covering if the canonical morphism $A \to \prod A_{S_i}$ is an effective ...
- 6,164
4
votes
1
answer
408
views
Smallest prime factor of numbers
The literature refers to smooth integers as \begin{equation}\Psi(x,y):=\#\{n\le x:P_1(n)\le y\},\end{equation} where $P_1(n)$ is the largest prime factor of $n$. There are lots of results studying $\...
- 191
17
votes
1
answer
1k
views
Explicit character tables of non-existent finite simple groups
In connection with the historical development of the classification of finite simple groups, I am interested in a particular aspect that seems to be less well-documented than the main narrative of ...
- 25.5k
3
votes
3
answers
342
views
Closed formula for number of ones in a proper factor tree
Edit [2023 Dec 7]: One of my specific wonders, along with that of students, is around when a recursive formula might have – or be expected to have – an explicit or closed formula. What is the ...
- 7,636
1
vote
0
answers
113
views
Reference request: unfolding of Integral representation of an L-function
Are there any text or papers that thoroughly address unfolding of integral representation of an L-function such as D. Ginzburg's On Spin L-function for Orthogonal Groups page 762-763 and page 774 (or ...
- 111
5
votes
1
answer
105
views
Variants of the Bonk-Schramm embedding
Recently I heard about the following embedding theorem of Bonk and Schramm: every Gromov hyperbolic geodesic metric space with "bounded growth" is roughly similar to a convex subset of $\...
2
votes
0
answers
80
views
On dense subspaces of $L^p$-spaces of finitely additive measures
Let $\mu$ be a finite, finitely additive measure defined on the Borel $\sigma$-algebra of a real separable Hilbert space $\mathcal{H}$ with dual $\mathcal{H}^{*}$. Write $L^{p}(\mathcal{H},\mu)$ for ...
- 461
3
votes
0
answers
201
views
Classifying spaces beyond CW complexes
We know that for a reasonable topological group $G$ (say a compact Lie group) admits a classifying space for $G$-bundles within the category of countable CW complexes. That means, there is a space $BG$...
- 933
5
votes
0
answers
121
views
When does an iteration not add functions $\eta\to V$ at the final stage?
I am interested in better understanding the following property:
Let us say that an iteration of forcings $\langle\mathbb{P}_\alpha,\dot{\mathbb{Q}}_\beta\mid\alpha\leq\gamma,\beta<\gamma\rangle$ is ...
- 1,169
2
votes
0
answers
84
views
Self adjoint operators from energy functionals
It is known that the equation
$$
\Delta f = 0
$$
on some bounded domain $\Omega$ on $\mathbb{R}^n$ subjected to certain boundary conditions can be derived through the minimization of the Dirichlet ...
- 101
4
votes
0
answers
57
views
Pfaffian elements and anomalies
If $X$ is a compact even dimensional spin manifold, then we have a family of chiral Dirac operators parametrized by $Met(X)$, the (infinite dimensional) manifold of Riemannian metrics on $X$. This is ...
- 6,679
4
votes
0
answers
242
views
Does there exist research about equation like $u_{tt}=\det(D_{x}^{2}u)+\dots$?
I have asked this question on Mathematics Stack Exchange yesterday, but there still is no reply.
Does there exist research about equation like $$u_{tt}=\det(D_x^2 u)+\cdots\text{?}$$ That is to say, ...
4
votes
0
answers
79
views
List of equivalent conditions for the invariant subalgebra to be polynomial
Let $k$ be a field, $P_n$ the polynomial algebra in $n$ indeterminates, and $G<\operatorname{GL}_n$ a finite group whose order is coprime to the characteristic of $k$, and that acts on $P_n$ by ...
- 2,598
9
votes
0
answers
213
views
Grothendieck purity for Brauer groups of stacks
Let $X$ be a smooth variety over a field $k$ (for the sake of simplicity of characteristic $0$) and $\operatorname{Br}(X) := H^2_{\text{ét}}(X, \mathbb{G}_m)$ its (cohomological) Brauer group (...
- 198