Related papers: Explicit minimal embedded resolutions of divisors …

We give lower bounds for the degree of the discriminant with respect to y of separable polynomials f in K[x,y] over an algebraically closed field of characteristic zero. Depending on the invariants involved in the lower bound, we give a…

Let $K$ be a complete discretely valued field with perfect residue field $k$. If $X \to \mathbb{P}^1_K$ is a $\mathbb{Z}/d$-cover with $\text{char } k \nmid d$, we compute the minimal regular normal crossings model $\mathcal{X}$ of $X$ as…

Let $F$ be a number field, $O_F$ the integral closure of $\mathbb{Z}$ in $F$ and $P(T) \in O_F[T]$ a monic separable polynomial such that $P(0) \not=0$ and $P(1) \not=0$. We give precise sufficient conditions on a given positive integer $k$…

Let K be the function field of a connected regular scheme S of dimension 1, and let f : X -> Y be a finite cover of projective smooth and geometrically connected curves over K with g(X) greater or equal to 2. Suppose that f can be extended…

We introduce and study the minimum distance function of a graded ideal in a polynomial ring with coefficients in a field, and show that it generalizes the minimum distance of projective Reed-Muller-type codes over finite fields. This gives…

We provide an irreducibility test in the ring K[[x]][y] whose complexity is quasi-linear with respect to the valuation of the discriminant, assuming the input polynomial F square-free and K a perfect field of characteristic zero or greater…

We address two aspects of finitely generated modules of finite projective dimension over local rings and their connection in between: embeddability and grade of order ideals of minimal generators of syzygies. We provide a solution of the…

The main goal of this paper is to give a general method to compute (via computer algebra systems) an explicit set of generators of the ideals of the projective embeddings of some ruled surfaces, namely projective line bundles over curves…

In the first section of this article, we recall Keel's well-known presentation of $Pic(\overline{\mathfrak{M}}_{0,n})$ using irreducible boundary divisors of $\overline{\mathfrak{M}}_{0,n}$ as generators, and describe a basis for…

Let X be a smooth projective variety and let K be the canonical divisor of X. In this paper, we study embeddings of X given by adjoint line bundles of the form K+L, where L is an ample line bundle. When X is a regular surface (i.e. H^1(X,…

We find all $P$-resolutions of quotient surface singularities (especially, tetrahedral, octahedral, and icosahedral singularities) together with their dual graphs, which reproduces Jan Steven's list [Manuscripta Math. 1993] of the numbers…

Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V \to k. Let k_{ind} be the expansion of k by the standard parts of the definable relations in R. We investigate the…

We formulate a conjecture on the behavior of the minimal free resolutions of sets of general points on arbitrary varieties embedded by complete linear series, in analogy with the well-known Minimal Resolution Conjecture for points in…

Let $k$ be an imperfect field. Let $X$ be a regular variety over $k$ and set $Y$ to be the normalization of $(X \times_k k^{1/p^{\infty}})_{{\rm red}}$. In this paper, we show that $K_Y+C=f^*K_X$ for some effective divisor $C$ on $Y$. We…

We present a structural resolution to the exact evaluation of the partition function $p_k(n)$, systematically overcoming the limitations of traditional recursive and asymptotic methods. By framing the partition polytope $\mathcal{P}_{n,k}$…

Let $Q$ be a local ring with maximal ideal $\mathfrak{n}$ and let $f,g\in \mathfrak{n}\smallsetminus\mathfrak{n}^2$ with $fg=0$. When $M$ is a finite $Q$-module with $fM=0$, we show that a minimal free resolution of $M$ over $Q$ has a…

Denote by $\mathfrak{o}$ the valuation ring of a non-Archimedean local field with prime ideal $\mathfrak{p}$ and finite residue field, and let $r\geq 1$ be an integer. We prove that for every smooth affine group scheme $G$ over…

Let $\mathcal{O}(U)$ denote the algebra of holomorphic functions on an open subset $U\subset\mathbb{C}^n$ and $Z\subset\mathcal{O}(U)$ its finite-dimensional vector subspace. By the theory of least space of de Boor and Ron, there exists a…

We introduce a novel type of approximation spaces for functions with values in a nonlinear manifold. The discrete functions are constructed by piecewise polynomial interpolation in a Euclidean embedding space, and then projecting pointwise…

Let $(K,v)$ be a henselian valued field. Let $\mathbb{P}^{dless}\subset K[x]$ be the set of monic, irreducible polynomials which are defectless and have degree greater than one. For a certain equivalence relation $\,\approx\,$ on…