Related papers: Bounds for log canonical thresholds with applicati…

Here we show how the recent exact determination of the bond percolation threshold for the martini lattice can be used to provide approximations to the unsolved kagom\'e and (3,12^2) lattices. We present two different methods, one of which…

We prove an effective upper bound on the number of effective sections of a hermitian line bundle over an arithmetic surface. It is an effective version of the arithmetic Hilbert--Samuel formula in the nef case. As a consequence, we obtain…

Let $\epsilon, C$ be two positive real numbers, and $\mathcal C \subset \mathbb R$ be a DCC (descending chain condition) set. Let $(X, B = \sum b_j B_j)$ denote a projective surface with an $\mathbb R$-divisor. Then (1) The class $\{X\}$ of…

We consider smooth surfaces $S \subset \Pq$ containing a plane curve $P$ and prove some general result concerning the linear system $|H-P|$. We then look at regular surfaces lying on hypersurfaces of degree $s$ having a plane of…

We prove superpolynomial length lower bounds for the semantic tree-like Frege refutation system with bounded line size. Concretely, for any function $n^{2-\varepsilon} \leq s(n) \leq 2^{n^{1-\varepsilon}}$ we exhibit an explicit family…

We prove the finiteness of relative log pluricanonical representations in the complex analytic setting. As an application, we discuss the abundance conjecture for semi-log canonical pairs within this framework. Furthermore, we establish the…

We prove a lower bound on the canonical height associated to polynomials over number fields evaluated at points with infinite forward orbit. The lower bound depends only on the degree of the polynomial, the degree of the number field, and…

In this paper we propose an approach to investigate the canonical rings of surfaces of general type whose canonical system has isolated base points and yields a birational map onto its image. We apply then the method in the concrete case of…

We investigate infinitary wellfounded systems for linear logic with fixed points, with transfinite branching rules indexed by some closure ordinal $\alpha$ for fixed points. Our main result is that provability in the system for some…

We express the Segre class of a monomial scheme in projective space in terms of log canonical thresholds of associated ideals. Explicit instances of the relation amount to identities involving the classical polygamma functions.

This survey focuses on the geometric problem of log-surfaces, which are pairs consisting of a smooth projective surface and a reduced non-empty boundary divisor. In the first part, we focus on the geography problem for complex log-surfaces…

A common problem to all applications of linear finite dynamical systems is analyzing the dynamics without enumerating every possible state transition. Of particular interest is the long term dynamical behaviour. In this paper, we study the…

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…

In this article, we introduce the logarithmic de Rham stack of a pair (X, D), for a smooth variety X over a field k of positive characteristic p, and D a strict normal crossings divisor on X. Using this stack, we prove a new version of…

For any quantum group of finite ADE type, we prove a new formula for the standard bilinear form evaluated at monomials. Combining this with ideas from the Lusztig-Shoji algorithm, we obtain a new algorithm that computes the canonical basis.…

We prove that for an indecomposable convergent or overconvergent F-isocrystal on a smooth irreducible variety over a perfect field of characteristic p, the gap between consecutive slopes at the generic point cannot exceed 1. (This may be…

One of the ultimate goals of the Hassett-Keel program is the determination of the log canonical models of the moduli spaces of pointed rational curves $\overline{M}_{0,n}$. In this paper, we study log canonical models of…

We prove level-by-level upper and lower bounds on the strength of determinacy for finite differences of sets in the hyperarithmetical hierarchy in terms of subsystems of finite-and transfinite-order arithmetic, extending the…

Separating codes have their applications in collusion-secure fingerprinting for generic digital data, while they are also related to the other structures including hash family, intersection code and group testing. In this paper we study…

We consider fibrations by affine lines on smooth affine surfaces obtained as complements of smooth rational curves $B$ in smooth projective surfaces $X$ defined over an algebraically closed field of characteristic zero. We observe that…