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

Sierpinski's construction of a non-measurable set

In the early 20th century there was a lot of fuss over the axiom of choice implying that there are Lebesgue non-measurable sets of reals. In his book about The Axiom of Choice, Gregory Moore points to ...
2
votes
2answers
121 views

Tensor product over a monoid in a monoidal category

nLab article on tensor product says: "Given two objects in a monoidal category $(C,\otimes)$ with a right and left action, respectively, of some monoid $A$, their tensor product over $A$ is the ...
0
votes
0answers
26 views

Caffarelli-Silvestre extension definition of fractional Laplace-Beltrami on hypersurface

Let $\Gamma \subset \mathbb{R}^{n+1}$ be a $n$-dimensional (closed) $C^k$-hypersurface. Consider the problem $$\nabla_\Gamma \cdot (y^{1-2s}\nabla_\Gamma u)(x,y) =0 \quad \text{for $(x,y) \in \Gamma ...
0
votes
0answers
39 views

The hypertriangular function of $n$

I'm looking for papers or recent results on the hypertriangular function of $n$: $$H_t(n)= \displaystyle\sum\limits_{k=1}^{n} k^k$$ This is A001923 in the OEIS. I don't have much experience with ...
4
votes
3answers
253 views

Do geodesics in SL2R map to geodesics in the hyperbolic plane?

I am looking for a reference/proof/disproof of the following statement. Equip the Lie group $SL_2(\mathbb{R})$ with the left-invariant Riemannian metric, whichis given on the Lie algebra by $\langle ...
2
votes
3answers
632 views

Where do Set Theory and Number Theory meet together?

As all know, by absoluteness theorems in Set Theory, most of theorems in number theory are $ZFC$-provable if and only if they are consistent with $ZFC$, it's because of absoluteness of essence of ...
2
votes
0answers
37 views

Existence of solution to weak form of linear equation with boundary integral (parabolic PDE)

Let $W(0,T) := \{ u \in L^2(0,T;H^{\frac 12}(\partial\Omega)) \mid u_t \in L^2(0,T;H^{-\frac{1}{2}}(\partial\Omega))\}$. Let $\gamma$ and $\xi$ denote the trace map and its right inverse. Does there ...
14
votes
1answer
782 views

Joyal's letter to Grothendieck

Mostly out of curiosity: Where do I find Joyal's letter to Grothendieck in which he defines a model structure on simplicial sheaves? The question was already asked in this MO post, but that ...
4
votes
1answer
273 views

Results about moduli of surfaces

There are early successes of the moduli theory - the construction and compactification of the moduli spaces of curves $\overline{\mathcal{M}}_g$ . I want to study about the moduli of algebraic ...
2
votes
0answers
72 views

invariant measures of the expanding maps on the circle

I would be very happy to know about original references for the following results; For the expanding map $x \mapsto mx$ on the circle, (with $m$ some integer greater than 1) (1) There exist ...
4
votes
1answer
399 views

Beginners Guide to Cartan for Beginners [on hold]

I am working through parts of Cartan For Beginners by Ivey and Landsberg. Thankfully some exercises have solutions, but, we would benefit from some additional guidance. Question: I am seeking ...
2
votes
1answer
91 views

Hopf structures on “pictorial” descriptions of permutations

There is a well-known Hopf structure on permutations, due to Malvenuto and Reutenauer. Here, the F basis elements are permutations in one-line notation, the product of two permutations is their ...
0
votes
1answer
80 views

References: Solutions of the Bethe Ansatz Equations [on hold]

Could someone show me good references to find solutions of the Bethe Ansatz Equations, for simple cases (using algebraic geometry or others interfaces with mathematics)?
5
votes
1answer
134 views

When is $\vartheta(x)>x$? [Skewes number analog]

Let $\vartheta(x)=\sum_{p\le x}\log p$. What is known about the first time $\vartheta(x)>x?$ Bays & Hudson give good upper bounds (slightly improved by Chao & Plymen) on the first crossing ...
11
votes
2answers
287 views

A bit of history of Verdier duality

I was wondering who originated the presentation of Verdier duality as an equivalence between categories of sheaves and cosheaves ? I learnt it reading Jacob Lurie's Higher Algebra and Justin Curry's ...
3
votes
1answer
198 views

A More Advanced Version of Aluffi's Chapter 0

This is a crosspost of this question from MSE. Paulo Aluffi's Book, Algebra, Chapter 0 aims to teach basic algebra from a categorical viewpoint. The first chapters of the book, however, introduce ...
20
votes
2answers
531 views

Unstable homotopy groups of spheres beyond Toda's range

In 1962 Toda published his book "Composition methods in homotopy groups of spheres", which contains computations of $\pi_{n+k}(S^n)$ for $k\le 19$ and $n\le 20$. The values of these groups are ...
1
vote
0answers
36 views

finding dominating cycles in $2K_2$-free graphs

A cycle $C$ in a connected graph $G$ is called dominating if its complement $V(G)-V(C)$ is an independent set. H.J. Veldman proved in 1983 (Disc. Math. v.43, 281-96) a general result that in ...
4
votes
1answer
288 views

Cap product à la Poincaré

Recently, it became apparent to me that I was not the only one who always first thought in terms of cap product before actually computing a cup product. There is no denying this is evil, but I found ...
0
votes
0answers
51 views

Reference : Special case of Banach-valued function integration by parts

Let $u \in L^p (0,T; L^1(\Omega))$ with $\partial_t u \in L^p(0,T; L^1(\Omega))$ and $v \in L^q (0,T; L^\infty(\Omega))$ with $\partial_t u \in L^q(0,T; L^\infty(\Omega))$ (with $1/p+1/q=1$ and $p \in ...
10
votes
0answers
175 views

Is every projective space curve a set-theoretic intersection of two surfaces? What is known about this question?

I am sorry if this question has been already asked, couldn't find anything similar myself. I have recently recalled this long standing open problem of whether every curve in $\mathbb{P}^3(\mathbb{C})$ ...
1
vote
1answer
72 views

Any two bivariate algebraically dependent polynomials are always in the same ring generated by some bivariate polynomial?

If $f(x,y)$ and $g(x,y)$ are two algebraically dependent polynomials over some field $k$, is it true that there exists a bivariate polynomial $p(x,y)$ such that both $f(x,y)$ and $g(x,y)$ are in the ...
2
votes
1answer
82 views

System of linear first order PDE with constant coefficients

recently in my researches I've come across the following operator $$L\left(\begin{array}{c} a_1\\ \vdots\\ a_n \end{array}\right)=M_1\left(\begin{array}{c} ...
11
votes
4answers
563 views

Zeros of the derivative of Riemann's $\xi$-function

The Riemann xi function $\xi(s)$ is defined as $$ \xi(s)=\frac12 s(s-1)\pi^{-s/2}\Gamma(s/2)\zeta(s). $$ It is an entire function whose zeros are precisely those of $\zeta(s)$. Since $\xi$ is real ...
27
votes
1answer
644 views

Producing finite objects by forcing!

It is a trivial fact that forcing can not produce finite sets of ground model objects. However there are situations, where we can use forcing to prove the existence of finite objects with some ...
1
vote
1answer
65 views

Smooth unit vector field on a tetrahedron to interpolate vertex constraints

For a tetrahedron $T\subset \mathbb{R}^3$ with vertices $r_i\in \mathbb{R}^3$ , $i=1,\ldots,4$, and unit vectors $u_i\in \mathbb{S}^2$ at each vertex $i=1,\ldots,4$ consider the (energy) functional ...
1
vote
0answers
59 views

Better version of “Monotonicity methods in Hilbert spaces and some applications to nonlinear PDEs..”

I am asking whether any one knows of a better source for the text Monotonicity methods in Hilbert spaces and some applications to nonlinear partial differential equations by H. Brezis which I ...
1
vote
0answers
38 views

Reason for the Choice of Line Parameters in the Radon Transform

Why are the lines, over which the integrals in a Radon Transform are calculated, apparently always parameterized as $L(t,\phi,\alpha) := ...
2
votes
0answers
119 views

Good Pre-Calculus book? [closed]

I was reading this article and the author mentioned I should come here and get some advice. I'm 17, currently taking Pre-Calc in high schooling doing really good, but I feel like I'm not getting the ...
0
votes
0answers
130 views

On a paper by Yoneda [closed]

The reason why I asked this previous question was gathering some informations for the note on coend calculus I've just (almost) finished. Unfortunately, I'm still unable to retrieve the original ...
-1
votes
0answers
169 views

Please help me to find a paper by J. Wu [closed]

I am looking for the following paper: J. Wu, Combinatorial descriptions of the homotopy groups of certain spaces, Math. Proc. Camb. Philos. Soc. 130 (2001), 489-513. Many thanks for helping me ...
2
votes
0answers
111 views

Parallel Ricci condition - Status report and bibliography

First I'd like to point out that I'm not a mathematician but a physicist. Dealing with a (hopefully) new affine theory of gravity we have find that the equation of motion are not the usual Einstein's ...
3
votes
1answer
207 views

Reference request for non-commutative analogues of exterior algebras

I am reading Combinatorial Group Theory In Homotopy Theory I by Fred Cohen (preprint available on web page). Here is an extract of the paper: Cohen called $A^R_n$ "a standard tool used in ...
0
votes
2answers
260 views

A sum-of-determinants identity [closed]

I posed a terser version of this question on math.stackexchange.com and after 24 hours I get only a comment on a detail of notation and neither votes nor answers. Suppose ...
1
vote
0answers
47 views

Regularity of Schrödinger Resolvent

The following problem keeps bothering me: Let $H:=-\Delta+V$ be a Schrödinger-Operator in $\mathbb{R}^n$, where $V$ is a Kato-Potential of type $K_n$, which especially yields that $H$ is e.s.a. on ...
3
votes
1answer
74 views

What is Known About the Complexity of Calculating Minimal Surface Polyhedra?

I am currently ruminating about ways of generalizing Minimum Spanning Trees to Minimum Spanning "Hypertrees", where the cost is associated with simplex volumes and, where certain topological ...
2
votes
0answers
145 views

Dehn-Sommerville relations for $\Delta$-complexes

Let $M$ be a closed, triangulated manifold of dimension $m$ and $K(M)$ be its triangulation. Let $f_i$ denote the number of $i$-simplices of $K(M)$. As proved by Klee the face numbers satisfy the ...
5
votes
1answer
81 views

Continuity of taking collapse maps

Let $U$ and $V$ be open subsets of $\mathbb R^n$ and let $\mathrm{OEmb}(U,V)$ denote the space of open embeddings of $U$ into $V$ with the compact-opent topology. Let $\bar{U},\bar{V}$ denote their ...
0
votes
1answer
101 views

Surjectivity of “nice maps” from local properties

What tools are available from real algebraic geometry, analysis and topology to check surjectivity of a map $f:M_{1}\rightarrow\mathbb{R}^{d}$ from local properties and maybe function values? ...
5
votes
1answer
79 views

Does there always exist a sequence of handle moves between handle decompositions that does not increase index? (+ ref. request)

Reference request: Firstly, I'm looking for a proof of the following well-known result about handle decompositions: ($\ast$) Given two handle decompositions of a smooth $n$-manifold $M$, there ...
5
votes
3answers
398 views

How to prove that two univariate polynomials are always algebraically dependent?

How to prove that two univariate polynomials(over any field) are always algebraically dependent? Also, how to prove the generalization of this question i.e if number of polynomials are more than ...
4
votes
1answer
152 views

Extension of solutions of PDEs with constant coefficients

Let $\mathcal L$ be a differential operator with constant coefficients and $\mathcal{L} f=0$ for some $f\in C^{\infty}(\mathbb{R}^n).$ Under what conditions on $\mathcal {L}$ the function $f$ extends ...
0
votes
0answers
63 views

Counting path generating sentences in a specific formal language

Given a formal grammar of a language or an Turing machine of the language, can we count the path that generating sentences of the language? For example, we know that if the grammar is context-free ...
0
votes
1answer
117 views

Inequality for the index of a Lie algebra using its Levi decomposition

The answers to this question indicate that there is a fairly vast literature on the index of Lie algebras. Unfortunately I was not able to find in this literature (or maybe to extract from it) an ...
-1
votes
1answer
139 views

Smooth algebraic functions

Suppose $f(x)=\sum_{|\alpha|=0}^{\infty}a_{\alpha} x^{\alpha}$ for all $x\in\mathbb{R}^n$. Moreover we know a priori that $f$ is an algebraic function. Is $f$ necessarily a polynomial?If not what are ...
3
votes
1answer
107 views

Lower Central Series of Pure Braid Groups?

What is the lower central series $\Gamma_k(P_n)$, where $P_n$ is the pure braid group with $n$ strands? We know that $P_n$ is generated by elements $A_{i,j}$; do we know the generators of ...
1
vote
0answers
57 views

Existence of Green's functions for PDEs

Here is what I think I know: Given a symmetric linear differential operator $\mathcal{L}$ that is positive definite on a function space(/space of distributions) $\mathcal{H}$, we can find its inverse, ...
10
votes
3answers
288 views

Orthogonal mud cracks and Maxwell's reciprocal figures

Is there a succinct mathematical/physical explanation of why mud cracks tend to meet orthogonally?                     Wikipedia image in this ...
5
votes
1answer
228 views

Paper by I. N. Sanov, Solution of the Burnside problem for exponent 4

I have searched extensively online and for copies of printed journals containing the paper which details Sanov's solution to the Burnside Problem for exponent 4, which is widely cited in many papers ...
1
vote
1answer
61 views

Bringing a (Least Squares Problem) Matrix into Block Upper-triangular Shape via Matrix-reordering

I have the problem of solving very large and very sparse least squares problems and, a bit dissatisfied with the run-times of the full-fledged QR-algorithm, I would like to bring the instances into ...