# Tagged Questions

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

**8**

votes

**2**answers

331 views

### Are there any Algebraic Geometry Theorems that were proved using Combinatorics?

I'm collaborating with some algebraic geometers in a paper, and when writing the introduction I mentioned the interaction of Combinatorics and Algebraic Geometry, and gave some examples like the ...

**2**

votes

**1**answer

47 views

### Is the derived category of perfect complexes idempotent complete?

Let $\mathcal{C}$ be a category. We call a morphism $\alpha: X\rightarrow X$ an idempotent if $\alpha^2=\alpha$ in $\mathcal{C}$. We call $\mathcal{C}$ is $\textit{idempotent complete}$ if any ...

**2**

votes

**1**answer

261 views

### Notation: Categories of measur(abl)e spaces

Is there a common notation in the literature for
the category of measurable spaces and measurable maps?
the category of measure spaces and measure-preserving maps?
The nlab suggests ...

**0**

votes

**1**answer

128 views

### Hermitian form, fundamental $2$-form of Kahler structure on $\mathbb{C}^n$

I've come across the following (it is an excerpt of Stolzenberg's lecture notes 19):
Wirtinger's Inequality.
Let $L$ be a complex linear space and let $M$ be a real
even-dimensional ...

**2**

votes

**0**answers

32 views

### Localized eigenfunctions of drift Laplacians

I am looking for literature which discusses localization of eigenfunctions of drift Laplacians, i.e. $L\underline u=-\Delta \underline u+\underline{v}.\nabla \underline u$ in 2D/3D domains with ...

**4**

votes

**1**answer

190 views

### Differential forms along the fiber

Let $E \to M$ be a smooth fiber bundle. Instead of differential forms defined on the whole tangent bundle $TE$ one could also consider forms on the vertical tangent bundle $VE$, i.e. forms defined on ...

**3**

votes

**0**answers

37 views

### Cyclic structure on a balanced (or ribbon) monoidal category

As it is well known, a balanced (and in particular ribbon) monoidal category is an algebra over the framed little 2-discs operad. The latter is homotopy equivalent to the operad of moduli space of ...

**20**

votes

**15**answers

5k views

### Applications of finite continued fractions

I know some applications of finite continued fractions. Probably you know more. Can you add anything? (For for Applications of periodic continued fractions I have made a special topic.)
1) (Trivial) ...

**0**

votes

**1**answer

70 views

### Norm of matrix with randomly deleted entries

Let $A$ be an $n \times n$ matrix with real entries and let $B$ be the random matrix whose $(i,j)$ entry is $$B_{i,j}=v_{i,j}A_{i,j}$$ where the $v_{i,j}$ are i.i.d Bernoulli random variables with ...

**1**

vote

**0**answers

39 views

### maximum principle on compact manifolds with boundary

Let us consider the equation $Lu + f(u) = 0$ on a compact manifold $\overline{M} = M \cup \partial M$ with boundary, with Dirichlet boundary conditions. $L$ is a linear elliptic operator, and $f$ ...

**1**

vote

**1**answer

87 views

### Formal definition of arithmetic transfinite recursion

Recently I have been trying to find the definition of the subsystem $ATR_0$ of second-order arithmetic. Only "definitions" I have found were quite vague, like informal definition on Wikipedia which ...

**1**

vote

**1**answer

64 views

### Source for equations involving congruences of Fibonacci and Lucas numbers

