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

learn more… | top users | synonyms

5
votes
1answer
181 views

Is there a holomorphic Morse-Bott lemma?

It asks for a generalization of the question in the post Normal form for a holomorphic Morse function Suppose $f$ is a holomorphic function on a complex manifold $M$ which has Bott type critical ...
7
votes
0answers
129 views

Phillips-Sarnak conjecture in higher dimension

The Phillips-Sarnak conjecture states that for a generic Fuchsian lattice the space of Maass cusp forms is finite-dimensional. Generic here means in particular non-uniform, non-arithmetic, no special ...
1
vote
0answers
152 views

An extrasensory perception strategy :-)

I asked this question at MSE some months ago but I received only partial answers, so I put it here. The following sounds nice for me and I spent a good time during the investigation. But I am a ...
2
votes
0answers
174 views

Looking for Soviet Math. Dokl [closed]

I'm a undergraduate student and I'm trying to study research level papers for the first time. I'm studying William Weiss's "Countably compact spaces and Martin's axiom" and he gives "Soviet Math. ...
11
votes
2answers
417 views

Postnikov's algebraic reconstruction of cohomology from homotopy invariants

In his short paper (1951) and longer monograph (1955), Postnikov introduced what I believe are now called Postnikov systems or towers. It is my understanding that Postnikov systems have since then ...
5
votes
2answers
282 views

Formal completion of the normal bundle

Let me for simplicity start with affine case. If $X=\operatorname{Spec}(A)$ is an affine variety $Z \subset X$ is a closed affine subvariety $Z=\operatorname{Spec}(A/I)$. What conditions are ...
0
votes
1answer
86 views

Characterizing Inf and Sup sets

Suppose $X$ is a set. Let $\Xi$ be the set of all pairs $(\mathcal A,\mathcal B)$ such that $$\mathcal A, \mathcal B \subseteq \mathcal P(X)$$ and for some partial order $\le$ on $X$, $\mathcal A$ is ...
7
votes
3answers
517 views

Consistency of Analysis (second order arithmetic)

Is there a proof of the consistency of Analysis (second order arithmetic), which is similar to Gentzen's proof of the consistency of arithmetic? Update: Which (different) methods can be used to ...
1
vote
0answers
71 views

unique types and decidability

Suppose $\mathcal{M}$ is an infinite structure which has the property that every type that is realised is realised uniquely. Also assume that every element of $\mathcal{M}$ is definable but there is ...
0
votes
0answers
94 views

A parabolic PDE with Lipschitz nonlinearity, how to obtain well-posedness?

Let $\Omega$ be a bounded smooth domain in $\mathbb{R}^n$ (or more generally a compact manifold). I'm interested in well-posedness (existence most importantly) of equations of the form $$u_t(t) - ...
3
votes
1answer
199 views

Colorful model theory

There are a number of concepts in model theory - often situated around Hrushovski's amalgamation method (see for instance http://math.univ-lyon1.fr/~wagner/nijmegen.pdf) - which are colorfully named: ...
3
votes
0answers
68 views

What do we know about the generalized eigenvalue problem involving a projector?

Consider a matrix $A\in\mathbb{R}^{n\times n}$ and a projector $P\in\mathbb{R}^{n\times n}$. Are there results regarding the generalized eigenpairs $(v,\lambda)$ of the generalized eigenproblem ...
4
votes
1answer
200 views

Perfect set property implies $\omega_1$ is a limit cardinal in $L$

Specker proved in 1957 that if in $V$ every set of real numbers has the perfect set property, than in $L$, $\omega_1^V$ is actually a limit cardinal. The original proof is in German, and I've been ...
0
votes
2answers
102 views

Poincaré bundle and Weil pairing for Abelian schemes

In which situations is there a Poincaré bundle for Abelian schemes? In [Mumford, Abelian varieties] only the case of Abelian varieties is treated. The same question for the Weil pairing ...
1
vote
0answers
21 views

Equivalence of Lp harmonic functions on the ball and a representation by harmonic homogeneous polynomials

In Harmonic function theory there is a theorem which say if $u$ is a harmonic function on $B\left(a,r\right)$, then there exist homogeneous harmonic polynomials $p_{m}$ in $\mathbb{R}^{n}$ such that ...
3
votes
1answer
297 views

Does there exist a function such that $\int_{\mathbb{R}_+^{\star} } t^nf(t)dt=0$? [closed]

Let $f\in C([a,b],\mathbb{R})$ such that $\displaystyle\int_{a}^{b} t^nf(t)dt=0$ for all integer n. We know that $f\equiv 0$. It's call Hausdorff theorem. This theorem is wrong on $\mathbb{R^+}$, a ...
4
votes
0answers
62 views

Reference for statement that almost every $n$-element partial order has trivial automorphism group

