Related papers: A lower bound on levels with applications to Koszu…

We study surface representatives of homology classes of finite complexes which minimize certain complexity measures, including its genus and Euler characteristic. Our main result is that up to surgery at nullhomotopic curves minimizers are…

Using the Grosshans Principle, we develop a method for proving lower bounds for the maximal degree of a system of generators of an invariant ring. This method also gives lower bounds for the maximal degree of a set of invariants that define…

In this paper, we define the homological Morse numbers of a filtered cell complex in terms of relative homology of nested filtration pieces, and derive inequalities relating these numbers to the Betti tables of the multi-parameter…

In this paper, we propose upper and lower error bounding techniques for reduced order modelling applied to the computational homogenisation of random composites. The upper bound relies on the construction of a reduced model for the stress…

We prove the immediate appearance of a lower bound for mild solutions to the full Boltzmann equation in the torus or a $C^2$ convex domain with specular boundary conditions, under the sole assumption of continuity away from the grazing set…

Let $R$ be a noetherian ring and $M$ a finite $R$-module. With a linear form $\chi$ on $M$ one associates the Koszul complex $K(\chi)$. If $M$ is a free module, then the homology of $K(\chi)$ is well-understood, and in particular it is…

We give degree lower bounds for quotient line bundles of the lowest piece of a Hodge module induced by a complex variation of Hodge structures outside a simple normal crossing divisor, beyond the unipotent variation case. This note aims to…

We provide a first-order oracle complexity lower bound for finding stationary points of min-max optimization problems where the objective function is smooth, nonconvex in the minimization variable, and strongly concave in the maximization…

We study upper bounds for the torsion in homology of nonuniform arithmetic lattices. Together with recent results of Calegari-Venkatesh, this can be used to obtain upper bounds on K2 of the ring of integers of totally imaginary fields.

We show that the category of comodules over a coassociative coalgebra in a complete, cocomplete and well-powered category has limits and colimits under additional assumptions.

Let $(R,\mathfrak m, \mathsf k)$ be a complete intersection local ring, $K$ be the Koszul complex on a minimal set of generators of $\mathfrak m$, and $A=H(K)$ be its homology algebra. We establish exact sequences involving direct sums of…

Our main result shows that if a lower-semicontinuous kernel K satisfies some mild additional hypotheses, then asympotitically polarization optimal configurations are precisely those that are asymptotically distributed according to the…

The object of the paper is the dependence of Koszul complexes and dependence of dual Koszul complexes of two systems of non-homogeneous polynomials, when one system is a part of other system, in connection with the duality in a Koszul…

Let \({\mathbb K}\) be any field, let \(X\subset {\mathbb P}^{k-1}\) be a set of \(n\) distinct \({\mathbb K}\)-rational points, and let \(a\geq 1\) be an integer. In this paper we find lower bounds for the minimum distance \(d(X)_a\) of…

For an arithmetically Cohen--Macaulay subscheme of projective space, there is a well-known bound for the highest degree of a minimal generator for the defining ideal of the subscheme, in terms of the Hilbert function. We prove a natural…

Lower bounds are given for the depths of R/I^t for t at least one when I is the edge ideal of a tree or forest. The bounds are given in terms of the diameter of the tree, or in case of a forest, the largest diameter of a connected component…

Given a compact smooth manifold $M$ with non-empty boundary and a Morse function, a pseudo-gradient Morse-Smale vector field adapted to the boundary allows one to build a Morse complex whose homology is isomorphic to the (absolute or…

This works concerns cohomological support varieties of modules over commutative local rings. The main result is that the support of a derived tensor product of a pair of differential graded modules over a Koszul complex is the join of the…

Let $A$ be an abelian variety defined over a number field $K$, the number of torsion points rational over a finite extension $L$ is bounded polynomially in terms of the degree $[L:K]$. We formulate a question suggesting the optimal exponent…

Let $M$ be a finite module over a noetherian ring $R$ with a free resolution of length 1. We consider the generalized Koszul complexes $\mathcal{C}_{\bar\lambda}(t)$ associated with a map $\bar\lambda:M\to\mathcal{H}$ into a finite free…