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

Proofs for almost prime limits

A number $n$ with prime factorization $$n=\prod_{i=1}^rp_i^{a_i}$$ is a k-almost prime if it has a sum of exponents $$\sum_{i=1}^{r}a_i=k$$ i.e., when the prime factor (multiprimality) function ...
7
votes
0answers
399 views

Looking for a paper of Hartshorne

In a famous paper Hartshorne - Varieties of small codimension, Hartshorne formulates a conjecture, which roughly says that varieties of small codimension in projective space are complete ...
5
votes
0answers
91 views

References for Gauss Composition using Galois Cohomology

Note: I have already posted this on stackexchange, but have not yet gotten a response. What are some good references for the Gauss composition law on binary quadratic forms in terms of Galois ...
7
votes
1answer
412 views

Is this knot invariant already treated somewhere in the literature?

Fix a knot type $K \subset S^3$, and consider the set $$Y_K = \{ \mbox{Diagrams of }K \} / \mbox{planar isotopy}.$$ We can turn $Y_K$ into a metric space by considering the distance induced by ...
4
votes
1answer
191 views

Equivariant derived category and invariant divisor

I'm looking for a reference of the following (folklore?) result. Let $X$ be a smooth projective variety equipped with a $G=\mathbb{Z}/2\mathbb{Z}$ action (we consider the simplest case, everything ...
3
votes
0answers
139 views

Exterior powers and singular values on Hilbert spaces

I am currently writing an article relating to multiplicative ergodic theorems for cocycles of bounded operators acting on a Hilbert space, and in parts of the argument it is necessary for me to refer ...
8
votes
0answers
264 views

Riemann's quote cited by Lakatos: what is the context?

"If only I had the theorems! Then I should find the proofs easily enough." This quote is generally attributed to Bernhard Riemann. In particular, on page 9 in Proofs and refutations by Imre ...
2
votes
0answers
148 views

How many Dedekind-finite sets can $\mathbb{R}$ be partitioned into?

Building off Asaf Karagila's answer to my previous question (Can $\mathbb{R}$ be partitioned into dedekind-finite sets?) on partitioning $\mathbb{R}$ into strictly Dedekind-finite sets: (1) What ...
3
votes
1answer
309 views

What sort of ring-theoretic properties does the representation ring of a compact Lie group possess?

Recall the definition of the representation ring $R(G)$ of a compact Lie group $G$. I'd like a reference that gives me basic ring-theoretic properties that $R(G)$ always has, or enough info that I can ...
4
votes
1answer
153 views

When do iterated conditional expectations converge?

Take a probability space $(\Omega,\mathcal{F},\mathbf{P})$ and random variable $X$ satisfying $\mathbf{E}[|X|]<\infty$. Define the iterated expectations of X as follows: $X_0 = X$, and, ...
9
votes
0answers
230 views

Cohomology and impossible figures

In connection with the MO question Occurrences of (co)homology in other disciplines and/or nature I recalled Roger Penrose's “On the cohomology of impossible figures": ...
3
votes
1answer
113 views

Real-analytic variant of theorem 4.2.5 of Duistermaat's “FIO”, 1996

Theorem 4.2.5 of Duistermaat's "Fourier Integral Operators", 1996, states: Let $A \in I^m(X,Y,C)$ be an elliptic Fourier Integral Operator of order $m$, associated to a bijective canonical ...
1
vote
0answers
28 views

Harmonic Bergman spaces on graphs

Harmonic Bergman spaces on Euclidean domains are a set of harmonic functions on a domain that are from $L^{p}$ of that domain. I tried to find something on harmonic Bergman spaces on graphs because we ...
3
votes
1answer
258 views

An elementary inequality: reference request

Consider the problem of minimizing $\sum_{i=1}^{n}{x_{i}}$ under the constraints $\sum_{i=1}^{n}{x_{i}^{2}}=1$ and $x_{i} \geq 0$. Obviously the solution is given by the vector $(1,0,\ldots,0)$. Now ...
6
votes
4answers
229 views

Number of solutions of linear homogenous Diophantine equation inside a box

Let $a_1, ..., a_d$ be positive reals and consider the linear Diophantine equation $$ \sum_i a_in_i = 0. $$ I am interested in estimating the number of integer solutions of this equation inside a ...
0
votes
1answer
185 views

Quotient of an algebraic group by a closed algebraic subgroup

Let $G$ be a complex, linear algebraic group and $H\subseteq G$ a closed and normal subgroup. Then, the quotient $G/H$ has the structure of a affine variety. I am looking for the most "modern" ...
2
votes
1answer
106 views

Does conjugacy preserve the set of synchronizing blocks?

A synchronized system is a transitive shift space $X$ which has a synchronizing block $v$, that is $v$ is an admissible block for $X$ and whenever $vw$ and $uv$ are admissible blocks in $X$, then ...
2
votes
1answer
128 views

