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

**3**

votes

**1**answer

61 views

### Non-Forking and Related Concepts

Is the importance of developing forking machinery in the way we set it up, or is it in the fact that it allows us to come up with a notion of independence via the properties of non-forking? I'm ...

**2**

votes

**1**answer

306 views

### Name search for special Linear Integer Program

I am looking for a name for the following question in literature!
(and if you know it, then it would be great)
I couldn't find it and due to wide audience here, presumably you know more. Thank you
...

**0**

votes

**0**answers

237 views

### Set as a (strict) infinite-category?

First, let me say that I have no idea if such a post has its place here. However, I believe that the ideas I'm going to present are important. The goal of this thread is three fold:
1) trying to ...

**2**

votes

**2**answers

62 views

### Integrals involving the Tricomi hypergeometric function

I am looking for a reference for the two following equalities involving the Tricomi function $U$ and the Meijer function $G$. I have found these formulas on the website http://functions.wolfram.com/, ...

**1**

vote

**1**answer

73 views

### Rank of Cartesian product of well-partial-orders

We are interested in the ordinal rank $h(P)$ of a wpo (a well-partial-order). It is known that it coincides with the order type of its longest chain.
When we consider the cartesian product $P\times ...

**0**

votes

**1**answer

176 views

### Equidimensionality of stalks of $\operatorname{Proj} S$ when $S$ is equidimensional.

I would like to know a reference of the following statement (or counter example).
Let $S$ be a (commutative) Noetherian standard graded ring over a local ring, i.e., $S = S_0[S_1]$, where $S_0$ is ...

**4**

votes

**1**answer

85 views

### How to prove the existence of the polytope in $\mathbb{R}^d$ with a given number of faces, minimizing the isoperimetric ratio?

This is the isoperimetric type question. We know that in $\mathbb{R}^d$, balls are the sets that minimize the isoperimetric ratio $\frac{S^{d}}{V^{d-1}}$, where $S$ is the surface area and $V$ is the ...

**4**

votes

**1**answer

224 views

### On various “extension closures” and “orthogonals” in triangulated categories

A vague form of my question is the following one: for a class of objects $D$ of a triangulated category $C$ we consider the class $E$ of objects that satisfy $Mor_{C}(d,e)=\{0\}\ \forall d\in D$; ...

**4**

votes

**1**answer

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

**4**

votes

**0**answers

89 views

### Generalization of Sprague-Grundy Theorem

In my research on Combinatorial Game Theory, I used a certain theorem that is essentially a generalization of the Sprague-Grundy theorem. Because the result hinges too much on the work of others to be ...

**0**

votes

**0**answers

54 views

### Proof of formula for dimension of moduli of stable vector bundles on smooth curves [migrated]

Let $C$ be a smooth curve of genus $g \ge 2$ over an algebraically closed field of positive characteristic. If I understand correctly, the dimension of the moduli space of vector bundles on $C$ of ...

**2**

votes

**2**answers

192 views

### binomial/factorial identity mod p

In trying to determine the spectrum of a well-known ergodic transformation, I came up with the following useful (for me) result.
Let $p$ be a prime and $a$ a positive integer. Then for $M$ a positive ...

**8**

votes

**1**answer

1k views

### Gluing Markov processes

I am looking for a reference on the gluing together of strong Markov processes to get a new one.
Here is an example of what I have in mind. Let $B^1, B^2, \ldots $ be independent one-dimensional ...

**16**

votes

**1**answer

835 views

### New(?) reciprocity law

Consider three functions $f, g$ and $h$ on a smooth curve $X$ over $\mathbb{C}$.
I have found the following equality:
$$\sum (res(f\frac{dg}{g})\frac{dh}{h}-res(f\frac{dh}{h})\frac{dg}{g})=0.$$
Here ...

**4**

votes

**0**answers

112 views

### Do more generalizations of Schur's inequality exist?

I meet this following problem
If $$n\ge 3,\sum_{i=1}^{n}\left(\prod_{j\neq i}(a_{i}-a_{j})\right)\ge 0$$
where $a_{i}$ are real numbers.
when $n=3$, it is Schur's inequality
so which $n$ ...

**1**

vote

**1**answer

79 views

### Differences of consecutive ordered fractional parts

Let $r$ and $h$ be a real numbers and $n>0$. Write the fractional parts $\{k*r+h\}$, for $k = 1,2, . . . n$, in increasing order as $$ a_1 < a_2 < \cdots < a_n.$$ Let $D_n$ be the set of ...

**7**

votes

**1**answer

510 views

### Strong Markov property for Poisson point process

The question is thoroughly contained in the title. I just say that I would only like to find a reference for this question. I have searched in some books, to no avail.
Here is what I mean exactly. ...

