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

**4**

votes

**0**answers

155 views

### Open questions in “Spin geometry”

This is a very naive question. I have the impression that the area of "Spin geometry" is not an active research field. Sure Spin geometry is used in many different branches of mathematics and physics ...

**2**

votes

**0**answers

93 views

### Generalizing disjointness

The following definition generalizes set-theoretic disjointess:
Definition 0. (Autonomy). Given a Lawvere theory $\mathsf{T}$, a $\mathsf{T}$-algebra $X$, and an indexed family $S$ of subalgebras ...

**5**

votes

**2**answers

115 views

### Reference to iterated logarithm law and Smirnov law of empirical CDF

I am reading V. Vapnik's "Statistical Learning Theory". The author layouts following two statistical laws related to empirical CDF. I am looking for reference about proofs on these two laws.
Let ...

**6**

votes

**1**answer

109 views

### Radon transform between affine grassmannians

Let $\overline{GR}(n,k)$ be the manifold of all affine k-dimensional subspaces in $R^n$, and let
$R:C^{\infty}_c(\overline{GR}(n,k))\to C^{\infty}_c(\overline{GR}(n,l))$, $0\le k<l\le n-1$, be the ...

**6**

votes

**0**answers

171 views

### The p-adic valuation of a linear recurrence

Let $(u_n)_{n \geq 0}$ be an integer-valued linear recurrence of order $k \geq 1$. Precisely,
$$u_n = a_1 u_{n-1} + \cdots + a_k u_{n - k} \quad \forall n \geq k ,$$
for some $a_1, \ldots, a_k \in ...

**1**

vote

**1**answer

66 views

### One question about the tensor product of $L^1(G)$ and a Banach space $A$

We know that the tensor product of $L^1(G)$ and a Banach space $A$ is isometric to $L^1(G, A)$, the space of all Bochner-integrable $A$-valued functions on a locally compact group $G$. I am looking ...

**0**

votes

**0**answers

46 views

### What results exist for functions with regionally fluctuant fractal dimension?

I'm interested in functions that have a varying fractal dimension at different scales and/or regions. Has this been investigated in detail? I'd be interested in results and references in this area of ...

**0**

votes

**1**answer

88 views

### Reference request: Strong Connectivity and the Incidence Matrix

Question: What would be a good reference for characterizations of strong connectivity of a digraph in terms of its incidence matrix?
Details: Consider a digraph $(V, E)$ with vertex set
$$V = ...

**9**

votes

**1**answer

255 views

### Adding inverses to a symmetric monoidal category (Reference?)

As we all know, the forgetful functor $\mathsf{Ab} \to \mathsf{CMon}$ from abelian groups to commutative monoids has a left adjoint, the Grothendieck group. I would like to categorify this ...

**2**

votes

**0**answers

49 views

### Group of real analytic isometries of $g$-fold product of the Poincare upper half plane

Let $\mathfrak{h}^g$ be the cartesian product of $g$ copies of the Poincare upper half plane. We endow $\mathfrak{h}^g$ with the usual Poincare metric given in local coordinates by $ds^2=\sum_{i=1}^g ...

**0**

votes

**0**answers

16 views

### Error Bounds for Approximation with Dyadic Sums of Polynomials

are there any bounds known for approximating a genuine multidimensional polynomial function with a sum one-dimensional polynomials over the independent variables?
In the twodimensional case the ...

**4**

votes

**2**answers

198 views

### Well-complemented copies of $\ell_p^n$

This must be surely known but I couldn't locate this problem in the literature. It popped out in a priori unrelated approximation problem but if true, would help me greatly.
Let $p\in (1,\infty)$.
...

**5**

votes

**0**answers

172 views

### Version of Stone Weierstrass for functions not vanishing at infinity

I am trying to see what is known about uniform density of function spaces in $C(\mathbb{R}^n)$ or $C_b(\mathbb{R}^n)$ (bounded continuous functions on $\mathbb{R}^n$). By uniform density, I mean ...

**2**

votes

**0**answers

28 views

### Continuity of expected hitting value of diffusion

Let $W$ be a $d$-dimensional Brownian motion and $X$ the strong solution to
$$\mathrm{d} X = \mu(X)\mathrm{d} t + \sigma(X)\mathrm{d} W,$$
starting from some $x$, where $\mu$ and $\sigma$ are ...

**5**

votes

**0**answers

106 views

### Minimal possible cardinality of a $(a_1, …, a_k)$-distributable multiset

Suppose we have a multiset $M$ of positive rational numbers. Sum of $M$ equals $1$. We'll call this multiset $n$-distributable for some $n\in \mathbb{N}$, if there exists a partition $M_1 \sqcup ... ...

**3**

votes

**1**answer

208 views

### Example of a triangulable topological manifold which does not admit a PL structure

I know there are some examples of manifolds which don't admit a PL structure (combinatorial triangulation), and that it has been recently proven that in dimension $n\geq5$ there are manifold which are ...

**2**

votes

**2**answers

338 views

### Reference for higher categorical analogue of algebraic cycle? [closed]

