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

**-3**

votes

**0**answers

32 views

### Should an object in the category always be a formal mathematical structure?

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 ...

**1**

vote

**0**answers

16 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 ...

**0**

votes

**0**answers

70 views

### Volume of a complex manifold

Is there a theorem which states the following?
Let $\mathcal{M}$ be a $k$ -dimensional complex submanifold of $\mathbb{C}^n, \ 1 \le k \le n$. Let $V \subset M$ be open, relatively compact in $M$, so ...

**1**

vote

**0**answers

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

**0**answers

48 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 ...

**3**

votes

**0**answers

73 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

**0**answers

49 views

### Zero divisors and boundary elements of $A^{-1}$ [on hold]

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

**0**answers

103 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 ...

**3**

votes

**1**answer

105 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

**3**answers

204 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

**1**answer

202 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

**0**answers

162 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

**0**answers

47 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 ...

**5**

votes

**2**answers

155 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

**1**answer

111 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

**1**answer

134 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 ...

**5**

votes

**0**answers

78 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

**1**answer

75 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

**0**answers

72 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 ...

**0**

votes

**1**answer

274 views

### Reference for a lemma on étale maps

The Stacks Project has the following really nice Lemma concerning étale maps of rings:
Let $A\rightarrow B$ be a finitely presented, étale morphism of rings. Then there exists a presentation
$$ ...

**2**

votes

**1**answer

156 views

### Is $K^0(X)\to K_0(X)$ monomorphic for a noetherian scheme $X$?

This question is related to the MO questions What is the difference between Grothendieck groups K_0(X) vs K^0(X) on schemes? and Does a fully faithful functor between triangulated categories induce ...

**1**

vote

**1**answer

166 views

### Does a fully faithful functor between triangulated categories induce embedding of their Grothendieck groups?

Let $\mathcal{A}$, $\mathcal{B}$ be two triangulated categories and $F: \mathcal{A}\to \mathcal{B}$ be a triangulated functor between them. Then $F$ induces an homomorphism between their Grothendieck ...

**5**

votes

**1**answer

173 views

### Spectrum of the Laplacian on p-forms on the sphere

In this paper the authors give an explicit description of the eigenforms and spectrum of the Laplacian acting on $p$-forms on the round sphere $S^n$, apparently citing an unpublished computation of ...

**2**

votes

**1**answer

70 views

### Generators of the colored braid group (two colors), reference

I consider the group $B_{n,n}$, the braids, colored in two colors, say all odd strings are black and all even strings are white.
It is easy to find a set of generators for $B_{n,n}$:
$$
\begin{cases}
...

**2**

votes

**0**answers

93 views

### Reference to parabola lemma

I am looking for a previous reference to the following very simple geometric lemma, which I use in my paper [arXiv:1503.03462]:
Let $P$ be the parabola $y=x^2$. Let $a,b,c,d$ be four points on $P$ ...

**4**

votes

**1**answer

65 views

### Strongly minimal set with DMP

Recall that a strongly minimal theory $T$ has the Definable Multiplicity Property (DMP) if for all natural $k$, $m$ and $\varphi(\bar{x},\bar{b})$ of rank $k$, multiplicity $m$, there exists a formula ...

**11**

votes

**1**answer

197 views

### Fair cake-cutting between groups

The cake-cutting game is usually played between individuals. What if we try to play it between groups?
A certain land has to be divided between two states. There are $n$ citizens in each state. ...

**10**

votes

**4**answers

435 views

### Rate of convergence in the Law of Large Numbers

I'm working on a problem where I need information on the size of $E_n=|S_n-n\mu|$, where $S_n=X_1+\ldots+X_n$ is a sum of i.i.d. random variables and $\mu=\mathbb EX_1$. For this to make sense, the ...

**3**

votes

**1**answer

259 views

### Moser estimates?

Consider $u$, an $L^2$ solution to the uniformly elliptic equation $(\partial_t^2 + L)u = 0$ on a ball $B_1$ of radius 1 centered at $(t_0, x_0)$, say, where $t$ can be treated as a "time" variable. I ...

**2**

votes

**0**answers

69 views

### Motivation for the existence of periodic solutions [closed]

I have been reading the book Critical Point Theory and Hamiltonian System by Mawhin and Willem, as well as several other papers on the existence of periodic solutions for equations of the form
...

**2**

votes

**0**answers

101 views

### Simply connected Kahler manifold without any effective divisor

Does anyone know an example of a simply-connected compact Kahler manifold without an effective divisor? Does anyone know a reference on this topic? Thanks!

**1**

vote

**2**answers

115 views

### Sum of two unbounded self-adjoint operators

Let $A$ and $B$ be two unbounded self-adjoint operators. From this mathoverflow post, for instance, we know that $A + B$ is self-adjoint on $\mathcal{D}(A) \cap \mathcal{D}(B)$ if $A$ and $B$ are ...

**4**

votes

**1**answer

185 views

### Young tableau with no i in row i, name that derangement

This question has its genesis in a group assignment: $k$ students are to be given oral exams. Each student will be asked one distinct question from $n$ questions given to them earlier, no two students ...

**13**

votes

**1**answer

414 views

### When complex conjugation lies in the center of a Galois group

