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

learn more… | top users | synonyms

4
votes
1answer
153 views

Upper bound of the waiting time of a sum process

Let $n \in \mathbb{N}$, $x_1, \ldots, x_n \in (0,1)$ fix but arbitrary, s.t. $\sum_{i=1}^n x_i = 1$. Let $X_i \sim \operatorname{Unif}(\{x_1, \ldots, x_n\})$ i.i.d., and $T_n = \min\{t \in \mathbb{N} ...
3
votes
1answer
210 views

Fixed point property for intersection of spaces which are homeomorphic to a disk

The following question is question 9.8 from Miller's paper ``Some interesting problems '': Question Suppose $D_n$ a subset of the plane is homeomorphic to a disk and for every $n\in \omega, ...
7
votes
0answers
324 views

Godel's second incompleteness theorem for non-r.e. theories

R. Jeroslow in this paper proves that a non-recursively enumerable theory whose set of theorems is $\Delta_2$-definable may prove consistency of itself but it can not prove 2-consistency of itself. ...
4
votes
0answers
65 views

Idempotent relations on the unit square with closed graphs

A colleague and I are interested in idempotent relations from $I=[0,1]$ to $I$ - relations such that $R\circ R(x)=R(x)$ for all $x\in I$. Specifically, the graphs of the relations we care about must ...
7
votes
0answers
184 views

May's infinite loop machine for Friedlander's result for Adams conjecture

Eric M. Friedlander in the paper The infinite loop Adams conjecture via Classification Theorem for $\Gamma$-spaces proved the infinite loop Adams conjecture using techniques involved $\Gamma$-space. ...
6
votes
1answer
427 views

Vectorisation of a category

I have no experience with category theory at all, but I recently stumbled upon the following construction. Since it is extremely elementary and seems rather natural, it should be known, but I have not ...
0
votes
0answers
41 views

Looking for Information on Local Degree of Maps on Homology Manifolds

By a homology $n$-manifold, we mean a topological space $X$ such that for all $x \in X$: 1: if $k \neq n$ then $H_k(X, X-x)=0$ 2: $H_n(X,X-x) \cong \mathbb{Z}$. Given homology $n$-manifolds $X$ and ...
6
votes
1answer
174 views

On the independence of lower and upper asymptotic and Banach densities

Given a set $X \subseteq \mathbf N^+$, denote by $\mathsf{d}_\ast(X)$ and $\mathsf{d}^\ast(X)$, respectively, the lower and upper asymptotic (or natural) density of $X$, viz. $$\mathsf{d}_\ast(X) := ...
1
vote
0answers
147 views

Reference request: Cohomology of Elliptic Curves

Is it true that the group $$H^1(Gal(K^{ab}/K)/\mu_{\nu}(Gal(K_{\nu}^{ab}/K_{\nu})),E_{p^n})$$ is always p-divisible? Or are there any conditions which, when satisfied, guarantee its p-divisibility? ...
9
votes
1answer
419 views

On a result attributed to W. Ljunggren and T. Nagell

I've read in a number of places that, building on previous work of T. Nagell, W. Ljunggren proved in 1 that the Diophantine equation $$\frac{x^{n}-1}{x-1} = y^{2}$$ doesn't admit solutions in ...
9
votes
2answers
738 views

How to learn QFT from mathematical perspective?

I want to learn QFT, because I have heard of its applications in mathematics, I am not interested in scattering cross sections and such. Where can I start to learn? Only books I found are either way ...
9
votes
1answer
251 views

Sard's Theorem For Banach Spaces

Given a smooth map from $\phi: B \rightarrow M$ where $B$ is a Banach Space and $M$ is a finite dimensional smooth manifold (for example, the end point map for a control system), what is the strongest ...
1
vote
0answers
27 views

Estimates for derivatives of a positive discrete harmonic function

There is the following estimation (Duffin, Discrete potential theory, Theorem 5): Let $f$ be a discrete harmonic function in a sphere of radius $R$ with the center $p$, all in $\mathbb Z^3$. Then, if ...
1
vote
2answers
156 views

On the natural density of almost perfect numbers

This question is pretty basic, so I apologize in advance if it is unsuitable for MO. If so, please do let me know and I will migrate it over to MSE. Essentially, by work of Kanold, we know that the ...
3
votes
1answer
116 views

Classification of 3-forms in dimension 7

I'm looking for a classification of $3$-forms over a real vector space of dimension $7$ as for the $3$-forms in dimension $6$. References on the latter case are R. Bryant On the geometry of almost ...
4
votes
1answer
212 views

Learning Quantum (Co)Homology and Landau Ginzburg Superpotential

I am learning about Quantum Homology which I have to use in my research, and I see that in many papers (For example in FOOO, "Spectral invariants with bulk, Quasimorphisms and Lagrangian Floer ...
2
votes
2answers
260 views

Magnus' embedding theorem

I am looking for a (preferably modern) reference to the following old result of Magnus. Let $F$ be a free group of finite rank and $$ F_1 = [F,F], F_2 = [F_1,F_1], \dots , F_{n+1} = [F_n,F_n], \dots ...
6
votes
1answer
165 views

Henstock, Differentiation under the integral sign

Does anyone know, where I can find the proof of necessary and sufficient conditions for differentiating under the integral sign in case of Henstock integral? Here are the theorems but not all the ...
2
votes
0answers
83 views

Extension of the Hilbert-Mumford Criterion

Let $X$ be a smooth variety, $L$ a line bundle on $X$ and $G$ a reductive group actin on $X$ with a linearization of the action to $L$. Say we are over the complex numbers. Both the concept of GIT ...
3
votes
0answers
150 views

Looking for a copy of Algebraic Number Theory in honor of Iwasawa

I am looking for an electronic copy of this volume: Advanced studies in Pure Mathematics, Volume 17 Algebraic Number Theory - in honor of K. Iwasawa Edited by J. Coates, R. Greenberg, B. Mazur and I. ...
3
votes
2answers
257 views

How to show the following two definitions of homotopy monomorphism are equivalent?

Let $M$ be a model category. In Toen's The homotopy theory of dg-categories and derived Morita theory Page 11 it is written: a morphism $x \to y$ in a model category $M$ is called a homotopy ...
13
votes
2answers
530 views

Differential operators are coKleisli morphisms of the jet co-monad

The following statement may be "well known but not well known enough", and my question is which reference would state it explicitly: The construction of Jet bundles is a comonad on suitable bundles ...
2
votes
1answer
79 views

Integral kernels of self-adjoint operators [closed]

If the integral kernel $k(x, y)$ of an operator $T : C^\infty_c(M) \to \mathcal{D}'(M)$ is symmetric ($M$ is a compact manifold), then the operator $T$ is symmetric. Is the converse true? That is, ...
2
votes
2answers
131 views

Hamiltonian group actions in the context of holomorphic line bundles

When studying Hamiltonian group actions, a very nice set up might be to take the following: Let $M$ be a compact Kähler manifold with (integral) Kähler form $\omega$, endowed with a Hamiltonian ...
6
votes
1answer
107 views

Continuity of conjugation actions of Polish groups

Let $G$ and $H$ be Polish groups and let $\psi: G \rightarrow H$ be a continuous injective homomorphism such that $\psi(G)$ is normal in $H$. Then $H$ acts on $G$ by conjugation via $\psi$, in other ...
18
votes
1answer
389 views

$\int_0^\infty x \, [J_0(x)]^5 \, dx$: source and context, if any?

QUESTION Numerical calculation with gp (first to the default 38-digit precision, then tripled) supports the conjecture that $$ \int_0^\infty x \, [J_0(x)]^5 \, dx = \frac{\Gamma(1/15) \, \Gamma(2/15) ...
6
votes
1answer
279 views

An indicator of a planar subset as an element of a tensor product

Denote $I=(0, 1)$, and let $\mu$ be the Lebesgue measure on $I$. Does there exist a function $f$ on $I\times I$ viewed as an element of the space $L^\infty(\mu\times\mu)$ such that $$ f^2=f $$ (that ...
5
votes
1answer
102 views

In the category of uniform spaces, is the completion of a quotient map also a quotient map?

I asked this question about 2 months ago on math.stackexchange, but so far I received neither comments nor answers. Let $X$ and $Y$ be two Hausdorff uniform spaces. A surjective uniformly continuous ...
23
votes
1answer
1k views

Algebraic proof of Five-Color Theorem using chromatic polynomials by Birkhoff and Lewis in 1946

I'm guessing everyone is familiar with Four Color Theorem which was proved by Appel and Haken using computers. A weaker version of this theorem is Five Color Theorem which states that a planar graph ...
0
votes
1answer
81 views

Criterion for transverse boundary intersection of one-parameter family in $\overline M_{g,n}(X,\beta)$

Suppose we have a projective, nonsingular, convex variety $X$, $\beta \in H_2(X,\mathbb{Z})$ and a family $$ \begin{array}{ccc} \mathcal{C}& \to & X \cr \downarrow& & & \cr B ...
3
votes
1answer
144 views

Mixed (anisotropic) Sobolev spaces

Consider real variables $x, y$ and a function $f(x, y) \in H^s(\mathbb{R}^2)$, say for some $s \in (0, 1)$. I am trying to get an understanding of mixed Sobolev spaces of the form $H^s_x(H^s_y)$, ...
2
votes
1answer
336 views

A question on the bounds of the $n$-th composite $c_n$

While trying to prove the inequality $$c_{p_n-m}+c_{m-n}>p_n+2$$ I tried the bounds of $c_n$ (denotes the $n$-th composite number) given in this paper to prove that the sum $c_{p_n-m}+c_{m-n}$ ...
0
votes
1answer
108 views

Tradeoff among symmetries [closed]

I posted this is mathematics SE and it didn't get much attention, so I'm trying here. I apologize if it is not relevant. Take a set $X \in \mathbb{R}^2$ of nonzero measure $\mu(X) \neq 0$. I am ...
1
vote
1answer
1k views

Does this linear algebra construction based on a graph have a name, and where has it been studied?

In the paper Kochen-Specker set with seven contexts by Lisonek, Badziag, Portillo and Cabello, the following construction is used : Question : Have such constructions been used elsewhere, and if so ...
5
votes
1answer
197 views

$\text{cov}(\mathcal{M})$ vs. $\mathfrak{b}$ vs. $\mathfrak{s}$

Let me first recall some pretty standard notations: $\text{cov}(\mathcal{M})$ is the covering number of the ideal $\mathcal{M}$ of all meager subsets of $\mathbb{R}$; $\mathfrak{b}$ is the bounding ...
9
votes
1answer
244 views

Primer on Eisenstein series

My apologies if this question is a duplicate. I seached, and the closest I could locate is this question, which has very intriguing and intractable (for me) responses. In my continuing journey of ...
5
votes
0answers
115 views

Local version of the Hardy-Littlewood-Sobolev theorem for Riesz potentials: $\|I_\alpha(f)\|_{L^q} \le C \|f\|_{L^p}$?

Recently, I have been studying the properties of the Riesz potential $$ I_\alpha(f)(x) = c_{d,\alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy. $$ The classical Hardy-Littlewood-Sobolev ...
3
votes
1answer
85 views

Horizontal Sobolev space on Carnot group

This question is connected with my previous: Heisenberg group: function without vertical derivative. Here I am trying to look from another side: what is a difference between Sobolev space and ...
8
votes
5answers
524 views

Representation Theory of Lie Groups: Reference Request

I am looking for a reference that describes the correspondence between the (finite-dimensional) representations of (real) Lie groups and the representations of their Lie algebras. More precisely, ...
5
votes
1answer
171 views

What is the monoidal equivalent of a locally cartesian closed category?

If a closed monoidal category is the monoidal equivalent of a Cartesian closed category, is there an analogous equivalent for locally cartesian closed categories? Is there a standard terminology or ...
6
votes
1answer
158 views

Reference for Hopf algebra applications to Feynman diagrams

I need to give a talk about Hopf algebras and I would like to give a (at least) 5 minutes introduction using Feynman diagrams as a motivation. I'm looking for a not-so-heavy reference explaining how ...
1
vote
0answers
59 views

Largest dimensional Lie subgroup of $SU(N)$ [duplicate]

What is the largest (Lie) subgroup of $SU(n)$ in the sense of its dimension. I am aware of this potential duplicate subgroup of SU(N) with maximal manifold dimension , however, the title of this ...
3
votes
1answer
186 views

Quasicoherent sheaves on superschemes

I am interested in learning about super algebraic geometry (some objects I am studying seem to be naturally superstacks, at least in some sense). What would be the best reference for the subject? I am ...
3
votes
2answers
253 views

Kan extensions in the $2$-category of monoidal categories

Kan extensions make sense in any $2$-category. But so far I have only really seen them in the case of the $2$-category of categories, functors, natural transformations and the $2$-category of ...
2
votes
2answers
162 views

Paper of Denis Simon on quadratic equations in dimensions 4, 5?

In several places I have come across references to a 2005-6 preprint of Denis Simon entitled Quadratic equations in dimensions 4, 5, and more This paper gives fast algorithms to find isotropic ...
9
votes
0answers
107 views

Reference for class of involutions containing longest element of finite Coxeter group?

Consider a finite (say irreducible) Coxeter group $W$ with a fixed generator set $S$ and rank $n$. This is the same thing as a finite real reflection group, generated by a set of “simple” ...
1
vote
1answer
104 views

Combinatorial polynomials from general diagram fillings?

There is a plethora of polynomials defined on partition shaped Young diagrams, (Schur, Jack, Grothendieck,...), and skew Young diagrams. There are also composition shaped diagrams that are responsible ...
15
votes
1answer
439 views

Whatever happened to $L(j)$?

So this question probably shows my inner model theoretic ignorance, but: In "Two remarks on elementary embeddings of the universe" (http://projecteuclid.org/download/pdf_1/euclid.pjm/1102969567), ...
1
vote
0answers
49 views

Second derivative estimates for gradient dipendent elliptic equations

Caffarelli in the article " Interior a priori estimates for solutions of Fully non linear Equations" Ann. Math 130,No.1, 1989 proved that a continuous viscosity solution $ u $ of a uniformly elliptic ...
3
votes
1answer
207 views

Reference request: Flipping the factors in the Künneth formula

I would like to know if there is a reference for the fact that the following diagram commutes: $$ \begin{array}{ccccccccc} 0 & \to & H_*(X) \otimes H_*(Y) & \to & H_*(X\times Y) & ...