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
0answers
22 views

What should one “do” to “strictify” a triangle of transformations coming from a lax commutative triangle of functors?

I would like to apologize for this rather stupid abstract nonsense question. Let $h=f\circ g$ for composable functors $f,g$; assume that there exist left or right adjoints to $f$ and $g$. Then it ...
1
vote
0answers
23 views

Classes of knots that have known Bridge spectra

Bridge spectra is a knot invariant first defined by Doll, who established some basic properties. Tomova has shown that high distance knots have bridge spectra $(n,n-1,\ldots,2,1,0)$. Zupan has ...
0
votes
0answers
71 views

Is it a correct description of the bounded above derived category of coherent sheaves?

Let $X$ be a (Noetherian) scheme. Let $D^{-}_{\text{coh}}(X)$ be the derived category of complexes of $\mathcal{O}_X$-modules with bounded above and coherent cohomologies. Do we have the following ...
3
votes
1answer
33 views

Rate of convergence of Bayesian posterior

Suppose a data generating process (DGP) is parameterized by some unknown parameter $\theta_0$, say $P_{\theta_0}$, and we want to estimate the value of $\theta_0$ using Bayesian method. Let ...
5
votes
0answers
36 views

A “lower-central” filtration of Steenrod algebra?

$\renewcommand{\Atwo}{\mathcal{A}_2}$ So, a lot of good work has been accomplished by filtering the Steenrod algebras $\mathcal{A}_p$ in powers of the Augmentation ideal; For reasons partly ...
0
votes
0answers
54 views

Refomulation of a theorem for special case

This question is about some theorems in the book "Analysis Now" from Pedersen. In particular Proposition $5.3.2$ and Theorem $5.3.3$. Here one has a essential $*$-isomorphism of some algebra $L(X)$ ...
1
vote
1answer
91 views

Dieudonné modules -reference request

I need a reference to start learning about Dieudonn\'e modules, and their application to the arithmetic of abelian varieities. I know that this is a copy of Reference for Dieudonné modules, ...
4
votes
2answers
67 views

Finding joint probability from double marginals

Consider three probability distributions in the form $p_1(y,z),p_2(x,z),p_3(x,y)$. When does a global joint probability $p(x,y,z)$ (possibly not unique) exist? The first compatibility condition to ...
2
votes
0answers
96 views

Embeddings of subshifts

Consider $(X,\sigma_X)$ and $(Y, \sigma_{Y})$ be subshifts of the one sided shift in two symbols. Assume that $(X,\sigma_X)$ is a transitive subshift of finite type and $(Y, \sigma_{Y})$ is a ...
1
vote
0answers
75 views

Irreducibility of a general fibre

Let $A\subseteq B$ be an inclusion of affine domains over an algebraically closed field $k$ of characteristic $0$. Can someone give me a reference for the following fact? If $A$ is algebraically ...
2
votes
1answer
92 views

Classification of Hopf-Galois Extensions as Torsors

Faithfully flat Hopf-Galois extensions of rings: $A\to B$, with $H$ coacting on $B$ such that $B\otimes_AB\simeq B\otimes H$, are often thought of as being accessible substitutes for $G$-torsors in ...
3
votes
0answers
139 views

Have topographs been studied before?

This is my first post on MO so I hope this question is suitable. I have quite a few definitions which I will need to state before my questions at the end of this post. Please let me know if anything ...
-2
votes
0answers
118 views

About “covering” subgroups

Let $H$ be a subgroup of $S_n$ (the symmetric group with n elements). In the paper I read (cf. Thm 3.17 there), the authors define $H$ to be a covering if the following condition holds: for all ...
12
votes
5answers
1k views

Proof that no differentiable space-filling curve exists

Could someone provide a reference or a sketch of a proof that no differentiable space-filling curve exists? Or piecewise differentiable? Must every continuous space-filling curve be nowhere ...
19
votes
0answers
210 views

Identities for power series like $\sum_n z^{n^3}$

