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.

Filter by
Sorted by
Tagged with
3
votes
0answers
79 views

Frobenius law in a monoidal category

The Frobenius law for Frobenius algebras in a monoidal category states that $$(\mu\otimes1)\circ(1\otimes\delta)=\delta\circ\mu=(1\otimes\mu)\circ(\delta\otimes1),$$ but this only makes sense in a ...
3
votes
0answers
78 views

Frobenius algebras associated to posets and coalgebra structures

Let $P$ be a finite poset that we assume for simplicity to be bounded (that is it has a global maximum M and minimum m). Let k be a field, then the classical incidence algebra $kP$ has $k$-vector ...
5
votes
0answers
75 views

It there an algebra of the form $B_T$ with global dimension 3?

Let $A$ be the (symmetric Frobenius) algebra $A=K[x]/(x^3) \otimes_K K[x]/(x^3)$ over a field $K$, which is isomorphic to the group algebra of $C_3 \times C_3$, with $C_3$ cyclic of order 3, when $K$ ...
4
votes
2answers
192 views

Are there examples of finite-dimensional complex non-semisimple non-commutative symmetric Frobenius algebras?

Are there any examples of finite-dimensional complex non-semisimple non-commutative symmetric Frobenius algebras? Or can one show that none exist? I went through this list of all complex associative ...
2
votes
1answer
120 views

Is the unit in the definition of a symmetric Frobenius algebra necessary?

Consider a symmetric Frobenius algebra without unit, that is, a finite-dimensional complex associative algebra $\delta$ with a linear functional $\epsilon$, such that $\epsilon\circ \delta$ is a non-...
1
vote
0answers
51 views

Are there non-semisimple complex "non-unital special Frobenius algebras"?

I'm interested in "non-unital special Frobenius algebras", consisting of two linear maps (morphisms in the symmetric monoidal category of finite-dimensional complex vector spaces) $$\mu: V\...
3
votes
1answer
200 views

Frobenius algebras and traces of modules

$\newcommand{\Hom}{\mathscr{Hom}}$ Let $C$ be a cocomplete closed symmetric monoidal category, and the tensor product preserves colimits in each variable; Let $A$ be a commutative algebra in $C$, ...
5
votes
0answers
123 views

Descendent Gromov-Witten invariants and Frobenius manifolds

I've heard it said that genus $0$ descendent Gromov-Witten invariants of a smooth projective variety $X$ can be encoded in the structure of a Frobenius manifold on the cohomology $H^*(X,\mathbb{C)}$. ...
4
votes
0answers
141 views

Classification of special symmetric Frobenius algebras over real vector spaces

Is there a general classification of special symmetric Frobenius algebras over real vector spaces? I know that $n\times n$ matrix algebras, the quaternions, the complex numbers, the trivial algebra, ...
11
votes
1answer
150 views

Are algebras with invertible linear duals always Frobenius?

Let $A$ be a finite dimensional algebra over a ground field $k$. The linear dual $A^* = Hom_k(A,k)$ is naturally an $A$-$A$ bimodule. I am interested in those algebras such that $A^*$ is an invertible ...
11
votes
0answers
323 views

What is the motivation for a Frobenius manifold?

A Frobenius manifold is a type of manifolds with extra structure. The main examples are quantum cohomology (viewed as a space itself), GBV algebras, the ``Saito'' examples arising from singularities (...
5
votes
1answer
149 views

Frobenius algebras from symmetric polynomials

Let $K$ be a field of characteristic 0 (maybe it works for more general fields) and $K[x_1,...,x_n]$ the polynomial ring in $n$ variables. Let $e_1,e_2,...,e_n$ denote the elementary symmetric ...
3
votes
0answers
79 views

Does every special $C^*$-Frobenius algebra have a unit?

I have a rather basic question about $C^*$-Frobenius algebras (also called Q-systems). Any pointers or references will be most helpful! We are given a finite-dimensional complex Hilbert space $\mathbb{...
1
vote
1answer
138 views

A computation in a commutative Frobenius algebra

This is already posted here https://math.stackexchange.com/questions/3695584/a-computation-in-a-commutative-frobenius-algebra but I didn't get any answers. Given a commutative Frobenius algebra (in ...
2
votes
0answers
69 views

Algebras from a basis of a Frobenius algebra

Let $A$ be a commutative Frobenius algebra over a field $K$ (we can assume that $A$ is local). We can assume $A=K[x_1,...,x_r]/I$ for an ideal $I$ with $J^n \subseteq I \subseteq J^2$ where $J=<x_i&...
5
votes
1answer
133 views

Convolution algebra associated to a finite dimensional algebra

Given a finite dimensional $k$-algebra $A$ (we can assume it is given by a connected quiver with relations). One can form its trivial extension $T(A)$ (see for example https://math.stackexchange.com/...
2
votes
0answers
58 views

Completeness results for Categorical Quantum Mechanics restricted to one $\dagger$-Frobenius Algebra?

I've seen the various completeness results for Categorical Quantum Mechanics (CQM) axiom systems involving two interacting Frobenius algebras with various restrictions of phase-nodes. For example, the ...
8
votes
0answers
188 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
1answer
120 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
0answers
231 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 ...
3
votes
0answers
111 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
1answer
266 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
0answers
76 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
2answers
372 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
0answers
214 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
0answers
183 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}{...
15
votes
3answers
2k 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
0answers
151 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
1answer
162 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
1answer
139 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
1answer
165 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
1answer
510 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
0answers
213 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
0answers
150 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
1answer
384 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
1answer
438 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
1answer
416 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 ...
4
votes
4answers
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
2answers
611 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
1answer
279 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
5answers
756 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
0answers
545 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
1answer
454 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
3answers
637 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 ...
16
votes
1answer
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 ...
19
votes
2answers
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
1answer
793 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 ...
7
votes
1answer
378 views

Separable and finitely generated 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 finitely generated (f.g.) projective as an $(A \otimes_R A^{\mathrm{op}})$-algebra. ...