# All Questions

12 views

### Why are 1 and -1 eigenvalues of this matrix?

This is a subject I've been working on for a very long time now, but still did not manage to fully understand the interesting properties of this matrix $\mathbf{A}$. First, let's define two matrices: ...
12 views

### Potentiality classes and Borel reductions

In a 1998 paper by Hjorth, Kechris, and Louveau, there was a definition given of a "potentiality class." That is, given an invariant equivalence relation $E$ on a standard Borel space $X$, we say $E$ ...
12 views

### Lp harmonic and harmonic Lp; is it the same?

In Harmonic function theory there is a notion of Harmonic Bergman space. For an open set $\Omega$ in $\mathbb{R}^{n}$ and $1\leq p<\infty$ we denote by $b^{p}\left(\Omega\right)$ a set of all ...
31 views

### Neighborly family of coins

Here is a puzzle: Find 5 identical coins. Can you arrange them so that every coin is touching every other coin? The solution is here. The hint is: use the third dimension. My questions are ...
20 views

### Hilbert polynomials and a moving lemma type question

Let $X$ be a smooth irreducible projective curve contained in $\mathbb{P}^3$ and $Y$ be another reduced but not necessarily irreducible curve in $\mathbb{P}^3$. Denote by $P$ the Hilbert polynomial of ...
5 views

### Renormalization for Transport Equations with SBD velocity field

In the paper Traces and fine properties of a $BD$ class of vector fields and applications by Ambrosio, Crippa and Maniglia the authors prove a chain rule for vector fields $B\in SBD(R^d)$ with ...
43 views

### Blowing-up the Grassmannian at a point

Does anyone know what the blow-up of the Grassmannian at a point looks like? Consider $G=Gr(r,n)$ and $V\in G$. I want to understand more explicitly what $Bl_V(G)$ should mean. Of course for affine ...
27 views

### Filmed lectures by Hassler Whitney

Are there any filmed lectures by outstanding American mathematician Hassler Whitney, besides the two Einstein Chair lectures below? Old lectures, from the 1940s onwards, would be particularly ...
47 views

### On the coherence theorem for bicategories

The coherence theorem for bicategories, as usually stated, reads Any bicategory $B$ is biequivalent to a (strict) 2-category. It is possible to give an explicit construction of the ...
17 views

### Uncountably categorical theories which are interpretable in a strongly minimal

Definition: Let $\lambda$ be a cardinal. An $\mathcal{L}$-theory $T$ is called $\lambda$-categorical whenever every two models of $T$ of cardinality $\lambda$ are isomorphic. Definition: An ...
46 views

### alternative way to recognize that a real symmetric quadratic form is positive

A real symmetric quadratic form $g(x)=\varSigma_{1\leq i,j \leq n}\,g_{ij} x^i x^j$ is positive (definite) if $g(x)>0$ for every $\mathbb{R}^n\ni x=(x^1,...,x^n)\neq 0$. It is well known that a ...
32 views

### Embedding rational simple algebras in the real quaternions [duplicate]

Is there any way to embed a rational division algebra of dimension higher than 4 over its center in the real quaternions ? I think not, but I cannot prove it.
23 views

### On a reciprocal of Ostrowski theorem on Newton polytopes and factorization

$\newcommand\KK{\mathbb{K}}$Let $\KK$ be any field and $f\in\KK[x_1,\dotsc,x_n]$ be a polynomial. Its support $S_f$ is the set $\{(e_1,\dotsc, e_n) : x_1^{e_1}\dotsb x_n^{e_n}$ has a nonzero ...
42 views

50 views

### Completion of a single totally ordered down-set

This is a follow-up question to Complete sets of incompatible totally ordered down-set in a partially ordered set. Let $(P,\leq)$ be a partially ordered set such that for every $p\in P$ the set ...
60 views

### Galois correspondence subgroups/subsystems

In this paper (1998) by M. Izumi, R. Longo, S. Popa, there is the following result (page 49) on compact groups: By applying this result to finite groups, we get a Galois correspondence ...
20 views

### How to define the determinant of a morphism between graded Lie algebras?

I have the following question. Suppose $g_1$ and $g_2$ are two finite dimensional, nilpotent, stratified Lie algebras and $A:g_1\to g_2$ is a morphism of the graded Lie algebra. I wonder whether there ...
32 views

### Combinatorics: Identical objects and distinct groups [on hold]

I'm confused between the following 2 formulae: 1) Number of ways to put n identical objects into r distinct boxes, such that the ordering is NOT important is: (n+ r - 1) C r 2) Number of ways to ...
16 views

### Spectral radius of a column stochastic matrix perturbed by a rank-1 matrix

$P\in \mathbb{R}^{n\times n}$ is an irreducible column stochastic matrix. $P$ is also diagonally dominant. $w \in \mathbb{R}^{n}$ is a strictly positive vector satisfying $w^T \mathbf{1} = 1$ where ...
49 views

### A combinatorial question on ranks

Denote $$\mathscr{C}[r]=\{Q\in\Bbb Z_{\geq 0,\leq 1}^{n\times n}:\mathsf{rk}(Q)= r\}.$$ $$\mathscr{D}[A,t]=\{B\in\mathscr{C}[\mathsf{rk}(A)]:\mathsf{dim}(col(A)\cap col(B))\geq t\}.$$ Given ...
23 views

### the choosing of an independent set in a specific $k$-partite graph

Let $k\geq2$ be an integer, a graph $G=(V,E)$ is called $k$-partite if $V$ admits a partition into $k$ classes such that every edge of $G$ has its ends in different classes: vertices in the same class ...
86 views

### contractible configuration spaces

Let $F(M,k)=\{(x_1,\cdots,x_k)\mid x_1\cdots,x_k\in M,x_i\neq x_j, \text{ for } i\neq j \}$. It is known that $F(\mathbb{R}^\infty,k)$ is contractible for each $k$. My question: is $F(S^\infty,k)$ ...
26 views

### Skein theory: How axiomatizing a 2-box space?

Let $(A,+,\times, *)$ with an adjoint operation compatible with $+$, $\times$ and $*$, such that $(A,+,\times)$ and $(A,+,*)$ are finite dimensional ${\rm C}^{*}$-algebras. What are the axioms on ...
62 views

### How do you categorify the cycle index series?

Let $F$ be a combinatorial species. The exponential generating series of $F$ is defined to be $$\sum_{n \geq 0} \frac{ \lvert F_n \lvert x^n}{n!}$$ It was observed by Baez and Dolan in their paper ...