# All Questions

0answers
20 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 ...
1answer
129 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 ...
1answer
84 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 ...
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 ...
1answer
167 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 ...
0answers
144 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$. ...
2answers
146 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 ...
4answers
379 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 ...
1answer
155 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$ ...
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 ...
1answer
144 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$ ...
0answers
68 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, ...
1answer
87 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 ...
0answers
237 views

1answer
127 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 ...
0answers
43 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 ...
0answers
124 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}$ ...
1answer
118 views

1answer
96 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 ...
0answers
83 views

1answer
87 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 ...
0answers
82 views

0answers
67 views

### Actions of amenable groups on graphs with uncountably many ends

Let $G$ be a finitely generated amenable group acting transitively on an amenable Schreier graph $S$. Is it possible for $S$ to have uncountably many ends? An amenable graph with uncountably many ends ...
1answer
169 views

### Extended TFT with coefficients in spans in any $\infty$-topos

In the TFT classification article by Jacob Lurie (arXiv:0905.0465) the (∞,n)-category of correspondences (there: $Fam_n$) plays a key role, whose $k$-morphisms are $k$-fold spans of ...
0answers
112 views

### Simply connected pencils

Is it true/false that for every complex projective variety $V$, there is a smooth simply-connected one parameter family $\pi:X\to \mathbb{P}^1$, one of whose smooth fibers is $V$? (i.e. we want ...
4answers
325 views

### Representations of the two dimensional non-abelian Lie algebra

I would like to know a complete description of the indecomposable representations of the two dimensional non-abelian Lie algebra over the complex numbers. The finite dimensional representations would ...
1answer
206 views

### “Nice” functions on infinite-dimensional space of germs of continuous functions at a point

Consider set of all germs of continuous functions at some point. Question: What are some functions ("any/nice/constructive/whatever") from this set to R (reals) ? (Except evalution at point and made ...
0answers
34 views

### Classification of PDEs range of influence domain of dependence [on hold]

Text books on numerical methods usually give the classic example of classification of a generic 2nd order scalar PDE (Afxx+Bfxy+Cfyy+Dfx+Efy+Ff=G) depending on the value of the discriminant B^2-4AC. ...
0answers
17 views

### Bender's decomposition with overlapping y variables [on hold]

From my textbook, I learned bender's decomposition for 2-stage problems and the y variables is non-overlapping. Indeed, I wish to look into this decomposition further since it is very likely a ...
0answers
366 views

### Number Theory over $\mathbb{F}_q [t]$, why is it important/interesting?

This is something I was curious about, but not really sure why. I was hoping maybe someone could give me a good explanation. I understand that there are similarities between $\mathbb{Z}$ and ...
0answers
66 views

### Stronger than Gerretsen [on hold]

For all triangle prove that: $p\leq2r-R+\sqrt{9R^2-6Rr+3r^2}$, where $p$ is a semiperimeter, $R$ is a radius of circumcircle and $r$ is a radius of incircle of the triangle. I found a proof of this ...
1answer
192 views

### Normal subgroup lattice of the group $U_{6n}$

I need to find the normal subgroup lattice of the group $U_{6n} = \langle a,b | a^{2n} = b^ 3= 1, a^{-1}ba = b^{-1}\rangle$. To the best of my knowledge this group was introduced at first by GORDON ...
0answers
30 views

### evolution PDE in comlex domaim

i have got (an example for some other theorem) an existence theorem for such a type problem u_t(t,z)=-u(t,z)+a(t)z^m\frac{\partial^N u(t,z)}{\partial z^N},\quad u(0,z)=\hat u(z)\in \mathcal ...
0answers
38 views

### Topological conjugacy [on hold]

Prove that any two linear systems with the same eigenvalues +/-ibeta, beta not equal to 0 are conjugate. What happens if the systems have eigenvalues +/- ibeta and +/- i*gamma with beta not equal to ...
1answer
65 views

### Unbounded convex not containing a ray - example without using a basis

I prove here that an unbounded convex in a finite dimensional space contains a ray. At the same place, I give an example of an unbounded convex not containing a ray in the case of an infinite ...
1answer
305 views

### Can an odd map be null homotopic?

Let $G$ be a compact Lie group with invariant measure $\mu$. An odd function is a continuous function, $\phi:G\to \mathbb{C}$, such that $\int_{G} \phi d\mu=0$. An odd map is a continuous map, \$f:G\to ...

15 30 50 per page