# Tagged Questions

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

**3**

votes

**2**answers

225 views

### Cohomology of the toric variety $X_\Sigma=\mathbb C^2\sqcup \mathbb C^2\big/\left((x,y)_1\sim(x^{-1},y^{-1})_2\right)_{x,y\neq 0}$

I'm writing a thesis on Chow rings of toric varieties and am looking for a reference on the singular cohomology ring of the blowup of $\mathbb C^2$ at xy=0, i.e. at the coordinate axes. The ...

**0**

votes

**0**answers

72 views

### Action of the (special) orthogonal group on differential forms

I was told that the following facts are true. I am looking for a reference to them.
1) The action of $O(n,\mathbb{C})$ on $\wedge^l\mathbb{C}^n$ is irreducible for any $l$.
2) The action of ...

**3**

votes

**1**answer

135 views

### Birkhoff Ergodic Theorem and Ergodic Decomposition Theorem for Continuous-Time Markov Processes

I have a couple of questions regarding ergodicity for Markov processes in continuous time. (In particular, the first question seems like it should be particularly basic, and yet I haven't managed to ...

**1**

vote

**0**answers

101 views

### First Description of how to Remove Radicals from Equations

Who first described the technique of removing radicals as indicated in the answers to questions Tools for Removing Radicals from Equations and Rewrite sum of radicals equation as polynomial equation ? ...

**1**

vote

**0**answers

85 views

### adjoint representation of 2-Lie groups

Baez and Crans in their paper on Lie 2-algebras refer to adjoint representations of Lie 2-groups but don't say much, as far as I can tell, except to say that such a representation acts on a 2-Lie ...

**5**

votes

**0**answers

256 views

### Reference request: Book of Linear algebra from categorical point of view

Is there any book of Linear algebra in the modern language of Category theory?
I refer to the (systematic, formalist) study of the category whose objects are vector spaces and whose morphisms are ...

**7**

votes

**1**answer

422 views

### Learning roadmap to TQFT from a mathematics perspective

I had asked a question on math.stackexchange but did not receive any answers. I hope that this question is appropriate for this website as it is about an advanced subject. Hence I am posting it below.
...

**3**

votes

**1**answer

132 views

### Contracting a planar graph to a (multiply-edged)-tree

Given a planar graph (no loops, no multiple edge), is it always possible to perform edge contractions* in order to obtain a graph $T$ which has no loops, but if one forgets the multiplicity of its ...

**5**

votes

**0**answers

95 views

### Star shaped sets with a midpoint

Suppose $U$ is an open subset of $\mathbb{R}^n$ which is star shaped with respect to $p\in U$. I'll call $p$ a midpoint of $U$ if for any line $\ell$ through $p$, the point $p$ is the midpoint of the ...

**1**

vote

**1**answer

142 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

108 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

173 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

64 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

333 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

161 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

101 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

81 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

132 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

140 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

171 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

121 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

71 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

124 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

513 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

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