All Questions
2,026 questions with no upvoted or accepted answers
7
votes
0
answers
195
views
Hölder continuity of spectrum of matrices
Endow $\mathbb{C}^{d \times d}$ with the norm induced by the Euclidean norm on $\mathbb{C}^d$. It is well-known (to those who know it well, I guess) that the spectrum $\sigma(A)$ of a matrix $A \in \...
- 12.5k
7
votes
0
answers
294
views
A minimal semigroup generating subset of the additive reals
I asked this on MSE, but I was told to ask it here because it is a difficult question. Consider the additive magma of the real numbers, $(\mathbb{R};+)$. Does there exist a subset $S$ of the reals ...
- 2,013
7
votes
0
answers
297
views
Associativity of the Campbell-Baker-Hausdorff operation on a Banach-Lie algebra
Let $(\mathfrak{g}, [\cdot,\cdot]_\mathfrak{g}, \Vert \cdot \Vert_\mathfrak{g})$ be an infinite-dimensional Banach-Lie algebra, and let us define for any $a,b \in \mathfrak{g}$ the series
$$~ Z^\...
- 171
7
votes
0
answers
385
views
How to define $U_q \mathfrak{g}$ without generators and relations?
I'm trying to learn something about quantum groups. The related definitions tend to consist of formulas which are not extremely intuitive, on the first glance. So I wonder how the amount of formulas ...
- 700
7
votes
0
answers
365
views
Residue field of a ring does not depend upon the maximal ideal
Let $\mathbb{K}$ be a field and let $A$ be a $\mathbb{K}$-algebra. We will say that $A$ is residually $\mathbb{K}$ if for every maximal ideal $\mathfrak{m}$ we have that the structural morphism $\...
7
votes
0
answers
268
views
Generalising supercommutativity as a grading by the $1$-truncated sphere spectrum
A discussion that has been going recently is that supersymmetry corresponds to grading over the sphere spectrum, coming from an insight due to Kapranov.
To formalise such a statement, one needs a ...
- 11.8k
7
votes
0
answers
388
views
Is there a reasonable definition of an octonionic manifold?
$\DeclareMathOperator\GL{GL}\DeclareMathOperator\End{End}$
Todorov and Dubois-Violette have recently shown how to understand the structural gauge group of the standard model via octonions.
Q. Is there ...
- 2,369
7
votes
0
answers
92
views
Is the set of conjugates of Pisot numbers dense?
Let $S$ be the set of Pisot numbers. It is known that $S$ is closed and has infinitely many limit points. However, I want to know if there are are results about the set of conjugates of Pisot numbers. ...
- 171
7
votes
0
answers
573
views
Why is Hochschild homology interesting if its cohomology groups are infinite-dimensional?
I am trying to understand Hochschild homology, in particular the Hochschild–Kostant–Rosenberg theorem. As far as I understand this result gives an isomorphism between the algebraic (Kähler) ...
- 1,144
7
votes
0
answers
107
views
Potential p-norm on tuples of positive operators
This is a follow-up to this question on p-norms of tuples of operators.
Consider $\left[\begin{matrix} A \\ B \end{matrix}\right] \in B(H)^2_+$, meaning $A,B\geq 0$, and define
$$
\left\|\left[\begin{...
- 3,984
7
votes
0
answers
100
views
Formally real non-Jordan algebras
Jordan, von Neumann and Wigner [1] showed that for any finite-dimensional real vector space $A$ with a bilinear commutative power-associative operation $\circ : A \times A \to A$, the formal reality ...
- 22.2k
7
votes
0
answers
905
views
The Möbius function as eigenvalues
Let the $N$ by $N$ matrix $A$ be defined by the tetration:
$$\Large \text{If } \gcd(n, k)=1 \text{ then } A(n,k)= \underbrace{e^{e^{\cdot^{\cdot^{e^{\Re\left(\frac{1}{n^s}\right)}}}}}}_m \text{ else }...
- 1,183
7
votes
0
answers
133
views
Removing rows to reduce the rank
What is the smallest number of rows one can delete from a matrix to reduce its rank (by $1$)? Is there any standard name / notation for this characteristic? Has it been studied?
I am in fact ...
- 23k
7
votes
0
answers
177
views
Matrix of high rank mod $2$: must it have a large non-singular minor (with disjoint rows and columns)?
Let $A$ be a $2n$-by-$2n$ matrix with entries in
$\mathbb{Z}/2\mathbb{Z}$ such that, for every $2n$-by-$2n$ diagonal
matrix $D$ with entries in $\mathbb{Z}/2\mathbb{Z}$, the matrix $A+D$
has rank $\...
- 20.2k
7
votes
0
answers
658
views
Row rank and column rank of matrix with entries in a commutative ring
Let $R$ be a unital commutative ring and $A\in M_{n\times m}(R)$. Under which appropriate invariant "rank" of modules discussed
in "Ranks of Modules"
one can say that the row rank of $A$ is ...
- 356
7
votes
0
answers
168
views
Matrix operations preserving the middle coefficients of characteristic polynomial
Let $n$ be a positive integer. For a ring $A$ and matrix $M \in \mathrm{Mat}_{n \times n}(A)$, let $\chi_{M}(t) = \det(M-t \operatorname{id}_{n}) = (-1)^{n}(t^{n} - \sigma_{M,1}t^{n-1} + \dotsb + (-1)^...
- 428
7
votes
0
answers
141
views
A generalization of matrix minors to non-integer values
I am interested to know if there exist a notion of $k$-minors of a real square matrix, for non-integer positive values of $k$
One approach I thought of was to use the fact that the $k$-minors are (...
- 6,741
7
votes
0
answers
378
views
Is there a theory of algebraic universal algebra?
An algebraic group is a group that is also an algebraic variety. There is also a theory of algebraic monoids. Is there are version of universal algebra that incorporates these examples, and other ...
- 6,860
7
votes
0
answers
187
views
Wedderburn decomposition of twisted group algebras
Let $K$ be a field and $G$ be a finite group. Maschke's theorem states that the group algebra $KG$ is semisimple iff $|G|$ is not divisible by $\text{char}K$. In particular, if $\text{char}K=0$, the ...
- 171
7
votes
0
answers
229
views
Hochschild-Mitchell Homology
There is the notion of Hochschild-Mitchell homology for a $k$-linear category $\mathcal{C}$ (here $k$ can be a field). The definition is straightforward and so are some general properties, but somehow ...
- 1,382
7
votes
0
answers
231
views
Hochschild cohomology of category of modules over an algebra
Let $A$ be a complex associative and unital algebra.
Denote by $A\text{-mod}$ the category of finite-dimensional left modules over $A$. This is an Abelian category and we denote by $\text{Ch}_{\ge 0} (...
- 1,382
7
votes
0
answers
781
views
Hochschild cohomology of a universal enveloping algebra of a Lie algebra
I was told that the following equation is true:
Given a finitely generated Lie algebra $\mathfrak g$, there is a Gerstenhaber algebra isomorphism
$$ HH(U\mathfrak g) \cong HH(\wedge^* \mathfrak g^\vee,...
- 323
7
votes
0
answers
264
views
Bound on gap between least eigenvalues of $n \times n$ correlation matrix and of its $(n -1) \times (n-1)$ submatrices
The following problem is motivated by one of my research problems.
Let
$\Sigma$ be an $n \times n$ correlation matrix whose least eigenvalue is denoted by $\lambda$.
$\Sigma_i'$ be an ...
- 141
7
votes
0
answers
296
views
Counting 0-1 $n\times n$ matrices with a given rank r
What is the number $N$ of $n \times n$ $0$-$1$ matrices with rank $k$?
I read this sequence is
"OEIS A064230 Triangle $T(n,k)$ = number of rational (0,1) matrices of rank $k$ ($n\ge 0$, $0\le k\le ...
- 1,677
7
votes
0
answers
197
views
A special eigenvalue problem
For my research I need to solve a generalised eigenvalue problem
$Ax=\lambda B x$, where $A$, $B$ are general matrices, and selectively find only eigen-pairs $\lambda, x$ such that $\lambda\in \mathbb{...
- 492
7
votes
0
answers
538
views
Algebraic-closures of division rings
In what follows, $x$ is always taken to commute with the coefficient ring. This means that for any given polynomial, you can put the coefficients to the right or the left of $x$ as you please. This ...
- 1,270
7
votes
0
answers
248
views
Trace on a KLR algebra
The cyclotomic KLR algebra is isomorphic to the Ariki-Koike algebra over a field and so admits a trace (this is used in Hu-Mathas' paper to define bases for the KLR algebra corresponding to Murphy and ...
- 1,413
7
votes
0
answers
416
views
Definitions of Hochschild Cohomology $HH^{\bullet}(A)$
Let $A$ be an associative unital $k$-algebra, and let $M$ be a bimodule of $A$. The Hochschild cohomology of $A$ with coefficients in $M$ can be defined as
$$HH^{n}(A,\,M)=\mathrm{Ext}^{n}_{A^{e}}(A,\,...
- 661
7
votes
0
answers
156
views
Flatness for pushouts/amalgamations of rings
In this question I am working in the category of unital but not necessarily commutative rings.
Let $R$ and $T$ be rings with a common subring $U$ and suppose that $R$ and $T$ are flat as right ...
- 38.6k
7
votes
0
answers
191
views
Generalizing C*-algebraic results to purely algebraic situations
In the category of C*-algebras there are many purely algebraic properties which often make life easier, such as the fact that every C*-algebra is idempotent (by Cohen-Hewitt). When speaking of closed ...
- 2,263
7
votes
0
answers
372
views
"Factorisation" in special linear groups over rings of integers
It is known that for any number field $F$ with infinitely many units (i.e. $F$ is not $\mathbb Q$ or an imaginary quadratic field) with ring of integers $O$ the special linear group $\mathrm{SL}_2(O)$ ...
- 3,399
7
votes
0
answers
374
views
The augmentation filtration on a group ring
Let $G$ be a group and $\mathbb QG=\{\sum a_ig_i\colon a_i\in\mathbb Q, g_i\in G\}$ its group ring over $\mathbb Q$. It is a Hopf algebra. Let $I=\{\sum a_ig_i\colon\sum a_i=0\}$ be the augmentation ...
- 1,960
7
votes
0
answers
178
views
Associated graded of double Koszul dual
Let $k$ be a field, and let $A$ be a graded, connected, augmented, locally finite $k$-algebra. If $\Omega^* A$ denotes the cobar complex of $A$ (i.e., the dual $Hom_k(B_*(A), k)$ of the bar complex ...
- 4,133
7
votes
0
answers
228
views
Terminology for vanishing of Hochschild homology with symmetric coefficients?
In a title or abstract for a paper, if I say "Hochschild cohomology of this algebra $A$ vanishes in degrees two and above" then
it should hopefully be understood by most readers as saying $H^n(A,M)=0$...
- 25.8k
7
votes
0
answers
252
views
A conjecture of Lubotzky on ranks of subgroups of special linear groups over the integers
In a 1985 paper named "Dimension function for discrete groups" Lubotzky conjectured that:
For any integer $n \geq 3$ the group $\mathrm{SL}_n(\mathbb{Z})$
contains infinitely many finite index ...
- 11.3k
7
votes
0
answers
296
views
A roadmap to learn about finite-dimensional commutative associative real or complex unital algebras
I've always been secretly fascinated with the rich structure and applications of finite-dimensional associative unital algebras over complete fields. In particular, I am very much interested in the ...
7
votes
0
answers
437
views
How to prove that a projective module is not free?
Let $A$ be a noncommutative (perhaps $\ast$-) algebra (over $\mathbb{C}$) and let $M$ be a projective module defined via a projector $P\in M_n(A)$; i.e. $M=P(A^n)$. Furthermore, assume that all ...
- 767
7
votes
0
answers
335
views
Does this inequality always hold?
Denote the adjacency matrix of a given undirected graph by $g$. It is an $n$-by-$n$ symmetric Boolean matrix with elements on the diagonal to be zero ($n\geq 3$). Let $g_{12}=g_{21}=g_{13}=g_{31}=1$ ...
- 79
7
votes
0
answers
217
views
Characterizing matrices with rank constraint
Given matrix $M\in\Bbb\{0,1\}^{n\times n}$, is there a nice method to characterize $$\mathscr{D}[M]=\{Q\in\Bbb\{0,1\}^{n\times n}:\mathsf{rank}(M-Q)= \mathsf{rank}(Q),\quad M-Q\in\Bbb\{0,1\}^{n\times ...
- 13.9k
7
votes
0
answers
467
views
Solving $P=AB,Q=BA$, in the unknowns $A,B$
Let $p\geq q$ $P\in M_p(\mathbb{C}),Q\in M_q(\mathbb{C})$. We seek $A\in M_{p,q},B\in M_{q,p}$ s.t. $P=AB,Q=BA$. The NS conditions for the existence of $(A,B)$ are given in
On the matrices AB and BA. ...
- 3,741
7
votes
0
answers
384
views
Concept of eigenvector restricted to nonnegative entries
Let $X\in \mathbb{R}^{n\times n}$ be a positive semidefinite matrix. The leading eigenvector $v\in \mathbb{R}^n$ of $X$ is the solution to the problem
$\arg \max_{v:\lVert v\rVert_2=1} \lambda\quad$ ...
- 373
7
votes
0
answers
294
views
Largest entry of the inverse matrix?
I wonder if there is a "qualitative way" of predicting from the structure ix of the matrix $A$ which entry of $A^{-1}$ will be the largest. I am specially interested in the case
that $A$ is a ...
- 6,962
7
votes
0
answers
740
views
Ideal class group isomorphic to $\mathbb{Z}$
Hi everybody,
I wonder if someone could provide me with a simple example of a Dedekind ring whose ideal class group is isomorphic to $\mathbb{Z}$.
The point is I would like the example simple enough ...
- 91
7
votes
0
answers
460
views
Quantum polynomial rings and singularities
Something I've been thinking about lately has led me to wonder about the following. Consider the quantum polynomial ring $ Q= \mathbb{C}_{-1}[x_1,...x_n]$ generated as a graded ring in degree 1 with ...
- 3,758
7
votes
1
answer
376
views
Hankel matrix commuting with a Jacobi matrix
Assume the semi-infinite Hankel matrix $H$ with entries
$$H_{i,j}=\alpha_{i+j-1}, \quad i,j\geq1,$$
where $\alpha_{n}\in\mathbb{R}$, is given. It turns out that in some special situations a semi-...
- 2,188
7
votes
1
answer
517
views
When is $GL_m(R)$ generated by elementary and diagonal matrices?
Let $D$ be a division ring and $R=D[t_1,\ldots,t_n]$ the polynomial ring in $n$ variables. Now let $GL_m(R),\,E_m(R)$ be the usual general linear group and its subgroup generated by the elementary ...
- 348
7
votes
1
answer
548
views
Does this Linear Algebra Construction have a Name?
Let $\mathcal{R}$ be a ring and let $v^0,\ldots,v^{k-1}\in\mathcal{R}^m$ with $m \geq k$. Suppose we wish to find $w\in Span(v^0,\ldots,v^{k-1})$ such that $k-1$ specified coordinates of $w$ vanish (...
- 5,191
6
votes
0
answers
101
views
Computer program for free restricted Lie polynomial
I am conducting numerical experiments involving the Gröbner–Shirshov Basis for restricted Lie algebras. At each step of the computation, I need to work with restricted Lie polynomials. Specifically, I ...
- 1,013
6
votes
0
answers
139
views
Can an algebra be isomorphic to its own algebra of $n^2 \times n^2$ matrices but not its own algebra of $n \times n$ matrices?
Is there an associative unital algebra $A$ which is isomorphic to its own algebra of $n^2\times n^2$ matrices $\operatorname{Mat}_{n^2}(A)$, but not isomorphic to its algebra of $n \times n$ matrices $...
- 54.6k
6
votes
0
answers
130
views
Bent vectors and $\pm 1$ eigenvectors with respect to non-Sylvester Hadamard matrices
A Hadamard matrix is an $n\times n$-matrix $H$ where each entry in $H$ is $\pm 1$ and where $H/\sqrt{n}$ is orthogonal. It is well-known that if $H$ is an $n\times n$-Hadamard matrix, then $n<3$ or ...
