Related papers: Constructive degree bounds for group-based models

Generative models for classification use the joint probability distribution of the class variable and the features to construct a decision rule. Among generative models, Bayesian networks and naive Bayes classifiers are the most commonly…

We consider associative algebras with involution graded by a finite abelian group G over a field of characteristic zero. Suppose that the involution is compatible with the grading. We represent conditions permitting PI-representability of…

Motivated by Stillman's question, we show that the projective dimension of an ideal generated by four quadric forms in a polynomial ring is at most 6; moreover, this bound is tight. We achieve this bound, in part, by giving a…

We introduce a family of toric algebras defined by maximal chains of a finite distributive lattice. Applying results on stable set polytopes we conclude that every such algebra is normal and Cohen-Macaulay, and give an interpretation of its…

We investigate the theory of affine group schemes over a symmetric tensor category, with particular attention to the tangent space at the identity. We show that this carries the structure of a restricted Lie algebra, and can be viewed as…

Given a grading by an abelian group G on a semisimple Lie algebra L over an algebraically closed field of characteristic 0, we classify up to isomorphism the simple objects in the category of finite-dimensional G-graded L-modules. The…

Algorithms working with linear algebraic groups often represent them via defining polynomial equations. One can always choose defining equations for an algebraic group to be of the degree at most the degree of the group as an algebraic…

In this paper we compute the degree of a curve which is the image of a mapping $z\longmapsto (f(z): g(z): h(z))$ constructed out of three linearly independent modular forms of the same even weight $\ge 4$ into $\mathbb P^2$. We prove that…

We define invariants of braids rather than invariants of conjugacy classes of braids. For any pure three-braid we give effective upper and lower bounds for these invariants. This is done in terms of a natural syllable decomposition of the…

Let $k$ be a global field, let $A$ be a Dedekind domain with $\text{Quot}(A) = k$, and let $K$ be a finitely generated field. Using a unified approach for both elliptic curves and Drinfeld modules $M$ defined over $K$ and having a trivial…

Using Hilbert schemes of points, we establish a number of results for a smooth projective variety $X$ in a sufficiently ample embedding. If $X$ is a curve or a surface, we show that the ideals of higher secant varieties are determinantally…

We prove that for any toric ideal of a graph the degree of any element of Graver basis is bounded above by an exponential function of the maximal degree of a circuit.

We introduce partially defined dynamical systems defined on a topological space. To each such system we associate a functor $s$ from a category $G$ to $\Top^{\op}$ and show that it defines what we call a skew category algebra $A…

If V is a representation of a linear algebraic group G, a set S of G-invariant regular functions on V is called separating if the following holds: If two elements v,v' from V can be separated by an invariant function, then there is an f…

Integrals of the Chern classes of the Hodge bundle in Gromov-Witten theory are studied. We find a universal system of differential equations which determines the generating function of these integrals from the standard descendent potential…

We present bounds for the geometric degree of the tangent bundle and the tangential variety of a smooth affine algebraic variety $V$ in terms of the geometric degree of $V$. We first analyze the case of curves, showing an explicit relation…

We prove that any finitely generated subgroup of the plane Cremona group consisting only of algebraic elements is of bounded degree. This follows from a more general result on `decent' actions on infinite direct sums. We apply our results…

We give an explicit conjectural formula for the motivic Euler characteristic of an arbitrary symplectic local system on the moduli space A_3 of principally polarized abelian threefolds. The main term of the formula is a conjectural motive…

We complete the foundational architecture of Algebraic Phase Theory by developing a categorical and $2$-categorical framework for algebraic phases. Building on the structural notions introduced in Papers~I-III, we define phase morphisms,…

The homology groups introduced by A. Brumer can be used to establish a criterion ensuring that a profinite $\mathbb{F}_p[[G]]$-module of a pro-$p$ group $G$ has projective dimension $d<\infty$ (cf. Thm. A). This criterion yields a new…