All Questions
76 questions from the last 30 days
13
votes
2
answers
1k
views
What's the deal with De Morgan algebras and Kleene algebras?
The notion of Boolean algebras, and the corresponding classical propositional logic, is very standard, and it is easy to find information about them (for example, among many other such works, there is ...
- 32.5k
8
votes
1
answer
683
views
Infinite series and sum of two squares
Consider the following infinite sequence $a(n)$ generated by
$$\sum_{n\geq0} a(n)q^n
=\frac{\sum_{k\geq0}F(2k+1)q^{\binom{k+1}2}}{\sum_{k\geq0} q^{\binom{k+1}2}}$$
where the $F(2k+1)$ are the odd ...
- 43.2k
6
votes
3
answers
359
views
An uncountable measurable subset of $\Bbb R$ containing no nonempty perfect set
$\newcommand\R{\Bbb R}$Assuming the axiom of choice, is there an uncountable Lebesgue-measurable subset $S$ of $\R$ that contains no nonempty perfect set?
Of course, such a set $S$, if it exists, ...
- 128k
14
votes
1
answer
567
views
What is the "schematic" point of view for regular polyhedra?
Last week, I read Wikipedia's article on Alexander Grothendieck. It lists his twelve greatest contributions to mathematics as accounted for in Grothendieck's own Récoltes et Semailles. The final item ...
7
votes
2
answers
345
views
Reference request: $\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \Lambda_+$
I am looking for proof of the "well-known" result that for a $4$-dimensional Riemannian manifold $(M, g)$, we have an isomorphism
$$
\operatorname{Sym}^2_0(T^*M) \simeq \Lambda_- \otimes \...
- 113
3
votes
1
answer
407
views
Moments of a random variable related to uniform distribution on sphere
Let $u$ be taken uniformly from the unit sphere $\mathbb S^{n-1}$ and $D$ be a diagonal matrix. I'd like to find a general formula for
$$
\mathbb E[(u^\top D u)^m]
$$
for $m=1,2,3, \dots$, in terms of ...
- 1,608
11
votes
1
answer
379
views
Reference request: The non-productivity of Lindenbaum numbers
For a set $X$, the Lindenbaum number of $X$, $\aleph^*(X)$, is the least non-zero ordinal $\alpha$ such that there is no surjection $X\to\alpha$. It seems to be well-known that for infinite sets $X$ ...
- 2,206
6
votes
2
answers
471
views
About Grothendieck and special cases
I was recently reminded of a quote about (not by!) Alexander Grothendieck that I had read many years ago, I think in the 1990s or 2000s.
The quote was about the way in which Grothendieck solved ...
- 887
8
votes
1
answer
325
views
Fibers of generic smooth maps between manifolds of equal dimension
I have heard that the following is a "well-known"
Claim. Let $M$ and $N$ be smooth manifolds with equal dimensions and $M$ compact. Then a generic smooth map $f\colon M\to N$ has finite ...
- 501
8
votes
1
answer
438
views
Function $\phi$ such that $f(\phi(x,y)) = f(x) + f(y)$
I have a continuous function $f:\mathbb{R}^n\to\mathbb{R}$, and I am looking for a continuous (or at least measurable) function $\phi:\mathbb{R}^{2n}\to\mathbb{R}^n$ such that $f(\phi(x,y))=f(x)+f(y)$....
- 3,065
4
votes
1
answer
380
views
Where to begin in Computational Group Theory?
I'm coding a small application that looks for periodic solutions to the gravitational n-body problem. I'm trying to better understanding the symmetries of solutions, which is made up of the product of ...
- 297
3
votes
1
answer
167
views
Theory of $n$-truncated $A_\infty$ categories/functors?
One can define certain higher categorical truncations. For example, a discussion from the quasi-categories point of view can be found in HTT 5.5.6.
On the other hand, as a model of linear $\infty$-...
- 169
4
votes
1
answer
228
views
Literature Request: The derived category is Krull-Schmidt
I am looking for literature where it is proven that the derived category of bounded complexes over a finite-dimensional algebra is Krull-Schmidt. I found this question
Literature request: $K^b(\text{...
4
votes
1
answer
219
views
Reference request: Algebras over monoid objects in a monoidal category [duplicate]
Looking for a reference for the following easy-to-prove fact:
Say $T$ and $S$ are monads on $\text{Set}$ admitting a monoid homomorphism $\phi : S \to T$ (i.e., a morphism in $\text{Mon}([\text{Set},\...
3
votes
2
answers
147
views
Vector bundles over a Stein space are projective
It is a "well known" fact that
locally free sheaves over a Stein space $X$ are projective as $\mathcal{O}_X$-modules
(see e.g. just after Lemma 1.6 in O'Brian-Toledo-Tong's "The trace ...
- 1,149
2
votes
1
answer
215
views
Representing positive integers $n$ by binary forms $n=ax^2+by^2$, $a\geq 0$, $b\geq 0$
In there a finite set of $(a_k,b_k)\in\mathbb{Q}_{\geq 0}\times \mathbb{Q}_{\geq 0}$ so that any $n\in \mathbb{Z}_{>0}$
can be written as $n=a_k x^2+b_k y^2$ for some $k$ ?
This is related to ...
- 14k
3
votes
1
answer
155
views
Lower bound in the singularity of random Bernoulli matrices
Let $A_n$ be a random $n \times n$ matrix with entries in $\{-1, +1\}$. As usual, "random" here means with respect to the uniform measure over such matrices.
The strong version of the ...
- 380
2
votes
1
answer
129
views
Reference request for elementary convex geometry property
I need to use the following lemma for a proof. It is an elementary result, which I am sure is well known, just I am not familiar enough with the relative literature to find a direct reference. Is ...
- 345
11
votes
0
answers
428
views
Is there a theory of completions of semirings similar to $I$-adic completions of rings?
Let $L = \text{Con } (\mathbb{N}, 0, +) \setminus \Delta$ be the lattice of monoid congruences on the naturals, excluding the trivial congruence. As it happens, every $\theta \in L$ is the meet of ...
- 631
1
vote
1
answer
204
views
On a probabilistic integer factorization algorithm given bounds for one prime factor
We got a probabilistic integer factorization algorithm and experimental evidence with large
integers given bounds for one factor.
Let $D \ge 2$ be real number and let $p,q$ be primes and $N=pq$.
...
- 25.4k
6
votes
1
answer
138
views
Condition for a functor to induce a cartesian closed functor between categories of presheaves
We denote the category of presheaves on a small category ${\cal C}$ (set-valued functor-category) by $$\widehat{\cal C}:=[{\cal C}^{op},{\bf Set}].$$
Such a category is cartesian closed, i.e. it ...
- 567
1
vote
1
answer
158
views
Comparison of special metrics on Riemann surfaces with the hyperbolic one
Let $X$ be a complex algebraic curve, or equivalently a compact Riemann surface, of genus $a\ge2$. Denote $\omega_1, \dots , \omega_a$ a basis of holomorphic differentials, and consider the Riemaniann ...
- 31
11
votes
0
answers
346
views
Sobolev's PDE Scottish Book Problem (Problem 188)
In 1940 Sobolev recorded the following problem in the Scottish Book, and offered a bottle of wine for a solution.
In 2015, when the second edition of the Scottish Book with updates and commentary on ...
- 13k
1
vote
0
answers
271
views
Are there connections between Calabi-Yau manifolds and number theory?
I am interested in understanding whether there are any significant connections between Calabi-Yau manifolds and number theory. Calabi-Yau manifolds are central objects in algebraic geometry and string ...
-3
votes
1
answer
195
views
Bounding a number-theoretic integral
Find a good upper bound on $$\int_1^T\frac{\zeta'(s)}{\zeta(s)\zeta(1-s)}X^sdt,$$ where $s=c+it$ for a constant $c>1$ and $X>0$ is a parameter. If needed, we can assume RH.
My attempt here is ...
- 107
0
votes
1
answer
171
views
Is the evolution family self-adjoint?
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\diff}{\mathop{}\!\mathrm{d}}
\newcommand{\qtext}[1]{\quad\text{#1}}
\newcommand{\qtextq}[1]{\quad\text{#1}\quad}
$
I am reading Roland Schnaubelt's survey ...
- 825
4
votes
0
answers
181
views
Recognize this metric? Do you have a name for this metric on the product of spheres?
Take the product $S^2 \times S^2$ of two two-spheres,
but perturb the product metric as follows.
Think of each $S^2$ as the unit two-sphere in Euclidean 3-space
in the standard way
so that for $p ...
- 8,336
6
votes
0
answers
219
views
Hölder's inequality for trace-class maps of $p$-liquid spaces and a related conjecture of Grothendieck
In Condensed Math and Complex Geometry Proposition 8.8, Clausen-Scholze describe trace-class maps between projective objects in the $p$-liquid category as sums of rank 1 operators against ${<}p$-...
- 61
2
votes
1
answer
189
views
Measurability of a map involving probability measures
Let $X$ be a metrizable topological space and $\mathscr B_X$ the Borel $\sigma$-algebra on it. Let $\Delta X$ denote the set of probability measures on $(X,\mathscr B_X)$, and let $\mathscr B_{\Delta ...
- 415
5
votes
0
answers
161
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 ...
- 13.2k
1
vote
0
answers
170
views
Where can I find the book Haïm Brezis: Un mathématicien juif by Jacques Vauthier?
This year marks the passing of Haïm Brezis, and I would like to explore his life and work through this publication.
I tried to find it in several bookstores, in online format, but I really couldn't ...
- 509
4
votes
0
answers
149
views
Unramified Galois cohomology
Let $k$ be a local field with absolute Galois group $\Gamma_k$, inertia subgroup $I_k \subset \Gamma_k$, and residue field $\mathbb{F}$. Let $M$ be a finite Galois module over $k$.
The unramified ...
- 21.4k
1
vote
1
answer
91
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
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
0
votes
1
answer
121
views
Nonstationary phase method for oscillatory integral
I want to approximate an integral of the form $$\int_a^bf(t)e^{ig(t)}dt,$$where $f(t)$ is smooth, $g(t)$ is real-valued and smooth.
The stationary phase method says that if $t_0\in [a,b]$ is such that ...
- 107
3
votes
0
answers
132
views
On the convergence of $\sum_{n = 1}^\infty \left\{ n! \alpha \right\}$
Let $\alpha$ be an irrational number, and $\left\{ \cdot \right\}$ denotes the fractional part function. We have focused on how $\left\{ n! \alpha \right\}$ distributes in this MO question. And now I ...
2
votes
0
answers
125
views
Generalization of Koszul cohomology for wedge product with a fixed q-form: literature and references?
Let $A$ be a commutative ring. For an odd positive integer $q$ and an integer $p$ in the range $1 \leq p \leq q$, consider the cochain complex:
$0 \to \Lambda^p(A^N) \to \Lambda^{p+q}(A^N) \to \cdots \...
- 21
5
votes
0
answers
107
views
Derived functors and functorial resolutions/(co)fibrant replacements
I will begin with some context; the question itself is highlighted below. This is all for some notes I am writing personally on homological algebra, amongst other things.
To construct derived functors,...
6
votes
0
answers
103
views
Computer program for free restricted Lie polynomial
I am conducting numerical experiments involving the Gröbner–Shirshov Basis for restricted Lie algebras. At each step of the computation, I need to work with restricted Lie polynomials. Specifically, I ...
- 1,013
3
votes
1
answer
80
views
Full asymptotics near 1 of the generating function for integer partitions
Consider the generating function for integer partitions
$$
P(q)=\frac{1}{\prod_{k=1}^{\infty}(1-q^k)}=\sum_{n=0}^{\infty}
p(n)q^n\ ,
$$
where $p(n)$ is the number of integer partitions of $n$.
I am ...
- 23.1k
1
vote
0
answers
112
views
References on the partial trace
For the Hilbert space $H^N:=L((\mathbb R^{3})^N,\mathbb C)$, consider the projection operator $D: H^N\to H^N$ as follows :
$$D(\Phi):=\left(\int_{(\mathbb R^{3})^N}\overline{\Psi(x_1,\ldots, x_N)}\Phi(...
- 1,409
1
vote
0
answers
89
views
Generic reducedness of geometric generic fibre
Let $f:X\to Y$ be a surjective morphism between two projective schemes over a field of characteristic $p>0$. Also assume that $X$ is smooth,$Y$ smooth & irreducible and $f_*\mathcal{O}_X=\...
- 5,986
0
votes
1
answer
61
views
A combinatorial linear programming problem
$\newcommand\S{\mathscr S}$Let $\S$ be a collection of nonempty subsets of a finite set $S$ such that $A\not\subset B$ for any distinct $A$ and $B$ in $\S$.
Does then there always exist a function $f\...
- 128k
2
votes
1
answer
155
views
Baer sums of extensions
Apologies in advance if this question is too basic, I looked briefly through Weibel and the stacks project and couldn't find any relevant reference.
Let $\mathcal{A}$ denote an abelian category, and ...
- 2,907
4
votes
0
answers
94
views
Hölder stability of the PDE $\partial_t u (t, x) = \operatorname{div} \{ a (t, x) \nabla u(t, x) \}$
$
\newcommand{\bR}{\mathbb{R}}
\newcommand{\bE}{\mathbb{E}}
\newcommand{\bT}{\mathbb{T}}
\newcommand{\bP}{\mathbb{P}}
\newcommand{\bF}{\mathbb{F}}
\newcommand{\cF}{\mathcal{F}}
\newcommand{\eps}{\...
- 825
2
votes
1
answer
72
views
Coradical filtration for comodules is exhaustive
It is a standard fact in the theory of coalgebras and comodules that, given a coalgebra $C$ and a comodule $M$ over $C$, the coradical filtration
$$M_n := \Delta^{-1}(M\otimes C_0 + M_{n-1}\otimes C)$$...
- 518
3
votes
0
answers
79
views
Lipschitz retraction constant of $B^+$ into $S^+$ in $L^2([0,1])$
In Hilbert space modeled by $L^2([0,1])$ we can define a set $B^+=\{x\in B(0,1): x(t)\geq0 \quad \forall t\in [0,1] \}$ and $S^+=\{x\in S(0,1): x(t)\geq0 \quad \forall t\in [0,1] \}$ where where $B(...
3
votes
0
answers
87
views
Linearization coefficients for Jacobi polynomials
In general, for families of polynomials $\{ Q_n\}, \{ R_n\},\{S_n\}$, there exist linearization coefficients such that one may write the product $Q_m R_n = \sum_k c_{m,n}^k S_k$.
Let $P^{\alpha,\beta}...
- 177
3
votes
0
answers
105
views
Jacobian of a reducible curve with arbitrary singularities
Let X be a reduced, reducible curve over $\mathbb{C}$ with locally planar singularities, and let $\widetilde{X}$ be its normalization. I am interested in the Jacobian varieties $\mathrm{Jac}(X)$ and $\...
- 31
3
votes
0
answers
77
views
Reference Request: Pushforward of $\pi_1$ along a covering map and the Galois group
Let $f \colon (Y,y_0) \to (X,x_0)$ be a finite-to-one pointed covering map. The pushforward gives an inclusion $f_* \colon \pi_1(Y,y_0) \to \pi_1(X,x_0)$. If we take the universal cover $\widetilde{X}$...
- 949