Are there higher categorical analogues of algebraic cycles?
What are some references?
This question arise in an attempt to generalize algebraic cycles towards higher dimensional algebra. Has there ...

**2**

votes

**1**answer

274 views

### Intuitive functional analysis book

I want to know functional analysis book like Terence tao's real analysis and measure theory book, full of intuition. I am aware of linear algebra, real analysis, measure theory, Probability theory.

**0**

votes

**1**answer

74 views

### Forbidden Tripartite Graphs

I was looking at extremal graph theory. I have understood the proofs of upper bounds for the Zarankiewicz problem which basically states: What can you say about the edges of a graph with $n$ vertices ...

**1**

vote

**2**answers

107 views

### Is there a name for a partial order in which there is a countable chain which “dominates” the whole space?

Is there a name for a partial order $\preceq$ on a set $X$ with the following property: "there exists a countable set $S \subset X$ such that for all $x \in X$ there exists $y \in S$ with $x \preceq ...

**1**

vote

**0**answers

14 views

### Properties of Optimal k-Tour Spanners

Let the edge set of a Optimal k-Tour Spanner of a graph $G$ be equal to the edges of $G$ that lie on at least one optimal tour through exactly $3<k<n$ distinct vertices of $G$.
I would like ...

**2**

votes

**0**answers

95 views

### What sorts of weights for perverse sheaves were or can be computed?

I am studying certain weights for (triangulated categories of relative) motives. Those are interesting; yet one can hardly say that they are very much explicit or effectively computable. So, I would ...

**2**

votes

**0**answers

117 views

### Existence of universal extension between two modules?

I need a reference for the following fact:
Let $R$ be (for simplicity) an algebra over the field $k$, let $A, B$ be $R$-modules. Let $E = Ext^1_R(B, A)$. There is a natural isomorphism between ...

**5**

votes

**1**answer

468 views

### reference for “Topological algebra of Grothendieck”

I would like to have some references for Grothendieck's theory of "Topological algebra": a synthesis of homotopical and homological algebra,
with special emphasis on topoi.

**6**

votes

**1**answer

230 views

### Conway's subprime Fibonacci sequences

I want to be certain I have the latest information on
Conway's subprime Fibonacci sequences,
arXiv-posted a year ago; I am referencing the status in
a review.
To wit, starting with $(0,1)$:1
$$
0, 1, ...

**3**

votes

**3**answers

216 views

### Convergence of expansion for fractional iteration

I was reading about tetration here. The site mentions that the convergence of the expansion for fractional iteration is unproven. However, I was interested in reading more literature about convergence ...

**1**

vote

**0**answers

103 views

### Classification of Automorphism set of a Regular graph