In a paper of Cohn (see here), he uses some formulae involving congruences of Lucas- and Fibonacci-numbers (equations 11,12,13 in the preliminaries section). Does anyone know a source for these (and ...

**2**

votes

**0**answers

63 views

### References for the bicategory of ring-bimodule pairs

One of the standard examples of a bicategory is the bicategory of rings (with bimodules as 1-morphisms), which is sometimes denoted $\operatorname{Bim}$ and in other sources $\operatorname{Ring}$ (or ...

**5**

votes

**4**answers

656 views

### Consequences of the Inverse Galois Problem

Are there any papers written about the consequences of the Inverse Galois Problem in case it is proved to be true or false?
We know a lot of things that would be true if the Riemann Hypothesis holds. ...

**3**

votes

**0**answers

222 views

### Why Jacobson, but not the left (right) maximals individually?

I firstly asked the following question on MathStackExchange, but I did not receive any responses, but a short comment. So, I decided to post it here, hoping to receive answers from experts.
...

**3**

votes

**1**answer

190 views

### Addition law for elliptic curves of the form $x^2y^2+a(x+y)+b=0$

Did anybody consider addition law for elliptic curves of the form $$x^2y^2+a(x+y)+b=0\,?$$ Does this form have any specific name?

**2**

votes

**1**answer

124 views

### What is the “type” of a contact vector field?

Let $(M,\theta)$ be a $(2n+1)$-dimensional contact manifold, $\mathcal{C}=\ker\theta$ the contact distribution, and $X\in\mathcal{C}$ a vector field belonging to $\mathcal{C}$.
In a couple of minor ...

**1**

vote

**0**answers

42 views

### Subclass of semimartingales for which all characteristics can be estimated?

I'm going to ask the question for Ito semimartingales rather than semimartingales in general, but more general answers would be great.
An Ito semimartingale is a martingale for which the ...

**1**

vote

**1**answer

46 views

### Nested convex optimization

Suppose I have a convex optimization problem of the form $$\min_x f(x) ~~s.t.\\x\in X$$. Say that $f(x)$ and its (sub)gradient are not given in a closed form, but are determined by solving a convex ...

**2**

votes

**0**answers

52 views

### Notions of/References for freely generated (symmetric) monoidal categories

We often describe a category by giving a (directed, multi-)graph and freely generating a category of paths. I would like to know to what degree this intuition generalizes to monoidal categories, and ...

**1**

vote

**0**answers

44 views

### $\Gamma$ cohomology of principal series

Let $G$ be a noncompact connected real semisimple Lie group with finited center. Let $\Gamma$ be a cocompact discrete subgroup of $G$, and let $P$ be a parabolique subgroup
with Langlands ...

**0**

votes

**1**answer

200 views

### Stability conditions of coherent sheaves on abelian 3-folds

My work for now consists on understanding stability conditions of coherent sheaves on abelian 3-folds. I have the book by D. Huybrechts (the geometry of moduli spaces of sheaves), But I would like to ...

**14**

votes

**2**answers

962 views

### Open problems in Berkovich geometry

I would like to know if there is a state of the art recent reference on non-archimedean analytic spaces mentioning/listing open problems, conjectures, unresolved questions in the theory (*). I have ...

**7**

votes

**2**answers

584 views

### Stokes theorem with corners

I've found the following version of Stokes' theorem in G. Stolzenberg's lecture notes 19:
Notation:
for $1 \le n \le m$
$\Lambda(m, n) = \{ \lambda: \{1,...,n\} \rightarrow \{1,...,m\} \ | \ ...

**5**

votes

**2**answers

314 views

+50

### Primitive Recursive Arithmetic via Universal Algebra

From the wikipedia article on Primitive Recursive Arithmetic (see http://en.wikipedia.org/wiki/Primitive_recursive_arithmetic):
"Primitive recursive arithmetic, or PRA, is a quantifier-free ...

**3**

votes

**1**answer

152 views

### Non-negativity of invariant polynomials

Certifying the non-negativity of a symmetric polynomial is much easier than
certifying the non-negativity of an arbitrary polynomial function:
for instance, in (1) is proved that the complexity of ...

**2**

votes

**1**answer

155 views

### Mal'cev “rational equivalence” and model theory

In Universal Algebra, it is possible to say that two presentations denote the "same" kind of algebraic structures, if the two corresponding varieties are "rationally equivalent" (Mal'cev 1958).
In ...

**0**

votes

**0**answers

63 views

### Lattice cocycle for an extension of line bundle on a complex tori

Let $X=V/\Lambda$ be a complex torus. Suppose there is an extension of vector bundles on $X$
$$
0 \to \mathcal{L} \to \mathcal{F} \to \mathcal{L} \to 0,
$$
where $\mathcal{L}$ is line bundle. Assume ...

**22**

votes

**4**answers

841 views

### Communal problem books

A certain class of books is defined as follows: (1) the book was kept for years in a cafe or mathematics library; (2) the primary contents are research problems and comments, handwritten by resident ...

**2**

votes

**0**answers

71 views

### Residual scheme to local complete intersection schemes in the projective space

Let $A$ be an integral Noetherian $\mathbb{C}$-algebra. Denote by $\mathbb{P}^3_A:=\mathbb{P}^3_{\mathbb{C}} \times_{\mathbb{C}} \mathrm{Spec}(A)$. Let $X,Y$ be closed local complete intersection ...

**4**

votes

**0**answers

137 views

### When do we have $D_{\text{perf}}(\text{Qcoh}(X))\simeq D_{\text{perf}}(X)$?

Let $(X,\mathcal{O}_X)$ be a scheme (or more generally a ringed space). We know that in general the derived category of complexes of quasi-coherent modules $D(\text{Qcoh}(X))$ is not equivalent to the ...

**9**

votes

**4**answers

443 views

### Rounding errors in images of Julia sets

One typically computes Julia sets by iterating a complex function, such as a polynomial or rational function.
How do rounding errors affect the results?
I'm looking for references on this issue, ...

**5**

votes

**1**answer

194 views

### Optimal lower bounds for the sum of digits in base $b$

Let $b \geq 2$ be an integer and let $s_b(n)$ be the sum of the digits of the base-$b$ representation of the nonnegative integer $n$
(e.g., $s_{10}(726)=7+2+6$). From the weak law of large numbers, it ...

**4**

votes

**1**answer

302 views

### Inaccessible cardinal and $\Sigma_1$ reflection

A theorem of A. Levy says that, if $\kappa$ is an inaccessible cardinal, then $V_\kappa\prec_{\Sigma_1}V$ namely $V_\kappa$ is an elementary submodel when considering only $\Sigma_1$ formulas.
Where ...

**0**

votes

**0**answers

43 views

### Control of Hessian by its trace in a bounded domain

We know if $u:\mathbb{R}^n \to \mathbb{R}$ is a smooth function with compact support, then we can show, via integration by parts, that
$$
\|\Delta u\|=\|\nabla^2u\| \tag 1
$$
where $||\cdot||$ is ...

**0**

votes

**0**answers

23 views

### On a remark regarding to initial-boundary elliptic estimate

In the paper "On the motion of the free surface of a liquid" see [CL], the authors proved the initial boundary elliptic estimate (proposition 5.28)
$$
||\nabla^r q||_{L^{2}(\Omega)}+||\nabla^{r-1} ...

**4**

votes

**1**answer

234 views

### $K_0$ of integral group ring of cyclic group $\mathbb{Z}/p\mathbb{Z}$

Is there a table for the computation of $K_0(\mathbb{Z}[\mathbb{Z}/p\mathbb{Z}])$?
These groups are also known as ideal class group in number theory.In topology,they are the home of some important ...

**4**

votes

**1**answer

121 views

### Centralizers of reflections in special subgroups of Coxeter groups

Let us consider a (not necessarily finite) Coxeter group $W$ generated by a finite set of involutions $S=\{s_1,...,s_n\}$ subject (as usual) to the relations $(s_is_j)^{m_{i,j}}$ with ...

**3**

votes

**1**answer

224 views

### 'Unitary' charts on odd-dimensional spheres

Consider the odd-dimensional sphere $S^{2n+1} \subset \mathbb{C}^{n+1}$. One may talk variously about its structure as a contact, CR or Einstein-Sasaki manifold, but I'm looking for some specific ...

**5**

votes

**2**answers

543 views

### Consequences of ZF+“all subsets of reals are Lebesgue measurable”

(I'm not sure if this is entirely suitable here so feel free to close it if it's not.) The statement "there is a Lebesgue measure on $\mathbb{R}$($2^\omega$)" means: there is a total $\sigma$-additive ...

**8**

votes

**3**answers

327 views

### Positivity of Ehrhart polynomial coefficients

Are there any results stating that a given family of convex polytopes have Ehrhart polynomials with non-negative coefficients?
What methods are available for proving such a property for some family ...

**2**

votes

**1**answer

92 views

### An alternative definition of pseudo-coherent complex

Let $(X,\mathcal{O}_X)$ be a scheme or a general ringed space. First recall that a complex of $\mathcal{O}_X)$-modules $\mathcal{E}^{\bullet}$ is called strictly perfect if $\mathcal{E}^{\bullet}$ is ...

**12**

votes

**5**answers

983 views

### Definition of area

I am looking for an attractive, but rigorous definition of area;
say in Euclidean plane. Probably there is no short definition. It is OK to make it even longer, but can it be built from useful parts ...

**0**

votes

**0**answers

22 views

### Orbifold metric and ample line bundle

Let $X$ be a complex projective variety with only orbifold singularities, and $L$ be an ample line bundle on $X$. Is there a K\"{a}hler metric in the orbifold sense representing the first Chern class ...

**2**

votes

**1**answer

38 views

### Looking for a theorem that says that the embedding $H^{1-\sigma}(M)\subset C^1(M)$ is compact for $\sigma\in (0,1)$

I am Looking for a theorem that says that the embedding $H^{1-\sigma}(M)\subset C^1(M)$ is compact for $\sigma \in (0,1)$, where $M$ is a compact manifold.
Any references are appreciated.
PS
I am ...

**5**

votes

**1**answer

311 views

### Is $\mathcal M _{g,n}$ anabelian?

Are the moduli spaces $\mathcal M _{g,n}$ expected to be anabelian? Is there anything known in that direction?
Thank you very much for your help in any case!

**0**

votes

**0**answers

31 views

### Tail inequality for orthomartingales/martingale difference random fields

It is known that if $(S_i= \sum_{j \leqslant i }X_i, \mathcal F_i)$ is a martingale,
then for each
$
\beta>1$, $\delta\in (0,\beta-1)$ and $\lambda>0$, and each integer $N \geqslant 1$, the ...

**4**

votes

**1**answer

205 views

### Ivanov's metaconjecture on surface homeomorphisms.

In Fifteen problems about MCG Ivanov stated the following metaconjecture:
Every object naturally associated to a surface S and having
a sufficiently rich structure has $Mod(S)$ as its groups of ...

**2**

votes

**1**answer

116 views

### Frey's Formula and utilisation of the Hasse Invariant in “Links between Stable elliptic curves and Diophantine equations.”

In the paper "Links between Stable elliptic curves and Diophantine equations" for an elliptic curve $E$ with normal Weierstrass form $$y^2 = x^3 -g_2x -g_3$$ with $g_i \in \mathbb{Z}$ w.l.o.g. Then ...

**0**

votes

**0**answers

28 views

### Riemannian simplicial complex and quasi-conformal complex

In this paper by Robert Young, the author defines
We define a riemannian simplicial complex to be a simplicial
complex with a metric which gives each simplex the structure of a riemannian
...