# All Questions

**8**

votes

**2**answers

344 views

### Eilenberg-MacLane Spaces of “large” groups

It is well-known that if $G$ is a discrete group, then $BG=K(G,1)$. I'm interested in comparing classifying spaces of topological groups with the classifying spaces of the same groups but equipped ...

**3**

votes

**1**answer

204 views

### sphere bundles over spheres

Localized at an odd prime there is a space $B_k$ which sits in a fibration $S^{2k+2p-3}\rightarrow B_k \rightarrow S^{2k-1}$ and has homology $H_{\ast}(B_k;\mathbb{Z}/p\mathbb{Z})\cong ...

**1**

vote

**0**answers

87 views

### Teichmuller curves in H(2)

Does anyone know how to prove the infinite union of Teichmuller curves in $\Omega \mathcal{M}_2(2)$ is dense in strata $\Omega \mathcal{M}_2(2)$?
Where $\Omega \mathcal{M}_2(2)$ is the space of ...

**6**

votes

**2**answers

241 views

### Tensor products of two irreducible representations of reductive groups and their inclusions

Let $G$ be a reductive group and $\lambda$, $\mu$ and $\nu$ be dominant weights of $G$. Denote by $V_\lambda$ the irreducible representation of $G$ of highest weight $\lambda$. It seems to be true ...

**7**

votes

**1**answer

353 views

### What is $\lim_{n\to\infty} \displaystyle \sum_{k=0}^{\lfloor n/2 \rfloor} \binom{n}{2k}\left(4^{-k}\binom{2k}{k}\right)^{\frac{2n}{\log_2{n}}}\,?$

What is $$\lim_{n\to\infty} \displaystyle \sum_{k=0}^{\lfloor n/2 \rfloor} \binom{n}{2k}\left(4^{-k}\binom{2k}{k}\right)^{\frac{2n}{\log_2{n}}}\,?$$
This case seems to be a border between converging ...

**3**

votes

**0**answers

73 views

### Moment map in the singular case

The moment map is defined on the symplectic manifold $(M,\omega)$, or particularly, $(M,\omega)$ is Kahler. While $\omega$ is smooth or differential enough, the definition is obvious to understand, in ...

**0**

votes

**2**answers

68 views

### Hypergeometric sum specific value

How to show?
$${}_2F_1(1,1;\frac{1}{2}, \frac{1}{2}) = 2 + \frac{\pi}{2} $$
It numerically is very close, came up when evaluating:
$$ \frac{1}{1} + \frac{1 \times 2}{1 \times 3} + \frac{1 \times 2 ...

**0**

votes

**0**answers

75 views

### Upper bound for $r_{0}(n)$ through probabilities

Assume Goldbach's conjecture. Then for every integer $n>1$ there exists a non negative integer $r$ such that both $n-r$ and $n+r$ are primes. For a given $N$, let's denote by $r_{0}(N)$ the ...

**5**

votes

**0**answers

119 views

### Products of spaces containing no copies of $\ell_2(\Gamma)$

Given an infinite set $\Gamma$, I would like to know if the class of Banach spaces containing no copies of $\ell_2(\Gamma)$ is stable under finite products.
When $\Gamma$ is countable the answer is ...

**0**

votes

**1**answer

90 views

### The number of irreducible projective characters with associated factor set of any finite group

Is the number of a set of irreducible pojective characters with associated factor set always strictly less than the number of the ordinary irreducible characters of a finite group G? If so, can you ...

**1**

vote

**1**answer

61 views

### Relations between Arboreal Group Theory and Tree Group Actions?

By a tree group action, we mean an action of a group $G$ over the infinite regular binary tree $T_2$ such that for each $g \in G$, the mapping $x \rightarrow g.x$ is an automorphism of $T_2$; these ...

**-4**

votes

**0**answers

50 views

### How to perform Fourier transform in curved space? [on hold]

I would like to perform Fourier transform to a function $f(r,\theta,\phi)=f(r)$ in curved space $g_{\mu\nu}=\{B(r),-A(r),r^{2},r^{2}sin^{2}\theta\}$. Should I include curved space into my calculation ...

**0**

votes

**0**answers

34 views

### Is $\partial^\alpha$ a map $H^{s,p}(\mathbb R^N,F)\to H^{s-|\alpha|,p}(\mathbb R^N,F)$?

More precisely, the question is formulated as follows. Let $F$ be an arbitrary Banach space, especially not having the UMD−property. Let $N\in\mathbb N$ and $s\in\mathbb R$ and $1\le p\le +\infty$ . ...

**2**

votes

**0**answers

31 views

### Closure of pseudodifferential operators of order 0 on compact manifolds

Let $M$ be a compact manifold. If we have a pseudodifferential operator $P$ of order $0$ on $M$, then $P$ is pseudolocal, i.e., every commutator $[f,P]$ with a continuous function $f \in C(M)$ is a ...

**2**

votes

**1**answer

105 views

### About partial uniqueness of SVD

In order to prove non-uniqueness of singular vectors when a repeated singular value is present, the book (Trefethen-Bau, considered the most authotitative book on the subject), argues as follows: Let ...

**0**

votes

**0**answers

39 views

### Quantiles moments and Convergence

QUESTION:
Let $F$ be an absolutely continuous distribution function with density $f$, and $F_{n}$ be its nth empirical distribution. Suppose that $t\in (0,1)$ is constant. Is true the convergence
...

**5**

votes

**0**answers

329 views

### Different approaches to the multiverse of sets

There are some different approaches to the multiverse of sets, in particular:
1) The approach by Woodin,
2) The approach by Sy Friedman, ...,
3) The approach by Hamkins.
I wonder to know if ...