**2**

votes

**1**answer

78 views

### On a tower of strongly normal extensions

Where I could see the following statement?
Let $K\subset L\subset M$ be a tower of the strongly normal extensions of differential fields. If $M$ is weakly normal over $K$, then $M$ is strongly ...

**0**

votes

**0**answers

52 views

### Koch snowflake construction in many dimensions

I'm looking for some references to deal with the Koch snowflake construction. The construction basically says we can find a sequence $E_k$ such that $\sup_k|E_k|<\infty$ but $P(E_k) \rightarrow ...

**1**

vote

**1**answer

132 views

### Unitary irreps of the Poincare group in dimension <4

It is well-known that long ago, Wigner classified the unitary irreducible representations of the Poincare group in dimension 4.
I am looking for a convenient reference describing all unitary ...

**49**

votes

**21**answers

10k views

### Errata for Atiyah-Macdonald

Is there a good errata for Atiyah-Macdonald available? A cursory Google search reveals a laughably short list here, with just a few typos. Is there any source available online which lists inaccuracies ...

**1**

vote

**2**answers

108 views

### Are spherical harmonics uniformly bounded?

The spherical harmonics are given by
$$Y^m_l(\phi,\theta):=N^m_l e^{im\theta}P^m_l(\cos \phi) $$
where $P^m_l$ are the associated Legendre Polynomials and $N^m_l$ is the normalisation.
From ...

**2**

votes

**1**answer

60 views

### Convergence of weighted double sum of random variables

I'm looking for convergence results of particular weighted sum:
$$S_n=\frac{1}{n}\sum_{i=1}^{n}\sum_{j=1}^{n}a_{i,j}X_i X_j.$$
when random variables $X_i$ ar i.i.d. Are there any investigation ...

**6**

votes

**2**answers

287 views

### Can phase significantly concentrate a function's spectrum?

Let $F$ denote the Fourier transform over some group. What is known about the following quantity?
$$\gamma:=\inf_{x\neq 0}\frac{\|Fx\|_1}{\|F|x|\|_1}$$
Here, $|x|$ denotes the pointwise absolute ...

**5**

votes

**0**answers

127 views

### Moore spectra are not E-infinity (oldest known proof)

Fix a prime $p$. Let $M_p(i)$, the $i$-th Moore spectrum at the prime $p$, be the cofiber of the map
$$ S^0 \overset{p^i}\longrightarrow S^0 $$
where $S^0$ be the sphere spectrum. In the Mathoverflow ...

**16**

votes

**1**answer

658 views

### Goodstein's theorem without transfinite induction

Goodstein's theorem is an example of a theorem that is not provable from first order arithmetic. All proofs of the theorem seem to deploy transfinite induction and I've wondered if one could prove the ...

**2**

votes

**1**answer

91 views

### Fractional Sobolev spaces and interpolation in unbounded Lipschitz domains

I am not really familiar with the topic, thus I am looking for some references about the following problem.
Let $s>0$ be a positive real and let $p\in(1,+\infty)$. We define the Bessel Potential ...

**3**

votes

**0**answers

55 views

### Kullback Leibler “variance”: does that divergence have a name?

If you consider two probability distributions $p$ and $q$, one way to measure the distance between the two is the Kullback-Leibler divergence:
$$KL(p,q)=\int p \log (p/q) = E_p(\log p/q)$$
and this ...

**1**

vote

**0**answers

32 views

### Regarding a result of I.Vekua on integral equations of first kind

Suppose $k\in L^2([0,1]\times[0,1])$ is a symmetric kernel. Presumably the following is true(under the assumption that $k$ is weakly singular):
Either
$$\displaystyle\int_0^1f(y)k(x,y)dy=0$$or
...

**3**

votes

**0**answers

116 views

### When there exists some “cone” of a morphism of (ind-representable) cohomological functors?

I am interested in cohomological functors from a certain small triangulated category $C$ to abelian groups.
The question is: given a tranformation $F\to G$ of two functors of this sort, is it ...

**1**

vote

**0**answers

143 views

### Can triangulated categories be “approximated by countable subcategories” (that are triangulated but not full!)?

For a given (finite) set of (objects and) morphisms $f_i$ in a triangulated category $C$ I am interested in a (non-full!) triangulated subcategory $C'\subset C$ of "small size" that would contain ...

**7**

votes

**2**answers

260 views

### When is a sequence the sum of two Beatty sequences?

In other words, given a sequence $(s_n)$, how can we tell if there exist irrationals $u>1$ and $v>1$ such that
$$s_n = \lfloor un\rfloor + \lfloor vn\rfloor$$
for every positive integer $n$?
...

**2**

votes

