1
vote
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
2answers
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
0answers
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
2answers
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
4answers
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
2answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
3answers
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
2answers
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
1answer
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
1answer
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 ...

15 30 50 per page