**4**

votes

**0**answers

80 views

### The Alexander-Conway polynomial: from knots to braids?

The Alexander-Conway polynomial was the first knot invariant to be discovered, as far back as 1923 according to this link. Given that knots can be expressed in terms of quasi-toric braid closures, it ...

**0**

votes

**1**answer

96 views

### Spectral Graph Theory

Let G be an undirected graph, then
Laplacian Matrix(L(G)) = Degree Matrix (D(G)) - Adjacency Matrix (A(G)).
What is the relationship between laplacian and adjacency spectrum of undirected graphs?

**1**

vote

**0**answers

42 views

### Whether r.v. with p.g.f. $\exp [\sum\limits_{i = 1}^\infty {{q_i}({z^i}} - 1)]$ is overdispersion?

When discrete r.v. $X$ is not Poisson distributed and ${\rm{Var}}X,EX < \infty $, I want to know whether r.v. $X$ with p.g.f. $\exp [\sum\limits_{i = 1}^\infty {{q_i}({z^i}} - 1)],({q_i} \in ...

**0**

votes

**1**answer

48 views

### Isometry group of an integer as of the corresponding $\Omega(n)$-parallelotope

Let $\prod_{i}p_{i}^{a_{i}}$ be the prime factorization of a positive integer $n$ and let's consider the $\Omega(n)$-parallelotope built with, for all $i\in I$, $a_{i}$ pairwise orthogonal vectors of ...

**3**

votes

**1**answer

176 views

### Is the big cell a principal open set?

Let $G$ be a complex affine reductive algebraic group, $B\subseteq G$ a Borel with maximal torus $T$ and unipotent radical $U$. Let $w\in\operatorname N_G(T)$ be a representative of the longest Weyl ...

**27**

votes

**1**answer

529 views

### For which maps $S^1\to S^1$ is the winding number defined?

There are two classes of maps $S^1\to S^1$ for which I know how to define the winding number:
• Continuous maps:
Using the unique path lifting property of the universal covering map $\mathbb R\to ...

**4**

votes

**1**answer

144 views

### Learning representation theory of real reductive lie groups

I am interested in any sources that can be helpful for learning the representation theory of real reductive groups.
I am currently reading Wallach book, but I feel that I don't understand the subject ...

**0**

votes

**1**answer

59 views

### Laplacian matrix of a graph with negative weights

I am trying to calculate the Laplacian and Adjacency matrix of a graphs for positive and negative weights. If a graph be simple with only non-negative weight it is easier. But in my graph I have some ...

**1**

vote

**3**answers

201 views

### Powers of $2$ and the products of initial odd primes

NOTATION: $O_x$ -- the product of all odd primes $\le x$.
E.g. $O_7=3\cdot 5\cdot 7 = 105$.
QUESTION: Are the three ordered pairs $\ (d\ p)=(1\ 3)\ \ (2\ 3)\ \ (4\ 5)\ $ the only solutions of the ...

**2**

votes

**2**answers

102 views

### Lie group about the quantum harmonic oscillator [on hold]

We konw that in quantum harmonic oscillator $H=a^\dagger a$, $a^\dagger$, $a$, $1$ will span a Lie algebra, where $a, a^\dagger$ is annihilation and creation operator, $H$ is the Hamiltonian operator. ...

**2**

votes

**0**answers

85 views

### Deterministic shifts

We consider (topological) dynamical systems $(\Omega, S)$, where $S$ is the shift $(Sx)_n=x_{n+1}$, and $\Omega$ is a compact, shift invariant subspace of $[0,1]^{\mathbb Z}$. I call $(\Omega, S)$ ...

**4**

votes

**3**answers

146 views

### Quadratic twist of an elliptic curve given by non-Weierstrass model

Suppose $f(x)$ is a polynomial of degree 4 with integer coefficients and nonzero discriminant. Let $C$ be the hyperelliptic curve of genus 1 defined by $y^2=f(x)$. If we assume that $C$ has a rational ...

**-4**

votes

**0**answers

56 views

### Find the Flaw in the Argument [on hold]

I have got a question. The problem is to find the composite numbers $C$ $(n)$ and $C$ $(n(n+1))$ such that we get $C$ $(n(n+1))$ $-$ $C$ $(n)$ $=$ $n$. My argument is simply this. The inequality in ...

**0**

votes

**0**answers

42 views

### Number of lattice points inside a parallelogram defined by a vector on the “rhombic plane”

I will give here a specific case and try to explain the question the best I can:
The rhombic plane is the plane with the x-axis the same as the Cartesian plane but the y-axis tilted at $60$ degrees. ...

**0**

votes

**0**answers

10 views

### What is the maximal ideal of $z[t,t^{-1}]\otimes Q$? [migrated]

I know the $z[t,t^{-1}]$ is a localization of $z[t]$.But I do not know the maximal ideal of $z[t,t^{-1}]\otimes Q$? Many thanks!

**0**

votes

**0**answers

106 views

### Homotopy equivalent type of a knot complement [on hold]

Let $S$ denote the bounded complement of a tame knot in $S^3$,then $S$ is homotopy equivalent to a finite 2-dimensional simplicial complex $K$ [Milnor's paper "infinite cyclic covering"],I do not ...

**4**

votes

**1**answer

195 views

### Fermat surface known to have very few rational integer solutions

The motivation for this question is the Selmer curve, given by
$$\displaystyle 3x^3 + 4y^3 + 5z^3 = 0.$$
One can show that this curve has no rational integer solutions, despite having a solution ...

**4**

votes

**1**answer

188 views

### How can I solve a cubic equation in a finite field with characteristic 2?

I need to solve the usual cubic equation x^3 + ax^2 + bx + c = 0 over a finite field GF(2^n). This is to avoid doing a brute-force Chien search in a BCH decoder.
I read in a paper about an easy way ...

**1**

vote

**2**answers

124 views

### Is there an intuitionistic generalized boolean algebra (of Stone)?

A "boolean algebra without the greatest element" was called by Stone "generalized boolean algebra" and he axiomatized it. Is there any publication about "preudo-boolean algebras without the greatest ...

**13**

votes

**0**answers

151 views

### Unoriented bordism and homology, reference?

The following has undoubtedly been known to the experts for years, but I only noticed it the other day. Can anyone give a reference?
One can prove Thom's theorem to the effect that every mod $2$ ...

**0**

votes

**0**answers

48 views

### Surjectivity of $f\colon M\rightarrow \Gamma_{pR_p}(M_p)$

Let $R$ be a Noetherian ring and let $M$ is finitely generated $R$-module.Suppose $p$ is a minimal prime in $\text{Supp}_RM$. Then $f\colon M\rightarrow \Gamma_{pR_p}(M_p)$ that $f(m)=m /1 $ is ...

**0**

votes

**0**answers

105 views

### Moment map of CP^1 as rational normal curve

I am little confused about some basic symplectic geometry about Hamiltonian actions on sphere. I appreciate your comments.
Consider sphere $S^2 = \mathbb{C}P^1$ with its standard symplectic (Kaehler) ...

**1**

vote

**1**answer

94 views

### Elliptic curves with square conductor

Is there a characterization of elliptic curves over $\mathbb Q$ whose conductor is a square? Does this property have a geometric meaning?

**1**

vote

**1**answer

196 views

### An infinite product: combinatorial interpretation

It is an undergraduate exercise to show that the generating function for the sequence of unrestricted integer partitions $p(n)$ is the celebrated infinite product
...

**2**

votes

**0**answers

53 views

### Poincaré Duality of a quasi-free algebra

I'm completely stumped on this one (yet I feel it is obviously true or obviously false)
If $A$ is a quasi-free algebra, then must it satisfy Poincaré duality?
All i need to find is a protective ...

**1**

vote

**1**answer

150 views

### When are completely positive maps monic/epic?

In the category of C*-algebras and $*$-homomorphisms, a morphism is monic precisely when it is injective, and epic precisely when it is surjective (see Mono- and epi-morphisms for C*-algebras). Is ...

**1**

vote

**0**answers

44 views

### Intuitive explanation for Hardy-Littlewood maximal function

I came across the Hardy-Littlewood maximal function in an analysis course. Could someone help me intuitively understood what the purpose of this map is, and why it is useful?
Thank you.
Regards
...

**1**

vote

**1**answer

138 views

### Proof of the Belyi's theorem: where it is really used the hypothesis?

Consider the Belyi's theorem:
If a smooth projective curve $X$ is defined over $\overline{\mathbb Q}$, then there exists a finite morphism $X\longrightarrow\mathbb P^1(\mathbb C)$ with at most ...

**2**

votes

**0**answers

55 views

### Genericity of maps which are transverse when restricted to a submanifold

Let $M$ and $N$ be smooth manifolds, and $A\subset M$, $B\subset N$ be smooth embedded submanifolds. I am looking for a reference for a theorem on the following lines:
The set of smooth maps $h\in ...

**7**

votes

**1**answer

308 views

### Hilbert Class Field Galois over Q?

So if we have a Galois extension $K/\mathbb{Q}$, then the Hilbert Class Field $H$ of $K$ is certainly Galois over $\mathbb{Q}$. But is the converse true? I know many examples of nongalois ...

**1**

vote

**1**answer

42 views

### $L^p$ estimate for (powers of) a Laplacian with inverse square potential

I need an estimate of the form
$$ \|v\|_{L^p} \le C \|(K-\Delta- c|x|^{-2})^s v\|_{L^p} $$
where $K>0$ can be large if necessary, $c$ is positive but below the Hardy constant $(n-2)^2/4$, where $n$ ...

**3**

votes

**1**answer

139 views

### Reference for $p$-adic Hodge theory with coefficients

Let $K$ be a $p$-adic field and $L$ be a finite or infinite extension (maybe algebraic ?) of $\mathbb{Q}_p$.
Is there a reference for $p$-Hodge theory for representations $\rho : Gal_K \rightarrow ...

**0**

votes

**0**answers

64 views

### $C^\infty$ approximations of $f(r) = |r|^{m-1}r$

Consider $f(r) = |r|^{m-1}r$ where $m \geq 1$.
Is it possible to find $C^\infty$ functions $f_n$, such that
$f_n \to f$ uniformly on compact subsets of $\mathbb{R}$,
$f_n' \to f'$ uniformly on ...