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
3answers
198 views

Has this formula for $G_{k}:=\lim\inf_{n\to\infty}p_{n+k}-p_{n}$ been conjectured?

I give here a heuristics that suggests that the quantity $\displaystyle{G_{k}:=\liminf_{n\to\infty}p_{n+k}-p_{n}}$ should be approximately equal to $k(1+H_{k})$, where $H_{k}$ is the $k$-th harmonic ...
1
vote
0answers
56 views

Generalization of Schur polynomials

I am making a list of generalizations of Schur polynomials and other closely related polynomials that appear in representation theory. My motivation is to eventually make a nice poster of ...
-1
votes
1answer
67 views

Question about measure lemma?

"Let (u_j) be a bounded sequence from $W^{1,p}(\Omega)$ how to prove that there exists a subsequence such that $u_j\rightharpoonup u$ in $W^{1,p}_0(\Omega)$ and $|\nabla u_j|\rightharpoonup d\mu,$ ...
6
votes
1answer
107 views

Reference request: Riesz potential $I_\alpha : L^{d/\alpha} \to \rm{BMO}$?

Let us denote the Riesz potential in $\mathbb R^d$ by $$ I_\alpha (f)(x) := c_{d, \alpha} \int_{\mathbb R^d} \frac{f(y)}{|x-y|^{d-\alpha}} \, dy.$$ By the classical Hardy-Littlewood-Sobolev theorem ...
2
votes
0answers
98 views

A homomorphism in the long exact sequence of a fibration for a homogeneous space of a Lie group

Let $G$ be a connected Lie group, and let $H\subset G$ be a (closed) Lie subgroup, not necessarily connected. Set $X=G/H$. The fibration $j\colon G\to X$ with fiber $H$ induces an exact sequence $$ ...
0
votes
0answers
45 views

Generalization of a class of sets [on hold]

In topological space, we start with open set, which serves as fundamental set. We know that union of finite disjoint open sets is the smallest set amongst any kind of unions of open sets, so we have a ...
0
votes
0answers
77 views

Is it possible to find an explicit definition of the “universal” (co)tangent bundle?

Let $H_{0,1}(\mathbb{P}^2, d)$ be the space of holomorphic degree $d$ maps (that are not multiply covered) from $\mathbb{P}^1$ to $\mathbb{P}^2$ with one marked point $y \in \mathbb{P^1} $ ...
1
vote
1answer
55 views

Sobolev multiplication $\otimes$ of $H^1=W^{1,2}$ in vector bundles

Let $E\to X$ be a vector bundle with an inner product and fix a reference connection $A_0$ on $E$. Then for $1\leq p < \infty$ and $k\geq 0$ we can define the Sobolev space $W^{k,p}(E)$ as the ...
4
votes
0answers
108 views

Lower bound on class number of binary quadratic forms of discriminant of the form $n^2+4$

