All Questions
15,613 questions
0
votes
0
answers
22
views
Has this notion of "variation along the diagonal of a not-necessarily-smooth function" been studied before?
I am interested in knowing whether something along the lines of the "diagonal variation" defined below has been studied before. In spirit, the basic idea is that it is a kind of ...
- 698
5
votes
0
answers
156
views
If $\omega_1$ is not inaccessible in $L$, how hard can it be to find a non-measurable $\Sigma^1_3$ set of reals?
In his wonderfully titled paper Can you take Solovay's inaccessible away? Shelah showed that if every $\mathbf{\Sigma}^1_3$ set of reals is Lebesgue measurable, then $\omega_1$ is an inaccessible ...
- 12.4k
9
votes
2
answers
8k
views
The Paley-Wiener theorem and exponential decay.
Consider a function whose Fourier transform is supported on a half-ray:
$$
A(t)=\int_0^\infty \omega(E) e^{-iEt}d E,
$$
where I can suppose $\omega(E)\geq 0$ and any suitable regularity conditions on $...
- 1,461
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)...
- 3,671
3
votes
0
answers
90
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 ...
- 12.9k
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{\...
- 15.9k
1
vote
1
answer
240
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 ...
- 651
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 ...
- 6,476
3
votes
0
answers
139
views
Polynomial from degrees of Weyl group
Let $d_1, \dotsc d_n$ be the degrees (of fundamental invariants) of the Weyl group $W$ of a simple Lie group, (in the reflection representation; see table given on the Wikipedia page for their ...
3
votes
1
answer
118
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 \...
- 105k
4
votes
1
answer
174
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 ...
- 4,111
7
votes
2
answers
242
views
Prove that $ n \leq d+1 $ under ordering constraints in $\mathbb{R}^d$
Let $x_1, \dotsc, x_n \in \mathbb{R}^d$ and $\theta_1, \dotsc, \theta_n \in \mathbb{R}^d$ be vectors such that for every $k \in [n]$, the following inequality holds:
$$
\langle x_k, \theta_k \rangle &...
- 109k
3
votes
1
answer
76
views
Polarities for intuitionistic linear logic formulas inside classical linear logic (without linear implication)
In the article on intuitionistic linear logic on the LLWiki, it is stated that a polarization of formulas in classical linear logic is enough to make it equivalent to intuitionistic linear logic, ...
20
votes
4
answers
3k
views
Online References for Cartan Geometry
I would like to learn more about Cartan Geometry ("les espaces généralisés de Cartan"). I ordered Rick Sharpe's book "Differential Geometry: Cartan's generalization...", which would take a long time ...
- 26.3k
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(\...
- 2,242
39
votes
5
answers
38k
views
The letter $\wp$; Name & origin?
Do you think the letter $\wp$ has a name? It may depend on community - the language, region, speciality, etc, so if you don't mind, please be specific about yours. (Mainly I'd like to know the English ...
- 103
1
vote
1
answer
309
views
Numerical estimation of partial derivatives of convolved functions when closed forms do not exist
Summary: Some peak functions are convolutions which may not have a closed form solution. A classical example can that of a Voigt which is a convolution of a Lorentzian and a Gaussian, followed by ...
CommunityBot
- 1
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
6
votes
0
answers
187
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
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
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
13
votes
0
answers
800
views
Reference request for a complete and formal Duality Principle in category theory
Most textbooks on category theory only sketch the meaning of the Duality Principle. But even when they do it more formally, I have only seen a version so far which concerns the language of a (single) ...
- 63.1k
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
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
126
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
4
votes
0
answers
179
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
765
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
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
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
331
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
6
votes
2
answers
319
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
88
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.4k
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
11
votes
1
answer
499
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,054
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
-5
votes
0
answers
104
views
Examples of function satisfying some bound
Let $f$ be an arithmetic function such that $f(n)\ll n^{\alpha}$ for some Real number $\alpha$ in $[0,1)$.
Can someone give me examples of such functions other than the sum of divisors function or is ...
- 13.2k
5
votes
2
answers
217
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
176
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.6k
4
votes
1
answer
269
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
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
1
vote
1
answer
231
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