Let $A$ be the adjacency matrix of an $r$-regular graph $G$ with $n$ vertices (Not complete or cycle graph) . Also, let $Aut(G)$ be the set of all its automorphisms (i.e. set of permutation ...

**1**

vote

**0**answers

62 views

### Point Spectrum of a Second Order System of Differential Equations

Consider the following operator acting on $H^1(\mathbb{R})$
$$
\mathcal{L} \left(\begin{array}{c} \phi \\ \psi \end{array}\right) = -\left(\begin{array}{c} \phi \\ \psi \end{array}\right)'' + V(x) ...

**17**

votes

**0**answers

496 views

### Reference request: Parallel processor theorem of William Thurston

Sometime in the 1980's or 1990's, Bill Thurston proved a theorem regarding the existence of a universal parallel processing machine, using a certain class for such machines having finite deterministic ...

**0**

votes

**1**answer

21 views

### Supremum of centered jointly generalized chi-square random variables

Let $\zeta_n$ be a sequence of centered jointly generalized chi-square random variables, i.e. $\zeta_n = \sum_{k=1}^{m_n} a_{k,n}(\xi_{k,n}^2 - E[\xi_{k,n}^2])$, and $\xi_{k,n}$ are centered jointly ...

**0**

votes

**0**answers

62 views

### Suitable reference on smooth manifolds for qualifying exam study?

Is there a single suitable reference to study for the smooth manifold (geometry) half of a typical Topology/Geometry PhD preliminary exam at an average AMS group I school? (Note: I know details about ...

**42**

votes

**1**answer

3k views

### What were the main ideas and gaps in Yoichi Miyaoka's attempted proof (1988) of Fermat's Last Theorem?

Out of sheer curiosity I have been reading Stewert and Tall's "Algebraic Number Theory and Fermat's Last Theorem" (2001). As it contains various bits of history, I found out to my own shame that I was ...

**2**

votes

**0**answers

46 views

### Points are removable for weakly differentiable functions

If $\Omega \subseteq \mathbb{R}^N$ is an open set and $N \ge 2$, then any point $a \in \Omega$ is removable for weakly differentiable maps: for each function $u \in W^{1, 1} (\Omega \setminus \{a\})$, ...

**0**

votes

**0**answers

96 views

### reference for groupoid cohomology

In nLab (groupoid cohomology) says:
"Under the homotopy hypothesis theorem, plain (non-internal) groupoid cohomology is the same as the cohomology of homotopy 1-types."
Are there references for ...

**1**

vote

**0**answers

155 views

### One parameter family of elliptic equations

Consider the following 2nd order nonlinear elliptic equation on $\mathbb{R}^n$: $$-\Delta \varphi + \sum_i a_i(x, \varepsilon)\partial_i \varphi + \varphi = N(\varphi),$$
where $N$ is a smooth ...

**-3**

votes

**0**answers

64 views

### Are there papers or books that explain why Bernhard Riemann believed that his hypothesis is true?

This question accross this question from SE such that no answer ,I think every
mathematician should know Wy B.Riemann believed that his hypothesis is true .I'm affraid
to ask this question in M.O ...

**5**

votes

**1**answer

317 views

### soft: Reference/ Suggested Read: Homological Algebraic techniques in PDEs

I was reading this article on wikipiedia and was interested by the apparent link between Homological Algebra and PDEs. What is an accessible reference which showcases the link between these topics? ...

**1**

vote

**1**answer

189 views

### reference on Dirichlet theorem on primes in arithmetic progression

I appreciate if you could help me to find a reference (and a proof).
Combining Dirichlet theorem on primes in arithmetic progression with Chebotarev densitiy theorem, we know that given two positive ...

**4**

votes

**2**answers

127 views

### Reference for (co)limit-preserving functor $X\mapsto R^X$

Fix a commutative ring $R$. There's a contravariant functor from finite sets to finite $R$-algebras sending $X$ to $R^X$. Viewed as a covariant functor $\text{set}^{op}\to R\text{-alg}$, this functor ...

**4**

votes

**1**answer

133 views

### Are automorphism groups of polarized varieties of finite type

It is "well-known" that the stack of polarized varieties is an algebraic stack with quasi-compact and separated diagonal.
In particular, if $(X,L)$ and $(Y,M)$ are polarized schemes over a scheme ...

**0**

votes

**1**answer

283 views

### Particular case of Beal's Conjecture

Is it known that there exist no coprime positive integers $A$, $B$ and $C$ such that $A^3+B^4=C^3$? This is a particular case of Beal's Conjecture.

**2**

votes

**2**answers

224 views

### Hausdorff Dimensions of Limit set of subgroups of SL(2,Z)

In a recent paper by Bourgain, Sarnak, Gamburd [1] talks about subgroups of $SL(2,\mathbb{Z})$.
Let $\Lambda$ be a finitely generated non-elementary subgroup of $SL(2,\mathbb{Z})$ with Hausdorff ...

**1**

vote

**0**answers

64 views

### Examples for differential operators first order

Currently I am dealing with the problems which involve the general first order differential operator, i.e., for some open domain $\Omega\subset\mathbb{R}^n$ with certain regular bondary and a function ...

**4**

votes

**2**answers

294 views

### What does it mean that the Hessian is proportional to the metric?

Let $(M,g)$ be a smooth manifold equipped with a metric tensor $g$, and $f\in C^\infty(M)$ a regular function (i.e., with nowhere vanishing differential).
Denote by $\mathrm{Hess}_g(f):=\nabla df$ ...

**5**

votes

**0**answers

74 views

### Fock Space Proof of $(g(x)\phi^4)_2$ Mass Gap?

Is there a proof that does not depend on Euclidean methods? Is this a proof? :
$V(g)$ can be written as $P+R$ where $P$ is non-negative and $R$ is $N$-bounded (and hence $(H_0+\lambda P)$-bounded). ...

**6**

votes

**4**answers

428 views

### SO$(4)$ (& SO$(n)$) characterization?

I believe it is the case that
any finite subgroup of SO$(3)$
(the $3 \times 3$ orthogonal matrices of determinant $1$)
is either a cyclic group $C_n$,
or a dihedral group $D_n$, or one of the groups ...

**5**

votes

**1**answer

84 views

### Matroids similar to the cycle matroid

Let $G=(V,E)$ be a graph (loops and multiple edges are permitted). Three following systems of dependent sets in $E$ define matroids:
1) Set $A\subset E$ is dependent if $A$ contains cycle. This is a ...

**0**

votes

**1**answer

97 views

### quasi-projective and separated as topological properties

Let $X$ be a non-reduced noetherian scheme over $\mathbb{Z}$ or $\mathbb{C}$. Assume that $X^{red}$ is quasi-projective and separated, does the same hold for $X$ ?
(By the way, projective implies a ...

**2**

votes

**1**answer

118 views

### Counting elements with certain word length in abelian groups

Given a (finite) abelian group $G = \langle S \mid R \rangle$, has the problem of counting the number of elements which can be expressed as a word (in $S$) of length $\leq k$ been studied? If so, ...

**1**

vote

**0**answers

57 views

### concentration inequalities for quadratic forms of correlated random vectors

Let $\mathbf{n}$ is a Gaussian random vector with mean $\mathbf{0}$ and co-variance matrix $\mathbf{H}$. Let $\mathbf{r} = Sign(\mathbf{n})$, where $Sign(n_i) = 1$ if $n_i>0$ and $Sign(n_i) = -1$ ...