Skip to main content

Questions tagged [reference-request]

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

Filter by
Sorted by
Tagged with
4 votes
3 answers
244 views

An uncountable measurable subset of $\Bbb R$ containing no nonempty perfect set

$\newcommand\R{\Bbb R}$Assuming the axiom of choice, is there an uncountable Lebesgue-measurable subset $S$ of $\R$ that contains no nonempty perfect set? Of course, such a set $S$, if it exists, ...
Iosif Pinelis's user avatar
1 vote
0 answers
27 views

Vertex coloring of the Rado graph

Is there a reference for the following fact about the Rado graph (the random countable graph) which came up in an answer to this question? If the vertices of the Rado graph $G=(V,E)$ are colored with ...
bof's user avatar
  • 13.4k
3 votes
0 answers
74 views

While expanding Jack polynomials in monomial basis

Denote $\mathbf{z}=(z_1,\dots,z_n)$. Let $P_{\kappa}(\mathbf{z};\alpha)$ be the symmetric Jack polynomials and suppose they are expanded in terms of the monomial symmetric basis $m_{\rho}(\mathbf{z})$ ...
T. Amdeberhan's user avatar
1 vote
0 answers
39 views

Can conditional distributions with respect to a sufficient sub-$\sigma$-algebra be represented by a single Markov kernel?

Let $(\Omega, \mathcal{F})$ be a measurable space, and let $\mathcal{P}$ be a collection of probability measures on this space. A sub-$\sigma$-algebra $\mathcal{G} \subset \mathcal{F}$ is said to be ...
MrTheOwl's user avatar
  • 111
1 vote
0 answers
61 views

Reference request: Proof theory in $W_1^1$

Buss defined $V_2^1$​ as a second-order bounded arithmetic corresponding to $\mathsf{PSPACE}$. Later, Skelley introduced $W_1^1$​, a third-order bounded arithmetic of $\mathsf{PSPACE}$. Since the ...
palala's user avatar
  • 11
7 votes
1 answer
301 views

Fibers of generic smooth maps between manifolds of equal dimension

I have heard that the following is a "well-known" Claim. Let $M$ and $N$ be smooth manifolds with equal dimensions and $M$ compact. Then a generic smooth map $f\colon M\to N$ has finite ...
Matthew Kvalheim's user avatar
0 votes
0 answers
33 views

Request for resources on directional derivative of the Riemannian distance function, and Berger's lemma about geodesics realizing the diameter

I've been recently interested in directional derivatives of the Riemannian distance function, and I came across this question, and its answer by Sergei Ivanov, where he stated an important result: (I ...
Learning math's user avatar
2 votes
1 answer
70 views

Coradical filtration for comodules is exhaustive

It is a standard fact in the theory of coalgebras and comodules that, given a coalgebra $C$ and a comodule $M$ over $C$, the coradical filtration $$M_n := \Delta^{-1}(M\otimes C_0 + M_{n-1}\otimes C)$$...
Aidan's user avatar
  • 518
1 vote
0 answers
53 views

Description of all biholomorphic maps from annulus [duplicate]

Consider the collection $\mathcal{C}$ of all maps $f \colon B_1 -\overline{B}_\beta \to \mathbb{C}$ such that $f$ is biholomorphic onto its image. Is this collection $\mathcal{C}$ path-connected? In ...
Jinyang wu's user avatar
3 votes
1 answer
164 views

Theory of $n$-truncated $A_\infty$ categories/functors?

One can define certain higher categorical truncations. For example, a discussion from the quasi-categories point of view can be found in HTT 5.5.6. On the other hand, as a model of linear $\infty$-...
Bingyu Zhang's user avatar
2 votes
0 answers
49 views

Reference on eigenvectors of $-\Delta $ with boundary conditions on $\Omega$

Let $\Omega\subset\mathbb R^d$ be a compact and connected subset with smooth (or piecewise smooth) boundary denoted by $\partial \Omega$. Let $\Gamma^+, \Gamma^- \subset\partial \Omega$ be such that $$...
Fawen90's user avatar
  • 1,399
1 vote
0 answers
169 views

Where can I find the book Haïm Brezis: Un mathématicien juif by Jacques Vauthier?

This year marks the passing of Haïm Brezis, and I would like to explore his life and work through this publication. I tried to find it in several bookstores, in online format, but I really couldn't ...
Math's user avatar
  • 509
1 vote
1 answer
178 views
+50

