Related papers: Singular Log Structures and Log Crepant Log Resolu…
We propose a conjecture on the generating series of Chern numbers of tautological bundles on Hilbert schemes of points on curves and establish the rank 1 and rank -1 case of this conjecture. Thus we compute explicitly the generating series…
Log Gromov-Witten invariants have recently been defined separately by Gross and Siebert and Abramovich and Chen. This paper provides a dictionary between log geometry and holomorphic exploded manifolds in order to compare Gromov-Witten…
In this paper we give a new point of view for optimizing the definitions related to the study of singularities of normal varieties, introduced in [dFH09] and further studied in [Urb12a] and [Urb12b], in relation to the Minimal Model…
We prove that the tangent developables of the varieties appearing in the third row of the Tits-Freudenthal magic square admit categorical crepant resolutions of singularities.
We generalise the construction of Rouquier complexes to the setting of singular Soergel bimodules by taking minimal complexes of the restriction of Rouquier complexes. We show that they retain many of the properties of ordinary Rouquier…
It is conjectured that if a finite set of points in the plane contains many collinear triples then there is some structure in the set. We are going to show that under some combinatorial conditions such pointsets contain special…
We construct singular solutions to special Lagrangian equa- tions with subcritical phases and minimal surface systems. A priori estimate breaking families of smooth solutions are also produced cor- respondingly. A priori estimates for…
We introduce a Three Tier Tree Calculus (3TC) that defines in a systematic way three tiers of tree structures underlying proof search in logic programming. We use 3TC to define a new -- structural -- version of resolution for logic…
We completely prove the ACC for minimal log discrepancies on smooth threefolds. It implies on smooth threefolds the ACC for a-lc thresholds, the uniform m-adic semi-continuity of minimal log discrepancies and the boundedness of the log…
We show that if the structural rules are admissible over a set R of atomic rules, then they are admissible in the sequent calculus obtained by adding the rules in R to G3[mic]. Two applications to pure logic and to the sequent calculus with…
Some Poisson structures do admit resolutions by symplectic manifolds of the same dimension. We give examples and simple conditions under which such resolutions can not exist.
We show that a large class of non-degenerate second-order (maximally) superintegrable systems gives rise to Hessian structures, which admit natural (Hessian) coordinates adapted to the superintegrable system. In particular, abundant…
The purpose of this note is to extend the divergences analyzed in a previous work by application of the Deformed Logarithm in its most general form. In a study on entropic divergences, we have analyzed the different forms of the deformed…
We introduce the notion of a simultaneous categorical resolution of singularities, a categorical version of simultaneous resolutions of rational double points of surface degenerations. Furthermore, we suggest a construction of simultaneous…
The paper deals with recursive constructions for simple 3-designs based on other 3-designs having $(1, \sigma)$-resolution. The concept of $(1, \sigma)$-resolution may be viewed as a generalization of the parallelism for designs. We show…
We introduce several highness notions on degrees related to the problem of computing isomorphisms between structures, provided that isomorphisms exist. We consider variants along axes of uniformity, inclusion of negative information, and…
In this paper the detailed classification of three-dimensional exceptional canonical hypersurface singularities which don't satisfy the condition of well-formedness is given. This result completes the classification of three-dimensional…
We answer the question which conjunctive queries are uniquely characterized by polynomially many positive and negative examples, and how to construct such examples efficiently. As a consequence, we obtain a new efficient exact learning…
In the point set embeddability problem, we are given a plane graph $G$ with $n$ vertices and a point set $S$ with $n$ points. Now the goal is to answer the question whether there exists a straight-line drawing of $G$ such that each vertex…
We study the systems of ordinary differential equations which are implicit with respect to the higher derivatives, appearing in the linear form, and their solutions near the singular points. The invertibility of the higher derivatives…