Let $K \subseteq \mathbb{C}$ be a number field (I'm fixing an embedding), and assume $K/\mathbb{Q}$ is Galois with Galois group $G$. Let $\tau \in G$ denote complex conjugation. This question ...

**2**

votes

**0**answers

64 views

### About some distributive laws in the Bousfield lattice

It is know that for any $\alpha$-well generated tensor triangulated category $\mathcal{T}$ the collection of Bousfield classes forms a set, furthermore this set is a complete lattice, denoted by ...

**1**

vote

**0**answers

79 views

### Size of the eigenfunction of Laplacian (reference request)

It is a classical Sobolev inequality that if $\phi$ is an eigenfunction of the Laplace-Beltrami operator on a $n$-dim compact Riemannian manifold $M$ with eigenvalue $\lambda$ then
...

**1**

vote

**1**answer

93 views

### A $C^{*}$ algebra associated to a graded $C^{*}$ algebra

A $C^{*}$ algebra $A$ is graded by $\mathbb{Z}_{n}$ iff it can be acted by $\mathbb{Z}_{n}$. So we associate the $C^{*}$ algebra $A\rtimes \mathbb{Z}_{n}$ to a $\mathbb{Z}_{n}$-graded $C^{*}$ ...

**4**

votes

**2**answers

587 views

### Is every positive integer a sum of at most 4 distinct quarter-squares?

There appears to be no mention in OEIS: Quarter-squares, A002620. Can someone give a proof or reference?
Examples:
quarter-squares: ${0,1,2,4,6,9,12,16,20,25,30,36,...}$
2-term sums: ${2+1, 4+1, ...

**4**

votes

**2**answers

66 views

### Reference request : Besov spaces on ubounded domains

As I am relatively new to these matters, I would like to know if you could provide me a reference for Besov spaces on unbounded domains, because when I checked the first tome of Triebel's Theory of ...

**5**

votes

**0**answers

136 views

### Universal anti-Horn classes?

Is there published work about universal anti-Horn classes?
Anti-Horn formulas are also sometimes known as dual Horn.
See also related question Is there any research of universal algebras ...

**4**

votes

**1**answer

132 views

### On one class of Somos-like sequences

This question is motivated by integrability of the sequence mistakenly arisen in the question Does this sequence always give an integer?
Let $m_1,\ldots, m_{k-1}$ be positive integers and sequence ...

**4**

votes

**1**answer

111 views

### Diffusion semigroup generated by Laplacian

Let $M$ be a complete Riemannian manifold and $\Delta$ denote the Laplacian on it. Also assume that the spectrum of $-\Delta$ lies inside $[a, \infty)$. Let $P_t, t > 0$ denote the diffusion ...

**1**

vote

**0**answers

37 views

### Reference for using an algebra of meromorphic functions to extend a Lie algebra

For example, let $\mathfrak{g}=\mathfrak{sl}_{2}\left(\mathbb{C}\right)$, let $s_{0}=1$, $s_{1}=-1$, $s_{2}$=0, $s_{3}=\infty$ in $\mathbb{P}_{1}\left(\mathbb{C}\right)$ and $\mathcal{R}$ is the ...

**3**

votes

**0**answers

67 views

### Domain of $A^{1/2}$ on $L^2(\mathbb{T}^2)$

Let $A$ be a densely defined unbounded self-adjoint operator defined on $L^2(\mathbb{T}^2)$, where $\mathbb{T}^2$ stands for the 2-torus. It is known that $A$ is positive, that is, $\langle Au, ...

**1**

vote

**1**answer

59 views

### 4D Duoprisms based on nonconvex polygons

A duoprism is a polytope
that can be expressed as the Cartesian product of two polytopes (each of dimension $\ge 2$).
Four-dimensional duoprisms in particular have been studied:
$$P \times Q = \{ ...

**0**

votes

**1**answer

76 views

### methods for situations where well-posedness criteria hold but global solutions do not exist

I have been learning PDEs (more specifically, nonlinear dispersive equations (Schrödinger/wave/ Klein-Gordan equations etc...)) through the harmonic analysis methods. And I have read a couple of ...

**16**

votes

**1**answer

899 views

### Has this strong number theoretic conjecture of Euler been proved, and where could I find such a proof?

Polya cites this work of Euler as an example of a conjecture which Euler considered impossible to doubt, and yet still needing a demonstration.
It is on pages 90-98 of "Induction and Analogy in ...

**6**

votes

**1**answer

90 views

### Tunnel number of Pretzel knots

I would like to know the tunnel number of $n$-pretzel knots. I have searched and found nothing for any $n>3$. When $n=2$, $t(K)=1$ or $2$ depending on the number of twists, which is proved in a ...

**-5**

votes

**1**answer

197 views

### What's the minimum amount of knowledge to start doing research? [closed]

There are cases in which you have too much knowledge of something to do anything interesting ,and cases in which a lack of experience with a problem (and the prejudices about it) helps someone solve ...

**3**

votes

**1**answer

97 views

### Reference of $\hbar$-differential operator from symplectic geometry perspective

I am reading Bates and Weinstein's book 'Lectures on the Geometry of Quantization'. In Chapter 6, they defined the $\hbar$-differential operator, and showed (Theorem 6.7) that the Lagrangian ...