# Questions tagged [frobenius-algebras]

Frobenius algebras are finite-dimensional algebras together with a compatible inner product. Commutative Frobenius algebras have attracted recent interest because they're equivalent to 2D oriented TQFTs.

31
questions

**8**

votes

**0**answers

142 views

### Frobenius monads and groupoids

For a while, I was looking for a Frobenius monad on Set. It doesn't exist as pointed out here. I am now looking at the 2-category of groupoids. Does the 2-category of groupoids admit a Frobenius ...

**4**

votes

**1**answer

117 views

### The existence of $v\in A\otimes_{\mathbb{K}}A$ such that $(a\otimes_{\mathbb{K}}1)v=(1\otimes_{\mathbb{K}}a)v$

If $A$ is a finite dimensional commutative, associative, unital algebra over a field $\mathbb{K}$ then does there exist a non-zero vector $v\in A\otimes_{\mathbb{K}}A$ such that $(a\otimes_{\mathbb{K}}...

**7**

votes

**0**answers

204 views

### Are the string diagrams for the Frobenius Algebra an example of a Polynomial Functor?

We know that Frobenius objects in a monoidal category obey a diagrammatic string calculus. We also know that trees are polynomial functors (Kock - Polynomial functors and trees). The string calculus ...

**2**

votes

**0**answers

93 views

### Frobenius structure for A_n singularities

I need to compute monodromy matrices $M(v)$, associated to a Frobenius structure for $A_n$ singularity with flat coordinates $v_1,\dots,v_n$, that is, $f(x)=x^{n+1}$. (due to Saito, Dubrovin etc.) ...

**5**

votes

**1**answer

212 views

### 2TQFT and commutative Frobenius algebras

There is an equivalence between the category of commutative finite dimensional Frobenius algebras and 2 dimensional topological quantum field theories, see for example the book by Joachim Kock, which ...

**2**

votes

**0**answers

69 views

### Characterisation of Frobenius algebras via sequences

Given a commutative Frobenius algebra, finite dimensional over a field $k$.
We assume that the algebra is connected and in fact given by quiver and relations. Let $S$ be the unique simple modules of ...

**10**

votes

**2**answers

309 views

### Is there a 1-dimensional analogue of the correspondence between the Levin-Wen and Turaev-Viro models?

Given a spherical fusion category $\mathcal C$, the Levin-Wen model constructs a lattice field theory: to each oriented surface with a triangulation, it assigns a state space $\mathcal H$ and a ...

**5**

votes

**0**answers

151 views

### What is the relationship between Frobenius extensions and Separable extensions

Let $R\to S$ be an extension of possibly non-commutative rings. I am interested in the relationship between $R\to S$ being Frobenius and it being separable.
If it is a Frobenius extension, then there ...

**3**

votes

**0**answers

173 views

### On finding simpler symmetries to differential equations

I have developed a differential equation for the variation of a star's semi-major axis with respect to its eccentricity.
It is as follows:
$$\frac{dy}{dx}=\frac{12}{19}\frac{y\left(1+\left(\frac{73}{...

**12**

votes

**3**answers

1k views

### Why is a Topological Field Theory equivalent to a Frobenius algebra?

How can a physicist understand a 2-dimensional topological field theory as a Frobenius algebra? Are there some explicit examples in order to understand this relation?
The definition (e.g. on ...

**4**

votes

**0**answers

146 views

### Smash Product of Frobenius Algebras

We have a smash product of Hopf algebras if one acts on other (namely making it module algebra, coalgebra and Hopf algebra) with a compatibility condition (Theorem 17).
Now I ask the same question ...

**2**

votes

**1**answer

136 views

### When are Morita classes represented by certain structured algebra objects?

Let $\mathcal{C}$ be a monoidal category. There is a notion of Morita equivalence of algebra objects internal to $\mathcal{C}$. Does each Morita class have a symmetric Frobenius representative? A Hopf ...

**4**

votes

**1**answer

134 views

### Reference on the classification of (low rank) Gorenstein rings over $\mathbb{C}$

I am interested in the question of the classification of (low rank) Gorenstein rings over $\mathbb{C}$. The socle of a local algebra is the annihilator of its maximal ideal. A commutative local ring ...

**6**

votes

**1**answer

148 views

### Symmetric algebras of given dimension

Fix an algebraically closed field $F$. Are there only finitely many symmetric algebras with unit over $F$ of a given finite dimension (up to isomorphism)? By symmetric I mean a Frobenius algebra where ...

**11**

votes

**1**answer

442 views

### Are all separable algebras Frobenius algebras?

Let $\mathcal C$ be a [added later: semi-simple] tensor category, and let $A=(A,m:A\otimes A\to A,i:1\to A)$ be an algebra object in $\mathcal C$.
The algebra is...
Separable if there is an $A$-$A$-...

**8**

votes

**0**answers

149 views

### Structure of Lagrangian algebras in the center of a fusion category

(1) Let $\mathcal F$ be a spherical fusion tensor category. Then Müger showed that
$R=\bigoplus_{H\in\mathrm{Irr}(\mathcal F)} H\boxtimes H^\mathrm{op}$ canonically has the structure of a Frobenius ...

**2**

votes

**0**answers

147 views

### When the Lie algebra of matrices with zero last rows is Frobenius?

Let $\mathcal{A}_{n,k}$ be the Lie algebra of $n \times n$ matrices over $\mathbb{C}$ for which the last $k$ rows are equal to zero. Suppose that $k$ does not divide $n$. How to prove that $\mathcal{A}...

**2**

votes

**1**answer

363 views

### Example of a Frobenius algebra that is not projective over a Frobenius subalgebra

I'd like to know an example of a Frobenius algebra $A$, with a subalgebra $B$ that is itself a Frobenius algebra, such that $A$ is not projective as a left $B$-module. I don't require any ...

**12**

votes

**1**answer

403 views

### How do I check that this is a Frobenius algebra?

Let $f_1,f_2,\ldots,f_n\in \mathbb C[z_1,\ldots, z_n]$ be such that the quotient ring
$$A:=\mathbb C[z_1,\ldots, z_n]/(f_1,f_2,\ldots,f_n)$$
is finite dimensional (in other words, it's a zero-...

**10**

votes

**1**answer

345 views

### Is every separable algebra in a modular tensor category Morita equivalent to a commutative one?

Separable algebras in modular tensor categories are interesting algebraic structures, which have received significant attention because of their connection to conformal field theories. My ...

**3**

votes

**4**answers

1k views

### Are there natural examples of non-symmetric Frobenius algebras?

Symmetric Frobenius algebras arise everywhere, but the non-symmetric variety seem difficult to come by. Are there any natural examples/constructions that produce non-symmetric Frobenius algebras in ...

**4**

votes

**2**answers

590 views

### Central idempotents from characters in Frobenius algebras (generalizing Lusztig arXiv:math/0208154v2 §19)

$\newcommand{\refone}{\textbf{(1)}} \newcommand{\Hom}{\operatorname{Hom}} \newcommand{\tr}{\operatorname{Tr}} \newcommand{\kk}{\mathbf{k}}$ Let $\kk$ be a field. Let $A$ be a $\kk$-algebra which is ...

**0**

votes

**1**answer

253 views

### Is Khovanov's Frobenius algebra self-dual over the integers?

Khovanov's Frobenius algebra (used in the definition of Khovanov homology) is $\mathbb{Z}[X]/X^2$ with the comultiplication. $\Delta(X)=X\otimes X, \Delta(1)=1\otimes X+X\otimes 1$ and the trace $\...

**10**

votes

**5**answers

693 views

### Example for non equivalent rational full CFTs with same modular invariant (partition function)

I am looking for a counter example which shows, that a full rational 2D CFT (with respect to a given chiral subtheory) is not characterized by its modular invariant partition function. People tell me ...

**4**

votes

**0**answers

498 views

### Partial order on partitions and symmetric group algebra

Let $n$ be a natural number. Consider a set $\Lambda_n$ of partitions of $n$ into a sum of natural numbers, like $n = \lambda_1 + \cdots +\lambda_k$ (A set of small lambdas representing a partition is ...

**5**

votes

**1**answer

422 views

### Self-injective basic algebras

Do you know of any self-injective basic algebra $A$ over a field $k$ such that its enveloping algebra $A^{\mathrm{op}}\otimes_k A$ is not self-injective?
The algebra $A$ cannot be finite-dimensional, ...

**13**

votes

**3**answers

610 views

### Does every Frobenius algebra in a monoidal *-category give a Q-system?

Suppose that C is a fusion C*-cateogry and that A is an irreducible Frobenius algebra object in C, is there always a Frobenius algebra A' isomorphic to A such that A' is a Longo Q-system (that is the ...

**15**

votes

**1**answer

3k views

### Why did people originally like Frobenius algebras?

These days, lots of people are excited by Frobenius algebras because commutative Frobenius algebras are the same thing as 2D topological quantum field theories.
...but this seems like teaching an old ...

**17**

votes

**2**answers

1k views

### Cohomology rings and 2D TQFTs

There is a "folk theorem" (alternatively, a fun and easy exercise) which asserts that a 2D TQFT is the same as a commutative Frobenius algebra. Now, to every compact oriented manifold $X$ we can ...

**1**

vote

**1**answer

679 views

### What is the comultiplication of a matrix frobenius algebra?

One of the easiest examples I can think of for frobenius algebras is a plain ol' matrix algebra with tr : V → k as the co-unit (or equivalently, tr(a⋅b) as the frobenius form). This is ...

**6**

votes

**1**answer

295 views

### Separable and Fin. Gen. Projective but not Frobenius?

Let R be a commutative ring, and A an R-algebra (possibly non-commutative). Then A is separable if it is (fin. gen.) projective as an (A tensor_R A^op)-algebra. Suppose further that A is fin. gen. ...