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
30 views

symmetric monoidal double categories?

Let me preface this by saying that I don't know much category theory. I am running into a situation where I have a double category and additionally there is a multiplication. Moreover, choosing ...
3
votes
1answer
50 views

On Neron-Severi group of normal projective surfaces and blow up

Let $X$ be a normal projective surface with at most rational singularites (in finitely many points). Let $\pi:\tilde{X} \to X$ be the blow up of $X$ at finitely many singular points. The question is ...
1
vote
0answers
54 views

Is the “Hilbert scheme of curves” in $\mathbb C^3$ a degeneracy locus?

It is known that the Hilbert scheme of $n$ points in $\mathbb C^2$ is expressible as a degeneracy locus, i.e. the zero locus of $\textrm{d}f$, where $f$ is some regular function on a smooth variety. A ...
1
vote
1answer
42 views

Original sources for two theorems by Bass, Matlis, Papp,

It is an interesting fact that a commutative ring $R$ is noetherian if and only if direct sums of injective $R$-modules are injective, and if and only if every injective $R$-module is a direct sum of ...
0
votes
0answers
42 views

A limit of a sum related to integer lattice and power series

I have the following lemma that I would like to find a source to cite for. Let $L$ be a subset of $\mathbb Z^d_{>0}$. I would like to claim that the limit $$\lim_{z \to (1,\ldots,1)^-} (\sum_{v ...
0
votes
0answers
37 views

An inequality involving Bessel functions of imaginary index

The following inequality: $$\frac{\pi k}{\sinh{(\pi k)}}\;|J_{ik}(\tau)|^2\le 1,\;\;\;k,\tau\ge 0,$$ for Bessel function $J_{ik}(\tau)$, I found in http://link.springer.com/article/10.1134%2F1.558677 ...
3
votes
3answers
170 views

Results about the existence of solutions in groups

Let $G$ be a group. Consider an arbitrary equation given by $w(\vec{g})=e$, where $w: G^n \to G$ takes an $n$-tuple $(g_1,...,g_n)$ to some expression involving products of the $g_i$, their inverses ...
0
votes
1answer
63 views

State of the Art in Approximating Fresnel Integrals

Background of my question is, that I need to calculate Clothoids and I found an AMS article "Chebyhev Approximations for Fresnel Integrals" by W.J. Cody from 1968 ...
5
votes
1answer
109 views

Areas of Triangles in (Non-Riemannian) Metric spaces?

I'm looking for a reasonable way to coherently axiomatize both length and area in the absence of a Riemannian structure, i.e., starting only with a metric space; but it's not clear how much of this ...
5
votes
1answer
127 views

Examples of Maass forms with eigenvalue 1/4

For what I have heard, Maass forms of (Laplacian) eigenvalue $1/4$ on modular surfaces are somewhat special. But I don't know where to look for explicit examples. (In fact, one form came here on MO ...
3
votes
1answer
83 views
+100

Stabilization of the pencil of skew symmetric matrices by the orthogonal group

Good morning everybody. During my researches I've come across the following question. Let $A$ and $B$ be a couple of square $k\times k$ skew symmetric matrices on $\mathbb R$. Let us consider the ...
4
votes
1answer
165 views

Link for “A spine for Teichmüller space”, preprint by Thurston

Can someone please give any link or mention any source where I can find the following preprint. W.Thurston, A spine for Teichmüller space, preprint, three pages, 1986.
2
votes
1answer
128 views

Meaning of “ Open Book cannot be Stabilized Further”?

I'm going over some old notes on Giroux's theorem on the equivalence ( bijection, actually) between open books ( up to positive stabilization) for 3-manifolds and contact structures ( up to isotopy.) ...
2
votes
0answers
47 views

Polytopes generated as the convex hull of the orbit of a finite reflection group acting on a given vector

Consider a finite reflection group acting on $\mathbb{R}^N$. Pick a vector $x \in \mathbb{R}^N$ and look at the convex hull of its orbit. This is a polytope. There are some interesting particular ...
8
votes
3answers
821 views

Is there a homology theory that gives a *necessary and sufficient* condition for homotopy equivalence?

Is there a (non-Abelian) homology theory that realizes the following: Let $X,Y$ be manifolds with complexes $C(X),C(Y)$. Then $X$ and $Y$ are homotopy-equivalent if and only if $C(X)$ and $C(Y)$ ...
2
votes
0answers
59 views

Reconstructing a function from its variants that negate one argument

Call two functions $g(x_1,\ldots,x_n)$ and $h(x_1,\ldots,x_n)$ from complex numbers to complex numbers equivalent if they are the same up to the order of their arguments. Formally: there is a ...
2
votes
1answer
109 views

Parameter estimation using bayesian update on moduli space?

Scientists take a set of data points, say in ${\mathbb R}^2$, and, assuming that this data should fit a polynomial of degree $d$ (or an exponential, etc.), they estimate parameters. I would think ...
1
vote
0answers
117 views

Journals dedicated towards work exploring the development of toy systems of axioms? [on hold]

Due to certain aspects of my current thesis (computational biology, not mathematics), I find myself needing to learn about the development of a toy system of axioms and the theories that subsequently ...
2
votes
2answers
425 views

Have axioms / axiom schemata of this flavour been proposed or otherwise considered?

With the exception of a few miscellaneous cases, the axioms (and/or schemeta) of ZFC can roughly be divided into two kinds: Those that guarantee the existence of more complicated sets, given that ...
2
votes
1answer
45 views

Concurrency related problems in $n$ independent, parallel $M/M/1$ queues

Queueing Model: Consider $n$ independent, parallel $M/M/1$ queues with identical arrival rate $\lambda$ and service rate $\mu$. For each $M/M/1$ queue, we use the FCFS (First Come First Served) ...
2
votes
1answer
113 views

Proof of existence of recursively inaccessible and Mahlo ordinals

As in title - I'm looking for a proof of the existence of a countable recursively inaccessible or recursively Mahlo ordinals, especially the first one. When looking for it in all the papers I stumbled ...
2
votes
1answer
100 views

Which complete lattices arise as images of the Galois connections induced by binary relations?

Any binary relation $R\subseteq X\times Y$ gives rise to a Galois connection between the powersets of $X$ and $Y$ in a well known way (on MO you can see it e. g. in this answer; in fact, such Galois ...
22
votes
1answer
532 views

Properties to have matrices that commute in $\mathrm{GL}_n(\mathbb C)$

Let $G$ be a finite subgroup of $\mathrm{GL}_n(\mathbb C)$, $A,B \in G$ whose eigenvalues are thus in the unit circle. Assume that the eigenvalues ​​of $A$ are included in a circle arc of ...
0
votes
0answers
99 views

Parabolic bundles on elliptic curves

as a warm up for his thesis I would like a student of mine to read something on parabolic bundles. He is reading the famous Atiyah paper on vector bundles on elliptic curves, so I think it would be ...
1
vote
0answers
103 views

Reference request: has this semilinear version of Navier Stokes been studied?

I have noticed that the Navier Stokes equations can be written as a semilinear symmetric first order system $$ u_t+A_1u_{x_1}+A_2u_{x_2}+A_3u_{x_3} = f(u) $$ for a 9 by 1 vector $u$ containing the ...
7
votes
1answer
145 views

What is the Essential Reason that allows a PTAS for the EUCLIDEAN TSP?

Questions: Is there some understanding of the reason, why the euclidean TSP allows a PTAS, whereas the metric TSP in general does not and, is the PTAS stable under sufficiently small perturbation ...
3
votes
1answer
160 views

Generalization of notion of convexity

I am searching for the correct term for the following, if it exists. A set $X\subset \mathbb{R}^2$ is called $r$-convex if for any two points $x_1, x_2\in X$ such that there exists an arc of radius ...
6
votes
1answer
150 views

Properties of the time integral of Wiener process

Let $W_t$ be a Wiener process and consider the time integral $$ X_T:= \int_0^T W_t dt $$ It is often mentionend in literature that $X_T$ is a Gaussian with mean 0 and variance $T^3/6$. I am ...
0
votes
0answers
92 views

Jacobian change of basis matrix for different dimensions

I am considering a real Lie group $G$ acting transitively on an open set $U$ in a real Euclidean space of lower dimension. Given a smooth, compactly supported function $f: U \rightarrow \mathbb{R}$ ...
1
vote
0answers
86 views

Could one recover the relative K-theory from the quotient derived category?

Let $A\to B$ be a full embedding of exact categories that induces an embedding $D^b(A)\to D^b(B)$. My question is: what can one say about the relation of the homotopy cofibre $K(A)\to K(B)$ (the ...
0
votes
0answers
107 views

Where are there defined objects between gerbes and bundle gerbes?

Consider a special kind of/something like a gerbe where there is first given local trivialization data with equivalence over 2-fold overlaps but not isomorphism. Does this exist in the literature?
1
vote
0answers
65 views

K-theory of ringed spaces (including henselian and formal schemes); excision and Mayer-Vietoris

Given a ringed topological space $S$ one can easily define its K and K'-theory as the K-theories of the categories of locally free sheaves and of the category of coherent sheaves on it, respectively. ...
4
votes
0answers
123 views

$SL(n) \times SL(n)$-invariants of $m$-tuples of matrices

I work over field of complex numbers. Let $G=SL(n) \times SL(n)$, and $(A,B) \in G$ acts on $m$-tuples of matrices $M_{n \times n}(\mathbb{C})^{\oplus m}$ as follows $$ (A,B) \cdot (M_1, \ldots, M_m) ...
6
votes
0answers
75 views

When were bordered Heegaard Floer homology's DA bimodules invented?

This is less of a strictly mathematical question and more of a reference request. In their paper "Bordered Heegaard Floer Homology (http://arxiv.org/pdf/0810.0687.pdf)," Lipshitz-Ozsvath-Thurston ...
3
votes
1answer
237 views

What year was Hechler forcing created?

Hechler forcing is described on page 278, Jech. Does anyone know when Hechler forcing was first used in a publication?
4
votes
1answer
222 views

Universal property of module categories over monads

Let $T$ be a monad on a cocomplete category $\mathcal{C}$. Let's assume that $T$ preserves reflexive coequalizers (or something weaker?). Then the category of $T$-modules $\mathsf{Mod}(T)$ is ...
4
votes
1answer
86 views

Extremal graph theory for directed graphs

In extremal graph theory, there are results such as $$t(C_4,G)\geq t(K_2,G)^4,$$ where $G$ is an undirected graph, $C_4$ is a cycle graph on 4 nodes, $K_2$ is a complete graph of $2$ nodes, and ...
1
vote
0answers
83 views

Is there inverse FFT algorithm for Fourier transform of a integer-valued random variable?

In many applications, it is possible to derive an explicit expression for the Fourier transform of a random variable $X$ $$\varphi (\theta ) = \sum\limits_{n = 0}^\infty {{p_n}} {e^{in\theta }}$$ ...
3
votes
1answer
89 views

Reference for Frobenius’s proof of Schur’s finite version of the Rogers - Ramanujan identities

In his paper “Ein Beitrag zur additiven Zahlentheorie und zur Theorie der Kettenbrüche” I. Schur has stated that Frobenius has communicated to him a simple direct proof of his finite version of the ...
1
vote
0answers
68 views

First-countable topological monoids without local absorbing elements whose topology is induced by a semimetric

This is a follow up of Question 163246. For the reader's convenience, let me first copy&paste some basic definitions. We let a semimetric on a set $X$ be a function $d: X \times X \to [0,\infty]$ ...
5
votes
0answers
78 views

Comparison of K-groups of (affine) singular schemes with K'=G-groups

It is well known that Quillen K-theory coincides with $K'=G$-theory for regular schemes, and can be distinct from it for singular ones. Are there any methods for studying this distinctions? In ...
3
votes
0answers
71 views

Cancellations in products of two elements of a hyperbolic group

Let $G$ be a non-abelian free group with the standard generating set and the corresponding word metric. If we take two elements $g,h\in G$ and compute their product $gh$, some letters might cancel, ...
1
vote
1answer
98 views

On the geometry of roots of a sum of complex linear fractions

I was wondering if there is anything known about the geometry (position) of the roots of a rational map of the form $$R(z):= \sum_{j=1}^{n} \frac{a_j}{z-p_j},$$ where the $a_j$'s are nonzero complex ...
1
vote
0answers
62 views

Reference Request: Algebraic Serre's Duality Theorem for Curves

Serre's Duality Theorem is well known and well studied and, as far as I know, there is a "big" algebraic proof for the general case, which is now kind of standard, and can be found in Hartshorne ...
1
vote
4answers
181 views

Bruhat order and Schubert cycles

I am looking for a good (textbook) reference for the basic fact (due to Chevalley) that for every semisimple Lie group $G$ (without compact factors) with Weyl group $W$, the Bruhat order on $W$ ...
0
votes
0answers
61 views

Reference request: Heat kernel regularity near the boundary

Let $D$ be a domain in $\mathbb{R^d}$ and $p(t,x,y)$ be the heat kernel of $D$ (for the Dirichlet problem). I was told that if the boundary of $D$ is real-analytic, then the function $y\mapsto ...
3
votes
1answer
163 views

References for von Neumann Algebras

I have some -possibly- simple but broad questions: Where to begin the study of von Neumann Algebras? Which are the important questions in the field that guide current research? I'm interested in ...
0
votes
1answer
65 views

reference request: trace/lifting operator for $L^{\infty}$ data in bounded $\Omega\subset R^d$

I know the answer to my question must be somewhere in the literature. Probably in [Adams-Fournier], [Dautray-Lions] or something alike, but I don't have access to a library right now so I'll ask ...
2
votes
2answers
159 views

If $(\mathbb M, \tau)$ is a topological monoid, is $\tau$ always induced by a [left] subinvariant semimetric?

Let me start by recalling some basic definitions (just for the sake of avoiding misunderstandings due to the vocabulary of the post). Basically following some ideas of W. Lawvere (but not his ...
5
votes
0answers
370 views

Different approaches to the multiverse of sets

There are some different approaches to the multiverse of sets, in particular: 1) The approach by Woodin, 2) The approach by Sy Friedman, ..., 3) The approach by Hamkins. I wonder to know if ...