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

learn more… | top users | synonyms

5
votes
1answer
206 views

Are there any Algebraic Geometry Theorems that was 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 ...
0
votes
0answers
12 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
1answer
253 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
1answer
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
0answers
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
1answer
188 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
0answers
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
15answers
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
1answer
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
0answers
38 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
1answer
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
1answer
63 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
0answers
62 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
4answers
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
0answers
218 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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
2answers
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
2answers
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
2answers
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
1answer
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
1answer
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
0answers
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
4answers
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
0answers
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
0answers
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
4answers
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
233 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
1answer
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
1answer
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
2answers
542 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
3answers
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
1answer
91 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
5answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
0answers
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 ...