This tag is used if a reference is needed in a paper or textbook on a specific result.

learn more… | top users | synonyms

1
vote
0answers
4 views

Bound on the number of lattice points in d-dimensional ball

The following paper states that the number of lattice points in a $d$-dimensional ball of radius $R$ is $V_d R^d + O(R^\alpha)$ where $\alpha = d - 2$ and $V_d$ is the volume of the unit ...
2
votes
2answers
48 views

Standard homology result on double complexes

Suppose you have got a double complex in an abelian category with objects $(A_{rs},d_{rs})$ such that $A_{rs} = 0$ for $r < 0$ or $s < 0$. Suppose furthermore that the rows ...
9
votes
3answers
801 views

What´s essential to learn about complex spaces and several complex variables for an algebraic geometer?

Hi, I don´t know if this question is suitable for this site. The field of several complex variables is too broad, so I would like to know what´s essential to learn about complex spaces and several ...
6
votes
6answers
268 views

Reference on representations of knot groups

Recently, I was studying the knot group and I want to learn some more material about it (e.g. its representations). "Knots" by Burde and Zieschang discusses some material but it is not entirely ...
1
vote
0answers
35 views

Reference needed for Hilbert-Schmidt result regarding basis of $V \subset H$

I am seeking a reference that says: If $V \subset H \subset V^*$ is a Gelfand triple with all spaces Hilbert spaces and if $V \subset H$ is a compact embedding, then there is a basis of $V$ which ...
3
votes
1answer
369 views

Why is the inverse of a bijective rational map rational?

Let $f:X\to Y$ be a bijective rational map of an open dense subset $X$ of $\mathbb{C}\times\mathbb{C}$ onto an open dense subset $Y$ of $\mathbb{C}\times\mathbb{C}$. How to prove that the inverse map ...
0
votes
0answers
99 views

extension of function in an abstract metric space

my question is the following.(Maybe my title is not quite proper for this question): Let $(E,d)$ be a Polish space (or a separable metric space), let $\xi: E\to R_+$ be a Lipschitz function. Now set ...
-1
votes
1answer
53 views

Maximum size of set of points with distance bounded from below

I am interesting in finding a reference for a result of the following type: Suppose $D \subset \Bbb{R}^n$ is a bounded open set and $\delta>0$. Then the size $M$ of a family of points $F = ...
7
votes
1answer
535 views

Regularity of the Maxwell equations

