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

**-2**

votes

**0**answers

45 views

### are there published papers discussed about relationship between homology theories and L-series (dirichlet series)?

I 'd surprised if there is a connection between homology theories and L-series ,I made some
efforts to find at a least one paper discussed about this connection but i didn't succeed .
.Is there ...

**2**

votes

**0**answers

16 views

### Nemytskii/superposition operator without separability of Banach space?

Let $T:[0,1] \times X \to \mathbb{R}$ be a nonlinear map where $X$ is a Banach space. Suppose that $T$ is a Caratheodory map, so that $t \mapsto F(t,x)$ is measurable and $x \mapsto F(t,x)$ is ...

**1**

vote

**0**answers

81 views

### Riemann-Roch formula for nodal curves

Let $X$ be an irreducible, reduced, projective curve over an algebraically closed field, with at worst nodes as singularities. Let $\mathcal{F}$ be a trivial vector bundle on $X$ of rank $r$. Consider ...

**0**

votes

**0**answers

64 views

### How to solve $\sqrt{-1}\partial\bar{\partial}u=\omega$

I'm looking for references on the study of the equation $\sqrt{-1}\partial\bar{\partial}u=\omega$,especially when $\omega$ is a k\"ahler metric on $\Omega\setminus S$,where $\Omega\subset ...

**1**

vote

**0**answers

38 views

### Elementary bound on operator norm on symmetric tensors: reference request

My education didn't really cover Tensors very well, so I'm getting stumped by a quite elementary question.
Let $T_k$ be a type k symmetric tensor. We can define the "operator norm" (or the induced ...

**0**

votes

**0**answers

58 views

### Bound of Chebyshev function and zeros of zeta function

It is an elementary argument (such as in Multiplicative Number Theory, section 18) that, if the Chebyshev's function $f(x) = \sum_{n \le x} \Lambda(x) = x + O(x^\alpha)$ for some $\alpha < 1$, then ...

**2**

votes

**1**answer

64 views

### Irreducible unitary representations of semidirect groups of a discrete abelian group by a discrete group

Recently in a paper we get the following result:
Let a discrete group $\Gamma$ act on a discrete abelian group $G$ by group automorphisms. Every irreducible unitary representation $\pi$ of ...

**3**

votes

**3**answers

125 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/, ...

**4**

votes

**1**answer

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

**3**

votes

**1**answer

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

**0**

votes

**0**answers

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

**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

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

**4**

votes

**0**answers

113 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$ ...

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

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

**5**

votes

**0**answers

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

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

**3**

votes

**0**answers

56 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

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

**6**

votes

**2**answers

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

**2**

votes

**0**answers

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

**7**

votes

**2**answers

262 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$?
...

**1**

vote

**0**answers

42 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

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

**1**

vote

**0**answers

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

**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

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

**3**

votes

**0**answers

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

**4**

votes

**1**answer

185 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
$$
...

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

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

**0**

votes

**1**answer

131 views

### Marcel Berger's “Sur les groupes d'holonomie homogènes de variétés à connexion affine et des variétés riemanniennes.”

I would appreciate any reference that contains either a translation or proof of the main theorem in this paper. Thank you in advanced.

**4**

votes

**2**answers

269 views

### Understanding how to construct Bruhat-Tits buildings for non-split groups by Galois descent

Is there any way to get on top of the procedure for constructing Bruhat-Tits buildings for non-split groups over a non-archimedean local field $k$, by Galois descent, other than reading both the ...

**3**

votes

**1**answer

174 views

### Transcendence of $\Gamma(1/3), \Gamma(1/4)$

This is a re-post from MSE as I did not get even a single comment there.
Wikipedia mentions that the transcendence of $\Gamma(1/3), \Gamma(1/4)$ was proved by G. V. Chudnovsky. Does anyone have a ...

**4**

votes

**0**answers

90 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

98 views

### book for help on problems with noetherian rings

Can you please introduce to me a book which would help me to prove the two following problems?
In a noetherian ring, every integrally closed ideal is unmixed.
Let $R$ be a noetherian ring, $P$ a ...

**2**

votes

**0**answers

52 views

### Stationary distribution for time-inhomogeneous Markov process

I have a two state, discrete time, time-inhomogeneous Markov process with transition matrix defined by
$$T_i=\begin{pmatrix}
1-p_i\alpha & p_i\alpha \\
p_i\beta& 1-p_i\beta
\end{pmatrix}$$
...

**1**

vote

**1**answer

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

**2**

votes

**1**answer

69 views

### Domain of fractional powers of operators

Let $A$ and $B$ be non-negative ($(A x, x) \geq 0$ for all $x \in \mathcal{D}(A)$, similarly for $B$) densely defined self-adjoint operators on a Hilbert space $H$. Then the spectral theorem defines ...

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

**10**

votes

**0**answers

234 views

### Reference request: a combinatoric result [closed]

When I tried to construct a counterexample in my research, I encountered the following result, which should be true.
Let $m=m(n)$ be a function that grows faster than $\sqrt n$, so $m(n) = ...

**6**

votes

**3**answers

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

**1**

vote

**1**answer

153 views

### Spherical harmonics and ellipticity of the Laplacian

Let us consider the sphere $S^n$ and the Laplacian $-\Delta$ on it. Let $L^2(S^n) = \bigoplus_k V_k$, where $V_k$ represents the eigenspace of the Laplacian with eigenvalue $k(k + n - 1)$. We know ...

**1**

vote

**0**answers

33 views

### Parametric Sard-Smale theorem - when is the generic set open?

I am learning Morse/Floer Theory and in my work on my master's thesis I want to apply the parametric Sard-Smale theorem. I.e. I consider a Banach bundle $\mathcal{L} \to \mathcal{M}\times \mathcal{G}$ ...

**3**

votes

**1**answer

149 views

### Reference request: Intrinsic definition of the strong Whitney topology on $\mathcal{C}^{\infty}(M,\mathbb{R})$ without using charts or jets

Let $M$ and $N$ be smooth manifolds. There is a description of the strong Whitney topology on $\mathcal{C}^{\infty}(M,N)$ in terms of partial derivative in charts (using locally finite sets of charts ...

**0**

votes

**1**answer

176 views

### Axiomatic explanation of why the volume of a parallelepiped is equal to the area of its base times its height [closed]

I asked this in MSE, it flashed and disappeared.
Let $V_n$ be the volume on the set of polytopes in $\mathbb R^n$, defined axiomatically, i.e. a functional, that assigns to each polytope ...

**5**

votes

**1**answer

231 views

### If a topological space has vanishing $n$th homology for every possible homology theory, does it have vanishing $n$th homotopy?

I don't have any strong preference as to whether or not the homology theories are required to be ordinary.
Also, if this does not hold in general, does it hold for some nice category of spaces, like ...

**5**

votes

**0**answers

151 views

### Does there exist a smooth version of Cohen's factorization theorem?

A famous factorization theorem of Cohen states that for any locally compact group $G$, $$L^1(G)=L^1(G)*L^1(G).$$
I want to know if analogous results exist for the class of smooth functions when $G$ is ...

**4**

votes

**1**answer

150 views

### Unicity of additive, $(-1)$-homogeneous, and shift invariant probability measures on $\mathbf N^+$

Let $\mathcal D$ be the set of all (finitely) additive probability measures $\mu^\ast: \mathcal P(\mathbf N^+) \to [0,\infty[$ such that $\mu^\ast(k \cdot X + h) = \frac{1}{k} \mu^\ast(X)$ for all $X ...