Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
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.
6
votes
1
answer
167
views
Commutative Frobenius algebra with non-invertible window element, but not square zero
For any commutative Frobenius algebra $A$ there is an associated window element $\omega \in A$. If $\mu: A \otimes A \to A$ denotes the multiplication, $1 \in A$ the unit, $b: A \otimes A \to k$ the n …
9
votes
Accepted
Are there examples of finite-dimensional complex non-semisimple non-commutative symmetric Fr...
Given any finite dimensional algebra $A$, consider the linear dual $\hat{A}= \hom(A, k)$ as an $A$-$A$-bimodule. Then $R = A \oplus \hat{A}$ may be equipped with an algebra structure as follows:
$$(a, …
11
votes
1
answer
230
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 …
15
votes
Accepted
Cohomology rings and 2D TQFTs
These 2D TQFTs do not come from extended theories (unless X is discrete). I interpret this as saying that these theories are non-local (in the 2D bordism) and so you will have trouble interpreting the …
8
votes
1
answer
446
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. Suppo …