All Questions
153,413
questions
15
votes
1
answer
1k
views
Higher recursion theory and reverse mathematics: What is to $\Pi^1_1$-$CA_0$ as $RCA_0$ is to $ACA_0$?
There is an extremely rich and well-understood analogy between "recursively enumerable" and "$\Pi^1_1$" – indeed, this is the starting point of metarecursion theory, and $\alpha$-...
- 19.3k
15
votes
4
answers
996
views
Can we get good rational approximations in all residue classes?
The classic Hurwitz theorem for rational approximations (in simplest form; the constant can of course be improved) gives infinitely many approximations $\frac mn$ to an irrational $\alpha$ with $|\...
- 1,785
9
votes
1
answer
425
views
Stationary sets in HOD
My questions concern the following quote from “The HOD Dichotomy”, page 8.
"… notice that $\ cof(\omega)\cap\lambda$ belongs to $HOD$ even though it might mean
something else there. Also, $\{S\...
- 971
3
votes
1
answer
501
views
Examples of functors $\mathbf{Set} \to \mathbf{Set}$ which are not analytic
Let $\mathbb{B}$ denote the groupoid of finite sets and bijections.
A functor $F : \mathbf{Set} \to \mathbf{Set}$ is analytic if it is the left Kan extension of some functor $G : \mathbb{B} \to \...
- 295
2
votes
0
answers
184
views
Showing $\langle \frac{\partial b(v)}{\partial t}, v \rangle_{H^{-1}(\Omega), H^1(\Omega)} = \frac{d}{dt}\int_{\Omega}\Psi^*(b(v))$
Let $b$ be continuous and increasing with $b(0) = 0$. Define $\Psi(t) = \int_0^t b(s)\;ds$ and $\Psi^*(s) = \sup_{r \in \mathbb{R}} (sr-\Psi(r))$.
(Note $\Psi^*(b(s)) + \Psi(s) = sb(s)$).
Let $v \...
- 173
5
votes
2
answers
377
views
Light inside a polyhedron
I have two questions the same as Mostafa's Question:
Visibility of vertices in polyhedra
Suppose $P$ is a closed polyhedron in space (i.e. a union of polygons which is homeomorphic to $S^2$) and $X$ ...
- 628
4
votes
1
answer
206
views
Regarding the definition of S-flows over a category (given a monoid S)
(This question was originally directed to Simone Virili, referring to the answer https://mathoverflow.net/a/103840/2926, but could also be addressed to the greater community.)
I was wondering if you ...
- 73
5
votes
1
answer
383
views
Castelnuovo's rationality criterion on singular surfaces?
Let $S$ be a projective surface over an algebraically closed field. Suppose that $q(S)=h^1(\mathcal O_S)=0$ and $P_2(S)=h^0(\mathcal O_S(2K_S))=0$. If $S$ is smooth, Castelnuovo's rationality ...
- 2,205
1
vote
1
answer
325
views
codimension one more than the dimension of a variety
If I have a variety $V$ with dimension $k$ and degree $d$, then a subspace of codimension $k$ in general position w.t.r. to $V$ intersects the variety in at most $d$ points. What can one say about a ...
- 325
0
votes
0
answers
307
views
Divisibility in homology/homotopy
I have a simply-connected CW-complex $F$ of finite-type, and I know that the imprimitivity of its particular integral homology is divisible by an odd prime $p$; that is,
$$ \forall n,\exists \delta, \...
- 725
14
votes
0
answers
365
views
Are there additive subgroups of reals of dimension 1 with no subgroups of dimension strictly between 0 and 1?
I will use $dimA$ to denote the Hausdorff dimension of a set $A \subseteq \mathbb{R}$. Being a null set means having Lebesgue measure zero.
In the 1966 paper "Additive gruppen mit vorgegebener ...
- 241
5
votes
1
answer
357
views
Is $H^\infty$ a second dual space?
Let $H^\infty$ denote the Banach space of all bounded analytic functions on the open disc $\mathbb{D}$. It is easy to see that $H^\infty$ is a dual space. However, is there a Banach sapce $Y$ such ...
- 53
1
vote
1
answer
172
views
zeros of perturbations of truncations of $\sin(z)$
Maybe this is obvious, but it comes to my mind now.
I was thinking about the zeros of $\sin(z).$
Imagine, we think in an analytic function on $\mathbb{C}$ with one zero in $0$ and all the other zeros ...
- 1,785
3
votes
1
answer
355
views
Why do we use analytic coordinates to characterize singularity?
I read about Du Val singularities on surface are classified by equations of ADE type. For example, $x^2+y^2+z^{n+1}=0$ for A type. As not every surface can have a neighbourhood embedded in $\mathbb{A}^...
user39380
2
votes
0
answers
193
views
Adjoint action of semi-direct product
Let $G$ and $H$ be Lie groups with associated Lie algebras $\mathfrak{g}:=\text{Lie}(G)$ and $\mathfrak{h}:=\text{Lie}(H)$ and adjoint actions
$\text{Ad}^G:G \to \text{Aut}_\text{Lie}(\mathfrak{g})$ ...
11
votes
2
answers
1k
views
Is the geometric realization of a level-wise weak equivalence a weak equivalence?
For the purposes of this question a topological space will mean a compactly generated weak Hausdorff space, though I am actually somewhat flexible on what category of topological spaces we use. I ...
- 27.2k
2
votes
0
answers
143
views
Minimizing some $H^{-1}$ functional over (a subset of) probability densities in $R^d$
Let me consider the following subset of probability measures in $R^d$
$$
\mathcal{K}_M=\left\{0\leq u(x)\in L^1(R^d):\quad \int u(x)dx =1,\,\int|x|^2u(x)dx\leq M,\,\int u(x)|\log u(x)|dx\leq M\right\}
...
- 5,163
2
votes
2
answers
919
views
Finite Quotients and Resolutions of Singularities
So, I feel like I'm missing something obvious, but I have the following situation:
Let $X\to Y$ be a finite group quotient of schemes (in fact, varieties) by the finite group $G$. Let $\tilde{Y}\to ...
- 15.8k
7
votes
1
answer
424
views
On Consistency of an Existence
Let $\omega \leq \kappa <2^{\omega}$ , $\omega \leq\lambda \leq \kappa$ and $D(\kappa, \lambda)$ be the statement:
For all $ \mathfrak{B} \subseteq \mathbf{P}(\omega)$ with $|\mathfrak{B}|=\kappa$...
- 2,341
5
votes
1
answer
431
views
When is the corner algebra $PM_n(A)P$ isomorphic to $A$?
In the algebra of matrices $M_n(A)$ over a $C^*$ algebra $A$, consider the corner algebra $PM_n(A)P$ for a Hermitian projection $P\in M_n(A)$. Is there any condition known for $P$ to make $PM_n(A)P$ ...
- 1,213
2
votes
0
answers
131
views
Positive, Uni-modal, Log-concave Combinatorics
We define a sequence, $\{a_n\}_{n=0}^\infty$, to be a uni-modal sequence if for some $m$, $$a_0<a_1<\cdots<a_m,\ \ \ \ a_m>a_{m+1}>a_{m+2}>\cdots.$$
We define a sequence, $\{a_n\}_{...
- 410
1
vote
0
answers
323
views
What's Known About the Green's Function to the 1D Diffusion Equation with Position-dependent Diffusion Coefficient?
Consider a one-dimensional diffusion equation
$$
C(x) \partial_t \Phi(t,x) = \partial_x^2 \Phi(t,x),
$$
on the interval $[0,1]$. The function $C(x)$ has a pole of order 1 at $x=0$ and a pole of finite ...
- 41
5
votes
0
answers
271
views
Formal vs analytic trivializations of line bundles
Let $X$ be a smooth complex projective variety.
Let $Y$ be a smooth divisor on $X$, and let $\mathfrak X$ be the formal completion of $X$ along $Y$.
Question.
If $\mathcal L$ is a line bundle on $...
- 8,738
14
votes
1
answer
1k
views
Is the adjoint L-function on GL(m) holomorphic?
Let $\pi$ be an automorphic representation on $\mathrm{GL}(m)/\mathbb{Q}$.
Define $$L(s,\pi,\mathrm{Ad}):=\frac{L(s,\pi\times\overline{\pi})}{\zeta(s)}.$$ This is an $L$-function with Euler product of ...
- 253
8
votes
1
answer
660
views
Which nilpotent orbit closures admit Springer resolutions?
Let $G$ be a connected, simply-connected complex semisimple group. We have the famous Springer resolution $$T^*(G/B)\rightarrow\mathcal{N}$$ of the closure of the regular nilpotent orbit. My ...
- 4,870
1
vote
0
answers
148
views
Do the irreducible unitary representations of a locally compact group form a separating set for the Radon measures on the group?
Let $\mu$ and $\nu$ be two Radon measures on a locally compact group $G$. For every irreducible unitary representation $\pi$ of $G$ and vectors $u$ and $v$ from the corresponding Hilbert space $H_\pi$ ...
- 11
4
votes
1
answer
544
views
Counterexample to volume comparison inequality assuming only scalar curvature bound?
The Gromov-Bishop volume comparison theorem says that if we have a lower bound for the Ricci curvature on $(M,g)$, then its geodesic ball has volume not greater than the geodesic ball with the same ...
- 141
0
votes
1
answer
374
views
Legendre differential equation with additional term
In an application I encountered the ODE
$$ \left( {x}^{2}-1 \right) {\frac {{\rm d}^{2}}{{\rm d}{x}^{2}}}f
\left( x \right) +x \left( {\frac {\rm d}{{\rm d}x}}f \left( x
\right) \right) \left( 8\,...
user37929
7
votes
3
answers
637
views
Cofinality of a $\sigma$-ideal of $\mathbb{R}$
The cofinality of a partially ordered set $\left( P,\leq \right)$, written $cof(P)$, is the smallest cardinality of a subset $T$ of $P$ that is [EDIT: cofinal] in $P$, i.e. for every element $p\in P$ ...
- 73
4
votes
3
answers
2k
views
Algebraic K-theory can be seen as a generalization of Linear algebra? [closed]
Algebraic K-theory can be seen as a generalization of Linear algebra?
If yes, how so?
user51486
3
votes
1
answer
427
views
R-linear representations of sl(2,C)
Is there some good reference for the classification of finite-dimensional ${\mathbb R}$-linear (as opposed to ${\mathbb C}$-linear) representations of $\mathfrak{sl}_2{\mathbb C}$?
Equivalently, what ...
- 10.3k
1
vote
1
answer
620
views
a closed form lower bound solution for linear programming
Given a linear objective function and a system of linear constraints, is there any known closed form lower bounds for it?
to clearly express the problem assume that
$$
z(\mathbf{a,B,c})=\mathop {\inf} ...
- 275
2
votes
0
answers
4k
views
Integral of sin(x)/sqrt(x) from 0 to \pi [closed]
How to calculate improper integral $\int_{0}^{\pi}{\frac{\sin{t}}{\sqrt{t}}dt}$?
- 51
28
votes
5
answers
2k
views
Visibility of vertices in polyhedra
Suppose $P$ is a closed polyhedron in space (i.e. a union of polygons which is homeomorphic to $S^2$) and $X$ is an interior point of $P$. Is it true that $X$ can see at least one vertex of $P$? More ...
- 4,454
8
votes
0
answers
989
views
On the sum of consecutive primes and product of first and last
Lets consider the sequence of consecutive prime numbers $p_1=2 , p_2=3 ,p_4=5 , \cdots$
. $(p_n,p_{j})$ is to be called good prime pair if $$\sum_{i =n }^{j}p_i= p_n p_{j}$$
Meaning the sum of set of ...
- 305
11
votes
2
answers
806
views
On the Steiner system $S(4,5,11)$
Is there a nice way to partition the edges of the complete $5$-uniform hypergraph
on $11$ vertices into $7$ copies of the Steiner system $S(4,5,11)$? If this is
obvious or elementary, I apologize in ...
user48028
6
votes
1
answer
1k
views
A weak version of Bass' conjecture
Let $A$ be a finitely generated $\mathbb{Z}$-algebra which is a UFD. Then (a special case of) the Bass conjecture states that $K_0(A)$ is a finitely generated abelian group. As far as I am aware, this ...
- 20.8k
3
votes
1
answer
304
views
Mutual information decrease with coarse-graining
Let $X,A,Y,B,C,D$ be random binary variables. $D$ is independent from $X,A,C$ and $C$ is independent from $Y,B,D$.
Is it true that:
If $I(Y:B|D=0)\leq \epsilon$ then $I(X\oplus Y:A\oplus B|C=0,D=0)\...
- 585
11
votes
1
answer
430
views
A variant of Cholesky decomposition involving binary matrices
Studying a problem that is not directly related to linear algebra I came across the following problem.
Let $B$ be $n \times n$ symmetric matrix whose entries are non-negative integers. I would like ...
- 3,433
5
votes
0
answers
236
views
A generalization of the Weil reciprocity law in a case of any two sections of line bundles on a curve
It seems to me that there should exist a generalization of the Weil reciprocity law on curves, where instead of functions one takes arbitrary sections of two line bundles.
More precisely, it might ...
- 4,296
5
votes
3
answers
953
views
Sequential closure of a set: standard terminology, notation, and properties
Let $X$ be a topological vector space (or, perhaps, more generally uniform space). Let $A\subset X$ be a subset. Let $A^s$ denote the set of limits of all convergent sequences (I guess $A^s$ is called ...
- 21.1k
2
votes
1
answer
403
views
Some questions related to Iwasawa invariants of elliptic curves
Let $E$ be an elliptic curve defined over $\mathbb{Q}$ with good ordinary reduction at an odd prime $p$.
Let $\mathbb{Z}_{p}$ denote the ring of $p$-adic integers, and $\mathbb{Q}^{cyc}$ be the ...
- 1,211
3
votes
1
answer
357
views
Units of Endomorphism Rings of Jacobian Varieties with Real Multiplication
Let $(A,a)$ be a principally polarised (with indecomposable polarisation) Abelian variety over $\mathbb C$. Assume that End(A) contains an order $R$ of a totally real number field of degree $>1$ ...
- 139
2
votes
1
answer
456
views
A canonical G_m (or G) action on the Slodowy slice
Question
By Slodowy slice I mean a transverse slice at a subregular nilpotent orbit in a simple Lie algebra $\mathfrak{g}$ (in particular I am not intersecting with the nilpotent cone). Consider the ...
- 1,363
4
votes
3
answers
1k
views
Frechet Derivative in General Topological Vector Space
If I have a two Hausdorff topological vector spaces, $E$ and $F$ and a mapping $f:E\to F$, is it possible to have a meaningful notion of the derivative of $f$ if the space cannot be endowed with a ...
- 141
1
vote
0
answers
94
views
Determining the exact form of a projection in a Hilbert space
Let $$\Omega = \left\{f(x) \in \mathcal{L}^2[0,T]: \frac{1}{T}\int_0^Tf(x)dx = \mu,~ a \le f(x) \le b,~\forall x \in [0,T]\right\},$$
where $\mathcal{L}^2[0,T]$ is the set of Lebesgue square-...
- 108
3
votes
1
answer
2k
views
Conditions for a parametric curve to avoid self-intersection?
Suppose a planar curve $C$ is defined by parametric
equations in $t$: $x(t)$ and $y(t)$.
Are there conditions on these two functions that guarantee
that $C$ does not self-intersect?
For example,
the ...
- 149k
50
votes
5
answers
5k
views
What (if anything) unifies stable homotopy theory and Grothendieck's six functors formalism?
I know of two very general frameworks for describing generalizations of what a "cohomology theory" should be: Grothendieck's "six functors", and the theory of spectra.
In the former, one assigns to ...
- 39.3k
6
votes
1
answer
381
views
Homotopy groups of linearization of a space
If $X$ is a pointed space and $A$ is an abelian group, then we can form the space $A[X]$ whose points are finite formal sums $\sum a_i x_i$ with $a_i \in A, x_i \in X$ subject to some natural ...
- 163
1
vote
0
answers
209
views
Coarse moduli spaces and rational points [closed]
Let $K$ be a field (not necessarily algraically closed). Let $\mathcal{F}$ be a contravariant functor from the category of schemes over $K$ to sets and $M$ be a coase moduli space for the functor. So, ...
- 2,195