Related papers: Interaction Between Singularity Theory and the Min…
The Kuramoto model and its generalizations have been broadly employed to characterize and mechanistically understand various collective dynamical phenomena, especially the emergence of synchrony among coupled oscillators. Despite almost…
A particularly important substructure in modeling joint linear chance-constrained programs with random right-hand sides and finite sample space is the intersection of mixing sets with common binary variables (and possibly a knapsack…
Standard singularity theorems are proven in Lorentzian manifolds of arbitrary dimension n if they contain closed trapped submanifolds of arbitrary co-dimension. By using the mean curvature vector to characterize trapped submanifolds, a…
The topological interpretation of modal logics provides descriptive languages and proof systems for reasoning about points of topological spaces. Recent work has been devoted to model checking of spatial logics on discrete spatial…
We give a criterion for a divisorial sheaf on a log terminal variety to be Cohen-Macaulay. The log canonical case and applications to moduli are also considered.
We construct local models of Shimura varieties and investigate their singularities, with special emphasis on wildly ramified cases. More precisely, with the exception of odd unitary groups in residue characteristic $2$ we construct local…
The quotient variety associated to a permutation representation of a finite group has only canonical singularities in arbitrary characteristic. Moreover, the log pair associated to such a representation is Kawamata log terminal except in…
We show that many classical results of the minimal model programme do not hold over an algebraically closed field of characteristic two. Indeed, we construct a three dimensional plt pair whose codimension one part is not normal, a three…
We show the validity of the relative dlt MMP over Q-factorial threefolds in all characteristics p>0. As a corollary, we generalise many recent results to low characteristics including: $W\mathcal{O}$-rationality of klt singularities,…
We establish a structure theorem for the integral points on moduli of special linear rank two local systems over surfaces, using mapping class group descent and boundedness results for systoles of local systems.
We construct a moduli space of stable projective pairs with a nontrivial action of a connected reductive group. These stable reductive pairs are higher-dimensional analogs of stable n-pointed curves and generalize to the non-commutative…
We synthesize and unify notions of regularity, both of individual sets and of collections of sets, as they appear in the convergence theory of projection methods for consistent feasibility problems. Several new characterizations of…
This is a part of an ongoing research project, with the aim of finding the connections between properties related to theory combination in Satisfiability Modulo Theories. In previous work, 7 properties were analyzed: convexity, stable…
We develop a correspondence between the structure of Turing machines and the structure of singularities of real analytic functions, based on connecting the Ehrhard-Regnier derivative from linear logic with the role of geometry in Watanabe's…
We prove the existence of $n$-complements for pairs with DCC coefficients and the ACC for minimal log discrepancies of exceptional singularities. In order to prove these results, we develop the theory of complements for real coefficients.…
Orthogonality is a notion based on the duality between programs and their environments used to determine when they can be safely combined. For instance, it is a powerful tool to establish termination properties in classical formal systems.…
This paper is concerned with the relationships between two concepts, vanishing of cohomology groups and the structure of free resolutions. In particular, we study the connection between vanishing theorems for the local cohomology of…
We prove the two theorems of the title, settling two long standing questions in the local theory of singular minimal hypersurfaces. The sharpness of either result is with respect to its hypothesis on the size of the allowable singular sets.…
If $(X, \mcF, \D)$ is a projective rank two foliated log canonical triple such that $(X,B)$ is klt for some $0 \leq B \leq \D$, we show that we can run a $(K_\mcF +\Delta)$-MMP and any such MMP terminates with either a minimal model or Mori…
We deal with the random combinatorial structures called assemblies. By weakening the logarithmic condition which assures regularity of the number of components of a given order, we extend the notion of logarithmic assemblies. Using the…