As is well-known, the Maxwell equations can be phrased vectorially as, \begin{align} \nabla \cdot \mathbf E &= \frac{\rho_f}{\varepsilon}, &\text{Gauss's law,}\\\ \nabla \cdot \mathbf ...
2
votes
2answers
196 views

How to calculate $P(\sum_{i=1}^{m}(A_i+S_i)\le L)$ with $A_i,L\sim\text{exp}(\lambda),S_i\sim\text{exp}(\mu)$ and positive integers $\lambda\neq\mu$?

Recently I was stumped by the calculation of the probability $$\mathbb{P} \big(\sum_{i=1}^{m} (A_i + S_i) \le L < \sum_{i=1}^{m+1} (A_i + S_i) \big)$$ where $A_i \sim \text{exp}(\lambda), S_i \sim ...
9
votes
2answers
712 views

The impact of large cardinals in mathematics [on hold]

What are the main applications of large cardinals in ordinary mathematics, and what is the philosophy behind using them. In particular: Question 1. What is the philosophy behind accepting large ...
2
votes
2answers
159 views

A question about transitivity

Recently in something that I'm studying, I needed to know if the following map is transitive: $\sigma: M^{\mathbb{N}}\to M^{\mathbb{N}}$ the unilateral shift, where $M$ is a uncountable compact metric ...
9
votes
0answers
129 views

Derivation of Blattner's conjecture in the Beilinson-Bernstein picture

On the last page of Schmid's article "Discrete Series", he says "In the Beilinson-Bernstein picture, discrete series modules are attached to closed $K$-orbits in $X$... the $K_{\mathbb R}$-structure ...
5
votes
2answers
168 views

A. Markov's papers?

A. Markov published several papers on his chains, starting in 1906, so it is written, in the journal: (1) Извѣстія Физико-математического общества при Казанском университете I am surprised by the ...
6
votes
1answer
94 views

How to “lift” a transitive group action on a manifold?

Let $M=G/H$ be a homogeneous manifold, with $G$ connected Lie group. Suppose that $\widetilde{M}$ is a covering of $M$. QUESTION: is there a general prescription to obtain a Lie group ...
1
vote
1answer
134 views

Textbook for Partial Differential Equations with a viewpoint towards Geometry

I don't know whether I should ask this question here or not but I asked this question on MSE but didn't get any answer so I am posting it here. Though similar questions have been asked at ...
2
votes
0answers
100 views

Varieties with Chow groups supported in positive codimension: examples and properties?

In their 1983 paper "Remarks on correspondences and algebraic cycles" Bloch and Srinivas proved several interesting properties of smooth proper varieties (over universal domains) whose Chow groups of ...
8
votes
4answers
2k views

Topology on the space of Schwartz Distributions

If we equip the Schwartz space $\mathcal{S}$ with its usual Fréchet space topology, then the space of continuous linear functionals $\mathcal{S}^\ast$ is known as the space of Schwartz distributions ...
0
votes
0answers
39 views

Finite characteristic splitting fields of low degree polynomials [on hold]

Let $f(x) \in \mathbb{Z}[x]$ be a polynomial. Let $f_p(x) \in \mathbb{Z}_p[x]$ denote the polynomial $f \bmod{p}$ (where $p$ is a prime). We say $p$ is good for $f$ if $f_p(x)$ splits (into linear ...
6
votes
1answer
154 views

Do the terms of an iid sequence whose law has infinite expected value necessarily exceed the partial sums of the sequence infinitely often?

Let $\mu$ be a probability measure on $(0,\infty)$, and let $(\mathbf X_n)_1^\infty$ be a sequence of independent $\mu$-distributed random variables. Fix $\kappa > 0$, and consider A) $\int x \; ...
1
vote
0answers
96 views

Why $D^b(S)\cong D^b_{\text{Car}}(\text{cosq}(X\rightarrow S))$?

Let $p: X\rightarrow S$ be a map between topological spaces and we can construct the simplicial space $\text{cosq}(X\rightarrow S)$ where $X_0=X$, $X_1=X\times_S X$ and $$ X_n=\underbrace{ X\times_S ...
7
votes
5answers
613 views

(reference request) Chaitin's constant is incompressible

I've been looking for a full, detailed proof that Chaitin's constant is incompressible, i.e. there is a universal constant $c$ such that every program writing first $n$ digits of $\Omega$ has length ...
10
votes
2answers
351 views

Special values of $\zeta$ outside the real line and the critical strip

The values of Riemann's function at the integers have been extensively studied. I was wondering, is there anything interesting known (or conjectured) to happen arithmetically outside the real line ...
5
votes
3answers
542 views

Reference on Semigroup Theory and Parabolics PDE'S

Recently started to study Semigroup Theory. My background is equivalent to the first three chapters of the Jack Hale's book, Asymptotic Behavior of Dissipative Systems. Looking for a reference to an ...
0
votes
0answers
16 views

Wavelet transform stability to deformations

I've come across the following claim in a paper of Mallat: "High frequency instabilities [of a signal representation] to deformations can be avoided by grouping frequencies into dyadic packets in ...
1
vote
1answer
141 views

pencil of quadrics consisting of singular quadrics

A pencil $l$ of quadrics in $\mathbb{P}^4_{<x_0,\cdots,x_4>}$ consists of singular quadrics only if: (1) quadrics in $l$ have a common singular point; or (2) quadrics in $l$ contain a common ...
1
vote
0answers
103 views

Strong Dependence

I don't know if this definition has been already given. Suppose $X$ and $Y$ are two random variables over finite alphabets $\mathcal{X}$ and $\mathcal{Y}$. We say $Y$ is strongly dependent on $X$ if ...
9
votes
2answers
334 views

on the center of a Lie group

I'm trying to set straight my various pieces of knowledge about the center of a compact Lie group, and I'm running in circles... First some definitions: • Let $G$ be compact, simple, and simply ...
1
vote
0answers
70 views

Morita Equivalence of Full Corners in $C^*$-algebras

Suppose $\mathcal{A}$ is a $C^*$-algebra with a unique normalized trace and $p \in \mathcal{A}$ is a projection so that $\mathcal{B} = p\mathcal{A}p$ is a full corner. Does $\mathcal{B}$ have a ...
4
votes
1answer
108 views

the validity of a basic statement involving the Hausdorff distance

Let $\Omega_1 \supset \Omega_2 \supset \cdots$ be a sequence of nonempty, open, bounded and convex sets in $R^n.$ Define $\Omega = \operatorname{int} \Bigl( \overline{\bigcap_{k=1}^{\infty} \Omega_k ...
8
votes
4answers
369 views

Which metric spaces have this superposition property?

Let $A \subset X$ and $B \subset X$ be two isometric subsets of a metric space $X$. So there is an isometry $f: A \to B$. Say that a metric space $X$ has the superposition property (my terminology) ...
6
votes
1answer
365 views

Is there a generalized Birkhoff ergodic theorem?

Is there a Birkhoff ergodic theorem for two measure preserving transformations $T$ and $S$ where $S\circ T= T \circ S$ so that $\frac{1}{n+1}\frac{1}{m+1}\sum_{i=0}^{n}\sum_{j=0}^{m}f \circ T^{i}\circ ...
0
votes
0answers
156 views

Holomorphic vector bundles over $\mathbb{CP}^1$ and elliptic curves

Can anyone suggest a good exposition of the classification of holomorphic vector bundles over $\mathbb{CP}^1$? Also does there exist any analytic or more elementary proof of Atiyah's classification of ...
10
votes
1answer
552 views

Is there an analog of the Birch/Swinnerton-Dyer conjecture for abelian varieties in higher dimensions?

I am wondering if there is a multi-dimensional analog of the Birch/Swinnerton-Dyer (BSD) conjecture. The recent famous result inching toward resolution of that conjecture is: Bhargava, Manjul, and ...
4
votes
2answers
164 views

The unit tangent bundle of 2- or 4-manifolds as a principal $S^{1}$- or $S^{3}$-bundle

What type of obstructions have been studied so that the unit tangent bundle of a Riemannian 2-(4-)manifold have a structure of a principal $S^{1}$-($S^{3}$-)bundle?
29
votes
2answers
1k views

Do's and don'ts of writing survey papers

I am not sure if this is the appropriate forum to ask as it is not directly related to a research level (math) problem, but I figured it was worth a try. I recently attended a conference and felt that ...
5
votes
0answers
888 views

“Must read ”papers on analytic number theory

Question: What would be some must-read papers for an aspiring analytic number theorist? In other words, what are the papers that any analytic number theorist would have read? (Background: ...
1
vote
2answers
102 views

A reference for a property for the Hausdorff distance

Consider the following property of the Hausdorff distance in $\mathbb R^n$. Let $\Omega_n \supset \Omega_{n+1} \supset ...$ a sequence of open, convex and bounded sets with ...
3
votes
0answers
76 views

Reference request: Optimal $L^p$-decay for nonhomogenous heat equation in $\mathbb R^d$

Let $u$ be a classical solution for the nonhomogeneous heat equation in $\mathbb R_+ \times\mathbb R^d$: $$ \begin{cases} \partial_tu(t,x)-\Delta u(t,x) = f(t,x), \\ u(0,x)=u_0(x). \end{cases} $$ ...
8
votes
2answers
868 views

Is there a table of (fibred knot) monodromies?

Background/motivation I'm working on contact topology (in dimension three): a fundamental theorem of Giroux gives us a bijection between contact structures (up to isotopy) and open books (up to ...
2
votes
2answers
70 views

Background for Kierstead terms

I was looking at some slides of John Longley's here, where he mentions "the Kierstead functional" $$\lambda f.f(\lambda x.f(\lambda y.x)) \ ,$$ (where $f$ should be of type $2$, and $x,y$ of ground ...
2
votes
2answers
80 views

Complexity of Untwisting Polygons

What is the complexity of the following task: given a sequence $p_1, ..., p_n, p_1$ that defines a closed polyline in the euclidean plane, what is the complexity of finding a reordering of the points, ...
3
votes
0answers
108 views

Conics over number fields

I am looking for a reference for the following fact. Let $k$ be a number field and let $S$ be a finite set of places of $k$ of even cardinality. Then there exists a unique conic $C$ over $k$ such ...
2
votes
0answers
94 views

Questions about transformation or integral transformation

I have asked several mathematicians about the following questions,but all of them think they are good questions,but can not give a complete answer.Now I have to come here to ask mathematicians all ...
3
votes
1answer
123 views

$C^0$ estimate for solutions of elliptic PDE with Neumann BC

I am interested in a reference for (or counterexample to) a particular $C^0$ estimate for solutions of the Laplace equation with Neumann boundary conditions. More precisely, let $(M,g)$ be a ...
22
votes
9answers
2k views

Determining a surface in $\mathbb{R}^3$ by its Gaussian curvature

A curve in the plane is determined, up to orientation-preserving Euclidean motions, by its curvature function, $\kappa(s)$. Here is one of my favorite examples, from Alfred Gray's book, Modern ...
0
votes
1answer
59 views

Books on the analysis of hyperbolic partial differential equations

Most of the present books on pde analysis deal with the elliptic partial differential equations. Is there some book related to rigorous analysis with hyperbolic pdes, and especially hyperbolic systems ...
4
votes
1answer
187 views

Birkhoff Ergodic Theorem and Ergodic Decomposition Theorem for Continuous-Time Markov Processes

I have a couple of questions regarding ergodicity for Markov processes in continuous time. (In particular, the first question seems like it should be particularly basic, and yet I haven't managed to ...
2
votes
0answers
51 views

Name of a difference of continuants

I am getting ready to publish the manuscript http://arxiv.org/pdf/1408.4631v2.pdf and I am trying to do due diligence on a quantity I study before it gets published. (This is cross-posted from ...
1
vote
0answers
50 views

Bounds re Asymptotic Formula for the Sum of Largest Prime Factors

I have a reference request related to the result : $\sum_{n=2}^{x} P(n)$ ~ $\frac{\pi^2}{12}\frac{x^{2}}{log(x)}$ as $x \rightarrow \infty$ where $P(n)$ is the largest prime factor of the positive ...