Related papers: Families of zero cycles and divided powers: I. Rep…

A "signed graph" is a graph $\Gamma$ where the edges are assigned sign labels, either "$+$" or "$-$". The sign of a cycle is the product of the signs of its edges. Let $\mathrm{SpecC}(\Gamma)$ denote the list of lengths of cycles in…

Matrix congruence can be used to mimic linear maps between homogeneous quadratic polynomials in $n$ variables. We introduce a generalization, called standard-form congruence, which mimics affine maps between non-homogeneous quadratic…

Let $k$ be a field containing an algebraically closed field of characteristic zero. If $G$ is a finite group and $D$ is a division algebra over $k$, finite dimensional over its center, we can associate to a faithful $G$-grading on $D$ a…

A further significant extension is presented of the infinitely large class of differential algebras of generalized functions which are the basic structures in the nonlinear algebraic theory listed under 46F30 in the AMS Mathematical Subject…

Motivated by algorithmic problems from combinatorial group theory we study computational properties of integers equipped with binary operations +, -, z = x 2^y, z = x 2^{-y} (the former two are partial) and predicates < and =. Notice that…

A relation algebra is measurable if the identity element is a sum of atoms, and the square x;1;x of each subidentity atom x is a sum of non-zero functional elements. These functional elements form a group Gx. We prove that a measurable…

Algebras generated by strictly positive matrices are described up to similarity, including the commutative, simple, and semisimple cases. We provide sufficient conditions for some block diagonal matrix algebras to be generated by a set of…

Let $X$ be a product of smooth projective curves over a finite unramified extension $k$ of $\mathbb{Q}_p$. Suppose that the Albanese variety of $X$ has good reduction and that $X$ has a $k$-rational point. We propose the following…

Let X be a scheme that does not satisfy the valuative criterion of separatedness. We show that the Hilbert functor parametrizing closed families of X that are flat, finite and of rank one is not represented by a scheme or an algebraic…

Given a smooth proper family $\phi:X\rightarrow S$, we study the (quasi)-periods of the fibers of $\phi$ as (germs of) functions on $S$. We show that they field they generate has the same algebraic closure as that given by the flag variety…

If $X$ is a smooth scheme of characteristic zero or a complex analytic manifold, and $S$ is a locally split infinitesimal thickening of $X$, we compute explicitly the derived self-intersection of $X$ in $S$.

Given a positive noncommutative polynomial $f$, equivalently a sum of Hermitian squares (SOHS), there exists a positive semidefinite Gram matrix that encrypts all the structural essence of $f$. There are no available methods for extending a…

Fix an integer $d \geq 2$. The space $\mathcal{P}_{d}$ of polynomial maps of degree $d$ modulo conjugation by affine transformations is naturally an affine variety over $\mathbb{Q}$ of dimension $d -1$. For each integer $P \geq 1$, the…

We construct algebraic and algebro-geometric models for the spaces of unparametrized paths. This is done by considering a path as a holonomy functional on indeterminate connections. For a manifold X, we construct a Lie algebroid P which…

We present a new method for constructing $D$-dimensional minimally superintegrable systems based on block coordinate separation of variables. We give two new families of superintegrable systems with $N$ ($N\leq D$) singular terms of the…

Let X be a smooth, complete, connected submanifold of dimension n < N in a complex affine space A^N (C), and r is the rank of its Gauss map \gamma, \gamma (x) = T_x (X). The authors prove that if 2 \leq r \leq n - 1, N - n \geq 2, and in…

Let $R$ be the power series ring or the polynomial ring over a field $k$ and let $I $ be an ideal of $R.$ Macaulay proved that the Artinian Gorenstein $k$-algebras $R/I$ are in one-to-one correspondence with the cyclic $R$-submodules of the…

The set of linear, differential operators preserving the vector space of couples of polynomials of degrees n and n-2 in one real variable leads to an abstract associative graded algebra A(2). The irreducible, finite dimensional…

Let $Gr(d,n)$ be the Grassmannian of $d$-dimensional linear subspaces of an $n$-dimensional vector space $V$. A submanifold $X\subset Gr(d, n)$ gives rise to a differential system $\Sigma(X)$ that governs $d$-dimensional submanifolds of $V$…

We construct centrally large subalgebras in crossed products of $C (X, D)$ by automorphisms in which $D$ is simple, $X$ is compact metrizable, the automorphism induces a minimal homeomorphism of $X$, and a mild technical assumption holds.…