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

learn more… | top users | synonyms

0
votes
1answer
46 views

smooth connected affine scheme over Z has good reduction almost everywhere

Let $f(x_1,\ldots,x_n)\in\mathbf{Z}[x_1,\ldots,x_n]$ be a polynomial. Assume that $f$ is a smooth connected (so irreducible) over $\overline{\mathbf{Q}}$. Where can I find a proof of the following ...
0
votes
0answers
36 views

Models of BL$\forall$

What results are known about the construction of models for a theory $T$ of the logic BL$\forall$ for languages of higher cardinality? The construction for the countable case relies on 1) The fact ...
0
votes
0answers
42 views

Extension of Radon measure

I will mention this specific case, Let $m_1$ be a (homogeneous) Radon probability measure on $X=\{0,1\}^\kappa$ of Maharam type $\kappa$. As $X$ is zero-dimensional space, so it has an algebra ...
1
vote
0answers
63 views

Which morphisms of varieties and motives induce surjections of their lower Chow groups?

This question is a contination of Varieties with Chow groups supported in positive codimension: examples and properties? What examples are known of morphisms of varieties and Chow motives (say, over ...
5
votes
0answers
53 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
131 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 ...
1
vote
0answers
43 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 ...
0
votes
0answers
103 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
54 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 = ...
5
votes
2answers
173 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 ...
1
vote
1answer
136 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 ...
6
votes
1answer
96 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 ...
3
votes
1answer
378 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 ...
2
votes
0answers
105 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 ...
9
votes
2answers
733 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
163 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 ...
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 ...
1
vote
0answers
98 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 ...
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
0answers
71 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 ...
10
votes
2answers
359 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 ...
1
vote
0answers
104 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 ...
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
1answer
143 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 ...
0
votes
0answers
158 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 ...
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 ...
6
votes
1answer
366 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 ...
10
votes
1answer
558 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 ...
3
votes
0answers
77 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} $$ ...
4
votes
2answers
166 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?
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
126 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 ...
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 ...
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 ...
2
votes
2answers
72 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 ...
1
vote
0answers
51 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 ...
9
votes
2answers
335 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 ...
3
votes
0answers
71 views

birational classification of rationally connected 3-folds

What is the birational classification of (smooth projective) rationally connected 3-folds (over algebraically closed fields of characteristic $0$ or even $\mathbf{C}$, if $\mathrm{char}(k) = p > ...
0
votes
1answer
85 views

Question on the partial differential equations in complex space

As is known most of the theory now developed for partial differential equations is in the real space, especially function space like Sobolev space, BMO space, $L^p$ space, etc. However is there some ...
6
votes
1answer
120 views

Constructing sums of squares identities

Recall that a sum of squares formula for $[r,s,n]$ over a field $F$ is an identity of the form $$ ( x_{1}^{2} + \cdots + x_{r}^{2})( y_{1}^{2} + \cdots + y_{s}^{2}) = ( z_{1}^{2} + \cdots + ...
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, ...
5
votes
0answers
55 views

Diophantine approximation in $\mathbb{G}_m^r$ with approximants restricted to a finiteley generated subgroup

Faltings, in the same paper (Diophantine approximation on abelian varieties, Ann. Math. 1991) in which he proved his famous ``big theorem,'' proved also that at any place $v$ of a number field $K$ and ...
6
votes
1answer
183 views

On a weak tree property for inaccessible cardinals

Suppose that $\kappa$ is inaccessible and consider a tree of height $\kappa$ whose levels have size strictly below some cardinal $\gamma < \kappa$. Does this type of tree always have a ...
1
vote
0answers
45 views

Asymptotic decay for the inhomogeneous Schrödinger equation

Let $H$ be an Schrödinger operator $(-\Delta+V(x))$ with a radially symmetric and smooth potential and $H$ is e.s.a. on $C^\infty_0(\mathbb{R}^n)$, furthermore let $\lambda$ be an element of the ...
1
vote
1answer
129 views

L-function of twist

I'd like to ask the following easy question, since I can't find a reference. Let $X/\mathbb{Q}$ a smooth projective variety. How does one express the $L$-function of the twist, $L(H^i(X)(r), s)$ in ...
1
vote
1answer
130 views

Solution or Reference Request for a Closed Form of the Sum

I have been working for quite a while on finding a closed formula for the Legendre Symbol. Inspite of my best efforts I can't come anything better with a formula for the symbol ...
1
vote
0answers
197 views

Learning roadmap in Algebra [closed]

I am a senior undergraduate student in mathematics, I have a sound knowledge in the following areas: a) Commutative Algebra b) Field Theory and Galois Theory c) Homological Algebra My question is ...
4
votes
1answer
117 views

Inequality due to Siegel (assumptions) and upper bounds on number field discriminants

In Siegel's 1969 paper, Abschätzung von Einheiten, on page 73, he states the inequality $$\log\sqrt d\le n-1+{n\over 2}\log\pi+r_2\log 2\qquad (*)$$ and compares with the bound due to Minkowski that ...
0
votes
1answer
46 views

Reference for finite number of Weyl groups of reductive groups of rank $r$

I'm posting this question on behalf of someone without access to mathoverflow: Can anybody give me a reliable reference (not a proof) to the following statement? Up to isomorphism, there are only ...