The tag has no wiki summary.

learn more… | top users | synonyms

-3
votes
1answer
380 views

Why does the Lefschetz Operator not Square to Zero? [closed]

I'm trying to learn about the Lefschetz decomposition but am having a very basic problem: For the fundamental form $K$ of a Kahler metric on a complex manifold $M$, the corresponding Lefschetz ...
0
votes
0answers
14 views

Condition for local Lipschitzness of pullback map for exterior forms

Given $w\in\Lambda^k(\mathbb{R}^n)$, determine the condition under which the map $T\rightarrow T^*(w)$ is locally Lipschitz, where $T\in GL_n(\mathbb{R})$ and $T^*(w)$ denotes the Pullback of $w$ by ...
8
votes
1answer
357 views

Deligne's exterior power

In "Catégories Tannakiennes", Deligne defines the $n$th exterior power of an object $A$ of an abelian tensor category $\mathcal{C}$ as the image of the morphism $$p : A^{\otimes n} \to A^{\otimes n}, ...
4
votes
0answers
180 views

Differential ideals of Pfaffian forms on jet bundles (Integrability)

(I asked this question on math.stackexchange, but got no reaction in several weeks. So, my conclusion is, that it is harder to answer than I thought, and maybe admissible for the attribute 'research ...
3
votes
0answers
73 views

Explicit description of graded (counital) cofree cocommutative coalgebras

Let $k$ be a field of characteristic $p \neq 2$, and $V = \oplus V_{n}$ be a graded vector space over $k$. Then, can one compute the graded (counital) cofree cocommutative coalgebra $C(V)$ ...
6
votes
1answer
259 views

Equivalence of exterior forms

Let us start with the following definition. Let $1\leqslant k\leqslant n$ and let $\omega_1,\omega_2\in\Lambda^k(\mathbb{R}^n)$. We say that $\omega_1$, $\omega_2$ are equivalent, if there exists ...
4
votes
0answers
93 views

Definition of modules over $C_\infty$-algebras (“commutative $A_\infty$-algebras”)

Let $\Lambda$ be a finite-dimensional associative algebra. We can think of this as an $A_\infty$-algebra with vanishing $m_i$ for $i \ne 2$ and consider $A_\infty$-modules $M$ over it. A list of ...
1
vote
1answer
208 views

Distributing the Hodge map over the wedge product

Let $(V,\langle,\rangle)$ be a finite dimensional inner product space, $V^{\wedge}$ it exterior algebra, and $\ast$ the Hodge star arising from $\langle,\rangle$. Does there exist any formula to ...
19
votes
1answer
1k views

Analogy between the exterior power and the power set

The symmetric algebra of an object exists in every cocomplete $\otimes$-category. For the category of sets $\mathrm{Sym}(X)$ is the set of multi-subsets of $X$. The usual definition of the exterior ...
5
votes
1answer
124 views

Are SL(n) Invariants of this wedge product isomorphic to a symmetric product?

In the course of investigating a conjecture about a "strange duality" for sections of line bundles on various models of moduli of sheaves on $\mathbb P^2$, another student and I reduced one special ...
4
votes
0answers
151 views

Exterior powers and singular values on Hilbert spaces

I am currently writing an article relating to multiplicative ergodic theorems for cocycles of bounded operators acting on a Hilbert space, and in parts of the argument it is necessary for me to refer ...
16
votes
12answers
5k views

Geometrical meaning of Grassmann Algebra

I don't understand wedge product and Grassmann algebra. However, I heard that these concepts are obvious when you understand the geometrical intuition behind them. Can you give this geometrical ...
3
votes
1answer
138 views

Is the ideal membership problem solvable for differential ideals? Is there a good notion of a Gröbner basis?

Let $K$ be a field of characteristic zero. Let $\Omega = K[x_1, \dots, x_n, dx_1, \dots, dx_n]$ be the differential ring of algebraic differential forms over $K[X_1, \dots, X_n]$. Is there an ...
7
votes
1answer
837 views

Exterior powers in tensor categories

Let $\mathcal{C}$ be a cocomplete $R$-linear tensor category. Many notions of commutative algebra can be internalized to $\mathcal{C}$. For example a commutative algebra is an object $A$ in ...
0
votes
1answer
247 views

Domain of the wedge product in Little Spivak

Hello! in Little Spivak, p. 79, we find this: We will therefore define a new product, the wedge product $\omega\wedge\eta\in > \Lambda^{k+\ell}(V)$ by $$ > \omega\wedge\eta = > ...
21
votes
6answers
3k views

Is there a preferable convention for defining the wedge product?

There are different conventions for defininig the wedge product $\wedge$. In Kobayashi-Nomizu, there is $\alpha\wedge\beta:=Alt(\alpha\otimes\beta)$, in Spivak, we find ...
1
vote
0answers
152 views

Non-negative Quadratic forms with Exterior Forms

Hello All, I apologize if the following question is too elementary. Any suggestion is greatly appreciated. Thank you. Let $n\geqslant 4$, $X$ be an $n$-dimensional inner product space over ...
4
votes
1answer
384 views

Representation theory for the exterior algebra

Hello everyone. Let $V$ and $W$ be finite dimensional vector spaces over some field $K$. Consider $\rho:Sym(V)\to End(W)$ a homomorphism of algebras with unit (i.e., a representation of $Sym(V)$ on ...
6
votes
1answer
513 views

ANOTHER Exterior differential system on $SO(3;\mathbb R) \times \mathbb R$

I have another exterior differential system for one forms $U^i$, where the $\theta^i$ are a cotangent basis on $SO(3)$, i.e. they satisfy $d \theta^i = \epsilon_{ijk} \theta^j \wedge \theta^k$ for the ...
0
votes
1answer
244 views

Inequalities Involving Wedge Product (Reference Request)

Hello, I'm looking for references on various inequalities involving the wedge product and exterior forms. The only references I could hunt down are references on Hadamard-Schwarz Inequality. The ...
3
votes
1answer
183 views

Decomposability of exterior two-forms

Hello, The following question appears as a step in my proof. It seems easy but somehow I have not been able to prove this. I could solve few special cases though. Any help in this context is ...
1
vote
1answer
180 views

Exterior differential system on $SO(3;\mathbb R) \times \mathbb R$

I have the following exterior differential system for one forms $\alpha, \beta, \gamma$, where the $\theta^i$ are a cotangent basis on $SO(3)$, i.e. they satisfy $d \theta^i = \epsilon_{ijk} \theta^j ...
6
votes
2answers
370 views

Generalized Grassmannians that parameterize the submodules of a module

I'm looking for something like a Grassmannian, but which parameterizes the submodules of a module rather than the subspaces of a vector space. Most specifically, I'm looking for something which ...
5
votes
3answers
394 views

An isomorphism of 2-Schur modules

This is the little brother of question 68071: elementary, simple-looking and probably much easier to answer. Of course, it is just a small part of question 68071, as anybody with $\lambda$-rings ...
7
votes
6answers
888 views

Using Exterior Algebras in combinatorics

As addressed in this past question, there are many applications of linear algebra to combinatorics. What about examples of applications of exterior algebras? Part 4 here is one such example. What are ...
4
votes
3answers
2k views

n-dimensional “cross product” reference request

I have written a paper which involves a "cross product" in $\mathbb{R}^n$ and I would like to have a reference to point to. Let ${\bf e_1}, \dots, {\bf e_n}$ be the standard basis for $\mathbb{R}^n$ ...
8
votes
2answers
869 views

What is the canonical isomorphism between the tensor products of the top exterior powers associated to exact sequences of vector spaces?

One often reads (and writes) that an exact sequence of finite dimensional vector spaces $$ 0 \rightarrow X_1 \rightarrow X_2 \rightarrow \dots \rightarrow X_n \rightarrow 0 $$ induces a canonical ...
11
votes
4answers
771 views

Eliminating 1st order terms in elliptic partial differential equation

Under what conditions is it possible, using a suitable change of variables, to eliminate 1st order terms in an elliptic partial differential equation, so that the equation involves the 2nd ...
12
votes
2answers
766 views

Clifford PBW theorem for quadratic form

Update: now with a question 2 which is much more elementary (and should be well-known!). Let $k$ be a commutative ring with $1$. Let $L$ be a $k$-module, and $g:L\to k$ be a quadratic form, i. e., a ...
0
votes
1answer
144 views

Example of a morphism between exterior algebras that is $\mathbb{Z}_2$ graded but not $\mathbb{Z}$ graded??

The title pretty much states my problem. I consider only finitely generated exterior algebras $\bigwedge V$. It is known that any morphism between exterior algebras y determined by its action on ...
3
votes
1answer
184 views

Grassmannian as a submanifold of $\Lambda^m(E)$.

Let $E$ be a vector space of dimension $d\ge4$ over $K$, and $2\le m\le d$ be an integer. I am interested in the characterization of those elements $\omega$ of $\Lambda^m(E)$ that can be written in ...
6
votes
3answers
1k views

“Natural” pairings between exterior powers of a vector space and its dual

Let $V$ be a finite-dimensional vector space over a field $k$, $v_1, ... v_n \in V$ a set of vectors, and $f_1, ... f_n \in V^{\ast}$ a set of covectors. Up to permutation, there seem to be at least ...
28
votes
11answers
5k views

Why is the exterior algebra so ubiquitous?

The exterior algebra of a vector space V seems to appear all over the place, such as in the definition of the cross product and determinant, the description of the Grassmannian as a variety, the ...
2
votes
0answers
236 views

Can the solution manifold for an exterior differential system be represented using alternating multivectors?

Differential equations can be written as an ideal of n-forms. Solutions are manifolds where the forms pull back to zero. Is it possible, or useful, to represent the solution by multivectors? For ...
1
vote
1answer
237 views

Commutativity of pullbacks and the exterior derivative as an unbounded operator on $L^2$

Let $d_c, \delta_c$ be operators with domains $D(d_c) = D(\delta_c) = C_{c}^\infty(\wedge T^\ast M)$. We let $d_c$ be the usual exterior derivative on compactly supported smooth forms, ie., $d_c\omega ...
3
votes
0answers
219 views

Density of C^\infty in the domain of the exterior derivative on a noncompact, complete manifold?

Let $(M,g)$ be a geodesically complete Riemannian manifold that is not necessarily compact. Futhermore, assume that $M$ has at most exponential volume growth (ie., locally doubling property). Let ...
4
votes
1answer
235 views

Criterion for being a simple vector

1) I was wondering if there exists a criterion (of (a) combinatorial or (b) geometric nature) for a sum of simple vectors $V\in\wedge^k(\mathbb R^n)$, $V=e_{a_{11}}\wedge\cdots\wedge e_{a_{1k}} + ...
1
vote
2answers
373 views

Homomorphism between exterior powers of a free module of finite rank

I´m looking for homomorphisms between exterior powers of a free module M of rank m ΛmR M → Λm-1R M Exactly, I´m looking for an explicit isomorphism M → Hom R (ΛmR M , Λm-1R M) I compare the ...