# All Questions

**2**

votes

**0**answers

42 views

### Multiplication operators are sectorial [migrated]

Consider the multiplication operator $M_a$ on $L^p(M)$, where $M$ is a Riemannian manifold, and $a$ is a non-negative function. An operator $A$ is said to be sectorial if there exists $\theta \in (0, ...

**3**

votes

**2**answers

173 views

### Conformal map and Jordan curve

Here is my question :
Suppose you have a simple (analytic) closed curve $\gamma$ in an open simply connected domain $\Omega \neq \mathbb{C}$. Does there exist a conformal bijection $f : \Omega ...

**3**

votes

**1**answer

96 views

### Is the spin group in a metaplectic group?

Is every spin group $Spin(n,R)$ over the reals contained in some metaplectic group $Mp(m,R)$ for some $m$ in such a way that the spin representation is obtained by restriction of the metaplectic ...

**16**

votes

**1**answer

394 views

### Differential Topology over $\mathbb{Q}$

I have a specific question in mind, but it requires some explanation and context before it can be formally stated. To summarize it in a sentence, this is it:
Are every two rational manifolds of the ...

**4**

votes

**2**answers

110 views

### How to find an ODE with prescribed terminal values?

Let us consider an ODE
$$\frac{dx_t^y}{dt}=g(x_t^y),$$
where y is the initial condition i.e. $x_0^y=y$.
Now, given a function $f$ (increasing and smooth) is it possible to find $g$ (i.e. an ODE) ...

**7**

votes

**1**answer

91 views

### Determinant of some covariance matrix (Gaussian kernel process)

Let $x_1,\dots,x_p$ be $p$ points in $\mathbb{R}^n$ ($n\geq 2$) with $x_1=0$. Consider the symmetric matrix $M(x)=(m_{ij}(x))_{1\leq i,j\leq p}$ where $m_{ij}(x) = \exp(-\frac{1}{2}\Vert x_i - ...

**3**

votes

**1**answer

132 views

### Preprint by Wall on Sjogren's theorem

In their account http://dx.doi.org/10.1016/0022-4049(87)90048-X of Sjogren's theorem, Cliff and Hartley refer to two articles:
[9] B. Hartley, A note on a lemma of Sjogren relating to. dimension ...

**7**

votes

**3**answers

227 views

### Borel coloring of a graph on the set of all functions $f:\mathbb{N}\to\mathbb{N}$

The following question was asked in a comment by Joel David Hamkins in Graph on the set of all functions $f:\mathbb{N}\to\mathbb{N}$.
Let $V$ be the set of all functions $f:\mathbb{N}\to\mathbb{N}$. ...

**3**

votes

**0**answers

88 views

### n-homology of a Harish-Chandra module

Let $G$ be a connected real reductive Lie group and let $K$ be its maximal compact subgroup.
Let $P=MAN$ a parabolic subgroup. Let $K_M^0=M^0\cap K$ be connected component of the maximal compact ...

**1**

vote

**0**answers

21 views

### Lower and upper density of iterations of subsets of $\mathbb{N}$ [migrated]

For $A\subseteq \mathbb{N}$ we define the lower and upper density by if $$\text{lowd}(A)=\text{lim inf}_{n\to\infty}\frac{|A\cap\{1,\ldots,n\}|}{n}, \text{upd}(A)=\text{lim ...

**0**

votes

**1**answer

97 views

### Generalization of the Lie group exponential map and its derivative

Let $\mathfrak{g}$ be the Lie algebra of a Lie group $G$, and $exp:\mathfrak{g}\to G$ be its exponential map. The group $G$ could be finite or infinite dimensional. Let $G$ have the property that
...

**0**

votes

**1**answer

135 views

### Must a group of defficiency > 1 be nonabelian?

Let $F$ be a free group of finite rank $n > 2$, and let $S \subseteq F$ be a subset of cardinality at most $n-2$. Denote by $S^F$ the normal subgroup of $F$ generated by $S$. Must $F/S^F$ be ...

**1**

vote

**0**answers

53 views

### Can a cylinder be regarded as a Riemannian manifold? [on hold]

Consider the surface of a bounded cylinder consisting of a top,bottom and side part together with the metric induced by the euclidean norm on $\mathbb{R}^3$. Can this space be regarded as a Riemannian ...

**3**

votes

**1**answer

103 views

### nilpotent of class 2 free product

How is the nilpotent of class 2 (nil-2) free product of groups defined?
I came across this construction reading the following paper.
Alan H. Mekler (1981). Stability of nilpotent groups of class 2 ...

**2**

votes

**1**answer

171 views

### Graph on the set of all functions $f:\mathbb{N}\to\mathbb{N}$

Let $V$ be the set of all functions $f:\mathbb{N}\to\mathbb{N}$. Let $$E:=\big\{\{f,g\}: f, g \in V \land f\neq g\land \exists k\in \mathbb{N} \text{ }\forall n\in\mathbb{N}\setminus\{k\} (f(n) = ...

**1**

vote

**0**answers

119 views

### Castelnuovo-Mumford regularity in multigraded case

Let $R=\oplus_{n\geq 0}R_n$ be a standard Noetherian commuative graded ring over a local ring $(A,m)$ where $R_0=A.$ Put $R_+=\oplus_{n\geq 1}R_n.$ Let $M$ be a finitely generated $\mathbb Z$-graded ...

**3**

votes

**0**answers

95 views

### Inverse limit in shape theory

Is the shape theory of Hausdorff compact spaces complete with respect to the inverse limit operation?--complete means that for every inverse system of Hausdorff compact spaces, and the shape morphisms ...

**5**

votes

**0**answers

87 views

### Example of a torsionfree group satisfying a cohomological condition

Let us call a finitely generated group $G$ cohomologically rich if for each $k \geq 0$, we can find a subgroup $G'$ and a prime $p$ such that $H^k(G';\mathbb F_p) \neq 0$. Examples which come to mind ...

**2**

votes

**0**answers

62 views

### Resolvent estimate of hyperbolic Laplacian [on hold]

Consider the Laplacian $-\Delta$ on the hyperbolic space $\mathbb{H}^n$. For $\lambda \in \mathbb{C} \setminus [0, \infty)$, do we have resolvent estimates of the form
$$\Vert (-\Delta - \lambda ...

**4**

votes

**1**answer

174 views

### The dualizing sheaf for a proper smooth variety

Suppose $X$ is a $n$ dimensional proper smooth variety, is the dualizing sheaf of $X$ the top wedge of sheaf of differentials: $\omega_X^0=\wedge^n\Omega^1_X$? If not what is it?
(By Chow lemma, we ...

**-2**

votes

**1**answer

42 views

### Roots of $X^{l-1}+1$ in a quadratic extension $F_q, q= l^2$ [on hold]

Consider a finite field $F_q$ where $q=l^2$ ($l$ can be of the form $p^m$). Does $F_q$ has a root of $X^{l-1}+1$?
As $X^l+X = X(X^{l-1}+1)$ we can show that $X^{l-1}+1$ splits if it has a root. This ...

**0**

votes

**0**answers

24 views

### Alternating Reciprocal of Squares [migrated]

I know that the infinite sum of the reciprocals of squares converges to $\pi^2/6$. Interested by this, I looked at a different sum. It is similar to the previously mentioned series, but it alternates ...

**-3**

votes

**0**answers

43 views

### try to calculate the probability [closed]

Prove that if you choose two points uniformly and independently on a line of length 1, then the expected distance between the points is 1/3.
My answer is 1/6, not match the question

**3**

votes

**3**answers

183 views

### Enumerating cosets of the modular group

Suppose we chose the generators $f(z) = z+1, g(z) = z-1, h(z) = -1/z$ for the modular group $\Gamma$ (i.e. the group of fractional linear tranformations $z \mapsto (az +b)/(cz+d)$ with $a,b,c,d \in ...

**1**

vote

**0**answers

46 views

### Automorphisms of Grothendieck rings coming from fusion categories

The Grothendieck ring $\mathcal K_0(\mathcal C)$ of a fusion category $\mathcal C$ is a unital based ring in the sense of math/0111139v1 with basis $B$ and involution $*$. Basis elements correspond to ...

**4**

votes

**2**answers

56 views

### Expressing a convex Polytope as a sublevel set of a function

Given an n-dimensional polytope $P$ in $\mathbb R^n$, Given as a convex hull of a finite set of points, $S$ I would like to construct an expliict formula for a function $f\colon \mathbb R^n \to ...

**0**

votes

**0**answers

44 views

### Completing Karlin's proof of variation diminishing transformation theorem

In S Karlin's book total positivity there's a theorem
that says if $K(x,y)$ is $TP_r$ (totally positive with degree $r$) and the sign change count of function $h$, $S(h) = n\leq r-1$,
then ...

**10**

votes

**0**answers

154 views

### How long can a cycle of antichains in a finite partial order be?

Suppose that $X$ is a finite partially ordered set. Then a subset $A\subseteq X$ is said to be an antichain if there do not exist elements $a,b\in A$ with $a<b$. Let $\mathcal{A}_{X}$ be the set of ...

**3**

votes

**2**answers

110 views

### About supersolvable Lie algebras

A colleague of mine asked me the question below, and since I could not answer it, I thought I might have more luck on MO.
In Encyclopedia of Mathematics, a finite dimensional Lie algebra $L$ over a ...

**2**

votes

**1**answer

73 views

### Real slices of Minkowski space, using a complex quadratic form

Ordinary Minkowski space is $\mathbb{R}^{3,1}:=(\mathbb{R}^4,\phi)$
where $\phi:\mathbb{R}^4\rightarrow\mathbb{R}$
is a quadratic form of signature $(3,1)$.
Lying within this is a hyperboloid model ...

**2**

votes

**0**answers

160 views

### References for 'Theory of $p$-adic Galois Representations by Fontaine & Ouyang'

Presently I am reading the 'Theory of $p$-adic Galois Representations by Fontaine & Ouyang'. I am finding it difficult for eg. the initial sections on $l$-adic geometric representation of finite ...

**0**

votes

**0**answers

92 views

+50

### Derivatives of radial functions can be bounded by derivatives in terms of radial distance?

Suppose $f$ is a radial function, i.e., $f(x)=f(|x|)$,
and $f \in C^\infty(\bar{B})$, where $\bar{B}$ is the closure of the unit ball in $\mathbb{R}^n$.
Prove or disprove the following.
Given any ...

**0**

votes

**1**answer

331 views

### Will this be a case of self plagiarism or will it annoy the referee? [on hold]

About 2 months ago, I uploaded a fairly long paper (P1) to arXiv and it is currently under review.
Now, I am writing a second paper (P2) on a somewhat different topic. But quite unexpectedly, it ...

**3**

votes

**1**answer

168 views

### Model structure on non-negative differential graded algebras with homological grading

I was wondering if there exists a model structure on the category of non-negative differential graded algebras with homological grading. To be more precise: Let $Ch_{k}$ the model category of ...

**0**

votes

**1**answer

138 views

### Consequences of Serre's property FA

Proposition 21 of Serre's Trees:
Let G be a group with property FA. If G is contained in an amalgam then G is contained in a conjugate of one of the amalgam's factors.
Can anybody help with this ...

**0**

votes

**1**answer

104 views

### Schatten $p$-classes for small $p$

Suppose $\mathcal H$ is a separable Hilbert space and $T$ is a compact self-adjoint operator on $\mathcal H$. Let $\{e_n\}$ be an orthonormal basis for $\mathcal H$.
Fix $1<p<2$.
Does ...

**3**

votes

**0**answers

73 views

### Localized at $p$ integral representations of finite elementary $p$-groups

Let $C_p$ be a cyclic group of prime order $p$.
Let $F=C_p^n=C_p\times\dots\times C_p$ ($n$ times).
I would like to to classify finite dimensional representations of $F$ over ${\mathbb{Z}}$.
However, ...

**2**

votes

**0**answers

106 views

### Find the intersection between two convex hulls, in this specific case

We work over $\mathbb{R}^K$. Let $V$ be the set of vectors whose coordinates take values $0$ or $1$, or equivalently the corners of the unit cube $[0,1]^K$.
Let $d:\{0, \ldots, K\} \to \mathbb{R}_+$ ...

**1**

vote

**1**answer

83 views

### Is the endpoint map smooth

Given $a,b \in \mathfrak{su}(n)$ and (with $U_0 = I$ taken) the following ODE:
$\frac{d U_t}{dt} = (a + w(t)b)U_t$
consider the "fixed time" endpoint map $V_T: L^2([0,T]) \rightarrow SU(n)$ for ...

**0**

votes

**0**answers

44 views

### Alternating projections and trace preserving maps

Let $\{\Pi_i\}_{i=1}^N$, $\Pi_i\in \mathbb{C}^{n\times n}$ be a set of orthogonal projections. By the Von Neumann alternating projection theorem, it holds that
$$
...

**5**

votes

**2**answers

167 views

### Continuous map from connected subset of R^n to one of the real zero of an odd degree polynomial whose coefficients are polynoms of the variables

Let take a real multivariate polynomial $P(x_1, \ldots, x_n, y)$ such as the degree of P relatively to the variable $y$ is odd. Thus, for each $X = x_1,\ldots,x_n \in\mathbb{R}^n$, the univariate ...

**0**

votes

**1**answer

64 views

### Reference for measures of commutativity needed

I'm looking for an appropriate measure to quantify the extent to which two matrices commute. In other words, if A and B are two n×n Hermitian matrices, and [A,B]=C.
I'd like a function μ:Cn×n→[0,∞) ...

**3**

votes

**3**answers

222 views

### Difference between Gieseker semistable and slope semistable

Let $X$ be a projective reduced (not necessarily irreducible) curve over an algebraically closed field and $\mathcal{F}$ be a pure coherent sheaf on $X$. Is it true that $\mathcal{F}$ is Gieseker ...

**-4**

votes

**0**answers

37 views

### Packing a box into a bag [closed]

If we have a bag dim 60x82, what would bee the max size box to put into this bag, without tearing the bag, of course?
So the max height of the box would be... how to calc this?
Thanks,
S.

**-1**

votes

**0**answers

65 views

### If $N = q^k n^2$ is an odd perfect number with Euler prime $q$, can $\sigma(n^2)$ be divisible by $(q+1)/2$?

If $N = q^k n^2$ is an odd perfect number given in Eulerian form (i.e., $q$ is prime with $q \equiv k \equiv 1 \pmod 4$ and $\gcd(q,n)=1$), then can $\sigma(n^2)$ be divisible by $(q+1)/2$?
I think ...

**-2**

votes

**0**answers

56 views

### Formulating conditional constraints in optimization [closed]

In an optimization problem, is it possible to formulate the following conditional constraint:
If $y > x_1$ then $x_2 \ge y - x_1$, else $x_2=0$.
Here are $x_1$ and $x_2$ are to be determined by ...

**2**

votes

**0**answers

55 views

### Second eigenvalue of biased reflected random walk

Let $Z_n$ be a reflected random walk on the non-negative integers with negative drift. That is,
$Z_n$ is non-negative and moves one to the right w.p. $p<1/2$. It moves one to the left w.p. $1-p$, ...

**2**

votes

**1**answer

95 views

### Positive rational numbers as sum of unit fractions [duplicate]

Let $U = \{\frac{1}{n}: n\in\mathbb{N}, n>0\}$ be the set of unit fractions. For integers $m,n>0$ there is always a finite subset $S\subseteq U$ such that $\frac{m}{n} = \sum_{u\in S} u$, see ...

**4**

votes

**2**answers

158 views

### Find the expansion of the exact solution (beyond Taylor)

In a paper by Kitagawa & Ueda Squeezed spin states they give an argument that the minimum variance in one-axis twisting Hamiltonian scales like $V_{min} \propto S^{-2/3}$. I will shortly describe ...

**7**

votes

**0**answers

114 views

### Complete list of exceptions and efficient algorithm for Waring's problem

2 weeks ago, Samir Siksek http://arxiv.org/abs/1505.00647 proved more than 150-years-old conjecture that every positive integer other than 15, 22, 23, 50, 114, 167, 175, 186, 212, 231, 238, 239, 303, ...