# Tagged Questions

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

**1**

vote

**1**answer

141 views

### Does the “Ohsawa-Takegoshi theorem without bounds” have a name?

There are many theorems which now could be called "The Ohsawa-Takegoshi" theorem. Of these, the most basic is roughly the following:
Let $\Omega \subset \subset \mathbb{C}^n$ be a psuedoconvex ...

**1**

vote

**2**answers

223 views

### Embed one Coxeter System into another

What is a good reference that explains all the braid relations and diagrams for Coxeter systems concisely?
In particular, how do I embed $H_3$ inside $D_6$, or $H_4$ inside $E_8$? Any hints?

**1**

vote

**1**answer

106 views

### Levenberg's original article “A method for the solution of certain problems in least squares”

Does there exist any digital copy of the original article (or a transcript) K. Levenberg, A method for the solution of certain problems in least-squares, Quart. Appl. Math. 2 (1944): 164-168?
It is ...

**6**

votes

**1**answer

272 views

### Does OCA imply $2^{\aleph_0}=\aleph_2$?

Is it known whether Todorcevic's Open Coloring Axiom implies $2^{\aleph_0}=\aleph_2$?
The only consistency proofs for OCA that I know are the following:
1) PFA implies OCA (and also ...

**4**

votes

**1**answer

108 views

### Equations and random subgroups in compact groups

EDIT: Here is a more specific question.
Let $G$ be a compact group and let $w$ be a word in $d$ variables. Then the solution set $S$ of the equation of $w=1$ is a closed subset of the product $G^d$ ...

**2**

votes

**1**answer

172 views

### Vanishing of Motivic Cohomology

In these notes, page $10$, bullet $(5)$, it is stated that if $X$ is a scheme of finite type over a field $k$, then the motivic cohomology $\mathrm{H}^{p,q}(X,R)$ of $X$ over $k$, where $R$ is a ring, ...

**0**

votes

**0**answers

62 views

### Reference request: How you can reach any point in the vector space of vector fields generated by Lie brackets

By a Theorem of Chow, you can reach any point in the vector space of vector fields generated by Lie brackets.
Do you know any reference for this theorem?

**5**

votes

**1**answer

226 views

### Relationship between fragments of the axiom of choice and the dependent choice principles

The dependent choice principle ${\rm DC}_\kappa$ states that if $S$ is a nonempty set and $R$ is a binary relation such that for every $s\in S^{\lt\kappa}$, there is $x\in S$ with $sRx$, then there ...

**3**

votes

**2**answers

332 views

### Zigzags and contractibility of categories

Let $\mathbf{C}$ be a small category and $\mathbf{C}'$ its hammock localization in the sense of Dwyer and Kan. I am looking for a proof (or counterexample) of the following assertion:
If there is ...

**8**

votes

**1**answer

209 views

### Integers with a large prime divisor in short intervals

For an integer $n$, denote by $P^+(n)$ the largest prime divisor of $n$. Then we have the following:
There exists some $c>0$, such that for all $x$ sufficiently large the number of integers ...

**0**

votes

**0**answers

66 views

### Linkage between homotopy equivalence and identification of algorithms

I vaguely recall that someone says there is linkage between homotopy equivalence and identification of algorithms which may be isomorphic or morphism or something like that,the algorithm may be ...

**2**

votes

**3**answers

160 views

### How to define the input of computable function or Turing machine over real numbers

Computation or computability over $\mathbb{N}$ can be extended to computation or computability over $\mathbb{R}$ or even computation or computability over $\mathbb{C}$.The following is a formal ...

**2**

votes

**0**answers

34 views

### Reference request: Edmond's Algorithm for integer hull

I'm looking for a good reference for the algorithm (supposedly by Edmonds) to compute the integer hull of a polytope, not by cutting plane methods but by starting with a set of integer points and then ...

**4**

votes

**0**answers

100 views

### Nontransitive dice

In the wikipedia article https://en.wikipedia.org/wiki/Nontransitive_dice it is claimed that " The set of nontransitive dice were investigated by the Latvian computer scientist and mathematician ...

**1**

vote

**1**answer

68 views

### On Severi's definition of the complementary correspondence

In Weil's short note entitled "On the Riemann hypothesis in function-fields"
he mentions the notion of the complementary correspondence associated to a given correspondence $T:C\rightarrow C$ where ...

**-1**

votes

**0**answers

55 views

### Property of set of prime numbers [migrated]

let $\{p_1,p_2,p_2,\cdots ,p_r\}$ be the set of $r$($\ge2$) pair wise distinct prime numbers
i.e.., $(i\ne j \implies p_i \ne p_j)$ for all $1\le i,j\le r$
${Statement}$ :
For any such ...

**4**

votes

**0**answers

79 views

### The 'most general' papers on rational Borel-Moore motivic homology and K'-theory?

There are two ways to define Borel-Moore motivic homology (of schemes) with rational coefficients: one should either consider certain complexes of algebraic cycles, or the $\gamma$-filtrations of ...

**-1**

votes

**1**answer

131 views

### Conjectured Primality Test for Numbers of the Form k2^n+1 with n>2 [closed]

Definition : Let $P_m(x)=2^{-m}\cdot \left(\left(x-\sqrt{x^2-4}\right)^m+\left(x+\sqrt{x^2-4}\right)^m\right) $
where $m$ and $x$ are positive integers .
Conjecture : Let $N=k\cdot 2^n+1$ with ...

**2**

votes

**0**answers

139 views

### Two Definitions of Non-commutative $L^p$ space

Throughout, let $(\mathcal{M},\tau)$ be a von Neumann algebra $\mathcal{M}$, acting on a Hilbert space $H$, with normal semifinite faithful trace $\tau$.
In the survey article by Pisier and Xu, the ...

**2**

votes

**1**answer

225 views

### vanishing higher cohomology group for property T group?

Given a countable discrete group $G$ with Kazhdan's property (T), consider $\mathbb{C}G$ or $l^2(G)$ as a left $G$-module, then we can consider the group cohomology,
Is it known that $H^n(G, ...

**1**

vote

**1**answer

298 views

### Is there any current development of a first order formalization of metamathematics?

I hope that this post isn't off topic, but I already asked math.stackexchange about first order formalizations of first order logic. There are provability logics and extensions in modal logic's that ...

**7**

votes

**1**answer

170 views

### Atkin--Lehner operators in Hida theory

Let $p$ be a prime, and $F$ a $p$-adic Hida family of ordinary modular forms (of some tame level $N \ge 1$). I'd like to know whether, for $q$ a prime factor of $N$, the actions of the Atkin--Lehner ...

**0**

votes

**0**answers

77 views

### (Homotopy) limits and colimits in a dg-category

It is known that differential graded categories (or, also, $A_\infty$-categories) are 'incarnations', in some sense, of (stable) $(\infty,1)$-categories. I'm not used to the theory of ...

**0**

votes

**0**answers

168 views

### K-theory of $\mathbb{RP}^\infty$

can anyone give some reference of K-theory and K-homology of $\mathbb{RP}^\infty$, both $K_0$ and $K_1$.
PS: also posted in stackexchange

**0**

votes

**1**answer

161 views

### Reference request: Deligne's conjecture (cycles)

In "The work of Tate" Milne says:
"The relation between the two conjectures has been greatly clarified by the work
of Deligne. He defines the notion of an absolute Hodge class on a (complete ...

**2**

votes

**1**answer

233 views

### Reference request: Grothendieck´s period conjecture?

I would like to know if Grothendieck published something about this conjecture?
Is there some book (or expository article) about this conjecture?
Is there any connection between this conjecture and ...

**8**

votes

**1**answer

429 views

### Rank of Elliptic Curves

Recently, I have heard of some heuristics that would suggest that the rank of elliptic curves are bounded (specifically in the congruent number family). I always though that the best way to prove ...

**14**

votes

**1**answer

730 views

### Is $x^{n}-x-1$ irreducible?

Is it true that for every $n \in \mathbb{N}$, $x^{n}-x-1$ is irreducible in $\mathbb{Z}[x]$?
The standard irreducibility criteria seem to fail.

**2**

votes

**0**answers

120 views

### Rewrite sum of radicals equation as polynomial equation

My question is about a method described in Dr.Math forum for simplifying equations involving sums of radical functions.
(The following is a transcription of the example given by Dr. Vogler):
--- ...

**1**

vote

**0**answers

70 views

### Stokes operator without dirichlet boundary condition

Let $\Omega$ be a domain, then the following stokes operator is quite well known :
$\mathcal{H} \rightarrow \mathcal{V}_{\sigma} $
$f \rightarrow u$ such that $ - \Delta u = f $
where $ ...

**4**

votes

**1**answer

474 views

### 3n+1 problem and cycles

Just to make sure I am up to date with this problem. I know (or I think I do) that it is not yet proven that there are no non-trivial cycles for the collatz sequence (please correct me if I am wrong). ...

**0**

votes

**0**answers

46 views

### Calculating the longest Bracelet(s) Common to a Set of Bracelets

I would like to know, if the following problems has been studied before:
let $\{B_1, ..., B_n\}$ be a set of Bracelets with the same set $\{\beta_1, ..., \beta_k\}$ of beads,
what is the ...

**1**

vote

**0**answers

128 views

### A model structure on marked simplicial sets

Do you have a reference for the following fact? And before that, is it true?
The Joyal model structure on simplicial sets "lifts" to a model structure on the category of marked simplicial sets, ...

**3**

votes

**1**answer

123 views

### Wiener algebra for nonabelian locally compact groups

By the Wiener algebra I mean the algebra of functions on the circle group having absolutely convergent Fourier series. Is there an analogue of Wiener algebra for nonabelian locally compact groups?
I ...

**4**

votes

**1**answer

227 views

### Comparison of etale and singular cohomology for varieties over number fields

Whilst reading Hartshorne's appendix C I came across the comparison theorem for etale cohomology and singular cohomology:
Let $X$ be a smooth projective variety over a number field $K$ and $\ell$ a ...

**7**

votes

**4**answers

512 views

### (reference request) Chaitin's constant is incompressible

I've been looking for a full, detailed proof that Chaitin's constant is incompressible, i.e. there is a universal constant $c$ such that every program writing first $n$ digits of $\Omega$ has length ...

**0**

votes

**1**answer

191 views

### Projection of a hypersurface from a point

Let $k$ be an algebraically closed field. We consider the projective space $\mathbb P_n$ over defined over $k$, the point $Q=(0:\dots:1)$, the hyperplane $H=\{X_n=0\}$ and a hypersurface $X$. We want ...

**7**

votes

**3**answers

356 views

### Diagonalization via the Toda flow

inAccording to some almost indecipherable notes of a graduate Linear Algebra class, a symmetric matrix $A\in\mathbb R^{n\times n}$ can be diagonalized via the Toda flow. More specifically, if ...

**18**

votes

**3**answers

1k views

### Is any particular algebraic number known to have unbounded continued fraction coefficients?

The continued fraction
$$[1;1,2,3,4,5,\dots]=1+\cfrac{1}{1+\cfrac{1}{2+\cdots}}, $$ for instance, is known explicitly as a ratio of Bessel function values and is (I believe - SS) known to be ...

**5**

votes

**0**answers

91 views

### A conditional form of Holder's Inequality on Type II-1 von Neumann algebras

Suppose $V$ is a von-Neumann algebra with a trace $\tau$ so that $\tau(I) = 1$. Suppose $W$ is a sub-von Neumann algebra of $V$. Then we can define a conditional expection to be a projection ...

**1**

vote

**1**answer

286 views

### Why does Neeman avoid t-structures?

I have a simple question: the book "Triangulated Categories" by A. Neeman aims to be an exhaustive reference about the whole (basic) theory of triangulated categories. So why there is only a single ...

**4**

votes

**2**answers

333 views

### Are there any patterns in simple continued fraction expansions of algebraic real numbers?

As we know there are patterns in simple continued fraction expansion of quadratic algebraic numbers,are there any patterns in simple continued fraction expansions of other algebraic real ...

**6**

votes

**1**answer

267 views

### About an identity which gives immediate proof of the permanent lemma

Let $A$ be a $n \times n$ matrix over field $F$. Let $a_1, \cdots, a_n$ be the column vectors of $A$. For any subset $S \subseteq [n] = \{1, 2, \cdots, n\}$, let $a_S = \sum_{i \in S} a_i$. Alon's ...

**0**

votes

**1**answer

41 views

### Resource on characterizations or properties of traceable graphs

I am looking for some resources that provide information on traceable graphs(paths containing a hamiltonian path). I have found a lot of information on hamiltonian graphs, but none on traceable ...

**2**

votes

**1**answer

208 views

### Reference request for instantons

I've been researching instantons lately and I'd like to learn more about them but would like some help finding what to read. I have read about the ADHM equations and their noncommutative analogues. ...

**5**

votes

**0**answers

189 views

### Are inclusions from spaces of $C^\infty$ sections into spaces of $C^k$ sections homotopy equivalences?

[EDIT: The answer to my original question was obviously no, as user56365 pointed out. Here is what I should have asked.]
For finite-dimensional smooth manifolds $E,M$, let $E\to M$ be a smooth fibre ...

**5**

votes

**2**answers

132 views

### Poisson ideals vs. ideals generated by Poisson central elements

Let $R$ be a Poisson algebra (over $\mathbb C$, say) with Poisson center $Z = \{c \in R : \{c,R\} = 0\}$ and consider two types of ideals $I \leq R$:
$I = \langle (c_i) \rangle$ is generated by ...

**5**

votes

**0**answers

210 views

### Quotienting disk inside sphere result in sphere

Let $S^k$ be a topological $k$-dimensional sphere. Let $D^k$ be a $k$ dimensional disk that includes in $S^k$. Let
$q: D^k \to D^r$ be a map and $r \leq k$. Let
$$W = S^k \sqcup D^r/\sim$$
where ...

**3**

votes

**2**answers

140 views

### Bochner's theorem for measures of positive type

Is there a version of Bochner's theorem characterizing measures of positive type on a locally compact group? By a measure of positive type on the group $\Gamma$, I mean a measure $\mu$ satisfying ...

**5**

votes

**3**answers

95 views

### graded generalization of the Moyal–Weyl product

Has anyone written about the graded generalization of the Moyal–Weyl product/star product, that is, where the original algebra is already graded? Is it just a matter of signs?