All Questions
23,892 questions
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$. ...
- 63.9k
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 (...
- 3,065
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
3
votes
3
answers
580
views
Approximate identities and pointwise convergence
I'm studying Fourier analysis and have a question about approximate identities.
Let $k_{\epsilon}$ be an approximate identity on $L^{1}(\mathbf{T})$. We know that $k_{\epsilon}*f\to f$ in $L^{1}$ as $...
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
1
vote
1
answer
286
views
Unpacking the plethystic substitution $h_n[n\mathbf{z}]$ in a paper by Aval, Bergeron and Garsia
I'm not familiar with the formalism of plethysm, so I need some help in unpacking the plethystic substitution $h_n[n\mathbf{z}]$ found in eqns. 5.6 and 5.9 of "Combinatorics of labelled ...
CommunityBot
- 1
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 ...
- 128k
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, ...
5
votes
1
answer
310
views
Is there a statement in Presburger arithmetic about primes this simple heuristic fails for?
I came up with the following conjecture while thinking about ways to formulate some heuristics about primes:
Conjecture: Given a statement $s$ in Presburger arithmetic, using an additional unary ...
- 16.6k
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,...
- 16.6k
21
votes
5
answers
18k
views
When is Sobolev space a subset of the continuous functions?
If we let $\Omega\subset\mathbb{R}^d$ with $d=1,2,3$ and define $\mathcal{H}^1(\Omega)=(w\in L_2(\Omega): \frac{\partial w}{\partial x_i}\in L_2(\Omega), i=1,...,d)$. My tutor has repeated several ...
- 18.7k
3
votes
2
answers
1k
views
Extensions of Urysohn's inequality
A version of Urysohn's inequality states that for a symmetric convex body $K \subset \mathbb{R}^n$, one has
$$
\left(\frac{\text{vol}(K)}{\text{vol}(B_2)} \right)^{1/n} \le \frac{1}{\sqrt{n}} E
\; \| ...
CommunityBot
- 1
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 ...
- 2,183
7
votes
2
answers
987
views
Every weakly compact cardinal is Mahlo
This is a reference question. Does anyone know any book or paper that has the proof that every weakly compact cardinal is Mahlo, using only combinatorics?
I know the definition of weak compactness has ...
- 328
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 ...
- 63.9k
6
votes
1
answer
835
views
Beauty of some numbers discovered by Ramanujan
I am a graduate PhD student and my topic is analytic number theory. I am also a mathematics teacher. I am planning to give a course to pupils in high school that motivates them to study arithmetic and ...
- 19.6k
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
1
vote
1
answer
183
views
Metric currents on singular measures in $\mathbb R^d$
Unless I am misunderstanding a lot of works, it is my understanding that a finite and non negative measure $\mu=g\mathcal{H}^\alpha$, where $\mathcal{H}^\alpha$ is the $\alpha$-Haudorff measure, ...
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 ...
- 15.9k
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 ...
- 35.5k
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
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
1
vote
1
answer
277
views
Intersection of the kernel with the interpolation space
$\DeclareMathOperator\Ker{Ker}$Given two Banach spaces $X$ and $Y$ with a continuous inclusion $X\subset Y$, and another couple $X’ \subset Y’$ with the same properties. Take $f : Y \longrightarrow ...
CommunityBot
- 1
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
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 (...
- 12.9k
11
votes
1
answer
500
views
Uncountable families of measurable sets with pairwise positive intersections
Let $(X,\mathcal{B},\mu)$ be an arbitrary finitely additive probability measure space, let $a>0$ and let $(A_i)_{i\in I}$ be an uncountable family of subsets with measure $\geq a$.
Is there an ...
- 10.6k
2
votes
1
answer
186
views
On local Galois deformation rings
Let $p,\ell$ be two different primes. Let $K$ be a finite field extension of $\mathbb{Q}_{\ell}$ and $ \bar{\rho}:G_{K}\to {\rm GL}_{n}(\mathbb{F}_p) $ be a continuous mod $p$ representation of the ...
- 190
1
vote
0
answers
150
views
What are alternative mathematical definitions of observers beyond Bennett and Hoffman's framework?
Motivation:
This question is inspired by a talk from Avi Wigderson given on Randomness, where the idea that the randomness is in the eye of the observer is suggested.
In the study of information ...
- 3,064
2
votes
1
answer
149
views
Show that $\|P(f\circ\varphi_{\lambda})-\widetilde{f}(\lambda)\|_p=\|P(f\circ\varphi_{\lambda}-\overline{P(\overline{f}\circ\varphi_{\lambda}}))\|_p.$
Let $\Omega = \mathbb B_n,$ the unit ball in $\mathbb C^n$ and $L^2_a(\Omega)$ be the Bergman space endowed with the normalized volume measure on $\Omega.$ Let $k_{\lambda}$ be the associated Bergman ...
CommunityBot
- 1
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
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 ...
- 109k
5
votes
2
answers
218
views
Smooth toric variety which is a cube is a bott tower (reference request)
According to Lee, Masuda and Park (page 3), the following result is "well-known in toric topology". I've found a proof, but I would like a published reference.
Let $X$ be a toric variety. ...
- 66
5
votes
0
answers
180
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
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
4
votes
1
answer
270
views
Examples of discrete-space continuous-time dynamical systems
Something that I see occur repeatedly in my work is the need for formal notions of discrete-space continuous-time dynamics — these are generally realized as digital oscillators that are interact using ...
- 34.7k
4
votes
1
answer
175
views
Explicitly computing the absolutely minimising Lipschitz extension
Is there an analytical or even numerical way to find the Absolutely Minimizing Lipschitz extension of a given function?
I know that the extension exist and it is unique (by Aronsson et al).
I found ...
- 6,215
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}...
- 3,587
2
votes
0
answers
228
views
Any rigorous construction of $\phi^4$ theories without the mass term in the Lagrangian? (revised)
There are various papers on rigorous construction of massive $\phi^4$ theories in $2$ or $3$ Euclidean dimensions.
In 2D, there are in fact more general results such as this one by Glimm, Jaffe and ...
- 3,477
1
vote
1
answer
64
views
What is $\left[ \begin{array}{c} K_i;0\\ \ell\\ \end{array} \right] _{\varepsilon _i}$ in the restricted specialization in QUE algebras?
I have a question about the book A Guide to Quantum Groups written by Vyjayanthi Chari and Andrew Pressley. It comes from section $9.3$ on page $300$ of this book
In Section 9.1, the authors define ...
- 1,846
4
votes
1
answer
132
views
Direct characterization of finite-dimensional $1$-injective Banach spaces
It follows from Kelley's Theorem that the only finite-dimensional $1$-injective Banach spaces are $\ell^\infty_n$, $n\in\mathbb N$. Is there a simple direct proof of this fact, without having to talk ...
- 31.5k
1
vote
1
answer
232
views
Looking for q-analog of derangement anagrams for a word
I have already known QPermutationDerangement:
It describes the distribution
$$
d_n(q)=\sum_{\sigma \in D_n} q^{\operatorname{maj}(\sigma)}
$$
Where we sum over all derangements of an $n$ element set.
...
CommunityBot
- 1
0
votes
1
answer
86
views
Lattice of functions and their minimal separating set upto topological equivalence
There is a very wide series of questions I have been thinking about and I am wondering if there is any literature on this type of structures.
Let's start with the set of all functions $F: \mathbb{R} \...
- 39
2
votes
0
answers
90
views
Representation of Dirac-delta distribution in subspace of functions
Suppose I have a subspace $V\subset L^2(\Omega)$ where $\Omega\subset \mathbb{R}^d$ is a bounded and closed set. $V$ is defined by
\begin{align}
V=\text{span}(\{\varphi_i(x): i=1,2,\dots,n\})
\end{...
- 93
8
votes
0
answers
244
views
Strengthening of Frankl's union-closed sets conjecture: An algebraic approach
Let $\mathcal F$ be a union-closed family of subsets of $[n]=\{1,2,...n\}$ and $n$ real numbers $x_1,x_2,...,x_n\geq 1$.
Conjecture: There exists $k\in [n]$ such that:
$$\sum_{k\in A,A\in \mathcal F}\...
- 1,462
3
votes
1
answer
752
views
Lower semicontinuous and convex envelope
L.Ambrosio, in paper [1] writes:
Let $g:\mathbb{R}\times\mathbb{R}^n\rightarrow\mathbb{R}$ be a function (...)
for every $s\in\mathbb{R}$, $z\in\mathbb{R}^n$; we denote, with a slight abuse of ...
CommunityBot
- 1
0
votes
2
answers
222
views
Reference to get quickly to modern discrete probability theory
I've had some formal training in Analysis - Functional Analysis, Basic Operator Algebra - and I've started working on probability - specifically Combinatorial Statistical Mechanics and Spin-Glasses. ...
- 1,723
5
votes
1
answer
425
views
Positiveness of the largest Lyapunov exponent
Let $\alpha\in \mathbb{R} / \mathbb{Q}$, let $A(x)$ be the $2$-by-$2$ matrix
$$
A(x)=\begin{pmatrix}
\dfrac{1}{{\lambda}^2}-2 \cos 2\pi x -1& 2\lambda \cos 2\pi x-\dfrac{1}{{\lambda}} \\
\dfrac{...
CommunityBot
- 1
4
votes
0
answers
132
views
Ring theoretical aspects of the DAHA
The double affine Hecke algebras (DAHA) were introduced by Cherednik in his study of Macdonald's inner product conjectures (which were solved affirmatively).
Nowdays there are many variations of the ...
- 12.9k