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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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
0answers
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
3answers
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
0answers
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
2answers
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
1answer
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
1answer
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
2answers
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
0answers
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
2answers
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
0answers
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
4answers
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
1answer
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
1answer
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
1answer
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
0answers
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$ ...