I'm looking for a reference for the statement that almost every partial order on $n$ elements has trivial automorphism group. I've been told that this is a folklore result. Does anyone know of a ...
7
votes
2answers
211 views

Cokernel of the stable J-homomorphism at odd primes

Where can one learn about odd-primary components of the cokernel of the stable J-homomorphism? According to wonderful Wikipedia article on Homotopy groups of spheres, the "hard" part of the stable ...
5
votes
0answers
57 views

K-Theory and completion [duplicate]

I vaguely remember the existence of a statement that relates the $K$-theory (in the sense of Quillen) of a noetherian local ring $A$ with maximal ideal $\mathfrak{m}$ with the $K$-theory of the ...
5
votes
0answers
64 views

Classifying two-faces of four-polytopes

Motivation: This question is related to my study of hyperbolic Coxeter polytopes. In general, if one put some restrictions on the type of their dihedral angles (say, all dihedral angles are equal to ...
1
vote
0answers
81 views

Euler class and self-intersection number of a surface in a 4-manifold [duplicate]

In the first two paragraphs of Circle bundles over $CP^1$ and self-intersection number of $CP^1$ embeddings, it is claimed that For a compact oriented surface $X$ in a 4-dimensional oriented ...
6
votes
1answer
176 views

Renewal systems: Intrinsic ergodicity and a question related to the Adler's conjecture

Consider the alphabet $\mathcal{A} = \{0,1\}$ and consider a finite set of words $W = \{\omega_1, \ldots , \omega_n\}$ over $\mathcal{A}$. Then the renewal system $\Sigma_{W}$ generated by $W$ is ...
5
votes
1answer
92 views

Properties of singularities that are preserved by categorical quotients

Let $G$ be a reductive group acting on an affine singular variety $X$, and let $X/G$ be the categorical quotient. I know that if $X$ has rational singularities, then so does $X/G$ ...
4
votes
1answer
143 views

Which hyperbolic tilings are Cayley graphs?

I realise the question is easy but after asking to a few people (and never getting a clear answer), I thought it could be instructive to ask it here: Given a regular tiling of the hyperbolic plane is ...
3
votes
1answer
222 views

Flow of an integer

I've stumbled across this family of flow networks, and posted the sequence of maximal flows to OEIS. It doesn't appear at this time. I can't find any reference to it either. Has anyone seen it? ...
1
vote
1answer
79 views

reference request: Riesz/Newton potential and HLS inequality in L1.logL1

Let's consider in dimension $d\geq 3$ the Newton/riesz potential $f=I_2[g]$ $$ f(x)=\int_{R^d}\frac{1}{|x-y|^{d-2}}g(y)dy, $$ which solves $-\Delta f=g$ (up to positive normalizing constants, which I ...
11
votes
0answers
139 views

Entropy in elimination theory, or a brief remark by Gelfand-Kapranov-Zelevinsky

In the introduction to their book "Discriminants, resultants and multidimensional determinant", the authors state a very intriguing observation concerning the coefficients of monomials appearing in ...
2
votes
1answer
90 views

Pullback of $L^p$ functions via exponential map

Let $M$ be a complete Riemannian manifold, endowed with its exponential map $\exp: TM \longrightarrow M$. For any $C^k$- function $u$, we get the Pullback $$ \exp^* u = u \circ \exp$$ which is in ...
16
votes
3answers
2k views

Silly me & Van der Waerden conjecture

So I walked into this very innocent-looking combinatorics problem, and quite soon I ended up with the problem to prove that any doubly stochastic $n \times n$ matrix has a non-zero permanent. Now ...
3
votes
2answers
417 views

An identity in an arbitrary commutative ring

This fact might be either trivial, wrong, or well known. Let $R$ be a commutative ring. Let $u_1,\dots,u_{s-1},u_s\in R$ and $m,M\in R$. Let us assume that $m,M$ satisfy $$(m-u_1) \dots ...
2
votes
1answer
191 views

Forcing Notions with Unknown Real/Cardinal Preserving Situations

Question. Is there any set forcing notion $\mathbb{P}$ in one of the following categories? (a) $\mathbb{P}$ preserves cardinals but it is still open whether $\mathbb{P}$ adds reals or not. (b) ...
2
votes
1answer
63 views

Extendability of $L^{p}$ harmonic functions

Let $u$ be a harmonic function on some open set $\Omega\subset\mathbb{R}^{n}$ and $u\in L^{p}\left(\Omega\right)$. Is there any reference on extending $u$ to harmonic function on a larger open set ...
4
votes
1answer
178 views

Is Van der Waerden's function elementary

Van der Waerden's function was proved to have elementary upper bound on growth rate. Is the Van der Waerden's function itself elementary in the sense of Kalmar?
3
votes
1answer
154 views

Higher dimensional analogue of Thue's equation

The classical Thue equation is $$\displaystyle F(x,y) = h,$$ for a binary form $F(x,y) \in \mathbb{Z}[x,y]$. Recall that a binary form is a polynomial in two variables which is homogeneous, and $h$ ...
3
votes
1answer
98 views

The spectral radius of a modified graph

Let $H$ be a graph and let $G=H \vee K_{1}$ be obtained by creating a new vertex and joining it to every vertex in $H$. This situation has many different names: $G$ is called the cone or the ...
6
votes
3answers
234 views

A weak-mixing, zero entropy measure on the 2-shift which gives equal weight to both symbols

I am currently sketching a paper in the general area of symbolic dynamics in which I would like to be able to use the following fact: Proposition (proposed): there exists a shift-invariant ...
3
votes
1answer
104 views

Reference to definition of matrix log with domain SO(3) which is Borel measurable

I was trying to set up an inverse to matrix exponential $\exp:\mathrm{Skew}(3\times 3)\to SO(3)$ that "covers" the biggest possible domain and is Borel measurable. I was wondering if there is a ...
9
votes
1answer
174 views

Obtaining a lightface pointclass from a boldface one

Define a pointclass to be: boldface inductive-like if it is $\mathbb{R}$-parameterized, has the scale property, and is closed under $\wedge$, $\vee$, $\forall^\mathbb{R}$, $\exists^\mathbb{R}$, and ...
5
votes
0answers
209 views

1-Wasserstein distance between two multivariate normal

The $p$-Wasserstein between two measures $\nu_1$ and $\nu_2$ on $X$ is given by ...
1
vote
0answers
64 views

Is there any study on limit sets arising from “outside” of the hyperbolic geometry?

In the projective model, hyperbolic spaces are modeled by the interior of the light cone of Lorentz spaces. Kleinian groups are isometries of the hyperbolic space, and they centainly also act on the ...
1
vote
1answer
76 views

L logL space and compactness

I think that if a sequence of L^1 functions have the integral $$ \int f_n \log (f_n)dx $$ uniformly bounded, then there is a subsequence that converges strongly in $L^1$. The questions are: 1) Is ...
3
votes
0answers
67 views

