Newest Questions
159,029 questions
3
votes
1
answer
130
views
Calculate the Riemannian Hessian of Karcher mean problem on positive definite matrices
Consider a collection of positive definite matrices $\{A_1,...,A_n\}\in\mathbb{S}_{++}^d$, the Karcher mean of these matrices is given by (see (5.4) in [1]):
$$
\min_{X\in\mathbb{S}_{++}^d} f(X):=\...
- 125
10
votes
1
answer
237
views
For which finite groups $G$ is $M_n(\mathbb{Q}(\zeta))$ a factor of $\mathbb{Q}[G]$?
I am cross-posting this question from my MSE post here, in case someone here can answer it.
For a finite group $G$, the rational group ring $\mathbb{Q}[G]$ has a Wedderburn decomposition:
$$
\mathbb{Q}...
- 103
3
votes
4
answers
497
views
Asymptotic for Ramanujan's $\tau$-function
The Ramanujan's $\tau$-function is defined by
$$q\prod_{n=1}^\infty (1-q^n)^{24}=\sum_{n=1}^\infty \tau (n)q^n$$
where $|q|\lt 1$.
Is there a known asymptotic formula for $\tau (n)$ or $|\tau (n)|$, i....
- 317
6
votes
0
answers
266
views
What is the Fourier transform in modular representation theory?
For a finite group $G$ there is the Fourier transform $\displaystyle \hat{f}(\rho)=\sum_{g \in G} f(g)\rho(g)$ with inverse $$\displaystyle f(g)=\frac{1}{|G|}\sum_{\rho}d_{\rho}\operatorname{Tr}\left(\...
- 571
3
votes
1
answer
224
views
Non-Schwartz test functions for the explicit formula for L-functions
The statements of the explicit formula for L-functions that I am aware of require the test function to be a Schwartz function (see, e.g., equation (4.11) in Section 4 of Low lying zeros of families of ...
- 595
1
vote
0
answers
81
views
Embedding toric varieties in other toric varieties as a real algebraic hypersurface
In the question On a Hirzebruch surface, I've seen that the $n$-th Hirzebruch surface is isomorphic to a surface of bidegree $(n,1)$ in $\mathbb{P}^1\times \mathbb{P}^2$. I am trying to answer the ...
- 183
5
votes
0
answers
192
views
Complexity implications on computability
Are there any known links between complexity theory and computability theory by which I mean non-trivial theorems of the form: If NP $\neq$ co-NP then there is no strong minimal pair of r.e. sets or ...
- 3,029
8
votes
1
answer
423
views
Is there an infinite dimensional Stein's lemma?
Classical Stein's lemma says that if $\mathbf{X}$ is a centered Gaussian random vector and $g$ is a function which is nice enough, we have
$$
\mathbb{E} \, X_i \, g ( \mathbf{X} )
= \sum_k \...
- 620
1
vote
0
answers
78
views
Graph product which produces a graph with girth of one of the input graphs and minimum degree of the other
I was wondering if there is a known graph product which takes graphs $G$ and $H$ and produces an output graph with the girth of $G$ but the minimum degree of $H$?
Kind of like zigzag product which ...
2
votes
0
answers
125
views
Changing the sign of the moment map in the Seiberg Witten equations
The Seiberg-Witten equations on a closed four manifold
$$
D_A \varphi = 0, F_A^+ = \mu(\varphi)
$$
are elliptic (up to gauge transformations), and so the equations
$$
D_A \varphi = 0, F_A^+ = -\mu(\...
- 121
1
vote
0
answers
146
views
Intuition behind right-inverse of map from Johnson-Lindenstrauss Lemma
The Johnson–Lindenstrauss lemma states that for every $n$-point subset $X$ of $\mathbb{R}^d$ and each $0<\varepsilon\le 1$, there is a linear map $f:\mathbb{R}^d\to\mathbb{R}^{O(\log(n)/\varepsilon^...
- 5,405
5
votes
1
answer
206
views
Solving equations in hyperbolic groups and subgroups of isometry of a Gromov hyperbolic space
Let $\Gamma$ be a hyperbolic group. Let $g$, $\gamma\in \Gamma$ freely generate a non-abelian semigroup (in particular, they don't commute and have infinite order). Does the equation $g\gamma^n=h^m$ ...
- 287
2
votes
1
answer
150
views
How to complete $f^*f_*G\to G$ and $F\to f_*f^*F$ into a distinguished triangles for a double branched covering $f:X\to M$?
My main question is that for any proper morphism of smooth projective varieties $f:X\to Y$, is there some general canonical distinguished triangles about $F\to f_*f^*F$ and $f^*f_*G\to G$? May be we ...
- 249
2
votes
0
answers
78
views
A question on the convex hull of independent random walks
Consider $m$ independent random walks $X^1_n, \dots, X^m_n$ driven by a probability measure $\mu$ in $ \mathbb{Z}^d$. Assume that the $\mu$ has no drift, that is, the expected value of a $\mu$-...
- 6,224
2
votes
0
answers
60
views
Module structure of $\Omega_*(Z_p)$
In Conner-Floyd's book, Differentiable Periodic Maps in (46.1), for p an odd prime and $k=1,2,\dots$, it is posted the identities:
$$p\alpha_{2k+1}+[M^4]\alpha_{2k-3}+[M^8]\alpha_{2k-7}+\dots=0$$
in $\...
2
votes
0
answers
284
views
Distribution of peaks in Dyck paths
A Dyck word is a sequence of open and closed brackets such that the brackets come in correctly matched pairs. For example $(()(()))()$ is a Dyck word, while $())(()$ is not. A Dyck path is a visual ...
- 1,295
5
votes
0
answers
215
views
What is known about the upper density of torsion elements in finitely generated groups?
Let $T\subset G$ be the set of all torsion elements in a finitely generated infinite group $G$, and let $B_n\subset G$ be the closed ball of radius $n$ around $1$ w.r.t. to the word metric for some ...
- 233
6
votes
0
answers
174
views
How exactly does the Kreck-Stolz description of elliptic homology match the one by Totaro?
In
Kreck, Matthias; Stolz, Stephan, $\mathbf H\mathbf P^2$-bundles and elliptic homology, Acta Math. 171, No. 2, 231-261 (1993). ZBL0851.55007.
the $n$th elliptic homology group of a space $X$ is ...
- 18.4k
0
votes
1
answer
88
views
Can we lower bound this entropy by $\int_{\mathbb R^d} \rho^k (x) \, \mathrm d x$ and $\int_{\mathbb R^d} |x|^2\rho (x) \, \mathrm d x$?
We define $U : [0, \infty) \to [0, \infty)$ by $U(0) := 1$ and $U (s) := s \log s + (1-s)$ for $s >0$. Then $U$ is strictly convex. The minimum of $U$ is $0$ and is attained at $s=1$. Let $\mathcal ...
- 825
2
votes
1
answer
135
views
Prove $G$ is regular if $d(u, v)$ is $x$ for adjacent $u$ and $v$ and is $y \ge 2$ otherwise
Prove $G$ is regular if $d(u, v)$ is $x$ for adjacent $u$ and $v$ and is $y \ge 2$ otherwise.
Here $d(u, v)$ denotes the number of common adjacent vertices between $u$ and $v$.
PS: I've been working ...
- 149
2
votes
0
answers
143
views
The exponential sum of $\omega (n)$
Let $\omega (n)$ be the number of (distinct) prime divisors of $n$ $$\omega (n)=\sum _{p|n}1$$ and let $S(a/q)$ be its exponential sum $$\sum _{n\leq x}\omega (n)e(na/q).$$
Question 1: Can anyone give ...
- 1,381
8
votes
1
answer
184
views
The change-of-monoid adjunction between categories of modules induced by a morphism of monoids
Let $\mathcal{M}$ be a cocomplete closed symmetric monoidal category. Let $A, B$ be monoids in $\mathcal{M}$ and $f: A \rightarrow B$ be a morphism of monoids. The morphism $f$ induces the extension ...
- 83
3
votes
0
answers
85
views
Why do most eigenspaces of a Lie algebra automorphism have finitely many orbits?
I'm interested in understanding the following lemma, which Vogan states (Lemma 4.8) in his paper on the Local Langlands Conjectures (omitting the "well-known" proof).
Suppose $G$ is a ...
- 815
9
votes
0
answers
356
views
The $n$ queens problem with no three on a line
The $n$ queens problem asks if we can place $n$ queens on an $n\times n$ chessboard such that no two queens attack one another. For example, when $n=8$, here are two solutions (images taken from ...
- 667
6
votes
2
answers
1k
views
Prove that $\Bbb C[x,y]/(x^3+y^3-1)$ is not a UFD
I am posting this question on MO since I haven't received any answers on MSE.
Below is my (very elementary) attempt. Feel free to post a solution using facts in algebraic geometry and facts about ...
- 171
2
votes
1
answer
600
views
"Potency set" for power set?
Cross-posted at HSM.
Has the term "potency set" been used in English language mathematics for power set, and, if so, what are good references?
It is relevant that for historical reasons, &...
- 3,574
6
votes
1
answer
355
views
Exactness of the Weil restriction functor $\mathrm{Res}_{X/k}$
Question. Let $X$ be an Artinian scheme over a perfect field $k$. Consider the abelian category $\mathcal{C}$ of affine commutative group schemes of finite type. Is the Weil restriction $\mathrm{Res}_{...
- 199
5
votes
0
answers
211
views
$C^1$ manifold with complex structure
Let $M$ be a manifold. A complex structure on $M$ is an endomorphism $J \in \text{End}(TM)$ such that $J^2 = -\text{id}$ together with the vanishing of the Nijenhuis tensor. If $J$ is real-analytic, ...
- 661
4
votes
1
answer
170
views
Constructing coproduct types and boolean types from universes
Suppose we have a dependent type theory which has dependent product types, dependent sum types, identity types, function extensionality, an empty type, and a universe $U$ which is closed under the ...
- 2,624
4
votes
1
answer
211
views
Nonempty intersection of cosets of finite-index subgroups
$\DeclareMathOperator\lcm{lcm}$This question is crossposted from MSE.
Let $H_1,\dots,H_{n+2}$ be cosets of finite-index subgroups of $\mathbb{Z}^n$ and suppose for all $i=1,\dots,n+2$, $\bigcap_{j\neq ...
- 10.6k
20
votes
2
answers
741
views
A rational function related to Fibonacci numbers
Let $F_n$ denote a Fibonacci number ($F_1=F_2=1$,
$F_{n+1}=F_n+F_{n-1}$ for $n\geq 2$). Define
$$\prod_{k=1}^n (1+x^{F_{k+1}}) = \sum_j f(n,j)x^j. $$
For a positive integer $r$ let
$$ v_r(n) = \sum_j ...
- 50.8k
0
votes
0
answers
196
views
Generalized operator norm triangle inequality
Let $O_1, \cdots, O_n$ be Hermitian operators and $c_1, \cdots, c_n$ be complex numbers. If $\| \cdot \|$ denotes the operator norm, does the following inequality hold?
$$\| \sum_{i=1}^N c_i O_i \| \...
5
votes
0
answers
114
views
Realize a $K_0$-group homomorphism by a unital $\ast$-homomorphism
This question is inspired by Exercise $7.7$ in *An Introduction to $K$-theory for $C^*$-algebras (available here). Given a unital AF-algebra $A$ and another unital $C^*$-algebra $B$ that has ...
- 307
8
votes
0
answers
226
views
A variation of necklace splitting
Our problem is the following:
Let $n$ and $k$ be integers.
We are given two (unclasped) necklaces, each with $n$ colored stones: a top necklace which has $k$ colors and a bottom necklace which has 2 ...
- 81
1
vote
0
answers
211
views
Are orbits of a measurable flow always measurable with measure zero?
Let $(X, \mathcal{B})$ be a standard Borel space with a probability measure $\mu$ on $\mathcal{B}$. Let $(T_t)_{t \in \mathbb{R}}$ be a jointly measurable flow (i.e. $(T_t)_{t \in \mathbb{R}}$ is a ...
- 101
2
votes
0
answers
165
views
Prime-to-$p$ quotients of ${\rm PSL}_{2}(\mathbb{Z}_{p})$
Let $p$ be a prime and $\mathbb{Z}_p$ the ring of $p$-adic integers. Let ${\rm PSL}_{2}(\mathbb{Z}_{p})={\rm SL}_{2}(\mathbb{Z}_{p})/\{\pm 1\}$ be the projective special linear group over $\mathbb{Z}...
- 667
17
votes
1
answer
687
views
Multiply an integer polynomial with another integer polynomial to get a "big" coefficient
I have copied this question from StackExchange, in the hope that some experts here can provide some relevant insight. Thanks to Greg Martin for improving the question.
Given $f(x) = a_0 + a_1 x + a_2 ...
- 823
2
votes
0
answers
180
views
Are parabolic Springer fibers equal dimensional?
Let $G$ be a simple algrbraic group （ of type BCDEFG ） over the complex number $\mathbb{C}$, let $P$ be a parabolic subgroup of $G$, suppose we have a resolution of singularities $\mu: T^*(G/P)\to \...
- 653
3
votes
1
answer
141
views
Oscillation functions and similar constructs
For given $f$ from reals to reals, the associated oscillation function is defined as follows:
$$\textstyle
osc_f(x):= \lim_{n\rightarrow \infty} [\sup_{y \in B(x, \frac{1}{2^n}) } f(y)-\inf_{z \in B(x,...
- 4,359
3
votes
1
answer
167
views
What are the ‘refinements’ in Christ's method of refinements?
I have gathered that Christ's ‘method of refinements’ originated in his paper Convolution, curvature, and combinatorics: a case study to prove the sharp range of $L^p$-improving estimates for the ...
- 679
1
vote
0
answers
97
views
Non-vanishing principal minors up to swapping columns
An undergraduate student asked me the following seemingly easy question. After a few days of thinking, I still couldn't come up with an answer, nor could I find one online. Maybe folks here could help?...
- 403
5
votes
1
answer
264
views
Schur functors = Weyl functors in characteristic zero?
I asked this question on Math Stack Exchange https://math.stackexchange.com/questions/4789924/schur-functors-weyl-functors-in-characteristic-zero, but I got no answers, so I ask the same question here....
- 127
5
votes
1
answer
250
views
Function algebra of Furstenberg boundary $\partial_F \Gamma$: when is it a $W^*$-algebra?
Let $\Gamma$ be a non-amenable discrete group and consider its Furstenberg boundary $\partial_F \Gamma$. It is known that this is a compact topological space which is stonean (equivalently: extremely ...
- 525
0
votes
1
answer
509
views
Possible research directions in analysis? [closed]
I am an undergraduate student who loves basic mathematics in the analysis branch, but I have learned that some directions, for example, harmonic analysis, are already well developed and difficult to ...
- 101
6
votes
2
answers
623
views
Can this system of equations about Newton's formula have concrete result?
Try to solve this system of equations:
$$
S_1=x_1+\dots+x_n=a;\\
S_2=x_1^2+\dots+x_n^2=a;\\
{}\cdots\\
S_n=x_1^n+\dots+x_n^n=a;
$$
And find the value of $S_{n+1}=x_1^{n+1}+\dots+x_n^{n+1},a\in\mathbb{...
- 75
1
vote
0
answers
232
views
Show that $\mathbb{K}\cong M_{n}(\mathbb{K})$ [closed]
I would like to show the following isomorphy but not sure how to go about this:
$\mathbb{K}\cong M_{n}(\mathbb{K})$
Also in Blackadar (Operator Algebras, page 171) he states that this isomorphism ...
- 119
0
votes
0
answers
52
views
Relation between real forms of Lie algebras and root systems on pseudoeuclidean vector spaces
This might be trivial but I cannot see it clearly.
Simple complex Lie algebras are fully classified by the root systems arising from the Cartan subalgebra for which the Euclidean norm is the Cartan-...
- 295
6
votes
1
answer
796
views
A Poincaré-like inequality
Is it true that for some real $K>0$ and all real $u\in C_0^\infty((0,1))$ we have
$$\int_0^1 (u'(x)^2+u(x)^2)\,dx\,\int_0^1 u(x)^2\,dx
\le K\Big(\int_0^1 x\,u'(x)^2\,dx\Big)^2\text{ ?}$$
- 128k
1
vote
0
answers
61
views
Discrete-to-continuum convergence of principal Fokker-Planck eigenvalues
I am looking for a reference justifying the following statement.
Let $L^n$ be any "reasonably consistent" finite-difference approximation of the Fokker-Planck operator in dimension $d=1$
$$
...
- 5,380
1
vote
1
answer
121
views
On the situation of intersections along a proper morphism
The short question is: Say $p:\bar{X}\rightarrow S$ is a proper and normal morphism with the following properties:
S is integral and smooth over a certain base field $k$,
$\bar{X}$ has a smooth and ...
- 13