-1
votes
0answers
60 views

Finite dimensional invariant subspaces of $C^\infty(S^2)$ under rotations [on hold]

Characterize all smooth functions on $S^2$ for which the space generated by their rotations are finite dimensional
4
votes
1answer
100 views

Restricted Burnside Problem: Lower bound nilpotency class

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$. Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)=F/F^p$ of exponent $p$ has a maximal finite quotient ...
2
votes
1answer
34 views

Compact $R_1$-spaces

A space $(X,\tau)$ is said to be $R_1$ if for all $x,y\in X$ with $cl(\{x\}) \neq cl(\{y\})$, there are disjoint open sents separating $cl(\{x\})$ and $cl(\{y\})$. If $X$ is compact and $R_1$, does ...
0
votes
0answers
100 views

Transversal intersection in the moving lemma

Let $X$ be a smooth projective variety over an algebraically closed field and let $A,B$ be closed irreducible subvarieties of $X$. Chow's moving lemma which is proved in the book by Eisenbud and ...
2
votes
1answer
60 views

Convergence of weighted double sum of random variables

I'm looking for convergence results of particular weighted sum: $$S_n=\frac{1}{n}\sum_{i=1}^{n}\sum_{j=1}^{n}a_{i,j}X_i X_j.$$ when random variables $X_i$ ar i.i.d. Are there any investigation ...
0
votes
1answer
113 views

About weak derivatives [on hold]

I have a question about weak derivatives. Let $u,v \in L^{1}_{loc}(U)$ (the space of locally integrable functions) for some open set $\emptyset \neq U \in \mathbb{R}^{n}$. We often say that $v$ is ...
0
votes
0answers
14 views

Complexity of edge coloring graphs of sufficiently large maximum degree

I am interested in the complexity of edge coloring graphs with $\Delta(G) > |V(G)|/3$. This is closely related to the Overfull conjecture (OC). Conjecture/Question: If a simple graph G with n ...
0
votes
0answers
30 views

Explicit computation of a limit of a cosimplicial object

Let $\Delta$ be the simplex category. Let $T_{n}$ be the standard topological $n$ simplex, i.e. it is the set of points of $\mathbb{R}^{n}$ such that $0\leq t_{1}\leq \dots \leq t_{n}\leq 1$. Its ...
5
votes
1answer
135 views

What is Jantzen's formula for the determinant of the Shapovalov form in the case of generalized Verma modules?