Question about a length inequality in algebraic dynamics

Let $X$ be a Noetherian scheme. Let $f\colon X\rightarrow X$ be an integral self-morphism. If $x\in X$ is a closed point, I will write $\mathcal{F}_{1}^x$ for the coherent sheaf of ...
5
votes
1answer
275 views

Integer numbers of the form $m = x^n + y^n$

First of all, I am no number theorist, so this question may be a little dummy. The two squares theorem imply that $m = x^2 + y^2$ for some (possible zero) integer numbers $x,y$ iff $m$ factors as $m ...
3
votes
3answers
322 views

Estimating a sum involving binomial coefficients [refined]

Having some work done, here is a refined version of my initial question. For integer $m>0$ and $0\le q\le m$, consider the sum $$ S(m,q) = \sum_{i=0}^{m-q} \binom{m}{i} \binom{m-i}{q}^2. $$ I ...
3
votes
1answer
177 views

Tor dimension in polynomial rings over Artin rings

I found this tricky problem in trying to understand some properties of local rings at non-smooth points of embedded curves. But this would be a very long story. So I make it short and I try to go ...
9
votes
2answers
347 views

Historical quotation search: Equations/formulae in (Latin?) prose, before modern symbolic notation

I have been trying, without success, to find a vaguely-remembered quotation: the quadratic equation (or perhaps the quadratic formula), given in (Latin?) prose, along lines like “Consider that ...
5
votes
1answer
90 views

Reference request: embedding the hyperbolic triangulation in $\mathbb{R}^3$

Let $T_d$ be the infinite valence $d$ triangulation of the hyperbolic plane, where each triangle is equilateral and $d \ge 7$. Question: Is there an isometric embedding from $T_d \to \mathbb{R}^3$? ...
2
votes
1answer
92 views

Reproducing kernels and equivalent inner products

Suppose $H$ is a reproducing kernel Hilbert space and $K_{1}\left(x,\cdot\right)$ and $K_{2}\left(x,\cdot\right)$ two reproducing kernels with respect to two equivalent inner products on this space. ...
1
vote
2answers
178 views

Double Density Theorem?

A colleague asks me the following: "I wonder if you can give me a reference - or a guidance where to look – from a fact I recall from graduate school. I’m sure it can be generalized quite a bit but ...
2
votes
1answer
63 views

Reference to complete derivation of Kossakowski–Lindblad equation and its steady solutions

Are there recommended textbook or good intro-reference to explain with complete stretch of Kossakowski–Lindblad equation especially how is the idea to derive it from ground? ...