Related papers: Equivariant decomposition of polynomial vector fie…
We explore methods for constructing normal forms of indecomposable quiver representations. The first part of the paper develops homological tools for recursively constructing families of indecomposable representations from indecomposables…
Let $D\geq 1$ and $q\geq 3$ be two integers. Let $H(D)=H(D,q)$ denote the $D$-dimensional Hamming graph over a $q$-element set. Let ${\mathcal T}(D)$ denote the Terwilliger algebra of $H(D)$. Let $V(D)$ denote the standard ${\mathcal…
Representations of the quantum superalgebra U_q[osp(1/2)] and their relations to the basic hypergeometric functions are investigated. We first establish Clebsch-Gordan decomposition for the superalgebra U_q[osp(1/2)] in which the…
We compute the weighted Euler characteristic, equivariant with respect to the action of the symplectic group of degree six over the field of two elements, of the moduli space of principally polarized abelian threefolds together with a level…
We reprove the results of Jordan [18] and Siebert [31] and show that the Lie algebra of polynomial vector fields on an irreducible affine variety X is simple if and only if X is a smooth variety. Given proof is self-contained and does not…
Using connections to random matrix theory and orthogonal polynomials, we develop a framework for obtaining explicit closed-form formulae for the number, $\mathscr{N}_{g}(2\nu,j)$, of connected $2\nu$-valent labeled graphs with $j$ vertices…
Let $X = S \times E$ be the product of a K3 surface $S$ and an elliptic curve $E$. Reduced stable pair invariants of $X$ can be defined via (1) cutting down the reduced virtual class with incidence conditions or (2) the Behrend function…
For certain tame abelian covers of arithmetic surfaces X/Y we obtain striking formulas, involving a quadratic form derived from intersection numbers, for the equivariant Euler characteristics of both the canonical sheaf !X/Y and also its…
An algorithm is given for computing explicit formulas for the generators of relations among the invariant rational functions for vector-valued bilinear forms. These formulas have applications in the geometry of Riemannian submanifolds and…
Geometric algebra is a mathematical structure that is inherent in any metric vector space, and defined by the requirement that the metric tensor is given by the scalar part of the product of vectors. It provides a natural framework in which…
We present and discuss an algorithm and its implementation that is capable of directly determining Fourier expansions of any vector-valued modular form of weight at least $2$ associated with representations whose kernel is a congruence…
We construct finite dimensional families of non-steady solutions to the Euler equations, existing for all time, and exhibiting all kinds of qualitative dynamics in the phase space, for example: strange attractors and chaos, invariant…
Let T(x) in k[x] be a monic non-constant polynomial and write R=k[x] / (T) the quotient ring. Consider two bivariate polynomials a(x, y), b(x, y) in R[y]. In a first part, T = p^e is assumed to be the power of an irreducible polynomial p. A…
A problem that is frequently encountered in a variety of mathematical contexts, is to find the common invariant subspaces of a single, or set of matrices. A new method is proposed that gives a definitive answer to this problem. The key idea…
The normal form for a system of ode's is constructed from its polynomial symmetries of the linear part of the system, which is assumed to be semi-simple. The symmetries are shown to have a simple structure such as invariant function times…
Any classical solution of the 2D incompressible Euler equation is global in time. However, it remains an outstanding open problem whether classical solutions of the surface quasi-geostrophic (SQG) equation preserve their regularity for all…
This paper explores formalizing Geometric (or Clifford) algebras into the Lean 3 theorem prover, building upon the substantial body of work that is the Lean mathematics library, mathlib. As we use Lean source code to demonstrate many of our…
The Helmholtz decomposition splits a sufficiently smooth vector field into a gradient field and a divergence-free rotation field. Existing decomposition methods impose constraints on the behavior of vector fields at infinity and require…
We prove that the group of normalized cohomological invariants of degree 3 modulo the subgroup of semidecomposable invariants of a semisimple split linear algebraic group G is isomorphic to the torsion part of the Chow group of codimension…
This paper is concerned with the local bifurcation analysis around typical singularities of piecewise smooth planar dynamical systems. Three-parameter families of a class of non$-$smooth vector fields are studied and the tridimensional…