**0**answers

72 views

### Lie group cohomology with coefficients in Lie algebra

I'm looking for a reference, and basic results, about Lie algebra as modules over a Lie group (with the adjoint representation), from the point of view of cohomology. Links with the Lie algebra ...

**1**

vote

**0**answers

41 views

### Singularity Confinement For Differential-Difference Systems

This is a follow-up question to an old question on this site (link) which has a solution that describes the singularity confinement property for discrete systems.
Are there any papers or books that ...

**12**

votes

**0**answers

468 views

### “To operate the machine, it is not necessary to raise the bonnet.”

The quotation in the title is attributed to Frank Adams and appears in several places:
In the preface of [2002, Operads in algebra, topology and physics]: "to operate the machine, it is not ...

**95**

votes

**43**answers

30k 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

38 views

### Inverse Laplace Transforms of Exponential Form

I'm trying to find the velocity component of an MHD flow using Laplace transforms. R.B. Hetnarski's algorithm for inverting the laplace transforms of some exponential functions was recommended to me ...

**2**

votes

**2**answers

149 views

### Transitivity of discriminant for flat algebras

Sorry if the question doesn't feed this site, I'm reposting it from MSE. Nobody answered it there and I couldn't find the proof in general case(whenever it was mentioned the proof was referred to as a ...

**4**

votes

**1**answer

182 views

### continuity of the Boltzmann entropy in the Wasserstein metric

For Lebesgue-absolutely continuous probability measures $\rho\ll \mathcal{L}^d$ in the whole space $\mathbb{R}^d$ with finite second moments (i-e $\rho\in \mathcal{P}^2_{ac}(\mathbb{R}^d)$), let
$$
...

**-3**

votes

**0**answers

227 views

### Mathematical theories of changes - except from calculus? [closed]

Unfortunately motion is regarded as displacement in geometry:
By a motion or displacement in the general sense is not meant a change
of position of a single point or any bounded figure, but a
...

**2**

votes

**2**answers

191 views

### compact inclusion of domains of unbounded operators

Let $L$ be a positive self-adjoint operator defined densely on $L^2(M)$ where $M$ is a compact manifold.
Also, let $\mathcal{D}(L) \subset H^1(M)$. It is known that $\mathcal{D}(L) \subset ...

**4**

votes

**1**answer

201 views

### Ref. request: Additive probability measure on $\mathcal P({\bf N})$ supplies subset of $\mathbf R$ without Baire property

ZFC proves, among the other things, the existence of a (finitely) additive probability measure $\theta: \mathcal P(\mathbf N) \to \mathbf R$ on the power set of $\mathbf N$ such that $\theta(X) = 0$ ...

**1**

vote

**0**answers

92 views

### References for modular curves over finite fields [closed]

I'm looking for a detailed reference for modular curves over finite fields, such as $X(N)$, $X_1(N)$, and $X_0(N)$. There seems to be a lot of literature dealing with them over $\mathbb{C}$, but I'm ...

**17**

votes

**6**answers

3k views

### Euclid with Birkhoff

I'm looking for an short and elementary book which does Euclidean geomety with Birkhoff's axioms.
It would be best if it would also include some topics in projective (and/or) hyperbolic geometry.
...

**199**

votes

**66**answers

97k views

### Proofs without words

Can you give examples of proofs without words? In particular, can you give examples of proofs without words for non-trivial results?
(One could ask if this is of interest to mathematicians, and I ...

**1**

vote

**1**answer

250 views

### Van Kampen colimits

nLab uses the following definition of van Kampen colimits --- a colimit in a category $\mathbb{C}$ is called van Kampen iff it is preserved by the internal indexing functor $\mathbb{C}/(-) \colon ...

**3**

votes

**2**answers

252 views

### Kan extensions in the $2$-category of monoidal categories

Kan extensions make sense in any $2$-category. But so far I have only really seen them in the case of the $2$-category of categories, functors, natural transformations and the $2$-category of ...

**5**

votes

**1**answer

180 views

### Proof of a soft version of Moschovakis's lemma

The following fact, which I've heard being called "soft version of Moschovakis's lemma" (see top answer here) is the following:
Under AD, if there is a surjection $\Bbb R\rightarrow\alpha$, then ...

**7**

votes

**5**answers

624 views

### Reference requested: Random walk on groups

I am looking for a good reference to learn about random walks on groups (either finite groups or Lie groups). Ideally, I would like a reference for general theory of random walks on groups that is ...

**6**

votes

**3**answers

682 views

### Ambidexterity and Quantization

Here the nlab says about Hopkins-Lurie's ambidexterity paper:
"The discussion in the article is apparently motivated as part of what it takes to make precise the discussion of quantization in ...