On a probabilistic integer factorization algorithm given bounds for one prime factor

We got a probabilistic integer factorization algorithm and experimental evidence with large integers given bounds for one factor. Let $D \ge 2$ be real number and let $p,q$ be primes and $N=pq$. ...
joro's user avatar
  • 25.4k
3 votes
2 answers
146 views

Vector bundles over a Stein space are projective

It is a "well known" fact that locally free sheaves over a Stein space $X$ are projective as $\mathcal{O}_X$-modules (see e.g. just after Lemma 1.6 in O'Brian-Toledo-Tong's "The trace ...
Tim's user avatar
  • 1,109
3 votes
0 answers
90 views

References on smoothness of minimal surfaces in Riemannian manifolds

It's well known that $C^1$ minimal surfaces (surfaces that are locally area minimzing) in $\mathbb{R}^n$ are automatically smooth, and one can prove this result by solving the Dirichlet problem of the ...
gaoqiang's user avatar
  • 438
2 votes
1 answer
128 views

Reference request for elementary convex geometry property

I need to use the following lemma for a proof. It is an elementary result, which I am sure is well known, just I am not familiar enough with the relative literature to find a direct reference. Is ...
ECL's user avatar
  • 345
10 votes
1 answer
368 views

Reference request: The non-productivity of Lindenbaum numbers

For a set $X$, the Lindenbaum number of $X$, $\aleph^*(X)$, is the least non-zero ordinal $\alpha$ such that there is no surjection $X\to\alpha$. It seems to be well-known that for infinite sets $X$ ...
Calliope Ryan-Smith's user avatar
3 votes
0 answers
104 views

Jacobian of a reducible curve with arbitrary singularities

Let X be a reduced, reducible curve over $\mathbb{C}$ with locally planar singularities, and let $\widetilde{X}$ be its normalization. I am interested in the Jacobian varieties $\mathrm{Jac}(X)$ and $\...
Grotherd's user avatar
1 vote
0 answers
263 views

Are there connections between Calabi-Yau manifolds and number theory?

I am interested in understanding whether there are any significant connections between Calabi-Yau manifolds and number theory. Calabi-Yau manifolds are central objects in algebraic geometry and string ...
Abdullah M Al-jazy's user avatar
4 votes
0 answers
62 views

Bicategories in which the composition functors $\circ_{A, B, C}$ admit right adjoints

In Bénabou's 1967 Introduction to Bicategories, he mentions that, in a forthcoming part II, he would study bicategories $\mathcal K$ in which each composition functor $$\circ_{A, B, C} \colon \mathcal ...
varkor's user avatar
  • 10.6k
3 votes
0 answers
76 views

Reference Request: Pushforward of $\pi_1$ along a covering map and the Galois group

Let $f \colon (Y,y_0) \to (X,x_0)$ be a finite-to-one pointed covering map. The pushforward gives an inclusion $f_* \colon \pi_1(Y,y_0) \to \pi_1(X,x_0)$. If we take the universal cover $\widetilde{X}$...
Jon Aycock's user avatar
4 votes
0 answers
90 views

Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\bE}{\mathbb{E}} \newcommand{\bT}{\mathbb{T}} \newcommand{\bP}{\mathbb{P}} \newcommand{\bF}{\mathbb{F}} \newcommand{\cF}{\mathcal{F}} \newcommand{\eps}{\...
Akira's user avatar
  • 835
2 votes
0 answers
124 views

Generalization of Koszul cohomology for wedge product with a fixed q-form: literature and references?

Let $A$ be a commutative ring. For an odd positive integer $q$ and an integer $p$ in the range $1 \leq p \leq q$, consider the cochain complex: $0 \to \Lambda^p(A^N) \to \Lambda^{p+q}(A^N) \to \cdots \...
user47660's user avatar
4 votes
1 answer
215 views

Reference request: Algebras over monoid objects in a monoidal category [duplicate]

Looking for a reference for the following easy-to-prove fact: Say $T$ and $S$ are monads on $\text{Set}$ admitting a monoid homomorphism $\phi : S \to T$ (i.e., a morphism in $\text{Mon}([\text{Set},\...
ari rosenfield's user avatar
3 votes
0 answers
87 views

Linearization coefficients for Jacobi polynomials

In general, for families of polynomials $\{ Q_n\}, \{ R_n\},\{S_n\}$, there exist linearization coefficients such that one may write the product $Q_m R_n = \sum_k c_{m,n}^k S_k$. Let $P^{\alpha,\beta}...
Jonathan J.'s user avatar
2 votes
1 answer
147 views

Lower bound in the singularity of random Bernoulli matrices

Let $A_n$ be a random $n \times n$ matrix with entries in $\{-1, +1\}$. As usual, "random" here means with respect to the uniform measure over such matrices. The strong version of the ...
Drew Brady's user avatar
7 votes
2 answers
337 views

Reference request: $\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \Lambda_+$

I am looking for proof of the "well-known" result that for a $4$-dimensional Riemannian manifold $(M, g)$, we have an isomorphism $$ \operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \...
S.T.'s user avatar
  • 113
1 vote
0 answers
44 views

Lower bound for restricted sumset in ordered groups

Recently in The restricted sumsets in finite abelian groups it is proved that Suppose that $k \geq 2$ and $A$ is a non-empty subset of a finite abelian group $G$ with $|G| > 1$. Then the ...
navashree chanania's user avatar
4 votes
0 answers
179 views

Recognize this metric? Do you have a name for this metric on the product of spheres?

Take the product $S^2 \times S^2$ of two two-spheres, but perturb the product metric as follows. Think of each $S^2$ as the unit two-sphere in Euclidean 3-space in the standard way so that for $p ...
Richard Montgomery's user avatar
0 votes
0 answers
31 views

Looking for a citation for this simple generalization of the Markov bound to non-negative super-martingales

Does anybody know a reference for the following theorem? Theorem 1. Let $(X_t)_{t=0}^\infty$ be a non-negative supermartingale. Then, for any constant $c > 0$, the event $(\exists > t)\, X_t \...
Neal Young's user avatar
11 votes
0 answers
317 views
+50

Sobolev's PDE Scottish Book Problem (Problem 188)

In 1940 Sobolev recorded the following problem in the Scottish Book, and offered a bottle of wine for a solution. In 2015, when the second edition of the Scottish Book with updates and commentary on ...
Mark Lewko's user avatar
2 votes
1 answer
149 views

Baer sums of extensions

Apologies in advance if this question is too basic, I looked briefly through Weibel and the stacks project and couldn't find any relevant reference. Let $\mathcal{A}$ denote an abelian category, and ...
kindasorta's user avatar
  • 2,907
8 votes
1 answer
437 views

Function $\phi$ such that $f(\phi(x,y)) = f(x) + f(y)$

I have a continuous function $f:\mathbb{R}^n\to\mathbb{R}$, and I am looking for a continuous (or at least measurable) function $\phi:\mathbb{R}^{2n}\to\mathbb{R}^n$ such that $f(\phi(x,y))=f(x)+f(y)$....
gmvh's user avatar
  • 3,065
11 votes
0 answers
427 views

Is there a theory of completions of semirings similar to $I$-adic completions of rings?

Let $L = \text{Con } (\mathbb{N}, 0, +) \setminus \Delta$ be the lattice of monoid congruences on the naturals, excluding the trivial congruence. As it happens, every $\theta \in L$ is the meet of ...
Keith's user avatar
  • 591
6 votes
1 answer
131 views

Condition for a functor to induce a cartesian closed functor between categories of presheaves

We denote the category of presheaves on a small category ${\cal C}$ (set-valued functor-category) by $$\widehat{\cal C}:=[{\cal C}^{op},{\bf Set}].$$ Such a category is cartesian closed, i.e. it ...
Frank's user avatar
  • 567
5 votes
2 answers
432 views

About Grothendieck and special cases

I was recently reminded of a quote about (not by!) Alexander Grothendieck that I had read many years ago, I think in the 1990s or 2000s. The quote was about the way in which Grothendieck solved ...
rimu's user avatar
  • 877
8 votes
1 answer
672 views

Infinite series and sum of two squares

Consider the following infinite sequence $a(n)$ generated by $$\sum_{n\geq0} a(n)q^n =\frac{\sum_{k\geq0}F(2k+1)q^{\binom{k+1}2}}{\sum_{k\geq0} q^{\binom{k+1}2}}$$ where the $F(2k+1)$ are the odd ...
T. Amdeberhan's user avatar
0 votes
1 answer
169 views

Is the evolution family self-adjoint?

$ \newcommand{\bR}{\mathbb{R}} \newcommand{\diff}{\mathop{}\!\mathrm{d}} \newcommand{\qtext}[1]{\quad\text{#1}} \newcommand{\qtextq}[1]{\quad\text{#1}\quad} $ I am reading Roland Schnaubelt's survey ...
Akira's user avatar
  • 835
1 vote
0 answers
84 views

Does sets of positive capacity rule out constant functions?

Let $U\subset \Bbb R^d$ be bounded with Lipschitz boundary $K\subset \bar{U}$ be compact. The capacity of $K$ in $U$ is defined by \begin{align*} \text{Cap}_{p}(K, U) := \inf \left\{ \int_U |\...
Guy Fsone's user avatar
  • 1,101
2 votes
1 answer
213 views

Representing positive integers $n$ by binary forms $n=ax^2+by^2$, $a\geq 0$, $b\geq 0$

In there a finite set of $(a_k,b_k)\in\mathbb{Q}_{\geq 0}\times \mathbb{Q}_{\geq 0}$ so that any $n\in \mathbb{Z}_{>0}$ can be written as $n=a_k x^2+b_k y^2$ for some $k$ ? This is related to ...
Dima Pasechnik's user avatar
2 votes
0 answers
97 views

An injective map in equivariant algebraic K-theory

Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$ and $\mathfrak{g}$ be its Lie algebra. Let $\mathcal{N}$ be the nilpotent cone of $\mathfrak{g}$ consists of all nilpotent ...
fool rabbit's user avatar
3 votes
1 answer
405 views

Moments of a random variable related to uniform distribution on sphere

Let $u$ be taken uniformly from the unit sphere $\mathbb S^{n-1}$ and $D$ be a diagonal matrix. I'd like to find a general formula for $$ \mathbb E[(u^\top D u)^m] $$ for $m=1,2,3, \dots$, in terms of ...
Pluviophile's user avatar
  • 1,608
1 vote
0 answers
45 views

Proper Pisot n-tuples

Recall that x is a Pisot number if it is real and x>1, while all of its conjugates have magnitude less than 1. Then $\{(x)^k\}$ (where $\{\cdot\}$ is the fractional part of x) approaches 0 ...
ericf's user avatar
  • 680
-3 votes
1 answer
194 views

Bounding a number-theoretic integral

Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH. My attempt here is ...
charlie_beck's user avatar
0 votes
0 answers
43 views

Equivalent conditions for $z$-embeddability

I am looking for where this specific theorem of Blair is originally located: Theorem. Let $S\subseteq X$, the following are equivalent: $S$ is $z$-embedded If $A, B\subseteq S$ are disjoint zero-...
Jakobian's user avatar
  • 1,201
13 votes
2 answers
1k views

What's the deal with De Morgan algebras and Kleene algebras?

The notion of Boolean algebras, and the corresponding classical propositional logic, is very standard, and it is easy to find information about them (for example, among many other such works, there is ...
Gro-Tsen's user avatar
  • 32.5k
6 votes
0 answers
102 views

Computer program for free restricted Lie polynomial

I am conducting numerical experiments involving the Gröbner–Shirshov Basis for restricted Lie algebras. At each step of the computation, I need to work with restricted Lie polynomials. Specifically, I ...
gualterio's user avatar
  • 1,013
0 votes
0 answers
80 views

Reference for computing cohomology of $Q_nS^0$ (the $n$-th component of infinite loop space)?

$Q_nS^0=\varinjlim_k(\Omega^kS^k)_n$, where $(\Omega^kS^k)_n$ refers to homotopy classes of maps $(S^k,\ast)\to (S^k,\ast)$ of degree $n$. I already know the case of $n=0$. Is there any reference ...
Siyuan Yin's user avatar
3 votes
0 answers
133 views

Grothendieck spectral sequence (cohomology version) for posets with functor coefficient

In this paper, Quillen mentioned a spectral sequence as follows. Let $f:X\to Y$ is a poset map and $\mathcal{F}:X\to Ab$, where $Ab$ is the category of abelian groups, a functor which is contravariant ...
GURI920826's user avatar
0 votes
1 answer
119 views

Nonstationary phase method for oscillatory integral

I want to approximate an integral of the form $$\int_a^bf(t)e^{ig(t)}dt,$$where $f(t)$ is smooth, $g(t)$ is real-valued and smooth. The stationary phase method says that if $t_0\in [a,b]$ is such that ...
charlie_beck's user avatar

1
2 3 4 5
303