Questions tagged [reference-request]
This tag is used if a reference is needed in a paper or textbook on a specific result.
14,573
questions
6
votes
0
answers
156
views
Generalisation of the Witt–Berman induction theorem
$\DeclareMathOperator{\Aut}{Aut}\DeclareMathOperator{\Ind}{Ind}$I believe I can prove the following induction theorem (modulo carefully checking a few details), and I would like to know whether this ...
- 12.8k
6
votes
0
answers
203
views
Galois action on Grothendieck ring of varieties
Let $k$ be a field and let $\overline{k}$ be its algebraic closure. Let $K_0(Var/\overline{k})$ be the Grothendieck ring of algebraic varieties over $\overline{k}$.
Is it true that the natural ...
- 61
6
votes
0
answers
177
views
Tensoring Harish-Chandra bimodules with Verma modules
The question is about the functor $T_\lambda$ defined by Bernstein and Gelfand in the paper Tensor Products of Finite and Infinite Dimensional
Representations of Semisimple Lie Algebras.
Setup: Let $\...
- 325
6
votes
0
answers
181
views
Lambek calculus, linear logic, and linear algebra
In his 1958 paper, The Mathematics of Sentence Structure, Joachim Lambek introduced the Lambek calculus. In modern terms, it could be understood as a syntax for biclosed
monoidal categories, and he ...
- 9,013
6
votes
0
answers
389
views
Efficient solutions to general Bézout’s identity $a_1 b_1 + \dots + a_n b_n = 1$
Suppose I have integers $a_1, \dots, a_n$ which are coprime, meaning that
$$a_1 b_1 + \dots + a_n b_n = 1$$
has a solution in integers $b_1, \dots, b_n$.
I would like to get a bound saying ...
- 4,114
6
votes
0
answers
344
views
$C^{1+\epsilon}$ conjugacy of expanding map on circle
A continuously differentiable map $f:S^{1}\rightarrow S^{1}$ is called expanding if $|f^{'}(x)|>1$ for all $x\in S^{1}$.
We can define the degree of f, def(f) to be number of preimage $f^{-1}(x)$, ...
- 1,011
6
votes
0
answers
206
views
Can one use forcing as a step to prove the Keisler-Shelah isomorphism theorem?
Can one use forcing (perhaps at the expense of using larger ultrafilters) to prove the Keisler-Shelah isomorphism theorem? My idea is to use an ultrafilter $U$ on a set $I$ such that if $M=V^{I}/U$, ...
- 27.8k
6
votes
0
answers
217
views
Survey on homological stability
Background: homological stability is the phenomenon that for many natural families of groups $G_0 \to G_1 \to G_2 \to \dots$, the group homology $H_i(G_n)$ stabilizes for $n \gg i$. This is e.g. the ...
- 4,840
6
votes
0
answers
131
views
Is there any work in topological data analysis on something like "Voronoi complexes"?
Given a finite set $X \subset \mathbb{R}^n$, we can of course construct the corresponding Čech or Vietoris-Rips filtration. At each level of this filtration the scale parameter is fixed and unrelated ...
- 15.3k
6
votes
0
answers
394
views
Beilinson and Deligne's Motivic Polylogarithm and Zagier Conjecture
Where can I find the preprint Motivic Polylogarithm and Zagier Conjecture by Beilinson and Deligne? I see it referenced in a lot of papers but no one seems to host a copy.
- 737
6
votes
0
answers
315
views
measure of generic reals in forcing extensions
It is well-known that if $V[G]$ is a generic extension by adding a Cohen real, then
the set $\{r \in V[G]: r$ is Cohen generic over $V\}$ has measure zero.
On the other hand, if $V[G]$ is a generic ...
6
votes
0
answers
123
views
Sets $X,Y$ of natural numbers such that any natural $n$ writes uniquely $n=x+y$ [duplicate]
There are many pairs $X, Y$ of infinite subsets of $\mathbb{N}:=\{0,1,2\dots\}$ such that any $n\in\mathbb{N}$ writes uniquely as $n=x+y$, with $x\in X$ and $y\in Y$. An example of such a pair is $(X,...
- 56.6k
6
votes
0
answers
315
views
Elementary questions about Morse-Bott functions
Let $M$ be a manifold, $F$ be a Morse-Bott function, $c$ be a critical level, and $M_c$ be the corresponding critical submanifold. Let us assume that $M_c$ is connected, and the index of $M_c$ is ...
- 14k
6
votes
0
answers
186
views
$X$-rays of permutations
Consider the set of permutations $\mathfrak{S}_n$, on $\{1,2,\dots,n\}$, and identify each element $\pi\in\mathfrak{S}_n$ with the corresponding permutation matrix.
There has been some study (e.g. ...
- 41.8k
6
votes
0
answers
524
views
Grothendieck letter to Jun-Ichi Yamashita on tame topology
I am looking for Grothendieck writings on tame topology:
a manuscript on tame topology mentioned by Scharlau; a letter to Jun-Ichi Yamashita; a letter to Z.Mebkhout.
I am also interested in ...
- 99
6
votes
0
answers
272
views
Smooth numbers in short intervals
Let $\psi(x,y)$ be the number of positive integers up to $x$ which are $y$-smooth, that is, integers whose prime factors are at most of size $y$. There has been, for a few decades now, a lot of ...
- 13.4k
6
votes
0
answers
182
views
Specific Example of a Morphism of Schemes for which the Push-Pull Morphism is not an Isomorphism
Consider a Cartesian diagram of schemes as follows:
$\require{AMScd}
\begin{CD}
X \times_Z Y @>{\tilde{\pi}}>> Y\\
@VV{\tilde{\phi}}V @VV{\phi}V\\
X @>{\pi}>> Z
\end{CD}$
From the ...
- 422
6
votes
0
answers
325
views
Explicit bounds for the Mertens function
It is a consequence of some forms of the prime number theorem that with $\mu$ the Möbius function, for all $A > 0$, there exists $c_A$ such that for all sufficiently large $x$, $$\frac{1}{x}\sum_{n\...
- 1,831
6
votes
0
answers
168
views
What is known about the distribution of lengths of the cycle you get by adding an edge to a uniform spanning tree?
Let $G$ be a finite, connected graph. Let $T$ be a uniform spanning tree, and let $e$ be a uniformly random edge not in $T$. When we add $e$ to $T$, we get a subgraph with a unique cycle, $C$. I am ...
- 1,442
6
votes
0
answers
332
views
Independence of characters with respect to polynomials
I came across the following property :
Let $\mathfrak{g}$ be a Lie algebra over a ring $k$ without zero divisors,
$\mathcal{U}=\mathcal{U}(\mathfrak{g})$ be its enveloping algebra. As such, $\mathcal{...
- 3,696
6
votes
0
answers
572
views
Ext group for commutative finite group schemes
EDIT: all group schemes are commutative. Thanks @R. van Dobben de Bruyn!
Could anyone provide a reference request about extensions of finite group schemes / Ext groups.
As far as I know the category ...
- 371
6
votes
0
answers
341
views
Higher order variations of Riemannian geodesics
Consider a mapping $\Gamma$ from the Euclidean plane or an open subset to a Riemannian manifold $M$ so that each $\Gamma(s,\cdot)$ is a geodesic.
There is a well established theory of the first order ...
- 8,046
6
votes
0
answers
427
views
Eisenstein series of Hilbert modular forms
I am reading Shimura's paper "The Special Values of the Zeta Functions Associated With Hilbert Modular Forms" and I do not exactly understand his definition of the Eisenstein series in section 3.
...
- 123
6
votes
1
answer
410
views
Adjoint orbits of a finite group of type $G_2$
Let $q=p^\alpha$ be a prime power and $k=\mathbb{F}_q$. Let $G\subseteq \mathrm{GL}_N(k)$ be a simple finite group of Lie type, with root system of type $G_2$, and let $\mathfrak{g}\subseteq \mathfrak{...
- 993
6
votes
0
answers
218
views
When is an irreducible unramified principal series representation $K$-spherical?
Let $G = \operatorname{GL}_n(\mathbb Q_p)$, $T$ the usual maximal torus of $G$, and $K = \operatorname{GL}_n(\mathbb Z_p)$.
Let $\chi$ be an unramified character of $T$, with $\chi(t_1, ... , t_n) =...
- 6,110
6
votes
0
answers
153
views
Structure of the Kähler cone
In Calabi's Extremal kahler metrics paper, MR0645743, on page 262, the author mentioned that "It is conjectured that the structure of Kähler cone is determined by a finite number of real analytic ...
- 516
6
votes
0
answers
334
views
Schubert cycles on Grassmannian bundles
Let $X$ be smooth variety and let $\mathcal{E}$ be a vector bundle on $X$ of rank $n$. On the total space of the Grassmannian bundle $\pi:G(k,\mathcal{E})\to X$ we have the tautological exact sequence ...
- 735
6
votes
0
answers
159
views
Reference request: normal form of k-differentials and flat surfaces at a puncture
Let $f(z)$ be a holomorphic function defined on a punctured neighborhood of $z=0$ with non-essential singularity of degree $d$ at $0$ (namely, $f(z)=z^dh(z)$, where $h(z)$ is a holomorphic function ...
- 1,764
6
votes
0
answers
239
views
Dowker and neighborhood complexes: reference wanted
Let $R$ be a 0-1 matrix whose rows or columns are maximal.
Q1. Is there a name for such a matrix (or, e.g., a corresponding relation)?
From 0-1 matrix corresponding to an abstract simplicial ...
- 15.3k
6
votes
0
answers
228
views
Direct sum decomposition of the space of cuspidal automorphic forms
$\newcommand{\G}{\mathbb{G}} \newcommand{\Q}{\mathbb{Q}} \newcommand{\R}{\mathbb{R}} \newcommand{\A}{\mathbb{A}} \newcommand{\Autom}{\mathcal{A}} \newcommand{\cen}{\mathcal{Z}} \newcommand{\lieg}{\...
- 4,933
6
votes
0
answers
126
views
A reference for an integrability property?
In a recent paper of mine (Compensated integrability), I established a functional inequality which has nice consequences. For instance, it contains the isoperimetric inequality, and it gives a new ...
- 51.6k
6
votes
0
answers
180
views
(Reference Request) Tensor product of chain complexes in terms of strict $\infty$-categories
(note: this question is essentially a reference request for the tensor product described at the end. the rest is context)
It is well known that the category of chain complexes (in positive degree, ...
- 40.2k
6
votes
0
answers
373
views
What’s the limit of a vector bundle?
In geometric measure theory, there’s an answer to the question “what’s the limit of a family of submanifolds”, namely there’s some kind of object called an integral current.
In the geometric ...
- 8,643
6
votes
0
answers
265
views
Spectral properties of Non-local Differential operators on real line
I am encountering non-local (and nonlinear) PDEs in my work. To compute stability, I am trying to numerically estimate the spectrum of linearized-but-nonlocal version of the said PDEs.
Definition: A ...
- 318
6
votes
0
answers
388
views
Higher cohomology operations and spectral sequences
I was wondering how higher cohomology operations interact with spectral sequences.
For example if $X$ is a simplicial set. Then $C^*(X,\mathbb{F}_2)$ has an algebra structure over the Surjection ...
- 10.3k
6
votes
0
answers
4k
views
Interchange of supremum and integral
Let $f : X \to Y$, $X \subset R^n$, $Y$ Banach space, $g : X \times Y \to R \cup \{ \infty \}$, $L^n$ the n-dimensional Lebesgue measure.
Are there some results under which the following interchange ...
- 303
6
votes
0
answers
196
views
A 'Fock'-type construction on a $C^*$-algebra
In very rough terms, let $A$ be a complex unital $C^*$-algebra. Assume it nuclear for convenience, but it doesn't matter much. Consider the 'Fock'-type $C^*$-algebra (don't know a better name for it)
$...
- 1,939
6
votes
0
answers
183
views
Has the structure of the 2-dimensional pin$^{\pm}$ bordism categories been written down?
If $H\to\mathrm O$ is a tangential structure (e.g. orientation, spin), let $\mathsf{Bord}_2^H$ denote the category whose objects are 1-dimensional manifolds with $H$-structure and whose morphisms $M_1\...
- 6,766
6
votes
0
answers
213
views
Origins of the generalized shift operator exp(t*g(z)d/dz)
Charles Graves in the 1850s investigated iterated operators of the form $g(x) \frac {d}{dx}$ (see page 13 in The Theory of Linear Operators ... (Principia Press, 1936) by Harold T. Davis). Graves ...
- 9,931
6
votes
0
answers
216
views
Fundamental class in equivariant K-theory
I'm looking for an accessible reference for the definition of the fundamental class in equivariant K-theory.
The setup I'm interested in is the following: suppose $V$ is a vector space equipped with ...
- 371
6
votes
0
answers
157
views
$L^p$ estimates for solutions of strongly elliptic equations
Let $\Omega\subset \mathbb{R}^d$ be a Lipschitz bounded domain. In $L_2(\Omega;{\mathbb C}^n)$, we consider a strongly elliptic second order operator $A$ with constant coefficients. Namely, it is ...
6
votes
0
answers
102
views
Long loops in critical random graphs
A simple calculation seems to show that the expected number $X_k$ of loops of length $k$ in a critical Erdös-Renyi random graph $G(n,n^{-1})$ is approximately given by
$$ \mathbb{E} X_k=\frac1{2k}{e^...
6
votes
0
answers
158
views
Reference to the theorem about linear bundles
The following fact looks like it is well-known. I can prove it myself, but I would like to know of a reference which has a proof?
Let $M$ be an $n$-manifold, $C\subset M$ a codimension-1 closed ...
- 965
6
votes
0
answers
269
views
Varying a $J$-holomorphic sphere in a symplectic $4$-manifolds
I am certain that the following result holds, but was not able to find a reference. Do you know one? Or maybe you can give a short proof?
Statement. Let $(M^4,\omega)$ be a compact symlectic manifold ...
- 14k
6
votes
0
answers
380
views
Steklov eigenvalue problem for a planar region bounded by ellipse
The Steklov problem for a compact planar region $\Omega$ is
\begin{cases} \Delta u =0 &\text{in $\Omega$}, \\ \frac{\partial u}{\partial n} = \sigma u &\text{on $\partial \Omega$},
\end{...
- 141
6
votes
0
answers
162
views
Cartesian liftings in double categories
The question: I wonder whether the following definition, or something similar, has appeared somewhere (see below for motivations). Any reference or pointer is welcome!
(In what follows, I denote ...
- 1,536
6
votes
0
answers
101
views
Squaring operation in KO theory
There's an operation $\Lambda^2: KO^0(X) \to KO^0(X)$ such that $\Lambda^2(x+y)-\Lambda^2(x)-\Lambda^2(y)=xy$, which comes from the antisymmetric power. Similarly, there's a $\Lambda^2: KO^4(X) \to KO^...
- 6,063
6
votes
0
answers
168
views
Does Novikov additivity hold for topological manifolds?
Recall that Novikov additivity of signature of compact oriented smooth $4k$-manifolds is the following statement :
If two manifolds are glued by an orientation-preserving diffeomorphism of their ...
- 14k
6
votes
0
answers
198
views
How large are good approximations to irrational numbers?
It is well known that for almost every $c \in \mathbb{R} / \mathbb{Z}$ there exists $(q_n)_{n \geq 1}$ and $(a_n)_{n \geq 1}$ such that $$|c - a_n / q_n| \leq 1/ q_n^2,$$ where $q_n < q_{n+1} \leq ...
- 2,283
6
votes
0
answers
427
views
Inaccessible cardinals and the perfect set property for coanalytic sets
I am wondering who proved the following fact:
($\ast$) If $\omega_1$ is not inaccessible in $L$, then there is an uncountable coanalytic set of reals without a perfect subset.
I have been unable to ...
- 5,551