Related papers: The projective invariants of ordered points on the…

Adem and Reichstein introduced the ideal of truncated symmetric polynomials to present the permutation invariant subring in the cohomology of a finite product of projective spaces. Building upon their work, I describe a generating set of…

For a quasi-projective scheme M which carries a perfect obstruction theory, we construct the virtual cobordism class of M. If M is projective, we prove that the corresponding Chern numbers of the virtual cobordism class are given by…

We continue to develop an obstruction theory for embedding 2-spheres into 4-manifolds in terms of Whitney towers. The proposed intersection invariants take values in certain graded abelian groups generated by labelled trivalent trees, and…

Let $X$ be a nonempty real variety that is invariant under the action of a reflection group $G$. We conjecture that if $X$ is defined in terms of the first $k$ basic invariants of $G$ (ordered by degree), then $X$ meets a $k$-dimensional…

Schreier graphs, which possess both a graph structure and a Schreier structure (an edge-labeling by the generators of a group), are objects of fundamental importance in group theory and geometry. We study the Schreier structures with which…

An upper bound on degrees of elements of a minimal generating system for invariants of quivers of dimension (2,...,2) is established over a field of arbitrary characteristic and its precision is estimated. The proof is based on the…

The class of finitely presented algebras over a field $K$ with a set of generators $a_{1},..., a_{n}$ and defined by homogeneous relations of the form $a_{1}a_{2}... a_{n} =a_{\sigma (1)} a_{\sigma (2)} ... a_{\sigma (n)}$, where $\sigma$…

An explicit invariant-theoretic description of the moduli space $\mathcal{M}_3^1$ of degree-three rational maps on $\mathbb{P}^1$ is developed. A cubic map $\phi$ is represented, up to conjugation, by the pair of binary forms $(f, g) \in…

We show that every 2nd order ODE defines a 4-parameter family of projective connections on its 2-dimensional solution space. In a special case of ODEs, for which a certain point transformation invariant vanishes, we find that this family of…

In this paper we study a relationship between systems of $n$ subspaces and representations of $*$-algebras generated by projections. We prove that irreducible nonequivalent $*$-representations of $*$-algebras $\mathcal P_{4,com}$ generate…

We call an ideal in a polynomial ring robust if it can be minimally generated by a universal Gr\"obner basis. In this paper we show that robust toric ideals generated by quadrics are essentially determinantal. We then discuss two possible…

The two main theorems proved here are as follows: If $A$ is a finite dimensional algebra over an algebraically closed field, the identity component of the algebraic group of outer automorphisms of $A$ is invariant under derived equivalence.…

An idea to present a classical Lie group of positive dimension by generators and relations sounds dubious, but happens to be fruitful. The isometry groups of classical geometries admit elegant and useful presentations by generators and…

In this article we consider the action of affine group and time rescaling on planar quadratic differential systems. We construct a system of representatives of the orbits of systems with at least five invariant lines, including the line at…

In quantum geometry, we consider a set of loops, a compact orientable surface and a solid compact spatial region, all inside $\mathbb{R} \times \mathbb{R}^3 \equiv \mathbb{R}^4$, which forms a triple. We want to define an ambient isotopic…

Given a symbolic power of a homogeneous ideal in a polynomial ring, we study the problem of determining which powers of the ideal contain it. For ideals defining 0-dimensional subschemes of projective space, as an immediate corollary of our…

Let $V$ be an $n$-dimensional algebraic representation over an algebraically closed field $K$ of a group $G$. For $m > 0$, we study the invariant rings $K[V^{ m}]^G$ for the diagonal action of $G$ on $V^m$. In characteristic zero, a theorem…

It is widely believed that the parity of the partition function $p(n)$ is ``random.'' Contrary to this expectation, in this note we prove the existence of infinitely many congruence relations modulo 4 among its values. For each square-free…

A space for gauge theories is defined, using projective limits as subsets of Cartesian products of homomorphisms from a lattice on the structure group. In this space, non-interacting and interacting measures are defined as well as functions…

An involution is usually defined as a mapping that is its own inverse. In this paper, we study quaternion involutions that have the additional properties of distribution over addition and multiplication. We review formal axioms for such…