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
6 views

Uniqueness of solution of elliptic equation with exponential nonlinearity

Consider the following equation $$\Delta v + p(r)e^v = 0$$ on $\mathbb{R}^n$ where $p(r)$ is a polynomial in $r = |(x_1,..., x_n)|$. I want to understand when equations like these have unique ...
4
votes
0answers
35 views

Vanishing of Dolbeault cohomologies and Steinness

That Stein manifolds have all $(p,q), p \geq 0, q \geq 1$ vanishing Dolbeault cohomology groups is more or less standard. I am a little bit confused about the reverse implication: whether the ...
2
votes
0answers
115 views

Is there a citeable reference for star-shaped open subsets of R^n being diffeomorphic to R^n?

A folk theorem says that star-shaped open subsets of R^n are diffeomorphic to R^n. Is there a citeable reference for this result? For the sake of being definite, let's say that “citeable” means ...
3
votes
1answer
130 views

Decomposing $(\mathbb C^n)^{\otimes m}$ as a representation of $S_n\times S_m$

$V=\mathbb C^n$ is a $\mathbb CS_n$-module, where $S_n$ is the symmetric group of degree $n$, via the representation sending a permutation to the corresponding permutation matrix. The tensor power ...
2
votes
0answers
36 views

Potentiality classes and Borel reductions

In a 1998 paper by Hjorth, Kechris, and Louveau, there was a definition given of a "potentiality class." That is, given an invariant equivalence relation $E$ on a standard Borel space $X$, we say $E$ ...
2
votes
1answer
139 views

Blowing-up the Grassmannian at a point

Does anyone know what the blow-up of the Grassmannian at a point looks like? Consider $G=Gr(r,n)$ and $V\in G$. I want to understand more explicitly what $Bl_V(G)$ should mean. Of course for affine ...
6
votes
1answer
140 views

On the coherence theorem for bicategories

The coherence theorem for bicategories, as usually stated, reads Any bicategory $B$ is biequivalent to a (strict) 2-category. It is possible to give an explicit construction of the ...
2
votes
0answers
52 views

Uncountably categorical theories which are interpretable in a strongly minimal

Definition: Let $\lambda$ be a cardinal. An $\mathcal{L}$-theory $T$ is called $\lambda$-categorical whenever every two models of $T$ of cardinality $\lambda$ are isomorphic. Definition: An ...
0
votes
0answers
106 views

Galois correspondence subgroups/subsystems

In this paper (1998) by M. Izumi, R. Longo, S. Popa, there is the following result (page 49) on compact groups: By applying this result to finite groups, we get a Galois correspondence ...
0
votes
0answers
19 views

exit time of a non degenerate diffusion

Let $n, d \geq 1$, $b : \mathbb{R}^n \to \mathbb{R}^n$ and $\sigma: \mathbb{R}^n \to \mathbb{R}^{n \times d}$ two Lipschitz functions. We assume that \begin{equation} \exists \mu >0, \xi^T ...
5
votes
0answers
108 views

Tree property and singular strong limit cardinals

I heard that the following theorem is proved recently by Foreman-Magidor, which answers a famous old open question: Theorem. It is consistent, relative to the existence of large cardinals, that ...
1
vote
0answers
114 views

Sum-epimorphisms and prod-monomorphisms

        Sum-epimorphisms A longer time ago I have introduced the bi-onto maps for the topological category. Let me formulate here its general categorical definition: ...
9
votes
2answers
379 views

Non-Forcing and Independence

I asked this question about two weeks ago on MSE and haven't gotten an answer, so I thought I would post the question here. Do there exists sentences which are independent of ZFC, cannot be shown to ...
2
votes
1answer
104 views

Unitary representation with fixed Casimir

Let $G$ be a connected reductive real Lie group with Lie algebra $\mathfrak{g}$. We denote by $\widehat{G}_u$ the unitary dual, that is the set of isomorphism classes of unitary reprensentation of ...
5
votes
0answers
125 views

3D models of the unfoldings of the hypercube?

There are (apparently) 261 distinct unfoldings of the 4D hypercube, a.k.a., the tesseract, into 3D.1 These unfoldings (or "nets") are analogous to the 11 unfoldings of the 3D cube into the plane.2 ...
3
votes
1answer
183 views

Reference for Arakelov's theorem: $K^2_f=0$ iff $f$ is locally trivial

Let $f:X\longrightarrow B$ be a family of curves, with $f$ relatively minimal, over a fixed curve $B$ ($B$ is projective, irreducible and smooth). The fibration $f$ is said locally trivial if all ...
2
votes
2answers
163 views

boundary homomorphism in the homotopy exact seqeunce of principal $SO(9)$ bundle over $S^8$

