All Questions
2,026 questions with no upvoted or accepted answers
9
votes
0
answers
550
views
Is it possible to define Hopf algebra as an object in the category of (associative) algebras?
I think this must be well-known, but I can't find references, so my apologies from the very beginning.
Consider first the notion of bialgebra. It is usually defined as an object $B$ in the category ${...
- 7,426
9
votes
1
answer
432
views
Structure of $Hom(L_1,L_2)$, where $L_i$ are distributive lattices
Is there known structures/ or has there been studies on $Hom(L_1,L_2)$ of distributive lattices? Could it be made into a lattice naturally? Is there any structure on the set of ring valued functions $...
- 271
8
votes
0
answers
133
views
Behavior of $K_0$ towers
In the spirit of the automorphism tower problem, I've been thinking about "$K_0$ towers." Since $K_0$ may be imbued with a ring structure by the tensor product, it makes sense to ask what ...
- 433
8
votes
0
answers
335
views
How to check two matrices for similitude over $\mathbb{Z}$?
General question. Let $A$ and $B$ be two $n\times n$-matrices over
$\mathbb{Z}$. How do I algorithmically check whether $A$ and $B$ are similar
(i.e., conjugate in the ring $\mathbb{Z}^{n\times n}$)?
...
- 33.8k
8
votes
0
answers
400
views
When do we have $\|X - Y\| = \|\Sigma(X) - \Sigma(Y)\|$?
For any $X \in \mathbb{C}^{m\times n}$, let $\Sigma(X)$ be the "middle factor" in its SVD, so that $X = U\Sigma(X) V^H$ and the diagonal of $\Sigma(X)$ is arranged in descending order.
...
- 269
8
votes
0
answers
112
views
Identity for the associator involving a third root of unity
This is a reference request. I came across the class of nonassociative algebras satisfying the following identity:
$$
(a,b,c)+\omega(b,c,a)+\omega^2(c,a,b)=0.
$$
Here:
by an "algebra" I mean a ...
- 16.9k
8
votes
0
answers
285
views
Matrix decompositions as monoid isomorphisms. Ever considered before?
I've noticed some correspondences between some matrix decompositions and monoid isomorphisms (always to some free commutative monoid), in addition to the one I asked about in a previous question:
...
- 4,943
8
votes
0
answers
392
views
Bounding eigenvalues by taking high powers of matrices: history?
Let $A$ be real symmetric matrix. It is a well-known observation that we can bound any eigenvalue $\lambda$ of $A$ by using the fact that
$$\lambda^{2 k} \leq \textrm{Tr} A^{2 k}$$
for any $k\geq 1$. ...
- 20.2k
8
votes
0
answers
251
views
When does a semisimple $\mathbb{C}$-algebra come from a group?
Let $\mathcal{A}$ be a semisimple $\mathbb{C}$-algebra. By the Artin-Wedderburn theorem, it is isomorphic to a direct product of matrix algebras:
$$ \mathcal{A} = \prod_{i=1}^m M_{n_i}(\mathbb{C})$$
...
- 297
8
votes
0
answers
120
views
Literature and history for: lifting matrix units modulo various kinds of ideal
This is not so much a mathematics question as a cross between a "history of mathematics" question and a reference request.
My PhD student has been working on some problems concerning ...
- 25.8k
8
votes
0
answers
219
views
Differential birational equivalence
Suppose the base field algebraically closed and of zero characteristic.
There are two fascinating questions in the intersection of ring theory and algebraic geometry (for which an excellent discussion ...
- 3,318
8
votes
0
answers
268
views
Membership problem in general linear group
This is surely a very well known problem, but I could not find an answer on MO or on Google, so here I am.
Given some finitely generated free subgroup $H$ of $\operatorname{GL}_n(\mathbb{Z}[t,t^{-1}])...
- 469
8
votes
1
answer
821
views
A "concrete" example of a one-sided Hopf algebra
I came to know from the paper Left Hopf Algebras by Green, Nichols and Taft that one may consider a Hopf algebra whose antipode satisfies only the left (resp. right) antipode condition.
To be more ...
- 718
8
votes
0
answers
378
views
A limiting sequence of positive definite matrices
Let $A\in\mathbb{R}^{n\times n}$ be a matrix with eigenvalues having (strictly) negative real part. Let $X\in\mathbb{R}^{n\times n}$, $X\succ 0$, be a positive definite matrix and let $P\succ 0$ be ...
- 2,712
8
votes
0
answers
130
views
"Cross-Ratios" for D_n cluster algebra
Both cluster algebras $A_n$ and $D_n$ admit an interpretation in terms of (tagged) triangulations of Riemann surfaces - respectively a Poincaré disk with n+3 punctures on the boundary and a Poincaré ...
- 1,435
8
votes
0
answers
221
views
Projective modules over maximal orders of central simple algebras
In "Supersingular K3 surfaces" by TetsuJi Shioda, when proving Theorem 3.5 (Deligne) he considers a supersingular elliptic curve $C$ over an algebraic closed field of $\text{char}\ p>0$ and let $R ...
- 6,592
8
votes
0
answers
176
views
Nonzero subdeterminants conjecture: has anybody seen this anywhere?
I already posted this question on Mathematics StackExchange. A user there suggested that I rather post it on mathoverflow, since it is a research question. So here it is.
Let $m\geq2$, $n\geq1$ be ...
- 291
8
votes
0
answers
576
views
A rank inequality
Suppose
$$M := \begin{bmatrix}
M_{11} & \cdots &M_{1d} \\
\vdots & \ddots & \vdots \\
M_{d1} & \cdots & M_{dd}
\end{bmatrix}$$
is a $d \times d$ block matrix such that
$$M_{...
- 500
8
votes
0
answers
438
views
If $A$ is normal and $\Omega^1_{B/A}=0$ then $B$ is normal
Let $A\subseteq B$ be two noetherian domains with fraction fields $k$ and $L$, respectively. Assume that $A$ is normal and $B$ is finite as $A$-module. I'm asking myself if $B$ is also normal if $\...
- 1,252
8
votes
0
answers
491
views
Strange determinant inequality $\det(C+ xA) \det(C-xA) \le (\det C)^2$
Let $A$ be an all-one $3$-by-$3$ matrix, let $C$ be a $3$-by-$3$ matrix, and let $x$ be a real number. How might one prove the following inequality?
$$\det(C+ xA) \det(C-xA) \le (\det C)^2$$
- 99
8
votes
0
answers
213
views
"Rings" with partially defined addition in Algebra or Algebraic Geometry?
Were there ever considered sets $P$ with associative multiplication and a partially defined commutative, associative addition, $+: U\to P,$ $U\subset P\times P$, such that $x(y+z)=xy+xz$ when the left ...
- 2,390
8
votes
0
answers
313
views
Fractal homological algebra
The usual definition of a chain complex requires for the indices to be integer numbers. However, taking inspiration from the theory of Hausdorff dimension, one can think of 'fractal' chain complexes (...
- 327
8
votes
0
answers
685
views
What classifies involutive automorphisms on finite groups? What classifies involutions on finite based rings?
Groups
Let $G$ be a finite group. An involutive automorphism on $G$ is an automorphism $i\colon G \to G$ such that $i^2 = 1_G$.
Question 1. What classifies involutive automorphisms on a given (non-...
- 5,565
8
votes
0
answers
254
views
Quantum coupon collection: positivity of an alternating sum of matrices
It is well-known that in the classic coupon collecting problem (CCP), the expected waiting time is
\begin{equation*}
T_n(x_1,\ldots,x_n) = \sum_{k=1}^n (-1)^{k+1}\sum_{1\le i_1 < \cdots < i_k \...
- 28.6k
8
votes
0
answers
196
views
Solving matrix equation $X^{-1}=\sum_{i=1}^n D_i X A_i$
Does anybody know an algorithm to solve the following matrix equation?
$$X^{-1}=\sum_{i=1}^n D_i X A_i$$
where $D_i$s are diagonal and $A_i$s are symmetric matrices.
It would be great to have an ...
8
votes
0
answers
298
views
If $A$ is an algebra, $Sym^n(A)$ is an algebra. Where can I learn more about this algebra structure?
$\newcommand{\Vect}{\mathsf{Vect}}
\newcommand{\nats}{\mathbb{N}}
\newcommand{\Sym}{\mathrm{Sym}}
\newcommand{\Alg}{\mathsf{Alg}}
\newcommand{\CAlg}{\mathsf{CAlg}}
\newcommand{\Hom}{\mathrm{Hom}}$
Let ...
- 63.9k
8
votes
0
answers
306
views
How bad can $SK_1$ of a commutative ring be?
For a commutative ring $R$ define $\mathrm{SK}_1(n, R)=\mathrm{SL}(n, R)/\mathrm{E}(n, R)$, the quotient of the special linear group by its subgroup generated by the elementary matrices. When $n\...
- 3,186
8
votes
0
answers
342
views
Conjecture on matrix with reciprocal principal minors
Some notation: $A(\alpha|\beta)$ is the submatrix of $A \in \mathbb{R}^{n \times n}$ with with rows $\alpha$ and columns $\beta$. $\textrm{det } A(\alpha|\alpha) =: \textrm{det } A(\alpha)$ are the ...
- 909
8
votes
0
answers
196
views
Does $\varphi: \mathbb{P}^{n} \to \mathbb{P}^{n}$ have periodic points missing the critical hypersurface?
I am trying to prove that if $\varphi: \mathbb{P}^{n} \to \mathbb{P}^{n}$ is an algebraic morphism of degree $d > 1$ (by which I mean $\varphi^{*}(\mathcal{O}(1)) = \mathcal{O}(d)$, so the ...
- 113
8
votes
0
answers
2k
views
Possible values of eigenvalues of Hadamard product of Hermitian matrices
One of the most important (and very well-known) result in the study of the spectrum of Hermitian matrices is Horn's conjecture (or theorem?), which provides a complete answer to the following problem:
...
- 891
8
votes
0
answers
623
views
Can every commutative ring of characteristic $p\in\mathbb P$ be written as the form $R/(p)$ with $R$ being a ring of characteristic $0$?
All rings here are associative, commutative and unital. By a ring of characteristic zero (resp. of characteristic $p$, for prime $p$) I mean a ring $A$ such that the canonical homomorphism $\mathbb Z\...
- 403
8
votes
0
answers
337
views
flatness and derived completion
Let $A$ be a local ring of maximal ideal $\mathfrak{m}$. Let $\hat{A}$ be its completion.
If $A$ is noetherian , then we know that $A\rightarrow\hat{A}$ is faithfully flat.
If $A$ is not noetherian, ...
- 3,472
8
votes
0
answers
5k
views
Partitioned inverse 3x3 block matrix
We know that matrices can be inverted blockwise by using the following analytic inversion formula:
\begin{equation}
\begin{bmatrix} \mathbf{A} & \mathbf{C^T} \\ \mathbf{C} & \mathbf{D} \end{...
- 81
8
votes
0
answers
270
views
Does this kind of non-noetherian bimodule exist?
Question: Do there exist simple rings $R$ and $S$ (i.e., rings with no proper nonzero ideals) and an $(R,S)$-bimodule $M$ such that
$M$ is finitely generated both as a left $R$-module and a right
$...
- 5,407
8
votes
0
answers
4k
views
Kunneth spectral sequence
In Rotman's Homological Algebra, 1st edition, there is written:
Is every detail of 11.31-11.35 correct? Isn't the spectral sequence in 11.35 1st quadrant and not 3rd quadrant? Do 11.34-35 also hold ...
- 1,589
8
votes
0
answers
508
views
The logarithm over $\mathbb F_1$
In 'Cyclotomy and analytic geometry over F1', Manin proposes a version of the notion of `analytic function' over the 'field with one element $\mathbb F_1$'.
Question 1: can somebody explain or give ...
- 838
8
votes
0
answers
234
views
Depth for non-commutative rings
The depth of a ring or module is one of the most basic invariants in commutative ring theory.
Q1: Is there also a powerful notion of depth for non-commutative rings ?
By a search in mathscinet, I ...
- 16.2k
8
votes
0
answers
488
views
det(A)det(B) = det(AB+correction), Capelli identities, "factorized" representation of $\mathfrak {gl}_n$
Context: Some probably know that there are Capelli identities which state
$$det(A)det(B) = det(AB+correction)$$ for some matrices with non-commuting elements, they go back to the 19-th century, but ...
- 24.8k
8
votes
0
answers
153
views
Is 2 a zerodivisor in the ring parametrizing rank-n algebras?
Let $n$ be a natural number; I am studying (commutative) rings $R$ and $R$-algebras $A$ such that $A\cong R^n$ as $R$-modules. There is a universal such algebra: a ring $R_0$ and a free, rank-$n$ $...
- 2,356
8
votes
0
answers
738
views
Bounding sum of first singular values squared for Kronecker sum of traceless matrices
Let $A$ and $B$ be $4\times4$ traceless matrices with Hilbert-Schmidt norms summing up to $1/4$, i.e.
$$\text{Tr}\left[ A\right]=\text{Tr}\left[ B\right] = 0,\qquad\text{Tr}\left[ A^\dagger A + B^\...
- 1,612
8
votes
0
answers
694
views
Path connected set of matrices?
Consider the collection of $n$ by $n$ matrices
$$S=\{ A: A_{ij}\le0,\quad (-1)^{c_i}\det A(P_i;Q_i)<0 \quad \text{for} \quad i=1,\ldots, k\}$$
where $c_i\in \{0,1\}$, $P_i$ and $Q_i$ are disjoint ...
- 1,533
8
votes
0
answers
916
views
duality between universal enveloping and function algebra for GL(n)
Motivation. Few years ago I constructed a family of internal Hopf algebras in the Loday-Pirashvili tensor category of linear maps which is in a sense a generalization of the algebra of regular ...
- 5,232
8
votes
0
answers
633
views
Can we write unitary matrices as positive linear combinations of Hermitian matrices?
The space $M_n:=M_n(\mathbb{C})$ of complex $n\times n$ matrices has the structure of a finite-dimensional complex vector space.
The space of Hermitian matrices forms a cone in this vector space $M_n$...
user2529
8
votes
0
answers
221
views
Standard polynomials applied to matrices (bis)
The standard polynomial in $r$ non-commuting indeterminates $x_1,\ldots,x_r$ is defined by
$${\mathcal S}_r(x_1,\ldots,x_r):=\sum_{\sigma\in S_r}\epsilon(\sigma)x_{\sigma(1)}x_{\sigma(2)}\cdots x_{\...
- 52.3k
8
votes
0
answers
521
views
Skew polynomial algebra
When I was a very little hare, a big grey wolf told me about the following skew polynomial algebra, which I never understood. My question is whether the following construction is a part of some bigger ...
- 12.3k
7
votes
0
answers
131
views
Approximation of a continuous curve on commuting matrices
I have a continuous curve $A:\mathbf{R}_+\rightarrow \text{M}_N(\mathbf{R})$ such that
$[A(t),A(s)] \operatorname*{\longrightarrow}_{t,s\rightarrow +\infty} 0$, where $[A(t),A(s)] = A(t)A(s)-A(s)A(t)$....
- 3,425
7
votes
1
answer
238
views
Hadamard product decomposition with lower rank matrices
Given integers $k$ and $l$ and a matrix $A$ of rank $kl$, can we always find a matrix $B$ of rank $k$ and a matrix $C$ of rank $l$, such that $A$ is the Hadamard product of $B$ and $C$, namely $A=B \...
- 71
7
votes
0
answers
224
views
Decomposing an endomorphism as a tensor product
$\DeclareMathOperator\End{End}$Let $f$ be an endomorphism of the finite-dimensional vector space $V$, over the field $K$. The question of whether $f$ is decomposable, that is, whether $V$ can be ...
- 2,287
7
votes
0
answers
291
views
Lie algebra cohomology of the space of vector fields
For a (closed and oriented) manifold $M$, the first Lie algebra cohomology $H^1(\mathrm{Vect}(M),C^\infty(M))$ of the space of vector fields with coefficients in smooth functions is isomorphic to $H^1(...
- 985
7
votes
0
answers
226
views
On the structure of an algebra as a bimodule
$\DeclareMathOperator\End{End}\DeclareMathOperator\Mod{Mod}\DeclareMathOperator\Ker{Ker}\newcommand{\bi}{\mathrm{bi}}\newcommand{\op}{\mathrm{op}}$Let $K$ be a field (say of characteristic zero), and $...
- 541