Reference for homeomorphism between “analytic” compactification of $M_{g,n}$ and Deligne-Mumford compactification

There are several natural ways to endow the compactification of the space of marked Riemann surfaces $M_{g,n}$ ($2g+n\geq 3$), with a topology, which is defined using "differential geometric or ...
2
votes
1answer
112 views

Mixing coded systems and period of their graph presentations

A coded system [see F. Blanchard, G. Hansel, Systèmes codés, Theoretical Computer Science, Vol. 44, 1986, pp. 17-49, http://dx.doi.org/10.1016/0304-3975(86)90108-8. ...
2
votes
0answers
135 views

Stacks and Maurer-Cartan elements

One can associate to any deformation problem a dg Lie or $L_{\infty}$-algebra $g$. For instance, in algebraic deformation theory, let's say the deformation theory of algebras over a Koszul operad $P$, ...
3
votes
3answers
180 views

infinite dimensional polyhedra

I have a reference request which I hope some reader here can help me with. I have encountered a set that has all the properties that one would expect from a polyhedral set (in the sense of finite ...
0
votes
1answer
141 views

Torelli group of a punctured elliptic curve

Let $T_{g,n}$ be the Torelli group of a $n$-punctured surface $S=\overline{S}\setminus\{x_1,\ldots,x_n\}$, with $\overline S$ orientable, closed and of genus $g$. By definition, $T_{g,n}$ is the ...
4
votes
0answers
155 views

On the classification of injective Banach spaces

A Banach space $E$ is injective when it is complemented in each Banach space $X$ that contains it as a closed subspace. The space $E$ is $1$-injective if the copy of $E$ in $X$ is the range of a ...
1
vote
1answer
82 views

Absolute convergence of multi-dimensional Fourier series

For a Lipschitz function $f$ defined in $[0,2\pi]^d$ for $d>1$, is that true that the multi-dimensional Fourier series converges absolutely? In other words, $\sum_{k\in ...
3
votes
0answers
155 views

How to induce infinitesimal deformations on curves

Let $C_1, C_2$ be two projective curves (a scheme of pure dimension $1$) in $\mathbb{P}^3$. The Hilbert scheme of curves contains informations of deformations of curves in $\mathbb{P}^3$. The question ...
0
votes
1answer
99 views

Approximation of analytic functions by Lp functions

Is there any reference where I can find something on approximation of analytic functions on a domain in complex plane by $L^{p}$ analytic functions of the same domain?
0
votes
1answer
59 views

Continuous choice of isotopies between hyperbolic metrics on the pair of pants

Fix a pair of pants in the plane (i.e. a closed disk minus two smaller open disks). Name the boundary components $\alpha_1,\alpha_2$ and $\alpha_3$ and fix three positive lengths $\ell_1,\ell_2$ and ...
1
vote
1answer
125 views

Does this Mean Value have a Name?

Question: does the following mean value have a name? $$v^*=\sqrt{\frac{\sum_{i=1}^{n}\alpha_iv_i^2}{\sum_{i=1}^{n}\alpha_i}}, \alpha_i\in\mathbb{R}^+$$ where the $v_i$ are individual speed limits ...
1
vote
1answer
55 views

Injective modules over noncommutative noetherian rings

Let $R$ be a left noetherian ring, then it is well known that Matlis proved that any injective $R$-module decomposes into a sum of indecomposable injectives, each of form $E(R/I)$ for some irreducible ...
3
votes
1answer
209 views

Electromagnetic duality symmetry

This question arose while reading http://prd.aps.org/abstract/PRD/v13/i6/p1592_1 (Duality transformations of Abelian and non-Abelian gauge fields, by Stanley Deser and Claudio Teitelboim). It is well ...
7
votes
1answer
189 views

Monograph or rich survey on infinite-dimensional Riemann manifolds

I'm working with the space of smooth curves $\mathcal{C}$ in a smooth manifold $M$, having (different, pre-determined) fixed endpoints. I'd like to endow it with a Riemann structure (I already have a ...
2
votes
0answers
53 views

Can sparse matrices satisfy the Null Space Property?

Definition A matrix $A \in \mathbb{C}^{m \times N}$ with $m < N$ satisfies the Null Space Property (NSP) of order $s$ if $$\|x_S\|_1 < \|x_{\bar{S}}\|_1, \quad \forall x \in \ker A \setminus ...
6
votes
2answers
539 views

Complete (possibly official) list of “What is…” articles from the Notices of the AMS

Does it exist online and where can one find it? (For example, these two sources are not official; is the longer one complete?)
4
votes
1answer
159 views

A palindromic polynomial and its derivative have the same number of zeros outside the unit circle. Reference?

I am trying to find the original reference for a lemma attributed to Cohn (as in Schur-Cohn method): Let $A(z)$ be a palindromic or skew-palindromic polynomial, and denote its derivative by ...
3
votes
2answers
316 views

A structure of the group of automorphisms of an infinite binary tree

My friend asked me to ask his question here. Where he can find (a paper or a book) containing a complete description (with the proof) of a structure of the group of automorphisms of an infinite binary ...
4
votes
1answer
172 views

Relation between Milnor ring and middle dimensional homology of hypersurface

I have suspected that the following is well-known: If $P$ is a homogeneous polynomial of degree $d$ in $n$ variables (for example, Fermat quintic $x_1^5 + \cdots + x_5^5$). The Milnor ring is ...
4
votes
1answer
150 views

To whom is the internal characterization of $Q$-groups due?

A group is said to be a $Q$-group if the character of any complex representation is rational valued. A well-known internal characterization of $Q$-groups is the following: $G$ is a $Q$-group if ...
0
votes
2answers
130 views

A basic question about JL Lions' transformation of a Stefan problem

In J.L Lions' book "Quelques méthodes de résolution des problèmes aux limites non linéaires" (page 196), the author considers a two-phase problem with moving boundary separating the interface. The ...
4
votes
2answers
202 views

Cubic graphs decompositions

There are many interesting computational problems related to connected cubic graph decomposition. For instance, decomposition of cubic graph into a perfect matching and a connected 2-factor ...
0
votes
0answers
73 views

Detailed Taxonomy of Multivariate Real Functions: $\mathbb{R}^n\rightarrow\mathbb{R}$

I want to classify the following functions: $$ f:(x,y)\in\mathbb{R}\times\mathbb{R}\rightarrow\sqrt{(x+1)^2+y^2}+\sqrt{(x-1)^2+y^2}-2$$ $$ ...
2
votes
2answers
250 views

Density of characters

Did Harish-Chandra prove that characters of irreducible representations of a $p$-adic reductive group $G$ span a dense subspace of the space of conjugation-invariant distributions on $G$? What is the ...
8
votes
0answers
230 views

From Frege to Gödel - German equivalent?

I know this question does not quite fit here, but I felt it could best be answered here. I recently stumbled upon the book From Frege to Gödel, which is a sourcebook containing some of the most ...
3
votes
2answers
245 views

Counterexample to Openness of Flat Locus

Let $A$ be a commutative Noetherian ring and $B$ a finitely generated $A$-algebra. Then the set $$U\colon=\{P\in\operatorname{Spec}B\mid B_P\ \mathrm{is\ flat\ over}\ A\}$$ is open in ...
4
votes
1answer
229 views

What's a good reference for the following obstruction theory yoga?

Fix a colored operad, which I will leave implicit, and a field $\mathbb K$ of characteristic $0$. By algebra in this post I will mean a dg algebra over $\mathbb K$ for the given colored operad. I ...
1
vote
1answer
190 views

Reference request: Boundary behavior and quantitative lower bound for the principal eigenfunction of an elliptic PDE in a ball $B(r)$

Consider the elliptic eigenvalue problem $$ \begin{cases} \int_{B(r)} A(x) \nabla u \cdot \nabla \phi \, dx &= \ \ \frac{\lambda_1}{r^2}\int_{B(r)} u \phi \, dx \\ \qquad \qquad \qquad \quad ...
2
votes
0answers
86 views

Comparing two non-deterministic Turing equivalents as basis for Logic, request for references

I am designing a logic, that is simpler than FOL + PA. And I like to know if there already exists something in this direction. First of all a non-deterministic Turing equivalent is defined by ...
1
vote
1answer
87 views

Universal constructions that factor through endomorphisms

If $\cal A$ is a variety of algebras (e.g., all groups) and $\cal B$ is a subvariety defined by some set of identities $X$ (e.g., abelian groups with $X = \{xy \simeq yx\}$), then there is a functor ...
0
votes
0answers
92 views

fixed simplicial complex under group action

I have found in an article dealing with combinatorial manifolds the following definition: Let $C$ be a finite simplicial complex, and let $G$ be a finite group acting by automorphisms of $C$. The ...
6
votes
0answers
141 views

“Fraïssé limits” without amalgamation

All structures are countable with countable signature. Given a structure $\mathcal{A}$, the age of $\mathcal{A}$, $Age(\mathcal{A})$, is the set of structures isomorphic to finitely-generated ...
4
votes
0answers
62 views

Picard group of Drinfeld upper half space

Let $K$ be a $p$-adic field and $\Omega^{(n)}_K$ the $n$-dimensional Drinfeld upper half space over $K$ (which is a rigid analytic space over $K$). Is the Picard group of $\Omega^{(n)}_K$ known? ...