Newest Questions
159,021 questions
0
votes
0
answers
52
views
A question of irreducibility of certain affine algebraic sets
Let $K$ denote an algebraically closed field of characteristic zero, and let $p_1(T), \dots, p_m(T)$ denote $m$ irreducible polynomials in $K[x_1, \dots, x_n][T]$ of degree at least $1$. Set
$$ S= \{ (...
- 6,224
0
votes
0
answers
35
views
Request for resources on directional derivative of the Riemannian distance function, and Berger's lemma about geodesics realizing the diameter
I've been recently interested in directional derivatives of the Riemannian distance function, and I came across this question, and its answer by Sergei Ivanov, where he stated an important result: (I ...
- 1,467
0
votes
0
answers
41
views
Ranges of operators acting on Fréchet Spaces
My question is in the spirit of Reference request: Baire's theorem for operator ranges. It mentioned that :
Finite intersections and sums of operator ranges are operator ranges.
Images and pre-...
- 101
-2
votes
1
answer
61
views
On the correspondence between infinitesimal and integral description of connections
It is the title of an article by Petko Nikolov Triste Sissa 1981. I cannot access this pdf yet I remember that it was once avaliable on libgen and now I cannot find it. Please help.
- 19
2
votes
2
answers
127
views
Existence of k-complete uniform ultrafilter over a regular cardinal, k is strongly compact
This is a question about set theory. Let $\kappa\leq \lambda$ be infinite cardinals such that $\kappa$ is strongly compact and $\lambda$ is regular. My question is: how to construct a $\kappa$-...
- 61
2
votes
1
answer
142
views
Does this result above six points follow have a name?
Does this result above six points follow have a name?
Let $A$, $B$, $C$, $D$, $E$, $F$ be six points in the plane and $AB, CF, ED$ are concurrent and $BC, DA, FE$ are concurrent then $CD, EB, AF$ ...
- 1,776
5
votes
1
answer
153
views
Does there exist a section of $\mathcal{P}(\kappa)\to\mathcal{P}(\kappa)/(\text{fin})$ that is "nearly Boolean"?
The following might be a somewhat esoteric question:
Does there exist an infinite cardinal $\kappa$ and a section $f$ of the quotient map $\pi:\mathcal{P}(\kappa)\to\mathcal{P}(\kappa)/(\text{fin})$ (...
- 2,830
1
vote
0
answers
47
views
What do we know about Poisson boundaries of arbitrary Riemannian manifolds?
For closed manifolds, we know that the Poisson boundary is trivial due to compactness and for radially symmetric manifolds for which diffusion is one dimensional, there are A Brief Introduction to ...
- 168
2
votes
0
answers
115
views
Induced homology map zero implies zero in cobordism?
I had asked this in math stackexchange, but got no reply. Hence, I'm asking here.
[I'm no expert in (co)bordism theory, and I've been struggling with it for the past few weeks. Any good references on ...
- 21
8
votes
0
answers
206
views
Can $\mathbb{C}$ have a "doppelganger" in $L(\mathbb{R})$ with countable automorphism group?
Working in $\mathsf{ZFC}$ + large cardinals (a proper class of Woodins, to be precise), is there a field $F\in L(\mathbb{R})$ such that $V\models F\cong\mathbb{C}$ and $L(\mathbb{R})\models\vert\...
- 20.5k
1
vote
0
answers
29
views
Integral hull of a polyhedron Q is polyhedron
Let $Q \subseteq R^n$ be a rational polyhedron and let $Q_I=Convexhull(Q \cap Z^n)$. By finite basis theorem, we have $Q=P+C$ for some rational polytope $P$ and finitely generated cone $C$ where $C=R_+...
- 21
1
vote
0
answers
108
views
The value of the Hauptmodul at CM point
Let $J$ be a classical normalized $j$-invariant (that is, J=j-744).
Then, it is a classical result that $J(\tau)$ is an algebraic integer if $\tau$ is an imaginary quadratic number (that is, $a\tau^2+...
- 111
4
votes
1
answer
282
views
Eigenvalue of a convolution and a restriction?
Let $\epsilon>0$ be small. Let $\eta(t) = \frac{2\epsilon}{\epsilon^2+(2\pi t)^2}$ (the Fourier transform of $x\mapsto e^{-\epsilon |x|}$). Let $V$ be the space of integrable, bounded functions $f:\...
- 20.2k
2
votes
0
answers
98
views
+100
Inequalities for norm of centered Gaussian and uncentered Gaussian
Let $g$ denote a standard Gaussian vector in $\mathbb{R}^n$, and $\|\cdot\|$ a norm.
Let $x \in \mathbb{R}^n$ and define
$$
F(x) = \mathbb{E}[\|x + g\| - \|g\|].
$$
I am wondering if it is possible to ...
- 380
2
votes
1
answer
145
views
Exotic Hopf algebra structures on the $p$-fold direct product in characteristic $p > 0$
Let $k$ be an algebraically closed field of characteristic $p > 0 $ and let $A$ be an algebra over $k$, which is a local ring.
There is an isomorphism of algebras $\prod_{i=1}^p A \cong A \otimes k[...
- 542
2
votes
1
answer
109
views
Neumann problem for the Laplacian with Dirac delta functions
I have encountered a problem while dealing with the adjoint method in potential flow that is also described, in a similar fashion, in (eq. 39) of this paper. The problem is essentially this:
$$\begin{...
- 21
7
votes
0
answers
132
views
On the optimal strength of Goodstein's theorem
Goodstein's theorem is a famous example of an arithmetical statement that is unprovable in $\mathsf{PA}$ but provable in a stronger theory. It is well-known that Goodstein's theorem implies the ...
- 3,042
-1
votes
0
answers
115
views
Stability of flow map
$\DeclareMathOperator\Diff{Diff}$Setting:
Let $(M,g)$ be a compact and connected $C^{\infty}$-Riemannian manifold. Let $d_g$ denote the induced shorted path metric and equip $C^{\infty}(M)$ with the ...
- 5,405
6
votes
1
answer
2k
views
Difficulty with "A new elementary proof of the Prime Number Theorem" by Richter
I'm studying Richter's "A new elementary proof of the Prime Number Theorem" paper, and I'm finding some problems understanding some parts of it. For example, I don't see how to get, in Lemma ...
- 63
1
vote
0
answers
80
views
The definition of Hodge bundles with metric
A system of Hodge bundles is a direct sum of holomorphic vector bundles $E = \oplus_{p+q=n} E^{p,q}$ with a morphism $\theta : E^{p,q} \rightarrow E^{p-1,q+1} \otimes \Omega_X^1$ such that $\theta^2 = ...
- 11
4
votes
0
answers
57
views
Positivity of elementary symmetric polynomials under linear fractional transformations
The general question
For $1\leq k\leq n$, let $$e_k(a_1,\dots,a_n):=\sum_{j_1<\dots<j_k}a_{j_1}\cdots a_{j_k}$$ be the $k$-th elementary symmetric polynomial.
Let $a_1,\dots,a_n<1$ and $e_1(...
1
vote
0
answers
38
views
Reference request - Fourier multiplier of vector valued function
I would like to understand the concept of multiplier for vector valued functions and find appropriate references for the multiplier theorems out there.
For instance say that we would like to express $\...
- 111
0
votes
0
answers
49
views
The relation between Hodge bundles with metric and polarized variation of Hodge structures
Recently I've been reading Simpson's paper "constructing variations of Hodge structure using Yang-Mills theory and applications to uniformization, 1988, JAMS". On page 898 he mentioned about ...
- 11
5
votes
0
answers
120
views
+50
Dimension of the intersection of the commuting variety with a particular subspace
Let $\mathcal C$ denote the commuting variety of pairs of matrices in $M_n(\mathbb{C})$, defined as:
$$
\mathcal C = \{ (A, B) \in M_n(\mathbb{C})^2 \mid [A, B] = 0 \}.
$$
It is well known that $\...
- 269
1
vote
0
answers
70
views
To partition a triangle into $n$ convex pieces with sum of number of sides over all pieces maximized
This post is a variant on To cut a triangle into $n$ $p$-sided polygonal regions.
Question: Given a positive integer $n$, a triangular region is to be cut into $n$ convex pieces so that the sum over ...
- 5,979
6
votes
1
answer
561
views
Destroying scales
Suppose $\lambda$ is a cardinal with uncountable cofinality and $C\subseteq\lambda$ is a club of ordertype cf$(\lambda)$. Let $f=\langle f_\xi\mid\xi<\lambda^+\rangle$ be a scale consisting of ...
- 533
5
votes
1
answer
128
views
Algebras over the trivial $\infty$-operad
I'm learning the concept of algebras over $\infty$-operads, following Higher Algebra. The simplest case is when the operad being the trivial operad $\mathrm{Triv}^\otimes$, defined as the 1-full ...
- 165
2
votes
1
answer
71
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
2
votes
1
answer
103
views
Number of disjoint set triplets in a union-closed family
Let $\mathcal{F}$ be a family of $n$ finite sets. In this case, the family can be regarded as a multiset, since it is allowed to contain multiple instances of the same set. Let $U(\mathcal{F})$ be the ...
- 1,000
2
votes
0
answers
63
views
Classification of centralizers of elements of finite simple groups of Lie type
I am currently studying the twisted Ree finite simple groups given by $^2G_2(3^{2n+1})$ and I was wondering if there is a reference for the classification of centralizers of elements in this family of ...
- 71
5
votes
0
answers
97
views
Is the pullback of differential forms on a compact manifold smooth tame as a map of Fréchet manifolds?
In Hamilton's paper on the Nash-Moser inverse function theorem he shows that if $M$ is a smooth compact manifold and $V\to M$ a smooth vector bundle then its smooth sections $\Gamma(V)$ equipped with ...
- 51
17
votes
1
answer
1k
views
Are integers conservatively embedded in the field of complex numbers?
I am looking for a reference to the fact that $\mathbb{Z}$ is conservatively embedded into the field $\mathbb{C}$ of complex numbers, that is anything in $\mathbb{Z}$ which is definable in $(\mathbb{C}...
- 301
1
vote
1
answer
55
views
Proving bound on expectation of likelihood ratio involving mixtures
Let $p$ be a Lebesgue density function with infinite support (i.e. $p(x)>0 \forall x\in \mathbb{R}$ and $\int p(x) dx = 1$). Moreover, assume that $p$ is even (i.e. $p(x) = p(-x)$) and unimodal: $p(...
- 13
3
votes
0
answers
36
views
Proving a proposition about the provability logic GL without using its completeness theorem
Let $GL$ be the provability logic containing the axioms $K := \Box (\varphi\to \psi)\to (\Box \varphi\to \Box \psi)$ and $L := \Box(\Box \varphi \to \varphi)\to \Box \varphi$, along with the ...
3
votes
0
answers
133
views
Galois cohomology and Levi subgroups
Let $F$ a field and $G$ a smooth connected reductive group with a Levi subgroup $M$. Under what assumptions is $H^1(F, M) \to H^1(F, G)$ injective? In the case $F$ is nonarchimedean local I believe ...
- 605
13
votes
0
answers
304
views
What is the status of this conjecture on symplectic forms "standard-at-infinity" on $\mathbb{R}^{2n}$?
In McDuff and Salamon's Introduction to Symplectic Topology, the following open problem is mentioned.
Problem 50 (Standard-at-infinity)
Let $n \ge 3$ and let $\omega$ be a symplectic form on $\mathbb{...
0
votes
1
answer
105
views
If $u \in H^2(\mathbb{R}^3)$, does $r^{-1} u \in H^{\alpha}(\mathbb{R}^3)$ for some $\alpha > 0$?
Let $u$ belong to the Sobolev space $H^1(\mathbb{R}^3)$. We have the classical Hardy inequality
\begin{equation*}
\int_{\mathbb{R}^3} \frac{|u|^2}{|x|^2} dx \le 4\int_{\mathbb{R}^3} |\nabla u(x)|^2 dx,...
- 481
0
votes
0
answers
103
views
On the form of algebraic numbers belonging to a specific field extension
Let $m>1$ be an integer and set $\theta=10^{-1/m}$. For a $\gamma\in \mathbb{Q}(\theta)$, there exists $a_0,\ldots,a_{m-1}\in \mathbb{Q}$ such that
$$
\gamma=a_0+a_1\theta+\cdots+a_{m-1}\theta^{m-1}...
- 515
0
votes
0
answers
89
views
+100
Uniqueness of bubbling points in Struwe's global compactness theorem
I am reading the following paper of Struwe in which he proves the following result:
Proposition 2.1:
Let $n\geq 3$, $\lambda \in \mathbb{R}$ and $\Omega$ be a smoothly bounded domain in $\mathbb{R}^{n}...
- 537
7
votes
1
answer
498
views
Invertibility of a matrix defined using inner product
Let $n,m \geq 1$. We fix $n$ distinct vectors $x_1, ... , x_n \in \mathbb{R}^m$. We define $A \in \mathbb{R}^{n\times n}$ as
\begin{equation}
A_{ij} = x_i^T \left(n x_j - \sum_{1 \leq k \leq n} x_k \...
- 2,306
4
votes
1
answer
65
views
Mapping properties of the Schrödinger semigroup
The Schrödinger semigroup $e^{t(-\Delta +V(x))}$ for Kato class potentials is fairly well-understood. A classical reference is the AMS paper "Schrödinger Semigroups" by Barry Simon. I was ...
- 1,045
8
votes
0
answers
255
views
+300
Maps with small fibers between manifolds of equal dimension
The following question is an attempt to revise this one into what I intended.
Important revisions are shown in bold.
Are there any known examples of a compact Riemannian manifold $M$ with (possibly ...
- 501
3
votes
0
answers
174
views
What are non-archimedean norms on $\mathbb{R}$, whose restriction to $\mathbb{Q}$ is trivial?
I wonder if there is any classification result on non-archimedean norms on $\mathbb{R}$, with trivial restriction to $\mathbb{Q}$? Any references or examples would be welcomed!
Some examples of such ...
- 241
3
votes
0
answers
102
views
Understanding the Lie derivative by multivector fields
For a vector field $X$ on a manifold there are two ways to define a Lie derivative: an algebraic one using Cartan's formula $\mathcal{L}_X \alpha = i_X d \alpha + d i_X \alpha$ and a dynamical one ...
- 161
1
vote
0
answers
56
views
Quantitative multivariate CLT from quantitative CLT of linear combinations
Suppose $Z_1, \ldots, Z_k$ are random variables with mean $0$ and variance $1$ that are "approximately jointly Gaussian" in the sense that for any scalars $c_1, \ldots, c_k$, we have that $\...
- 111
3
votes
0
answers
127
views
Orbit space of the action of $\mathrm{GL}(V)$ on the Grassmannian of $V\wedge V$
$
\newcommand{\K}{\mathbb{K}}
\newcommand{\R}{\mathbb{R}}
\newcommand{\C}{\mathbb{C}}
\newcommand{\N}{\mathbb{N}}
\DeclareMathOperator{\GL}{GL}
\DeclareMathOperator{\Grass}{Grass}
$Consider $\K\in\{\R,...
- 126
6
votes
2
answers
739
views
Shifting an irrational binary sequence
Let $\newcommand{\tn}{\{0,1\}^\mathbb{N}}\tn$ be the collection of all infinite binary sequences. For $s\in\tn$ and $k\in\mathbb{N}$ let the left-shift of $s$ by $k$ positions, $\ell_k(s)\in \tn$, be ...
- 48.9k
1
vote
0
answers
102
views
Curious congruences modulo $4$ involving primes
We define
$$S(n)=\sum_{a=2+(n\pmod 2)}^{n-2}
\sharp(\{j,1\leq j<n \pmod{a},(a,j)=1\})\ .$$
(Searching the OEIS yielded no results.)
For $n>2$ we have the following experimental observations (...
- 17.9k
7
votes
1
answer
196
views
Is there a more natural way to define the Young symmetrizer and the Specht module?
It's well known that Young symmetrizer is a fundamental tool in the representation theory of symmetric groups.
For instance, for every Young diagram $\lambda\vdash n$, we construct a Young tableau $T_\...
3
votes
0
answers
91
views
About BMO space on smooth open bounded domain
Let $\Omega$ be any open domain in $\Bbb R^d$.
Define the $\text{BMO}(\Omega)$ space as
$$ \text{BMO}(\Omega)= \big\{u\in L^1_{loc}(\Omega)\,\,:\,\, |u|_{\text{BMO}(\Omega)} <\infty \big\},
$$
...
- 1,101