Newest Questions
159,020 questions
2
votes
0
answers
164
views
$H^s$-mild solution for Navier–Stokes : why do we restrict attention to the function spaces "without Fourier zero mode"? (Related to Terence Tao blog)
This question has been triggered by the Definition 32 and Remark 33 in the blog of Terence Tao.
There, every function space is restricted to ones without the Fourier zeroth mode. And the Remark 33 ...
- 3,477
3
votes
1
answer
437
views
Identities for Bernoulli numbers
I arrived at this formula by inductive reasoning, but I don’t know how to prove it.
For any natural numbers $m$ and $k=0,1,2,\ldots, m-1$, $B_i$ - Bernoulli numbers we have:
$$\sum_{i=0}^k (-1)^{k-i}\...
- 31
6
votes
2
answers
644
views
Explicit form of this unitary transformation
Disclaimer: This question has its motivation from physics. It is probably not entirely rigorous at the moment. I just want to clarify some steps and try to make the arguments rigorous afterwards, if ...
- 3,535
2
votes
2
answers
286
views
Finding an easy example applying the general Lovász local lemma
Is there any easy application for the general local lemma as follows? If someone knows, please tell me the references or just post an example here. Thanks.
General Lovász local lemma: Consider a set $...
- 1,190
0
votes
1
answer
115
views
Can orientation preserving diffeomorphism in $\mathbb{R}^d$ be presented by flowmap of dynamical systems? (time-varying case)
Because flowmaps are homeomorphic maps on a compact domain $\Omega$, I was wondering if there is any literature that proves that diffeomorphism $\Phi(x)$ can be expressed as a flowmap of a certain ...
- 109
5
votes
0
answers
149
views
In what algebraic categories do finitely presentable objects form a dense cogenerator?
For each $C$ locally finitely presentable category, the full subcategory of finitely presentable objects $C_{fp}$ is a dense generator, i.e. the natural functor $C \to \mathrm{PSh}(C_{fp})$ is a full ...
- 6,962
5
votes
1
answer
237
views
Proof that $[[D^2,f],f]=2[D,f]^2$
Let $E$ be a Clifford module with Clifford multiplication $c$. On page 117 of Heat Kernels and Dirac Operators it is claimed that "any operator satisfying
\begin{equation}\tag{1}
\forall f \in C^\...
- 339
7
votes
2
answers
315
views
Holomorphic discrete series vs. discrete series
(I apologize in advance if this question is too naive for experts.) Let $G$ be a real semisimple Lie group. I know that holomorphic discrete series representations are only a part of all the discrete ...
- 709
2
votes
0
answers
313
views
Minimizing $P=\frac{\sqrt{5a+8bc}}{8a+5bc}+\frac{\sqrt{5b+8ca}}{8b+5ca}+\frac{\sqrt{5c+8ab}}{8c+5ab}.$ [closed]
Olympiad inequality. Let $a,b,c\ge 0: ab+bc+ca=1.$ Find the minimal value $P$ of $$f:=\frac{\sqrt{5a+8bc}}{8a+5bc}+\frac{\sqrt{5b+8ca}}{8b+5ca}+\frac{\sqrt{5c+8ab}}{8c+5ab}.$$
Note: Often Stack ...
- 129
2
votes
0
answers
94
views
Dimension of Laplacian eigenspaces along a smooth 1-parameter family of metrics
Let $(M^n,g)$ be a closed Riemannian manifold, $n \geq 2$. For a smooth 1-parameter family $g_t$, $t \in (-\varepsilon, \varepsilon)$, of Riemannian metrics on $M$ with $g_0 = g$, let $\lambda_k(t)$, $...
- 2,095
2
votes
1
answer
129
views
Bounding the size of subspaces of $\mathbb{Z}^n$
For a subgroup $V$ of $\mathbb{Z}^n$, define $\Vert V \Vert$ to be the smallest $k$ such that $V$ is generated by its intersection with the closed $k$-ball around the origin in $\mathbb{R}^n$. Also, ...
- 23
4
votes
0
answers
160
views
Major indices of standard tableaux of shapes obtained from addable cells of a given Young diagram
I have a "very" indirect proof that the following fact is true for every Young diagram $\lambda \vdash n$ and every $r \in \{0,\dotsc,n\}$:
\begin{equation}
d_\lambda = \sum_{a \in \mathrm{...
- 143
1
vote
0
answers
106
views
Solution to hyperbolic linear second order PDE
I am trying to prove the existence (and uniqueness) of a weak solution for a specific PDE. First, let me formulate the problem. I asked the question on the Mathematics page but did not get a solution ...
- 11
0
votes
1
answer
198
views
Can we integrate arbitrary rational functions of Jacobian elliptic functions?
We can integrate arbitrary rational functions of the trigonometric functions because of the tangent half-angle substitution (https://en.m.wikipedia.org/wiki/Tangent_half-angle_substitution). This led ...
- 317
1
vote
1
answer
375
views
Why is "everything staying correct" for simplicial spaces?
I recently need a simplicial generalization of some theorem for rigid spaces, namely Theorem A holds for a rigid space $X$ and I want a Theorem $A_\bullet$ for a simplicial rigid space $X_\bullet$. ...
- 255
3
votes
0
answers
110
views
Is every finite metric space representable in a pseudo-Euclidean space?
Let $X$ be a finite set with a (true) metric $d$ and $|X| = n$. Does there exist a set $Y$ of $n$ points in $R^n$ with a pseudo-Riemannian metric with signature $(n - k, k, 0)$ for some integer $k$ ...
- 31
1
vote
0
answers
205
views
A quick introduction to the birational classification of projective curves
To give you some personal background: I am a ring theorist, and most of my research focus on invariant theory of noncommutative rings. Recently I became interested in a certain problem that requires a ...
- 3,318
2
votes
1
answer
175
views
A question on biharmonic functions
Let $w$ be a function $\mathbb R^n\to \mathbb R$ with the following properties:
$w$ is globally $\alpha$-Hölder continuous, $\alpha \in (0,1)$;
$w$ is biharmonic on $\{w>0\}$;
$w$ is subharmonic ...
2
votes
1
answer
140
views
Does substitution on named terms correspond to substitution on de Bruijn terms?
Altenkirch wrote (in the unpublished draft α-conversion is easy):
I leave it to the reader to show that (some natural translation function) preserves substitution, i.e. it maps substitutions on named ...
0
votes
1
answer
147
views
Prime-less intervals $[n,\lfloor q\cdot n\rfloor]$ for $q\in \mathbb{Q}, q>1$
Is there $q\in\mathbb{Q}$ with $q>1$ and the following property?
There are infinitely many $n\in\mathbb{N}$ such that there are no primes in $[n,\lfloor q\cdot n\rfloor]$.
- 48.9k
4
votes
2
answers
320
views
Approximating a fraction with a given denominator
Let $M$, $N$ be large natural numbers (say ~200 bits). Let $L$ be a smaller number, (say ~100 bits).
I want to approximate the fraction:
$$\frac{M}{N} \sim \frac{k}{L+r}$$
where $r$ is at most $L$. In ...
- 591
3
votes
0
answers
223
views
What is a Gelfand-Tsetlin subalgebra?
For context on general Gelfand-Tsetlin theory, see for instance this MO post.
Let's work over $\mathbb{C}$. Fix $n>0$. There is a natural chain of embeddings of the general linear Lie algebras $\...
- 3,318
3
votes
1
answer
420
views
On Simpson's motivicity conjecture
Simpson's motivicity conjecture says that for any rigid, flat irreducible connection $(V,\nabla)$ on a smooth complex variety $M$, there exists a proper smooth morphism $f:X \to M$ s.t. $(V,\nabla)$ ...
- 519
2
votes
0
answers
153
views
Uniqueness of the solution to systems of first-order linear PDEs
Context:
Let $\Omega \subset \mathbb{R}^p$ be an domain.
For functions $A_{jk}^i : \Omega \to \mathbb{R}$ and $B_k^i : \Omega \to \mathbb{R}$ with some regularity, I am interested in the following ...
- 51
2
votes
1
answer
246
views
What's the lower bound of the correlation coefficient?
Suppose a random variable $X \in \mathbb{R}$ follows a discrete distribution $p$ and takes $n$ values. We assume $E[X]=0$ and $|X|\le M$, where $M$ is a constant. Given a smooth and monotonic ...
- 49
4
votes
0
answers
115
views
Non-Kähler complex structure on $S^2 \times T^4$
Consider $M = S^2 \times T^4$. Then we can construct a non-Kähler complex structure as follows. Let $L$ be a line bundle over $\mathbb{P}^1$ such that there are two sections $s_1, s_2 \in H^0 (L)$ ...
- 661
0
votes
1
answer
205
views
What's an example of an $n$-step nilpotent Lie algebra whose centre is not $g^{(n)}$?
Let $\mathfrak g$ be a Lie algebra. $\mathfrak g^{(1)}=\mathfrak g$ and $\mathfrak g^{(n+1)}=[\mathfrak g,\mathfrak g^{(n)}]=\mathbb R$-span$\{[X,Y]:X\in\mathfrak g,Y\in\mathfrak g^{(n)}\}$. The ...
- 275
2
votes
1
answer
168
views
Any references for generalised square functions?
In harmonic analysis, there is a big chunk of literature studying the square function $Sf=\|\{P_jf\}_{j=1}^\infty\|_{l^2}$, where $P_jf=(\psi_j\hat f)\check{}$ and $\{\psi_j\}$ is a partition of unity,...
- 275
2
votes
0
answers
123
views
Lie Algebra representations outside of generalized central characters
For a simple Lie algebra $\mathfrak{g}$, we can view its category of representations as fibered over $\operatorname{Spec}Z(\mathfrak{g})$ (a representation will lie over a point if the center's action ...
- 834
11
votes
1
answer
428
views
Is the Mandelbrot set Suslinian?
The Mandelbrot set is known to be (path-)connected and compact. A non-degenerate space with these properties is called a continuum.
A continuum $X$ is Suslinian if every collection of non-degenerate ...
- 3,317
5
votes
0
answers
116
views
Gauge Lie groupoid associated to $SO(3)$ double cover
From each Lie group $G$ and principal $G$-bundle $P \rightarrow E$ one can form an associated (or gauge) Lie groupoid as the quotient of pair groupoid by the action of $G$ on $P \times P$
$$ \frac{P \...
- 209
4
votes
1
answer
342
views
Some folklore about crystaline rings of differential operators
This question is a follow up to my previous question on rings of crystaline differential operators, to which I refer for the adequate definitions.
First, let's consider the case of an algebraically ...
- 3,318
9
votes
0
answers
241
views
What is the exact definition of the $\infty$-topos of sheaves on a localic $\infty$-groupoid?
The category $\mathrm{Locale}$ is equivalent to the category $0\text{-}\mathrm{Topos}$ .
The 2-category $\mathrm{LocalicGroupoid}$ (with suitable localization) is equivalent to the 2-category $1\text{...
- 6,962
1
vote
0
answers
106
views
Example of a $ \mathbb{Q} $-factorial, CM normal, projective, Mori dream space $ Z $ such that $ \operatorname{Cox}(Z) $ is integral and not CM
Does anyone know an example of a $ \mathbb{Q} $-factorial, normal, Cohen Macaulay, projective, Mori dream space $ Z $ over a field $ k $ of arbitrary characteristic such that the Cox ring of $ Z $ is ...
- 912
4
votes
3
answers
406
views
Hyperarithmetically least elements in $\Pi^1_1$ sets
My question is: Do we have a hyperarithmetically $\le_H$-least real in any $\Pi^1_1$ set? That is
Question. Suppose that $A$ is a non-empty $\Pi^1_1$ set. Then can we find a real $a\in A$ such that $...
- 3,042
5
votes
1
answer
243
views
p-adic L functions from Selmer groups - how canonical are they?
For this question, I am going to be very concrete but very much appreciate broader viewpoints. Let $F$ be a number field and define $F_n = F(\mu_{p^n})$ and let us suppose for simplicity that $\mu_p \...
- 7,746
1
vote
0
answers
145
views
Chainsaw quiver variety and parabolic bundle
How can we relate chainsaw quiver varieties with ADE type Nakajima quiver varieties?
We know that we can obtain ADE type quiver varieties (instantons over ALE spaces) by taking $\Gamma$ equivariant ...
- 395
2
votes
1
answer
151
views
For an element in the integral closure of an ideal $I$ - which power is in $I$?
Consider an ideal $I$ in a ring $R$. If $f \in R$ belongs to the integral closure of $I$, then there is $k_0 \geq 0$ such that $f^k \in I^{k-k_0}$ for all $k \geq k_0$. Are there any known upper ...
- 5,349
6
votes
1
answer
273
views
Can differential forms be exact and positive on a distribution?
Let $M$ be a manifold of dimension $d$, and let $\mathscr D$ be a distribution of rank $d - 1$ on $M$ (I would also be interested in lower rank distributions, but mainly I am interested in codimension ...
- 708
4
votes
0
answers
260
views
On the predual of the James tree space $\mathit{JT}$
$\newcommand\JT{\mathit{JT}}$The James tree space $\JT$ was the first example of a separable Banach space containing no copies of $\ell_1$ such that its dual space is non-separable. Since $\JT$ admits ...
- 4,461
7
votes
0
answers
140
views
Quasisplit forms of wonderful varieties
I will assume that $k$ is a characteristic $0$ non-archimedean field. A classical result of Tits [T] states that a quasisplit connected reductive group $G$ over $k$ is classified up to strict isogeny ...
- 121
0
votes
1
answer
242
views
When do the weak-star and compact convergence (compact-open) topology coincide on the dual of a Banach space?
In Measures Which Agree on Balls by Hoffmann-Jørgenson, it is claimed on page 323 that for an arbitrary Banach space $E$, if $\pi$ is the topology on $E^*$ of uniform convergence on compact subsets of ...
- 297
7
votes
0
answers
199
views
Strengthening Determinacy in constructive set theory?
Recall how games work. Let $X$ be a set (the "game space") and $\alpha$ an ordinal (the "game clock"). Alice and Bob take turns naming elements of $X$. We write them down in order ...
- 64k
3
votes
0
answers
93
views
Efficient multiplication of Cayley-Dickson numbers
The question was already asked here, but doesn't have any meaningful answer, hence I'd like to re-post it.
Assuming that we have an algebra with conjugation, we can use Cayley-Dickson construction to ...
- 1,171
1
vote
1
answer
489
views
Book on analysis and algebra at the undergraduate level [closed]
I am writing this post because I would like to know what are your references concerning math book showing the interplay between analysis and algebra at an undergraduate-advanced undergraduate level.
...
1
vote
1
answer
96
views
Number of ergodic transverse measures for geodesic laminations - bounded by the genus?
Consider a geodesic lamination $\Lambda$`of a closed hyperbolic surface $S$ of genus $g$, and take a globally transverse closed curve $I$. The lamination induces a return map $R_{\Lambda}: I \to I$, ...
1
vote
0
answers
105
views
Question about ergodic flows and periodicity
Let $X$ be a compact Haussdorf space, let $\mu$ be a Borel measure on $X$ with $\mathrm{supp}(\mu)=X$ and let $(\phi_s)_{s\in\mathbb R}$ be a one-parameter group of homeomorphisms which is
continuous ...
- 769
1
vote
1
answer
119
views
weakly separated sequences in RKHS are separated by Gleason metric
I am reading Agler and McCarthy's Pick Interpolation and Hilbert Function spaces. In Chapter 9, the authors ask to observe that weakly separated in a Reproducing kernel hilbert space implies separated ...
- 151
2
votes
0
answers
127
views
Classification of restricted Lie algebras of reductive groups
$\DeclareMathOperator\Lie{Lie}$Let $G/K$ be a reductive group over a field $K$. In characteristic $0$ the Lie algebra is invariant under base change of fields, so to understand $\Lie(G)$ it is enough ...
- 461
2
votes
0
answers
92
views
Explicit CW-complex replacement of the space of reparametrization maps
Let $P$ be the space of nondecreasing surjective maps from $[0,1]$ to itself equipped with the compact-open topology: $P$ is contractible. There exists a trivial fibration $P^{cof} \to P$ from a CW-...
- 3,901