# All Questions

**1**

vote

**1**answer

167 views

### Can (how) one distinguish germs of continuous functions by a countable set of params?

Continuous functions can be distinguished by their values at say rational points of [0 1].
Germs of analytic functions can be distinguished by derivatives at a point.
So in both cases we see ...

**-2**

votes

**0**answers

41 views

### identity of equation [on hold]

We have the equation ($\partial_{\mu}\partial_{\nu}$-$\eta_{\mu\nu}\Box$)$\phi=0$, where $\phi$ is a scalar field, $\Box=\partial_{\mu}\partial^{\mu}$ is a standart Dalamber operator, $\eta_{\mu\nu}$ ...

**-3**

votes

**0**answers

271 views

### College - Ecuation to solve in 3 variables (p,q,r) in [1,2] [on hold]

This is the image containing the ecuation

**1**

vote

**1**answer

41 views

### orthonormal basis or Parseval frame for Sobolev spaces

Consider the uni-variate Sobolev space of order $m$:
$$ \mathcal{W}_2^m=\{ f:[0,1] \rightarrow \mathbb{R}|f,f^{(1)},\dots ,f^{(m-1)}\, \text{are absolutely continuous and}\, f^{(m)}\in L^2\}.$$
It is ...

**0**

votes

**0**answers

90 views

### Calculation in From Seiberg Witten to pseudo-holomorphic curve

I am reading the Taubes's paper: From From Seiberg Witten to pseudo-holomorphic curve. I don't know how to get the result (2.17)
\begin{eqnarray*}
...

**6**

votes

**0**answers

130 views

### scheme of commuting matrices

Let $k$ be any field. Let $r$ and $n$ be two positive integers.
Consider the functor $F$ from the category of $k$-schemes to the category of sets which sends a $k$-scheme $T$ to the set of matrices ...

**2**

votes

**0**answers

40 views

### Properties of solutions of Parabolic type equations

Assume $u\in C([0,1],L^{2})$ satisfies the following Schrodinger equation
$$
\partial_t u=i(\Delta u+Vu), \text{in} ~\mathbb{R}^n\times[0,1],\\
u(0)=u_{0}.
$$
with $V=V_1(x)+V_2(x,t)$, where $V_{1}$ ...

**0**

votes

**2**answers

90 views

### Motivation for weak solution of a PDE (initial condition)

The following question came to me when reading the famous paper of ALT and LUCKHAUS: "Quasilinear elliptic-parabolic differential equations"
When looking at a (nonlinear degenerate) PDE like
$$ ...

**0**

votes

**0**answers

149 views

### Mellin transform on $\mathbb{Z}[\omega]$ [on hold]