Probably, one of the first power series that every mathematician encounter is the geometric series $$\sum_{n=0}^\infty z^n = \frac1{1-z}, \quad z \in \mathbb{C},\; |z| < 1 .$$ Also, a particular ...
8
votes
4answers
835 views

number theory which is close to analysis

I have basic training in Fourier and Harmonic analysis. And wanting to enter and work in area of number theory(and which is of some interest for current researcher) which is close to analysis. ...
3
votes
0answers
108 views

Counting number of points in a lattice with bounded length

I am interested in counting number of lattices using the following theorem. The following is Theorem IV (page 412) in Chapter VIII of "An introduction to the geometry of numbers (second printing, ...
6
votes
2answers
136 views

Reference for proof that consistency of $\omega_1$-Erdos cardinal implies Con(Chang's Conjecture)

What is a good source for Silver's proof (or a more modern version) that Con($\exists \omega_1$-Erdos cardinal) implies Con(Chang's Conjecture)? Silver's original proof seems to have never been ...
3
votes
0answers
111 views

Does the higher cohomology of a quasi-coherent sheaf on a Stein manifold vanish?

It is a well-known result in algebraic geometry that if $X$ is an affine scheme and $\mathcal{F}$ is a quasi-coherent sheaf on $X$, then the higher cohomologies of $\mathcal{F}$ vanish, i.e. $$ ...
13
votes
3answers
463 views

Thales' semicircle theorem in higher dimensions

Thales semicircle theorem says that an angle inscribed in a semicircle is a right angle. Q1. Does a cone with apex on a hemisphere and encompassing the circular base have a solid angle ...
1
vote
0answers
73 views

Square-free sieve over number fields

I am trying to work on extending various methods to study square-free values of polynomials (or more generally, $k$-free values) over general rings of integers, and a literature review has yielded ...
4
votes
0answers
45 views

Is there a generalization of Polya urns to continuous outcome event?

Take for example the simplest model where there are n blue balls and m white balls in an urn. Then, in a first step realization, a white one has been drawn and then c + 1 of this colour had been put ...
0
votes
3answers
206 views

orbit space of $\mathbb{Z}_p$ action over complex projective space by permuting the homogeneous coordinates

$Z_p$:=cyclic group of order $p$. I want to understnd $H_\ast(\mathbb{C} P^{n}/Z_{n+1};Z)$ with $(n+1)$ being a prime number,and the action is given by permuting the homogeneous coordinates. For ...
6
votes
2answers
346 views

Texts about Dwork's work

I want to ask about references to papers, that probably exist, which explain the articles of Bernard Dwork starting from "The rationality of the zeta function of an algebraic variety" to "On the ...
4
votes
0answers
72 views

Combinatorics of palindromic decompositions

This is sort of a companion to my question Number of trivializations of a trivial word in the free group (which in turn is motivated by my earlier question here). It turns out that that question may ...
3
votes
1answer
124 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 ...
13
votes
7answers
1k 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
0answers
41 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 ...
5
votes
0answers
49 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 ...
1
vote
0answers
51 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$ ...
2
votes
0answers
80 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 ...
1
vote
1answer
74 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 ...
4
votes
1answer
216 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 ...
0
votes
1answer
144 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 ...
1
vote
1answer
88 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 ...
2
votes
0answers
59 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
47 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 ...
1
vote
1answer
48 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 ...
3
votes
1answer
290 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 ...
1
vote
0answers
47 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 ...
2
votes
1answer
166 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 ...
3
votes
1answer
195 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
133 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 ...
4
votes
0answers
142 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 ...
4
votes
0answers
240 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. ...
2
votes
0answers
74 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 ...
0
votes
0answers
24 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} ...
11
votes
4answers
339 views

Obtain any 3-manifold from repeating surgeries on knots in $S^3$

In Witten's “QFT and Jones Polynomials” paper, page 383, it states that: "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) ...
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 ...
4
votes
1answer
242 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 ...