The best reference I found is [Kac, Kazhdan '79] which extends the results of Shapovalov and Jantzen to the case of infinite dimensional Lie algebras. Theorem 1 of this paper gives the Shapovalov ...
3
votes
0answers
60 views

A question on an argument in Woronowicz’s paper on the compact quantum group $ {\text{SU}_{q}}(2) $

Let $ q \in [0,1) $. The compact quantum group $ {\text{SU}_{q}}(2) $ is defined to be the universal unital $ C^{*} $-algebra that is generated by two elements $ \alpha $ and $ \beta $ satisfying the ...
2
votes
2answers
166 views

Simultaneous lcms

Suppose that we have some finite number of $k$-tuples then we define the lcm of two of these tuples to be the tuple of lcms of the co-ordinates. E.g. $[(9, 10), (5, 18)] = ([9, 5], [10, 18]) = (45, ...
-1
votes
1answer
46 views

How to generate computational data in graph theory?

For a given number of nodes how many non-isomorphic graphs are available? Might be this is an open problem. For less number of vertices some computational statistics available. I want to get all ...
2
votes
0answers
107 views

The Tensor product of algebra group

Let G is a locally compact group. Is the following true? The tensor product of $L^1(G)$ with $L^1(G)$ is $L^1(G \times G)$.
2
votes
2answers
192 views

Vanishing of higher direct image of a morphism with generic fiber $\Bbb{P}^1$

The following question was asked on math.stackexchange.com with no reply for the past week or so. Let $f : X \to Y$ be a morphism of smooth (integral) varieties over $\Bbb{C}$ with generic fiber equal ...
9
votes
1answer
222 views

E-infinity structure on singular cochains

Is there a transparent explanation of why the singular cochain complex of a topological space X is an $E_\infty$ algebra. There are combinatorial proofs using, say, the surjection operad, but is there ...
1
vote
0answers
49 views

Can we prove the uniqueness of the local Artin map by using mostly global class field theory?

Let $l/k$ be a finite abelian extension of $p$-adic fields. There is a well defined local Artin map $k^{\ast} \rightarrow Gal(l/k)$ with kernel $N_{l/k}(l^{\ast})$. Let's suppose that we have only ...
0
votes
1answer
132 views

A conjecture on the prime counting function

I was thinking about the Second Hardy-Littlewood conjecture for quite sometime (some of my posts are related to this). In one of my earlier post I conjectured that the inequality ($\pi(x)$ denotes the ...
1
vote
0answers
27 views

Decomposition which is locally connected

It is possible construct a connected compact metric space $X$ and a continuous decomposition $\mathcal{G}$ of $X$ that satisfies: 1)$X/\mathcal{G}$ is locally connected. 2)If $M$ is a compact ...
7
votes
1answer
206 views

preserving saturated ideals

A reliable source made the following claim: Suppose CH there is an $\omega_2$-saturated ideal on $\omega_1$. Then this is preserved by $\mathrm{Add}(\omega_1,\omega_2)$. Question 1: How do you ...
2
votes
0answers
66 views

Is there an E8 symmetry in the zero-field Ising model?

In the paper On classification of modular tensor categories by Rowell, Stong and Wang, they list the Ising modular category $I$ as having 3 objects $1$, $\sigma$ and $\psi$, with fusion rules ...
0
votes
1answer
45 views

criterion for a differential of the third kind to be a logarithmic derivative of a function

Let $X$ be a compact Riemann surface of genus $g\geq 1$. If $f$ is a meromorphic function on $X$ then, the meromorphic differential $\omega=\frac{df}{f}$ is a differential of the third kind with ...
1
vote
1answer
115 views

The canonical bundle of an infinitesimal deformation

Let $X_0$ be a smooth projective variety over the complex numbers and let $X$ be an infinitesimal deformation of $X_0$ over the ring of dual numbers. If the canonical bundle of $X_0$ is ample (resp. ...
5
votes
0answers
128 views

Moore spectra are not E-infinity (oldest known proof)

Fix a prime $p$. Let $M_p(i)$, the $i$-th Moore spectrum at the prime $p$, be the cofiber of the map $$ S^0 \overset{p^i}\longrightarrow S^0 $$ where $S^0$ be the sphere spectrum. In the Mathoverflow ...
0
votes
0answers
9 views

equivalence of Lie group and Lie algebra intertwiner [migrated]

I encountered this problem while working on my research. Let $G$ be a Lie group, and consider an intertwiner of the complex representations (possibly infinite-dimensional) $$ \pi:G\rightarrow ...
-1
votes
2answers
304 views

What conditions imply that a function over $\mathbb{Z}$ is a polynomial? [on hold]

How would one prove that a function is a polynomial? I can't seem to find anything about this on the internet. I would like to know if there are any unique properties that only polynomials can ...
0
votes
1answer
135 views

Non Hamiltonian vector field

Let $\Phi: G \times M \rightarrow M$ be a group action on a symplectic manifold $M$ and $G$ be a Lie group. Furthermore, $x$ is a solution of the Hamilton equation $\dot{x}(t) = X_H(x(t))$ and for a ...
4
votes
2answers
241 views

What is the motivation and purpose of the Floretion group?

When searching through the Oeis, I came across something called a floretion. Based on the context, it seems to be some sort of algebraic structure. I googled it and found nothing that explained their ...
0
votes
0answers
30 views

An obstacle problem

Let $f:[0,T]\to \mathbb{R}$ be an increasing function with $f(0)=0$. We want to maximize $f(T)$ with the following constraints: $|f^\prime(t)|\le M,\quad \forall t\in[0,T]$ $f(t)\le g(t),\quad ...
2
votes
1answer
122 views

isogeny clases of CM abelian varieties

Let $A$ be an abelian variety defined over $\overline{\mathbb{Q}}$ and with complex multiplication by a CM field $K$. Looking at the action of $K$ on $H^0(A, \Omega^1_A)$ one gets a CM type of $K$, ...
-1
votes
0answers
32 views

Can I calculate another model? [closed]

Let's assume that I have following linear model: y = b + c*x can I just do following to get linear regression model for x? It will be a good model? y - b = c*x x = -b/c + 1/c*y What if I had more ...
1
vote
1answer
79 views

Differences of consecutive ordered fractional parts

Let $r$ and $h$ be a real numbers and $n>0$. Write the fractional parts $\{k*r+h\}$, for $k = 1,2, . . . n$, in increasing order as $$ a_1 < a_2 < \cdots < a_n.$$ Let $D_n$ be the set of ...
-1
votes
0answers
44 views

Automorphism group of the gamma factor of a certain type of L-function [on hold]

Let $F$ be an element of the Selberg class with polynomial Euler product, $\gamma_F$ its gamma factor appearing in the functional equation of $F$, which is defined up to a multiplicative factor. Is ...
6
votes
0answers
125 views

What is the most transparent, rigorous definition of the Univalence Axiom?

I've been studying homotopy type theory and trying to grasp the Univalence Axiom. I have yet to find a concise, accessible, rigorous definition of Univalence. I have several excellent survey papers ...
13
votes
2answers
544 views

Does projective imply flat?

Let $\mathcal C$ be an abelian category equipped with a closed symmetric monoidal structure. This implies in particular that the monoidal structure $\otimes$ is right exact in each variable. I care ...
11
votes
2answers
655 views

Is Every Holomorphic Near an Entire?

Let $K\subset \mathbb C$ be a closed subset of the complex plane, not necessarily bounded. Let $U$ be the interior of $K$. Let $f:K\to \mathbb C$ be a continuous bounded function, whose restriction ...
3
votes
0answers
55 views

Number of unitary representations of a Kazhdan group

It was proved by de la Harpe, Robertson, and Valette that for a discrete group $\Gamma$ with Kazhdan's property (T), there is a constant $c$ so that the number of irreducible unitary representations ...
0
votes
0answers
46 views

Obstruction to the splitness of an exact sequence of holomorphic vector bundles [migrated]

This question was asked here, but I think there will not be an answer, so let me recopy the question on Mathoverflow. In the book of S. Kobayashi, hyperbolic complex spaces, there is the lemma ...
2
votes
3answers
47 views

Generate Bernoulli vector with given covariance matrix

I am from different background, so please forgive me if the answer is so well known. Let $C=(c_{ij})$ be a given $n\times n$ matrix. Do we have a way to generate samples of random Bernoulli vectors ...
0
votes
1answer
59 views

Reproducing Kernel of a RKHS of continuous functions may not be continuous in two variables together

Let $\mathcal{K}$ be a Hilbert Space of continuous functions on some topological space, where point evaluations are continuous linear functional on $\mathcal{K}$. That is $\mathcal{K}$ is RKHS, ...
5
votes
2answers
161 views

PSL(2,p) as quotient of triangle groups

As a by-product of some Magma computations, I've observed that, for each prime $p$ such that ${\rm PSL}(2,\mathbb{F}_p)$ can be a quotient of the $(3,3,4)$-triangle group (i.e. $p \equiv \pm 1 ...
4
votes
0answers
43 views

Complements of unknotted tori (higher dimensions)

It is weil-known that an unknotted 2-torus in $S^3$ provides the standard Heegaard splitting, in particular its complement consists of two solid tori. It is also known that an unknotted 3-torus in ...
0
votes
1answer
35 views

Solving the difference equation $h(\vec x)\cdot A(\vec x)=\sum_{i=1}^m A(\vec x - \vec e_i)$

I am trying to solve the following difference equation: $$h(x_1,x_2,x_3,x_4) \cdot A(x_1,x_2,x_3,x_4)=A(x_1-1,x_2,x_3,x_4)+A(x_1,x_2-1,x_3,x_4)+A(x_1,x_2,x_3-1,x_4)+A(x_1,x_2,x_3,x_4-1)$$ with ...
5
votes
1answer
156 views

Hyperbolic knot complement groups and relative dimension

Let $G$ be a the fundamental group of a hyperbolic knot complement. Then $G$ is hyperbolic relative to a subgroup $P\cong \mathbb Z \oplus \mathbb Z$. The knot complement has a $2$-dimensional spine ...
1
vote
1answer
189 views

Convex polyhedron and its Gauß-curvature [on hold]

I have asked this question on MathSE and no one could give me an answer. So I'll post my question here. What I am trying to prove: A convex polyhedron has positive Gauß-Curvature at every vertex. ...
0
votes
0answers
53 views

Matrix representation

Let $\mathbf{c}\in \mathbb{R}^n$ and $\mathbf{X}(s)= \begin{bmatrix} X_{11}(s) & X_{12}(s) & \cdots & X_{1n}(s) \\ X_{21}(s) & X_{22}(s) & \cdots & X_{2n}(s) \\ \vdots & ...
3
votes
0answers
55 views

Kullback Leibler “variance”: does that divergence have a name?

If you consider two probability distributions $p$ and $q$, one way to measure the distance between the two is the Kullback-Leibler divergence: $$KL(p,q)=\int p \log (p/q) = E_p(\log p/q)$$ and this ...
1
vote
0answers
78 views

Does strong convergence in $W_p^1$ imply strong convergence of derivatives of absolute values in $L_p$?

Let $G$ be a Lipshitz domain and $u_n \to u$ in $W_p^1(G)$. Is it correct, that $\frac{\partial |u_n|}{\partial x_m} \to \frac{\partial |u|}{\partial x_m}$ in $L_p(G)$? I know, that $\frac{\partial ...
10
votes
0answers
119 views

When is alternating sum $\sum_{i}f(a_i)-\sum_{i<j}f(a_i+a_j)+\ldots+(-1)^{n-1}f(a_1+\ldots+a_n)$ always positive?

Let $a_1,a_2,\ldots,a_n\geq 1$, and let $f:\mathbb{R}^+\rightarrow\mathbb{R}^+$. Consider the sum ...
3
votes
2answers
124 views

Determinant of block tridiagonal matrices

Is there a formula to compute the determinant of block tridiagonal matrices, when the determinants of the involved matrices are known? In particular, I am interested in the case $A = \begin{pmatrix} ...
0
votes
1answer
138 views

Smooth morphism to homogeneous spaces and fibers

Let $f:X \to Y$ be a smooth morphism between projective varieties. Suppose $Y$ is a homogeneous space. Under what additional condition on $f$, can we conclude that every fibers of $f$ are isomorphic?

15 30 50 per page