# Tagged Questions

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

**1**

vote

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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

**1**answer

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

**1**answer

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

**0**answers

230 views

### Cohomology and impossible ﬁgures

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 ﬁgures": ...

**3**

votes

**1**answer

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

**0**answers

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

**1**answer

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

**4**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**3**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**1**answer

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

**0**answers

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

**2**answers

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

**1**answer

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

**2**answers

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

**1**answer

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

**1**answer

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

**2**answers

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

**2**answers

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

**0**answers

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

**2**answers

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

**0**answers

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

**2**answers

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

**1**answer

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

**1**answer

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

**0**answers

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

**1**answer

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

**0**answers

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

**0**answers

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

**0**answers

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? ...