While searching for a use for the "sum invariant" of indefinite binary quadratic forms of discriminant $D = n^2 + 4$ (see https://cs.uwaterloo.ca/journals/JIS/VOL17/Smith/smith5.html), I believe I ...
1
vote
1answer
80 views

Inner product spaces without symmetry/hermitian axiom

Consider a vector space $X$ over $\mathbb R$ and a bilinear form $ \langle \cdot, \cdot \rangle : X \times X \rightarrow \mathbb R$. We assume furthermore that for any $x \in X$ there exists $y \in ...
5
votes
1answer
189 views

A survey for various $K$-homology theories and their relationship

The ordinary Topological $K$ theory defined by Atiyah and Hirzebruch is a generalized cohomology theory (see wikipedia).There is the Bott spectrum associated to this generalized cohomology ...
4
votes
0answers
50 views
+50

Connection between connectivity and cohesion of a graph

Tutte [1] proved that, for every $3$-connected graph $G$ and vertices $u$ and $v$, there exists a nonseparating $uv$-path. A graph $G$ is $t$-cohesive if $G$ is connected, has at least two vertices, ...
0
votes
0answers
69 views

What is the relation between the $K_0$ of a singular curve and its normalization?

Let $X$ be a singular curve over a field $k$. We define $K_0(X)$ to be the Grothendieck group of the category of coherent sheaves on $X$. For $X$ we have its normalization $\widetilde{X}$ and hence ...
2
votes
1answer
165 views

Explicit examples of Dehn presentations of hyperbolic groups

It is well known fact that a (f.g.) group is hyperbolic if and only if it admits a (finite) Dehn presentation. My question concerns something I'm struggling with since the first time I read the proof ...
1
vote
0answers
134 views

A question on (odd) perfect numbers

I have asked this question in MSE a few weeks back, but did not receive any responses. I have cross-posted it to MO, hoping that it is appropriate for this site. Let $\sigma(x)$ be the (classical) ...
2
votes
2answers
227 views

Is anything known about the eigenspectrum of the regular representation of the permutation group?

I am looking for information like upper bounds on how many times any eigenvalue can occur or something like how many eigenvalues can be there in some given range. Is anything like this known? The ...
25
votes
2answers
531 views

Volume of the unitary group

I saw a very remarkable asymptotic formula (or a conjecture?) for the volume of of the unitary group $ U(n)$ which is the following: $$\log[\mathrm{Volume}(U(n))] \sim_{n\rightarrow \infty} ...
4
votes
0answers
94 views

Rellich's theorem from compact resolvent

On a compact Riemannian manifold, we know that the Laplacian $\Delta$ has compact resolvent. In proving this, one typical way is to use Rellich's theorem about the compact embedding of $H^1(M)$ into ...
0
votes
0answers
112 views

Is there any computation of $K^0(X)$ and $K_0(X)$ for a singular curve $X$?

Let $X$ be a projective curve over an algebraic closed field $k$ which characteristic zero. Define $K^0(X)$ as the Grothendieck group of the derived category $Perf(X)$ and $K_0(X)$ as the Grothendieck ...
18
votes
2answers
1k views

An unfair marriage lemma

I am looking for a citeable reference to the following generalization of Hall's Marriage Theorem: Given a bipartite graph of boys and girls. In addition to gender difference, they are divided into ...
7
votes
0answers
100 views

Some $q-$analogues of $ \sum\limits_{j = - k}^k {{{( - 1)}^{ j}}}\binom{n}{k-j}\binom{n}{k+j}=\binom{n}{k}.$

Let ${\left( {a;q} \right)_n}=\prod\limits_{j = 0}^{n - 1} {(1-{q^j}a} )$ and let $ {{n}\brack{k}}_q$ denote a $q-$binomial coefficient. I am interested in $q-$analogues of the identity $ ...
2
votes
1answer
95 views

Stochastic differential equation associated with an optimal control problem

We know how to find the stochastic differential equation (Hamilton-Jacobi-Bellman equation, HJB) of the control problem where a process $X_t$ is controlled up until it is stopped at a stopping time ...
6
votes
0answers
231 views

Reference for “if the set $A$ is Suslin, then every $\Sigma^1_1(A)$ set is Suslin”

Does anyone know of a reference for one or both of the following facts (in $\mathsf{ZF}$)? If the set of reals $A$ is Suslin, then every $\Sigma^1_1(A)$ set of reals is Suslin. If $T$ is a tree on ...
1
vote
1answer
135 views

compact inclusion of domains of unbounded operators

Let $L$ be a positive self-adjoint operator defined densely on $L^2(M)$ where $M$ is a compact manifold. Also, let $\mathcal{D}(L) \subset H^1(M)$. It is known that $\mathcal{D}(L) \subset ...
9
votes
1answer
179 views

Is the analytic version of the Whitney Approximation Theorem true?

I initially asked this question on MSE but I haven't had any luck. The Whitney Approximation Theorem states that any continuous map between smooth manifolds is homotopic to a smooth map. If the ...
1
vote
0answers
30 views

References to study Weak and Strong Topologies and aproximations on function spaces of manifolds

I´m studing weak and strong topologies and aproximations on the function space $C^{\infty}(M,N)$ of two manifolds $M$ and $N$. I´m using the book Differential Topology of Morris Hirsch but it is a ...
0
votes
0answers
182 views

Is dimension invariant under blow-ups?

Let $X'\rightarrow X$ be a blow-up of a finitely dimensional scheme $X$ in a center $D$. Under which assumptions one has $\dim X'=\dim X$? Do you know a proof or a reference for a proof? Do you know ...
1
vote
0answers
33 views

Green's function for fractional Laplacian

Consider the fractional differential equation \begin{align} D_{|x|}^\alpha u(x) +bu(x)=f(x) \end{align} with $0<\alpha<2$ on an unbounded domain. Instead of $D_{|x|}^\alpha$ one also often sees ...
0
votes
2answers
141 views

étale cohomology via Cech cocycles for a quasi-projective scheme

I am looking for the explicit reference to the fact that for a quasi-projective scheme a class in the étale cohomology of a sheaf of a certain degree can by computed using Cech cocycles.
4
votes
1answer
51 views

Largest regular $k$-simplex inscribed in a $d$-cube, $k < d$

The largest (by edge length) regular simplex inscribed in a unit cube is well known in $\mathbb{R}^2$ and $\mathbb{R}^3$:     Image sources: left: NMSU, right: Mathworld. A recent ...
0
votes
0answers
72 views

Help finding paper: De Concini, Kac - Quantum Groups at roots of 1

I am looking for a specific paper, that I have found very difficult to trace. C. De Concini, V. Kac - Quantum Groups at roots of 1 Specifically, the paper is cited as follows (on De Concini's ...
0
votes
0answers
53 views

Non-ergodic Dye Theorem for orbit equivalent automorphisms

The Dye Theorem states that any two free ergodic p.m.p automorphisms of a standard probability space are orbit-equivalent. Question: Is there a version of the above theorem for non-ergodic ...
-2
votes
0answers
97 views

Should an object in the category always be a formal mathematical structure? [closed]

Today I heard during a popular lecture about the applications of category theory, than an object in the category should always be some kind of mathematical structure e.g. a set, ring, monoid, etc. So ...
2
votes
0answers
24 views

LQR solution when there are linear terms in the cost function?

I am trying to solve the following Bellman Equation: $V(s) =\max_u \left[a'u - (u-s)'Q(u-s) + V(u)\right]$ In the equation above, $s,u,a\in \mathbb R^n$, $Q\in \mathbb R^{n\times n}$ is positive ...
1
vote
0answers
35 views

Reference request: Topological space of polygonal chains and its properties [migrated]

I'm interested in approximations of $C^1([a,b])$-functions by polygonal chains: image File:NURBstatic.svg by User:WulfTheSaxon licensed under GNU Free Documentation License A polygonal chain can be ...
1
vote
0answers
81 views

Elliptic regularity Schauder estimates with Dirichlet/Neumann boundary conditions

Consider the linear elliptic equation $Lu = 0$, where $L$ is a second degree elliptic operator with smooth coefficients on a bounded domain $\overline{\Omega} \subset \mathbb{R}^n$, where $\Omega$ is ...
4
votes
2answers
146 views

Existence of a measure-preserving bijection

Let $f, g \, \colon \mathbb{R}^n \rightarrow \mathbb{R}$ be two Borel-measurable functions such that $f$ is non negative and g is radially symmetric, the function $ (0, \infty )\ni t \mapsto g ...
0
votes
0answers
50 views

Zero divisors and boundary elements of $A^{-1}$ [closed]

I need to understand basic properties of (a) zero divisors in Banach algebras or rings, and (b) spectral properties of elements of the boundary of the set of invertibles in a complex unital Banach ...
4
votes
0answers
127 views

Nash's proof of De Giorgi-Nash-Moser theorem

I saw this question, but I think the answer didn't fully address what I want to know about it: Nash's paper on parabolic equations. It says almost everything developed later in elliptic and ...
5
votes
2answers
187 views

Is this characterization of (-1)-eigenspaces of the Weyl group of $E_6$ known?

I recently needed to know which circles $S$ in a maximal torus $T^6$ of the compact exceptional group $E_6$ yield one-dimensional subspaces $\mathfrak s$ of the Lie algebra $\mathfrak t^6$ that are ...
3
votes
3answers
228 views

Reference request about the representations of the group $PSL_2(\mathbb{F}_q)$

Is there a review/exposition of the representation theory of $PSL_2(\mathbb{F}_q)$ ? Like an enumeration of its irreducible representations and their dimensions as a function of $q$?
4
votes
1answer
221 views

Self-contained book on Ricci Flow/Geometric Analysis

Can someone please tell me whether there is any self-contained book on Geometric Analysis/Ricci Flow/analytic techniques used in Riemannian Geometry? By self-contained I mean it does not assume that ...
2
votes
0answers
166 views

An (open?) problem about a sequence of nested principal sub-matrices and their determinants

Problem: Let $A$ be a $n \times n$ integer matrix, $\det(A) = \pm 1$. Under which conditions there exist a nested sequence of principal submatrices of size $n$ such that they all have determinant $\pm ...
0
votes
0answers
51 views

Good covering of a (singular) curve in a complex surface

Let $W$ be a $2$-dimensional complex manifold and $C\subset W$ a compact complex curve (possibly singular). I would like to know a reference for the following fact: there exists a collection ...
8
votes
2answers
180 views

Obtain 4-manifolds by repeating surgeries of submanifolds in $S^4$

In his paper QFT and Jones Polynomials, Witten states: "It is a not too deep result that every 3-manifold can be obtained from or reduced to $S^3$ (or any other desired 3-manifold) by repeated ...
2
votes
1answer
117 views

Contraction semigroup

Let $(X, \mu)$ be a finite measure space and let $A$ be a non-negative self-adjoint operator which generates a contraction semigroup $e^{tA}$ on $L^2(X, \mu)$. If additionally, we have that $e^{tA}$ ...
1
vote
1answer
137 views

Fourier coefficients of real analytic functions on an n-dimension torus

Let $(\mathbf{R}^n,\langle\;,\; \rangle)$ be the n-dimensional euclidean space endowed with the standard inner product. For a lattice $L\subseteq \mathbf{R}^n$ we let $cov(L)$ denote the covolume of ...
6
votes
0answers
89 views

When is a $2$-Calabi–Yau triangulated category the cluster category of a QP?

Keller–Reiten's main theorem in Acyclic Calabi–Yau categories implies that if $\mathcal{C}$ is a $2$-Calabi–Yau (algebraic) triangulated category admitting a cluster-tilting object $T$ such that the ...
2
votes
1answer
78 views

Renorming into contraction

In Pazy's book on semigroups he mentions (page 18) that when you have a commuting family of operators $B(t)$, such that $$ \sup \| B(t_1) .. B(t_n) \| \le M $$ for all finite choices $t_1, .. t_n$ ...
4
votes
0answers
83 views

Arithmetic quotients of Bruhat-Tits buildings for groups over local fields of positive characteristic

I have been led to believe that there is a result giving a description of the quotient of a Bruhat-Tits building $\Delta(G,k)$, for a semisimple algebraic group $G$ over a non-archimedean local field ...