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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
2answers
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
1answer
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
0answers
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
3answers
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
0answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
4answers
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
1answer
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
3answers
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
3answers
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
0answers
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
1answer
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
2answers
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
1answer
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
1answer
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
1answer
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
0answers
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
2answers
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
0answers
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
2answers
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
3answers
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?