I'm eager to ensure some facts which are elementary for many experts here.
Let $\omega=\frac{-1+i\sqrt{3}}{2}$ be a complex cube root of unity. The Eisenstein integers $\mathbb{Z}[\omega]$ (a unique ...

**4**

votes

**2**answers

422 views

### Who first defined quantum integers?

Who first gave the defintion of quantum integers
$$ [m]_q = \frac{1 - q^m}{1 - q} $$ and addition as
$$ [m]_q \oplus_q [n]_q = [m]_q + q^m [n]_q $$ and multiplication as
$$ [m]_q \otimes_q [n]_q = ...

**0**

votes

**1**answer

88 views

### In a finite field with characteristic 2, how can I check if a given polynomial is divisible by (x^2+1)? [on hold]

Given the 0 or 1 coefficients of a very high degree polynomial $P(x)$ over GF(2), where x is an element of $GF(1024)$, is there a simple algorithmic way to find out if this polynomial is divisible ...

**6**

votes

**1**answer

142 views

### cohomology of classifying space of permutation groups

Let $\Sigma_k$ be the permutation group of order $k$.
Let $r: \Sigma_k\to GL(k)$ be the regular representation by permuting the order of the standard basis of $\mathbb{R}^n$.
Let $\rho: ...

**2**

votes

**1**answer

178 views

### A proof from Lang's undergraduate analysis

This is from P.580 of Serge Lang's undergraduate analysis (2nd edition).
$\textbf {Proposition 2.3.}$ Let $A$ be an admissible set in $\mathbb R^n$ and assume that its closure $\bar{A}$ is contained ...

**2**

votes

**2**answers

131 views

### Projection formula for smooth representations of locally profinite groups

Let $G$ be a locally profinite (i.e., locally compact, Hausdorff, and totally disconnected) topological group, $H \le G$ a closed subgroup, $(\pi, V)$ a smooth representation of $G$, and $(\sigma, W)$ ...

**1**

vote

**0**answers

62 views

### Fundamental invariants for root subsystems

Let $\Phi$ be an irreducible root system of rank $\ell$. The fundamental invariants of $\Phi$ is a set of $\ell$ integers $d_1, \cdots, d_\ell$ canonically attached to $\Phi$.
Now suppose $\Psi$ is ...

**0**

votes

**0**answers

22 views

### How can the Cayley-table for the elements of basis of a Cayley-Dickson algebra be summarized in an algebraic expression?

One would be able to construct a Cayley table that has all $e_i$ elements of the basis of algebra $A$ where $0<i<\dim A$ such that $e_0=1$ and $e_1=i$ and $e_2=j$ and so on. I'm looking for an ...

**5**

votes

**1**answer

134 views

### What version of the wreath product embedding theorem is actually stated in the famous paper of Kaloujnine and Krasner?

This question is inspired by Terry Tao's blog post and the comments there. I have always cited M. Krasner and L. Kaloujnine, "Produit complet des groupes de permutations et le problème d'extension de ...

**3**

votes

**1**answer

85 views

### Lower bound of first moment of $L$-function on $\mathrm{GL}(3)$

Let $\pi$ be an automorphic form on $\mathrm{GL}(3,\mathbb{A}_{\mathbb{Q}})$.
Do we know any case that
\[\int_0^{T} \left|L(\frac{1}{2} + it, \pi)\right| dt \gg T\]
holds unconditionally?
I know the ...

**3**

votes

**1**answer

128 views

### Weinstein's local classification of Lagrangian foliations

In the paper "Symplectic manifolds and their Lagrangian submanifolds", Weinstein showed that locally all the Lagrangian foliations are symplectomorhic to the fiber foliation of a cotangent bundle.
I ...

**0**

votes

**1**answer

168 views

### Probability of the maximum of a throw of an infinite number of $n$-sided dice being $k$ [on hold]

Let $X$ be the random variable obtained as the maximum of a throw of $m$ dice (each of which is $n$-sided). In other words, $X = \max\{l_1,\cdots, l_m\}$ where $l_i$ can take any value between $1$ and ...

**7**

votes

**0**answers

155 views

### On the ratio of Gilbreath sequences

Definitions: let $n \in \mathbb{N}_{>0} \cup \{ \infty \}$ and let $E_n$ be the set of sequences $(d_i)_{i=1}^n$ such that $d_1=1$, $d_i$ is an even integer (for $i > 1$) and $0<d_i \le i$. ...

**4**

votes

**2**answers

150 views

### Map between stacks and automorphism groups

I know that the Torelli morphism $t_g:\mathcal{M}_g\rightarrow \mathcal{A}_g$ between the stacks of smooth curves of genus $g$ and principally polarized abelian varieties of dimension $g$ is of order ...

**13**

votes

**4**answers

385 views

### The limit of edge-midpoint convex polyhedra

Starting with a convex polyhedron $P_1 \subset \mathbb{R}^3$,
replace that with $P_2$, the convex hull of the midpoints of the edges of $P_1$.
Continuing this process, we obtain a ...

**3**

votes

**2**answers

185 views

### A question on Gandy-Jensen system and the rudimentary functions

Let $\mathrm{R}_0,\cdots,\mathrm{R}_8$ be the following functions:
$\mathrm{R}_0(x,y)=\{x,y\}$
$\mathrm{R}_1(x,y)=x-y$
$\mathrm{R}_2(x)=\bigcup x$
$\mathrm{R}_3(x,y)=x\times y$
...

**0**

votes

**0**answers

13 views

### Dirichlet distribution: Normalization of alpha values [migrated]

I'm a programmer and currently trying to apply the Latent Dirichlet Allocation algorithm by Blei et al. on a text mining problem. I am using a library called gensim for this, which takes, among ...

**1**

vote

**1**answer

150 views

### Is every polynomial ring over any field regular?

Is every polynomial ring over any field regular?
For a field that is algebraically closed, it is true as any maximal ideal of $k[x_1,...,x_n]$corresponds to a point $(t_1,...,t_n)$ in $\mathbb{A}^n$ ...

**2**

votes

**0**answers

69 views

### quotient a scheme by a stratified vector bundle

Let $k$ be a field.
Let $X$ be a $k$-scheme of finite type, normal and integral. We consider $f,g:R\rightarrow X$ an equivalence relation, surjective and such that it is a stratified vector bundle, ...

**1**

vote

**1**answer

90 views

### hypergeometric at nearest singularity

Reference request. A prototype case:
In
$$
{}_2F_1\left(\frac{1}{12},\frac{5}{12};\frac{1}{2};x\right) =
A\log\left(\frac{1}{1-x}\right) + B + o(1),
\qquad x \to 1^-
$$
what can we say about the ...

**2**

votes

**0**answers

250 views

### A metric on $S^{2}$ [on hold]

Let $p:S^{3}\to S^{2}$ be the Hopf fibration $p(z,w)= (\parallel z\parallel^{2}-\parallel w\parallel^{2},\;2z\bar{w})$.
Define a metric on $S^{2}$ as follows:
$$d(x,y)=Hd(p^{-1}(x), ...

**2**

votes

**0**answers

61 views

### A 1-D random variable from a random distribution

I have a random variable $X$ that is drawn from the pdf
$$
f(x; \mu, \sigma, \sigma_{\mu}, \sigma_{\sigma}) = \int_{-\infty}^{\infty} \int_{-\infty}^{\infty} \frac{1}{|\hat{\sigma}|\sqrt{2\pi }} ...

**5**

votes

**1**answer

131 views

### O-minimal Theories with Non-Dense Order Type

I asked this question on MSE, but I haven't received any comments or responses (also, it has a very low view count), so I thought I would also ask it here.
In this paper, Knight, Pillay, and ...

**0**

votes

**0**answers

44 views

### Existence and Uniqueness of Volterra integral equations of the first kind

$$
\int_0^t k(s,t)f(s)ds=g(t)
$$
To prove the existence and uniqueness of solutions of Volterra integral equation(VIE) of the first kind, we usually differentiate it and convert to the VIE of the ...

**2**

votes

**0**answers

138 views

### A possible generalization of the Borsuk Ulam theorem via action of symmetric groups

The symmetric group $S_{m}$ is equiped with the counting Har measure $\mu$ and the obvious sgn character. Assume that $S_{m}$ acts on $S^{n}$, $n\geq m-1$ and $f:S^{n}\to \mathbb{R}^{n}$ ...

**3**

votes

**1**answer

118 views

### The complex heat kernel on a Riemann manifold

There is a vast literature available for the heat kernel. Nevertheless, I haven't been able to find almost anything useful about the kernel of the equation $\frac{1}{\mathbb{i}} \frac{\partial ...

**1**

vote

**0**answers

117 views

### is there an analogy between fractals and automorphic forms? [closed]

Disclaimer: this question is rather vague and thus might not be suitable for this site. Still, as I already asked a similar question on MSE and got no feedback, I finally decided to take the plunge ...

**1**

vote

**0**answers

56 views

### Homology and Exterior Square

Let $G$ be a finite group and $G \wedge G$ denote the exterior square of $G$. It is well known that the second integral homology $H_2(G,\mathbb{Z})$ is the kernel of homomorphism $x \wedge y \mapsto ...

**-4**

votes

**1**answer

99 views

### A criterion of norm null sequences in Banach space [on hold]

I would like to know if for a weak* null sequence $\left( f_{n}\right) $ in a Banach space $X$,
the following characterisation is true and what about its proof:
$\left( f_{n}\right) $ is norm null ...

**-4**

votes

**0**answers

83 views

### an question about number theory [closed]

Let $s_i=\frac{(q^n-1)...(q^n-q^{i-1})}{(q^{i-1})...(q^i-q^{i-1})}$, where $q$ is prime and $n$ is a positive integer.
Now can anyone tell me this, $\lim_{n\mapsto \infty}\frac{\sum_{1\leq i\leq ...

**7**

votes

**2**answers

273 views

### Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...

**7**

votes

**1**answer

228 views

### On $V$-decisive and weakly homogeneous forcings

Suppose that $\Bbb P$ is a forcing in $V$, we say that $\Bbb P$ is $V$-decisive if whenever $\varphi(x_1,\ldots,x_n)$ is a statement in the language of forcing, and $u_1,\ldots,u_n\in V$ then $1_{\Bbb ...

**1**

vote

**1**answer

88 views

### Connections between loops (algebraic structure) and graphs

I would like to know whether there are known constructions which provide a bijection between loops (isomorphism classes) and (possibly directed) graphs. Any reference to a useful paper in this ...

**1**

vote

**0**answers

84 views

### Clarifications on twisted forms

Suppose $F = F(\bar{k})$ is a finite algebraic group over a number field $k$. The absolute Galois group $\Gamma_k$ of $k$ acts on $F$ by group automorphisms via a homomorphism $\rho: \Gamma_k \to ...

**-2**

votes

**0**answers

116 views

### Where can I find the classification of groups of order 8p? [closed]

I need to classify the groups of order $8p$ up to isomorphism. We know that one of these groups is $G=\langle a,b| a^p=b^8=1, b^{-1}ab=a^{-1}\rangle$. Can I find other groups of this classification ...

**6**

votes

**0**answers

182 views

### Canonical functions in set theory and their applications

Given regular cardinal $\kappa>\omega,$ we can define the canonical functions $f_\alpha: \kappa\to \kappa,$ for $\alpha<\kappa^+.$
Some of their properties are presented in Chapter 22 of the ...

**2**

votes

**0**answers

83 views

### Is the kissing number in $n$ dimensions always divisible by $n$? And what is the base of exponential growth of the kissing number?

And why are the kissing numbers for 1, 2, 3, 4 and 8 dimensions all highly composite numbers?

**1**

vote

**1**answer

125 views

### How to extend index theorem to infinite dimensional manifolds?

I was thinking about the following "obvious" construction the other day. Let
$$
\mathbb{S}^{\infty}_{2}=\bigcup_{i=1}^{\infty}\mathbb{S}^{2i}
$$
Then because we know that $\chi(\mathbb{S}^{2i})=2$ for ...

**8**

votes

**3**answers

396 views

+50

### Separating points in the plane II

Let A be a set of $2m$ points on the plane so that no open set of diameter $2$ has more than m of them. Define $A+A+...+A$ ($k$ times) to be the multiset of $k$-sums from $A$. That is, we consider all ...

**13**

votes

**2**answers

595 views

### Parity of $\lfloor 1/(x y) \rfloor$ not equally distributed

A curious puzzle for which I would appreciate an explanation.
For $x$ and $y$ both uniformly and independently distributed in $[0,1]$,
the value of $\lfloor 1/(x y) \rfloor$ has a bias toward odd ...

**3**

votes

**1**answer

166 views

### Do the algebras for a $\infty$-monad form a stable $\infty$-category?

I'm wondering if a monad $T$ on a stable $\infty$-category $\cal C$ has a stable $\infty$-category of algebras, provided $T$ preserves finite limits/colimits.
Is this true?
Edit: Is something ...

**1**

vote

**1**answer

138 views

### Is the notation ${}^t g$ for the transpose of a linear transformation intended to be suggestive?

The notation ${}^t g$ for the transpose of a linear transformation is, in my view, quite unusual: otherwise (at least in many areas of math), one almost never sees subscripts or superscripts appearing ...