All Questions
23,892 questions
-1
votes
0
answers
53
views
convergence of convolution in Bochner space
I want to prove a well-known fact in $L^p(R^n)$ namely that, the convolution of an element in $L^p$ with an element of $L^1$ is in $L^p$
let: if $u∈L^p (R;X) , f∈L^1 (R)$ and $X$ is Separable and ...
4
votes
1
answer
92
views
Does an indexed functor $C \rightarrow \mathbb{B}$ extend to $\operatorname{Psh}(C) \rightarrow \mathbb{B}$?
This question concerns indexed categories and functors, as well as internal categories and functors.
$\newcommand{\Psh}{{\operatorname{Psh}}}$
$\newcommand{\Id}{{\operatorname{Id}}}$
$\newcommand{\...
- 285
1
vote
1
answer
90
views
Sobolev inequality with weight in the case $1<n\leq p$
Assume that $1<n\leq p$. Does there exist a (non-negative) measure $\mu$ (preferably with some positive density function with respect to the Lebesue measure $dx$) and $q>p$ so that for all $f\in ...
- 459
3
votes
0
answers
91
views
Reference request: étale local system on $\Gamma\backslash\mathcal H$ for $\Gamma$ non-congruence
Suppose $\mathcal H$ is the upper half plane, and $\Gamma\subset \operatorname{PSL}_2(\mathbb Z)$ is a finite index subgroup. Then by Belyi's theorem we know that $\Gamma\backslash\mathcal H$ is an ...
- 775
4
votes
1
answer
197
views
Solving a three-parameter recursive sequence
Consider the triple-indexed sequence of integers defined by
\begin{align} \label{coefficientsV} \nonumber
f(\alpha,\beta,\gamma)
&:=(2\alpha+8\beta+12\gamma-1)\cdot f(\alpha-1,\beta,\gamma)...
- 43.2k
1
vote
1
answer
117
views
Lower bound for a commutator trace
I have this Hilbert space of square-integrable complex-valued functions on a square, $\mathbb{L}^2([0,1]^2)$. And let $M_x$, $M_y$, and $M_{x+y} = M_x+M_y$ be the operators of multiplication by the ...
- 121
3
votes
1
answer
121
views
Reference request: ray class group as quotient of finite ideles
Let $K$ be a number field, and write $\mathbb{A}_{K,f}^\times$ for the group of finite ideles of $K$. That is
$$
\mathbb{A}_{K,f}^\times = \{(u_v)_v \in \prod_{v \nmid \infty} K_v^\times : v(u_v) = 0 \...
- 411
16
votes
1
answer
969
views
Pedagogically intuitive reformulation of Zorn's Lemma for functional analysis
While teaching an applied functional analysis class, I’ve noticed that students often struggle to develop an intuitive understanding of Zorn’s lemma. It’s relatively straightforward to explain why ...
- 5,824
1
vote
1
answer
241
views
The equation $ax^2 +by^2 =1 \mod P$ in cyclotomic field
Let $L$ be a cyclotomic field, and $P$ a prime ideal of $\mathcal{O}_L$.
is there any symbol for the equation $ax^2 + by^2 =1 \mod P$ and if so, is it computable in polynomial time?
if $a$ is ...
- 133
3
votes
0
answers
91
views
Are the reductions of the cuspidal characters of GL2(Fq) distinct?
Let $p$ be an odd prime and $q=p^n$ for some $n \geq 1$. If $\mathbb{F}_q$ is the unique, up to isomorphism, finite field with $q$ elements then the cuspidal representations of the group $\rm{GL}_2(\...
- 117
9
votes
0
answers
275
views
What is known about vector subspaces of polynomial rings closed under factors?
Let $R$ be a commutative ring. Call a nonempty subset $F$ of $R$ a factroid if it is closed under sums and factors. That is:
If $a,b \in F$, then $a+b \in F$, and
If $a,b \in R$ with $a\in R$ ...
- 1,802
4
votes
1
answer
175
views
Every elliptic surface contains only finitely many negative self-intersection rational curves?
By a properly elliptic surface, I mean an algebraic surface $X$ with Kodaira dimension $\kappa(X)=1$. It has a natural elliptic fibration $\pi\colon X\rightarrow S$.
According to section 5.2 of this ...
- 141
0
votes
1
answer
169
views
Existence of a "universal" measure-preserving transformation on the unit interval
Let $I = [0,1]$ be the unit interval equipped with the Lebesgue measure $\lambda$. Let $\mathcal{M}$ be the set of all Lebesgue measure-preserving transformations $T: I \to I$. We say a transformation ...
user545331
5
votes
1
answer
202
views
Turing degrees of lim infs of computable functions
The limit lemma gives a natural characterisation of functions $f : \mathbb{N} \to 2$ with Turing degree below $0'$: they are precisely those that can be written as $f(n) = \lim_k f_k(n)$ where $f_k : \...
- 4,378
1
vote
1
answer
179
views
Unitary representations of discrete (locally compact) groups
Let $\Gamma$ be a discrete (locally compact) subgroup of a locally compact Lie group. Let $H = L^2(\mathbb R^n, \mathbb C)$. Assume we have a complex unitary representation $$\Phi : \Gamma \to \...
- 357
3
votes
0
answers
155
views
Colimits in commutative Banach algebras?
Let $K$ be a complete non-Archimedean field. It is known that the category $\mathrm{Ban}_K$ of $K$-Banach spaces with bounded linear maps does not have infinite colimits. The usual argument for $\...
- 426
2
votes
0
answers
61
views
Iwahori spherical representations of GL(n) with no nonzero fixed vectors under the fixator of a panel of the affine building
Let $G$ be the group $GL(n,F)$, where $F$ is a p-adic field, and $I$ its standard Iwahori subgroup. Let $\pi$ be an irreducible smooth representation of $G$ with nonzero $I$-fixed vectors. It is well ...
- 21
6
votes
0
answers
188
views
Is there a characterization of measurables in terms of indiscernibles?
There is a characterization of $\alpha$-Erdős cardinals in terms of sets of indiscernibles of order type $\alpha$. There is also a characterization of Ramsey cardinals in terms of sets of good ...
- 2,031
1
vote
0
answers
42
views
Sub-Gaussian analysis via bounded decomposition?
Let $\psi_\alpha(x) := \exp(x^\alpha)-1$.
The Sub-Gaussian Norm $\lVert X \rVert_{\psi_2}$ of a random variable $X$ is defined as
$$
\lVert X\rVert_{\psi_2} = \inf\{c>0\mid \mathbb{E}[\varphi_2(|X|/...
- 2,183
0
votes
0
answers
140
views
State of the art on attempts to solve the elliptic curve discrete logarithm problem through transfering the problem to a weaker curve
Let an elliptic curve $E$, and 2 points on such curve $P$ and $O$ the methods I’m talking about consist in creating a weaker elliptic curve $F$ and mapping $P$ and $O$ to $F$ while successfully ...
- 87
1
vote
2
answers
117
views
If $f\in C([0,\infty))$, does $\delta>0$ and $g\in C^1((0,\delta))\cap C([0,\delta])$ s.t. $g\geq f$ on $[0,\delta]$ and $g(0)=f(0)$ exist?
The question is the following:
Suppose $f : [0,\infty) \rightarrow \mathbb{R}$ is a continuous function. Can I find $\delta \in (0,\infty)$ and a function $g : [0,\delta] \rightarrow \mathbb{R}$ such ...
- 309
0
votes
0
answers
61
views
Defining rank of an abelian subgroup using the second centralizer
I recently posted this on MSE, but didn't receive any feedback; so I'm posting it on MO.
I recently came across this article which explored the maximal abelian subgroups of the symmetric group $S_n$. ...
- 195
2
votes
0
answers
66
views
Projective cover (minimal) for (derived)complete modules over Noetherian local rings exist?
Let $(R,\mathfrak m)$ be a commutative Noetherian local ring. Let $M$ be an $R$-module which is $\mathfrak m$-adically derived complete. Then, does there exist a free $R$-module $F$ and a surjective $...
- 412
2
votes
1
answer
281
views
Can the number of elements of order 4 in the Tate–Shafarevich group grow arbitrarily large?
Let $E/K$ be a number field. For quadratic field extensions $L/K$, it is known that $\operatorname{Ш}(E/L)[2]$ can be arbitrarily large (cf. P. L. Clark and S. Sharif, "Period, index and ...
- 1,541
2
votes
0
answers
82
views
The support of the functions in the closed span of the Rademacher functions in $L_1(0,1)$
Given a measurable function $f:(0,1)\to \mathbb{R}$, we denote by $M(f)$ the measure of the set $\{t\in (0,1) : f(t)\neq 0\}$.
It is not difficult to prove that if $(f_n)$ is a normalized sequence in $...
- 4,461
0
votes
0
answers
55
views
reference request: conditions for pointwise and operator-norm convergence of kernel projections
At a very high level, I’m interested in the following question. Suppose $X$ is a (separable) Hilbert space, and $T_n : X \rightarrow X$ is a sequence of finite rank self-adjoint maps that converges (...
- 101
7
votes
2
answers
394
views
Tangent space to infinite dimensional manifolds
In finite dimensional geometry, there is a single invariant of a vector space - its dimension. This characterizes finite dimensional manifolds as being glued from Euclidean balls.
This situation is ...
- 593
4
votes
1
answer
227
views
Problem in Probability Theory and Functional Analysis
Let's consider the vector space V of bounded scalar functions, which includes the constant function 1. We assume that any uniform limit of a bounded monotonic sequence of functions from V also ...
4
votes
0
answers
128
views
mod $p$ local Galois representation attached to elliptic curves
In the paper, lemma 4.4. The author gives the form of the representation of $G_p$ on $E[p]$ of the form
$$\begin{pmatrix} \varepsilon\chi & *\\0 & \chi^{-1} \end{pmatrix}.$$
Do they assumed ...
- 275
0
votes
1
answer
53
views
Exponentially weighted norms are not equivalent
Let $\|u\|^2_{L^2_\eta}$ be the exponentially weighted norm of the space of functions $u(x)$ for which $u(x)\mathrm{e}^{\eta\cdot x}$ with $\eta\in \mathbb{R}$ is in $L^2(\mathbb{R})$. How can I show ...
1
vote
1
answer
74
views
Positivity of caloric measure density on a cylinder
Let $u$ be a solution to the heat equation $u_t = \Delta u$ in the unit cylinder $B_1\times(-1,0) \subset \mathbb R^{n+1}$.
Then, it is well known (see for instance Chapter 2 in "Watson - ...
0
votes
0
answers
146
views
On the pointwise limit of a sequence of analytic functions
I have been confused with this problem for weeks now. Suppose I have Banach spaces $E$ and $F$ and a sequence of functions $f_{n}: U \subset E \to F$, where $U$ is open and nonempty. Let $x \in U$ be ...
0
votes
0
answers
50
views
Self-adjoint operators and index of quadratic form associated to it
Let $B$ a bounded self-adjoint operator on a real Hilbert space $H$ with an associated inner product $(\cdot,\cdot).$ Take $V=\operatorname{span}\{f_1, f_2, \ldots, f_n\}$ a finite dimensional ...
- 101
1
vote
0
answers
65
views
Fractional Sobolev embedding
Let $s\in (0,1)$ and $1<p<\infty$. Let $H^{s,p}(\mathbb{R}^n)=H^{s,p}$ the Bessel potential space, defined as the image of $L^p(\mathbb{R^n})$ by the Bessel potential. It is known that these ...
3
votes
1
answer
307
views
Approximate square root of Dirac delta function on $\mathrm{SL}_2(\mathbb{R})$
$\DeclareMathOperator\SL{SL}\DeclareMathOperator\AdS{AdS}$I hope to find a sequence of complex-valued functions $\{f_i(g)\}$ on the group element $g$ of a locally compact group $\SL(2,\mathbb{R})$ so ...
- 175
1
vote
0
answers
87
views
Proof mistake of: $M_0A(G) = B(G)$ for a locally compact group
I am posting my question of mathstack exchange here. (see: My post on MSE)
Let $G$ be a locally compact group with Haar measure $\mu$, and $B(G),A(G),C_r^*(G),L(G)$ be its Fourier-Stieltjes algebra, ...
- 261
0
votes
1
answer
89
views
Singular continuous ergodic measures for the map $z \to z^2$
Where can I find the details of constructing singular continuous ergodic measures for the map $z \to z^2$ on the unit circle? I know that it was done by Furstenberg, but I could not find it explicitly ...
0
votes
0
answers
42
views
Reference request: in Alexandrov geometry gradient flows preserve extremal subsets
It is mentioned in literature that in Alexandrov geometry gradient flows of semi-concave functions preserve each extremal subset.
I am looking for a proof of this fact.
- 21.8k
7
votes
3
answers
770
views
Implicit uses of Countable or Dependent Choice
What are instances of implicit reliance on countable or dependent choice in classic books? Two examples are
Introduction to Commutative Algebra by M.F. Atiyah and I.G. MacDonald
where it is claimed,...
6
votes
2
answers
320
views
Set theoretical foundations for derived categories
A modern approach to derived functors, that has been shown to be useful in a number of different circunstances is that of a derived category (see the book by Yakutieli, for example, here).
However, it ...
- 3,318
2
votes
1
answer
78
views
Is there a relative projective tensor (cross-)norm for Banach $A$-algebras?
$\newcommand\norm[1]{\lVert#1\rVert}$I am interested in a relative version of the projective tensor product and projective tensor (cross-)norm for Banach algebras. Let $A$, $B$, $C$ be commutative (...
- 7,127
0
votes
1
answer
139
views
Existence of infinite rank compact operator
Given any separable Banach space $X$, we know that always there exists a Banach space $Y$ such that there is an injective compact operator from $X$ to $Y$. Can we show that given any infinite ...
- 585
5
votes
0
answers
179
views
Left Adjoint From the Category of Topological Groups to the Category of Condensed Groups
In Scholze's Lecture Notes on Condensed Sets, the author states that (Remark 1.8) the functor that takes a topological group $G$ to its condensation $\underline{G}$ has a left-adjoint, but we do not ...
- 241
0
votes
0
answers
52
views
Reference request for the determinant of a matrix constructed from Pascal's triangle
One can prove by induction that the matrix $M^{(n)}$ given by
$$ \begin{pmatrix}
1 & 1 & 1 & 1 & \dots & \binom{n}{0} \\
1 & 2 & 3 & 4 & \dots & \binom{n+1}{1} \...
- 5,546
13
votes
0
answers
332
views
Lie theory for quantum groups?
$\DeclareMathOperator\SU{SU}$I know about quantum groups from two perspectives:
Compact quantum groups in the sense of Woronowicz.
Deformation of the universal enveloping algebra of a Lie algebra in ...
- 357
2
votes
0
answers
26
views
Reference for the biequivalence between the bicategory of distributors and the bicategory of two-sided discrete fibrations
It is well known that a distributor/profunctor $A \not\rightarrow B$, i.e. a functor $B^{\text{op}} \times A \to \mathrm{Set}$, is equivalent to a two-sided discrete fibration from $A$ to $B$. ...
- 10.7k
1
vote
1
answer
76
views
Determinant formula for a certain parametrized M-matrix
Let $P_{ij}$ be variables, and let $A \in \mathbb{R}^{n\times n}$ be the matrix defined by
$$
A_{ij} = \begin{cases}
-P_{ij} & i \neq j,\\
P_{i1} + P_{i2} + \dots + P_{in} & i=j.
\end{cases}
$$...
- 20.2k
0
votes
0
answers
80
views
Relation between Chow groups and K theory
I am reading about Chow groups and algebraic K-theory of schemes. I get to know that for smooth schemes the re is a strongly convergent spectral sequence
$$E_2^{p,q} = CH^{-q}(X,-p-q) \implies K_{-p-q}...
- 613
4
votes
0
answers
180
views
Subgroups that conjugate-cover the ambient group
Let $G$ be a finite group, and suppose that a set of proper subgroups $H_1,\dotsc,H_n$ satisfy $G=\bigcup_{g\in G}\bigcup_{i=1}^nH_i^g$, where $H_i^g$ is the conjugate of $H_i$ by $g$. In this case, ...
1
vote
0
answers
127
views
Trace type convergence of the Laplacian on the box to the Laplacian on $\mathbb R^d$
Let $-\Delta \colon H^2(\mathbb R^d) \to \mathbb R^d$ be the (negative) Laplacian on the full space and $-\Delta_L$ the Laplacian acting on $L^2([-L,L]^d)$ with some boundary conditions making it self-...
- 61