Most active questions
785 questions from the last 30 days
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
2
votes
1
answer
58
views
On the solution sets to the ODE $(a^2-1)Q''(a) + \left(3a-\frac{d-1}{a} \right)Q'(a) + \frac{3}{4}Q(a)=0$
Looking for self-similar, radial solutions to a certain nonlinear wave equation in $\mathbb{R}^{d+1}$ leads to studying the following linear ODE in the self-similar variable $a\in[0,1)$:
$$(a^2-1)Q''(...
- 900
5
votes
0
answers
102
views
Query about extender embeddings
This seems as though it should be a result which is possible to prove but I was just wondering if I have it right and also if there is a source for it.
Suppose that $j:V_{\alpha} \rightarrow V_{\beta}$...
- 2,125
2
votes
0
answers
70
views
Pólya's orchard problem among Gaussian primes
Quoting myself from an earlier post:
Pólya's orchard problem asks for which radius $r$ of trees at each lattice point within a distance $R$ of the origin block all lines of sight to the exterior of ...
- 151k
1
vote
1
answer
63
views
Connection on associated bundle
Let $M$ be a compact Riemannian manifold without boundary, and consider $E$ be a vector bundle over M with metric structure on the fibers $F$. Now consider two connections $\nabla$ and $\nabla'$ on $E$...
2
votes
0
answers
69
views
Bessel spaces and Triebel Lizorkin
It is known that bessel potential spaces $H^{s,p}$ coincide with Triebel-Lizorkin spaces $F^{s}_{p,2}$ for $s\in \mathbb{R}$ and $1<p<\infty$. Im wondering what can be said por $p=1$ and $p=\...
1
vote
1
answer
67
views
Recursive formula for divided differences
In general, a function $f(\cdot)$ defined at points $x_1,x_2,\dots, x_k$, the $(k − 1)$th-order
divided difference is defined by the recurrence relation:
$$
f[x_1,x_2,\dots...x_k]=\frac{f[x_2,\dots......
- 147
0
votes
0
answers
78
views
Factoring totient of a prime
Is it any easy to factor $p-1$ when $p$ is a prime compared to general factorization problem?
What about when $2p+1$ is also a prime?
- 13.9k
0
votes
1
answer
74
views
Lower Bound on the Probability for the Sum of IID Random Variables
Let $X_1,\ldots,X_n$ be $n$ iid normalized random variables (with finite variance, possibly sub-Gaussian).
Suppose further that $\mathbb{P}(X_1 > 0 ) > 1/2$, implying a positive skew in the ...
0
votes
1
answer
127
views
Holomorphic functions of certain blow up at origin
Suppose that $D=\{z\in \mathbb C\,:\, |z|\leq 1\}$ and let $f$ be holomorphic on $D\setminus\{0\}$ such that $|f(z)|\leq e^{\frac{1}{|z|}}$ for all $0<|z|\leq 1$ and assume additionally that $\lim\...
- 4,115
0
votes
1
answer
71
views
Limit distribution of this discrete time Markov chain is standard normal?
Consider a discrete time, uncountable state space Markov chain with one-step transition density
$$
p^{(1)}(z_0,z)=\mathbf 1_{\{z\leq z_0-\theta\lor z\geq z_0+\theta\}}\phi(z)
+\delta(z-z_0)\left(\Phi(...
0
votes
1
answer
38
views
Sufficient conditions for a sum of Hadamard products of positive semidefinite matrices to be positive definite
Let $A_i$, $B_i$ be hermitian $n$ by $n$ positive semidefinite matrices of rank $1$, for $i = 1, \dots, n$. Assume that the rank of $A_i \circ B_i$ is also $1$, for $i = 1, \dots, n$, where $\circ$ ...
- 5,215
0
votes
0
answers
100
views
Algebraic relations for $\Gamma$ function
Let $N$ and $n$ be positive integers with $\mathrm{GCD}(n,N)\ne1$. I want to prove the following claim:
$\Gamma\left(\frac nN\right)$, $\pi$ and the $\Gamma\left(\frac uN\right)$ ($u\in[1,N-1]$, $\...
- 3,998
2
votes
0
answers
86
views
Is there a natural topology for subsets of a fixed topological space?
This question is an extension/clarification of the question: Is there a natural topology for sets of topological spaces?
The Hausdorff distance assigns a distance to any two subspaces $X, Y$ of a ...
- 719
1
vote
0
answers
57
views
Discrepancy of general element of linear system
Let $X$ be a normal scheme and $|D|$ a linear system on $X$.
In "Singularity of Minimal Model Program" by Janos kollar p249, it says,
If $X$ is a variety over $\mathbb{C}$, and $E_j$ ...
- 328
1
vote
1
answer
51
views
Graph classes which have small edge k-cuts
I am interested in graph classes that have the following property: There exists a function $f(k)$ such that for every graph $G$ in the class, for every choice of $k$ vertices $v_1, \ldots, v_k$ in the ...
- 526
1
vote
0
answers
74
views
Construction of the smallest nucleus above a prenucleus: what does this proof tell us?
While reading Hyland's paper on the effective topos [retyped version here] in the L. E. J. Brouwer Centenary Symposium, specifically prop. 16.3, I realized that the following proposition is implicit:
...
- 32.5k
0
votes
0
answers
79
views
Chow moving lemma with additional property
All varieties are over algebraically closed field of characteristic zero. Let $S$ be a smooth projective surface. Let $D$ be an irreducible divisor on $S$, $H$ be another divisor and $Z\subset S$ be a ...
- 219
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(...
6
votes
0
answers
59
views
Connectedness of the space of negatively curved metrics of a compact 3-manifold
Is the space of metrics of negative sectional curvature over a closed 3-manifold connected? If so, in what paper is this result stated?
Note: as the Ricci flow hyperbolizes negatively curved metrics, ...
- 430
2
votes
1
answer
106
views
Elliptic regularity with negative Sobolev space on bounded or unbounded domains
I am looking for some reference which deals with the existence and regularity of solution to $ -\Delta u = f $ in bounded or unbounded domain $\Omega$ and with Dirichlet boundary condition, $u|\...
- 121
1
vote
0
answers
62
views
Bipartite Representation of a Directed Graph
I am working on a combinatorial optimization problem and have constructed a bipartite graph as a representation of a directed graph.
The construction is as follows:
Given an initial directed graph $G$ ...
1
vote
0
answers
101
views
Examples of nontrivial morphism between simple bundles but not isomorphism
We know stable bundles have a good property:
If $f: E\longrightarrow E'$ is a nontrivial morphism where $E,E'$ have the same rank and degree, then $f$ must be an isomorphism.
I'm wondering does this ...
- 111
6
votes
0
answers
55
views
Cubic version of Kan loop group
Is there a version of the Kan loop group that is based on cubic rather than simplicial objects?
- 431
4
votes
0
answers
60
views
An algebraic group $G$ over $L^+$ such that $G_{\mathbb{R}}$ is compact for almost all embeddings
Does there exist a reductive group $G$ of type $E_7$ over a given totally real field $L^+$ such that for every embedding $\tau:L^+\to \mathbb{R}$ except one , $G_{\tau,\mathbb{R}}(\mathbb{R})$ is ...
- 115
1
vote
0
answers
58
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
62
views
On the relative growth rates of occupancy times in ergodic theory
Let $(X, \mathcal{F}, \mu)$ be a general measure space, and let $T: X \to X$ be a measure-preserving transformation on $X$. Assume that $T$ is ergodic and satisfies the property that, for any set $A \...
- 105
1
vote
0
answers
65
views
Relation between $-2/d$-norm and polynomial discriminant
Consider a homogeneous bivariate polynomial $f(x, y) = a_d x^d + a_{d-1} x^{d-1} y + \cdots + a_0 y^d$ of degree $d > 2$, and consider the “$-2/d$-norm”
$$\int_0^{2\pi} |f(\cos{\theta}, \sin{\theta}...
- 111
1
vote
0
answers
108
views
L.c.i locus of Hilbert scheme of points on singular varieties
Let $X$ be an algebraic variety over $\mathbb{C}$. What can we say about the l.c.i. locus of $\text{Hilb}^n(X)$?
When $X$ is smooth, it is well-known that the l.c.i. locus of $\text{Hilb}^n(X)$ is ...
- 385
2
votes
0
answers
59
views
Closed form of $\frac{1}{{\pi}^n}\sum_{k\in \mathbb{Z}^n}\prod_{j=1}^n\frac{1}{1+(m_{j}^{T}k)^2}$
Given vectors $m_{j}\in\mathbb{Z}^{n},M=(m_{1} \ldots m_{n}),\det(M)\not =0$. Is it possible to find a closed form of:
$$S=\frac{1}{{\pi}^n}\sum_{k\in \mathbb{Z}^n}\prod_{j=1}^n\frac{1}{1+(m_{j}^{T}k)^...
- 251
1
vote
0
answers
110
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
1
vote
0
answers
53
views
Description of all biholomorphic maps from annulus [duplicate]
Consider the collection $\mathcal{C}$ of all maps $f \colon B_1 -\overline{B}_\beta \to \mathbb{C}$ such that $f$ is biholomorphic onto its image. Is this collection $\mathcal{C}$ path-connected?
In ...
- 11
1
vote
0
answers
148
views
integral over the unit sphere of $\Bbb C^n$
Please, is there a way to calculate this integral
$$\int_{S_{2n-1}} \frac{e^{a \langle z, \zeta \rangle}}{|z - \zeta|^{\beta}} \, d\sigma(\zeta)$$
where $ z $ is a fixed point in the complex unit ball ...
- 531
0
votes
0
answers
77
views
Nice formula for powers of modified Bessel function
Let $K_\nu(z)$ be the modified Bessel function of second kind. I am looking the geometric series
$$1+aK_v+(aK_v)^2+(aK_v)^3...$$
I know there are formula for product of two such functions. I would ...
- 275
2
votes
0
answers
98
views
An injective map in equivariant algebraic K-theory
Let $G$ be a simply connected simple algebraic group over $\mathbb{C}$ and $\mathfrak{g}$ be its Lie algebra. Let $\mathcal{N}$ be the nilpotent cone of $\mathfrak{g}$ consists of all nilpotent ...
- 653
2
votes
0
answers
96
views
Galois representations attached to discrete automorphic representations
Let $F$ be a totally real field. Let $G$ be a (split) connected reductive group over $F$. Let $\pi$ be an irreducible automorphic representation of $G$.
Recall in the work of Buzzard and Gee "The ...
- 6,622
1
vote
0
answers
69
views
Descent of $G$-invariant formal system of parameters using GAGF
Let $R=(R,\mathfrak{m})$ be a comm local regular ring of char $\neq 2$ (ie $2 \neq 0$ in $R$) with maximal ideal $\mathfrak{m}$ of (Krull) dimension $2$, ie $R$ admits system of parameters $x,y \in \...
- 6,048
1
vote
0
answers
63
views
Reference request: Proof theory in $W_1^1$
Buss defined $V_2^1$ as a second-order bounded arithmetic corresponding to $\mathsf{PSPACE}$.
Later, Skelley introduced $W_1^1$, a third-order bounded arithmetic of $\mathsf{PSPACE}$.
Since the ...
- 11
3
votes
0
answers
111
views
Bertini's theorem at a fixed point
Recently, I am learning Bertini's theorem because I encounter "generic smooth" problem during my research. I'm not an algebraic geometer and I read the Hartshorne Chapter 3 Theorem 10.8 to ...
- 51
1
vote
0
answers
84
views
Descent of isogenies between p-divisible groups
Let $\mathcal{G}$ be a $p$-divisible group over $K$, which is a finite extension of $\mathbb{Q}_p$. Let $\rho: \text{Gal}(\bar{K}/K)\rightarrow \text{GL}(T_p\mathcal{G})$ be the associated Galois ...
- 11
2
votes
0
answers
118
views
Error in discrete FFT
I am interested in taking an FFT of an image which is periodic in space (does not decay) across a finite window of size $L\times L$. The image has triangular symmetry; for simplicity one could imagine ...
- 21
0
votes
0
answers
85
views
Taking hyperplane section remains dominant
I was reading Kollar's book "Rational curves on algebraic varieties". This is from Chapter IV, proposition $1.3$. I don't understand the proof from $1.3.3$ to $1.3.1$, Page- 182. Suppose I ...
- 59
2
votes
0
answers
92
views
Geometric interpretation of flags and the role of the rook monoid and Kazhdan–Lusztig theory in $M_n(\mathbb{C})$
Let $G = GL_n(\mathbb{C})$, $B$ be its Borel subgroup, and $P$ a parabolic subgroup. The space $G/B$ corresponds to complete flags in $ \mathbb{C}^n$, and $G/P$ corresponds to partial flags. The ...
- 141
0
votes
1
answer
72
views
Relating the order of a polynomial to the resultant in the context of formal power series
I urgently need to understand how to begin or the complete proof of the following statement:$\DeclareMathOperator{\Res}{Res}$
While reading the paper here on page one, in the introduction, the author ...
1
vote
0
answers
78
views
Conjecture about Euler quotients related to non-Wieferich numbers $W(n)=\frac{2^n+1}{3}$
For odd natural $n$ define the Euler quotient:
$$ a(n)=\frac{(2^{\phi(n)}-1) \bmod n^2}{n}=\frac{2^{\phi(n)}-1}{n} \bmod n$$
$a(n)=0$ is $n$ being Wieferich number (not necessarily prime).
For odd $n$,...
- 25.4k
-2
votes
0
answers
47
views
Linear and non-linear intersection to solve ODE [closed]
Consider a linear operator $$L(u(t)) = \dfrac{d}{dt}u(t)+p(t)u(t)$$ for known function $p(t)$. It is well known the homogeneous equation $$L(u) = 0 ~~\text{or}~~\dfrac{d}{dt}u(t)+p(t)u(t)= 0$$ has ...
0
votes
1
answer
77
views
Newton method for polynomials with random starting points
I know that this question exists, but unfortunately it doesn't cover my issue sufficiently.
Assume that we have a polynomial $p(x)$ of degree $n$ with real coefficients, we can assume that all its ...
- 1,171
0
votes
0
answers
87
views
finiteness of quotient map
I am new to algebraic space s and stacks. My question is the following:
Let $X$ be a scheme and $G$ be a group scheme acting on $X$. We have the natural map $\pi : X \to X/G$. When $\pi$ will be a ...
- 613
4
votes
0
answers
63
views
Bicategories in which the composition functors $\circ_{A, B, C}$ admit right adjoints
In Bénabou's 1967 Introduction to Bicategories, he mentions that, in a forthcoming part II, he would study bicategories $\mathcal K$ in which each composition functor $$\circ_{A, B, C} \colon \mathcal ...
- 10.7k
-1
votes
0
answers
49
views
$s^2 + 1$ has no prime factors $p \equiv 3 \mod 4$? [migrated]
$s^2 + 1$ is the squared length of a vector in a square lattice for every integer $s$. The number of integer
solutions in $a, b$ for $a^2 + b^2 = s^2 + 1$ is of course $> 0$, e.g. $a = s, b = 1$ is ...