Consider principal $SO(9)$ bundles over $S^8$.They are in 1-1 correspondence with $$[S^8,BSO(9)]\cong \pi_7(SO(9))\cong \mathbb{Z}$$ Now pick up one such bundle $\xi$,we have the long exact sequence ...
5
votes
1answer
114 views

Symmetry type of non-cohomological automorphic forms

By Katz-Sarnak philosophy a family of $L$-functions would have a symmetry type which would reflect the statistics of $L$-functions, such as low lying zeros and moments. Shin-Templier's paper on ...
0
votes
0answers
75 views

When an integral with respect to a Poisson point process is finite?

Let $N(ds,dv)$ be a Poisson measure on $\mathbb{R} _+ \times \mathbb{R} _+$ with intensity $dsdv$. Let $N = \sum\limits \delta_{(s_i,v_i)}$. Assume that $N$ is compatible with a filtration $\{ ...
2
votes
1answer
210 views

What happens to the cohomology ring after a “flip-flop”?

I've been trying to understand what happens to the cohomology ring (say with coefficients in $\mathbb{R}$) of a smooth complex projective manifold after blowing up along a smooth complex submanifold. ...
8
votes
3answers
207 views

How do small central extensions drop the dimension of a faithful representation?

Apologies in advance that this is a very soft question. I might be talking complete nonsense. But I hope I am talking about something that has even been studied... I am interested in the phenomenon ...
8
votes
2answers
239 views

Implicit Function Theorem on Singular Varieties

Let $X$ and $Y$ be two complex reduced affine algebraic or analytic varieties, possibly singular. Take a regular proper function $$f\colon X \to Y $$ and assume that it is bijective at the level of ...
5
votes
1answer
144 views

Analytic perturbation of eigenfunctions

Consider a domain $\Omega_0 \subset \mathbb{R}^n$, and deformations of $\Omega_0$, called $\Omega_t$, obtained by a one-to-one mapping $x \mapsto x + t\varphi (x)$, where $\varphi$ is smooth. It is ...
7
votes
1answer
215 views

A proper smooth surface is projective

My question is a reference request for the following fact: if $k$ is a field and $X$ a proper smooth surface over $k$, then $X \rightarrow \mathrm{Spec}\, k$ is projective. Where is this well-known ...
7
votes
2answers
498 views

Most dense subset of numbers that avoids arbitrarily long arithmetic progressions

The famous Green-Tao theorem says that there exist arbitrarily long sequences of primes in arithmetic progression. I am wondering: How dense can a subset $S \subset \mathbb{N}$ be and still avoid ...
1
vote
0answers
38 views

How often can a single length occur as a boundary distance?

Given a bounded domain $\Omega\subset\mathbb R^n$ ($n\geq2$), how often can a single real number $r>0$ appear as a distance of two points on $\partial\Omega$? We can make any assumptions about the ...
3
votes
0answers
119 views

Prime zeta zeros - reference

Is there an online repository for zeros of the prime zeta function? I looked at the Yahoo group Prime numbers and primality testing listed on the MathWorld notebook for the prime zeta function, but ...
1
vote
0answers
80 views

Best constant for Maier's theorem?

Maier proved that, for fixed $\lambda>1,$ $$ \limsup_{x\to\infty}\frac{\pi(x+\log^\lambda x)-\pi(x)}{\log^{\lambda-1}x}>1 $$ and in particular $$ \limsup_{x\to\infty}\frac{\pi(x+\log^\lambda ...
5
votes
1answer
358 views

Structure of the automorphism group of a Riemann surface

I was wondering if anything is known about the possible structure of $\mathrm{Aut}(S)$ for a Riemann surface $S$. More precisely, are there known obstructions for a finite group $G$ to be such an ...
1
vote
1answer
141 views

Some general properties of arithmetic groups of simplest type

I'm working in the area of arithmetic Kleinian groups (as discrete groups of motions of hyperbolic 3-space). For the more general case of hyperbolic $n$-space, there is a particular class of ...
4
votes
1answer
308 views

Boardman-Vogt tensor product

Let $\mathbf{sSet}$ be the model category of simplicial sets and $\mathbf{Op}$ the model category of symmetric operads. Equipped with Boardman-Vogt tensor product $ \otimes_{BV}$, the category ...
0
votes
0answers
95 views

The fundamental group of the complement of codimension 2 submanifold

Suppose that $M^n$, $V^{n+2}$ are connected, compact smooth manifolds. Let $f\colon M^n\to V^{n+2}$ is a smooth embedding. Let $K_f$ be the kernel of the inclusion induced homomorphism ...
0
votes
0answers
105 views

Construction of Penrose Tiling (P3) from Wieringa Roof [closed]

I am trying to find sources detailing the construction of the Wieringa* Roof with the purpose of projecting the roof onto the plane and generating a Penrose Tiling (P3). The method can be seen in ...
5
votes
1answer
151 views

Did Lucas discover Lucas circles?

MathWord's article on Lucas circles traces the name to a little-known 1973 publication. These interesting circles have found their way into several 21st century publications, including the online ...
2
votes
0answers
121 views

How to write BRST-BV for dg-Lie?

The usual BRST-BV implements a Lie algebra and its module in terms of ghosts, etc. Where is there written a corresponding formula incorporating the differential of a dg Lie algebra and module?
2
votes
1answer
104 views

Compact radial Sobolev embedding $H^1_{rad}\hookrightarrow L^p$

I want to show: Let $N\geq 2$ and $2< q <2^\ast$. Then the embedding \begin{align} H^1_{\text{rad}}(\mathbb{R}^N)\hookrightarrow L^q(\mathbb{R}^N) \end{align} is compact. I was able to show ...
2
votes
1answer
79 views

Stirling numbers of the second kind with maximum part size

The stirling number of the second kind $S(n,k)$ counts the number of partitions of the set $[n]$ into $k$ non-empty parts. I found a definition for the numbers called the $r$-associated stirling ...
1
vote
0answers
123 views

Kwantitatieve Methoden [closed]

I'm looking for one article (Eilers P. H. C., 1987, Asymmetric least squares: New faces of a scatterplot. Kwantitatieve methoden 8, 45-64) and since I was not able to find it for some time, I'm asking ...
5
votes
1answer
338 views

Alternate proof of Morley's theorem?

I'm trying to understand the result given in the first box at slide 45 of this talk. Specifically: 1) What is the source cited? I have not been able to find any article by Keisler, Chudnovsky and/or ...
4
votes
0answers
91 views

Improvements of the Reidemeister-Schreier index formula for particular classes of groups

I have a couple of questions regarding possible improvements of the Reidemeister-Schreier index formula: let $G$ be a $d$-generated group and let $H$ be a subgroup of $G$, then $$d(H) \le (d-1) ...
5
votes
2answers
202 views

Primitive Recursive Arithmetic via Universal Algebra

From the wikipedia article on Primitive Recursive Arithmetic (see http://en.wikipedia.org/wiki/Primitive_recursive_arithmetic): "Primitive recursive arithmetic, or PRA, is a quantifier-free ...
5
votes
3answers
420 views

Survey of Engineering Problems for Mathematicians [closed]

I am looking for survey-books on open math (esp. probability) problems from engineering fields but phrased in mathematical language. There are hundreds of specialized math-engineering books out ...
1
vote
0answers
43 views

Fractional Poincare inequality on closed manifold

Let $u \in H^{\frac 12}(M)$ on a compact closed Riemannian manifold. Can someone refer me to a source where the inequality $$\lVert u - \bar u \rVert_{L^{2^*}} \leq C|u|_{H^{\frac 12}}$$ is proved, or ...
4
votes
1answer
181 views

Explicit bounds for transfer results in algebraic geometry

Assume you have an ideal $I\subseteq\mathbb{Z}[X_1,\ldots,X_n]$ of the polynomial ring in $n$ variables over the integers. For any field $\Bbbk$, I can consider the ideal ...
2
votes
0answers
94 views

Examples of Geometric Constructions in Higher Dimensions

The classical problem of geometric construction seems to be restricted to planar Euclidean Geometry with straight edge and compass as the only admissible "construction-tools". I would like to ...
0
votes
1answer
120 views

Hodge structure of relative cohomology groups

I need a hint or a good reference for definition of mixed Hodge structure on the relative cohomology groups ($\mathrm{H}^*(X,Y)$, $Y\subset X$ a closed subvariety of a comolex quasiprojective variety ...
0
votes
0answers
17 views

On a tower of strongly normal extensions

Where I could see the following statement? Let $K\subset L\subset M$ be a tower of the strongly normal extensions of differential fields. If $M$ is weakly normal over $K$, then $M$ is strongly ...
3
votes
1answer
201 views

Was $\Sigma x$ used as quantifier?

Kurt Gödel in 1931 used $x\Pi a$ where we in contemporary notation would use $(\forall x) A$ or $(x)A$, and $Ex a$ where we would use $(\exists x) A$. I believe that I remember that $\Sigma xA$ has ...
1
vote
0answers
55 views

Uniqueness of analytic center manifold

In a book, i have read a remark which says that the center manifold of an equilibrium point of a differential equation is not unique in general but is unique in the class of analytic manifold. The ...
0
votes
0answers
79 views

Summing a function at integer points

For a real function $f$ defined on the reals, and real $y$, define the 2-way infinite sum $$ F_f(y) = \sum_{i\in\mathbb Z} f(y+i). $$ If $F_f(y)$ is defined for all $y$, it is periodic of period 1. ...