Related papers: Discriminant and Singularities of Logarithmic Gaus…
In the present paper, we prove the existence of universal polynomials which express multi-singularity loci classes of prescribed types for proper morphisms between smooth schemes over an algebraically closed field of characteristic zero --…
We introduce a notion of Aubry set for weakly coupled systems of Hamilton--Jacobi equations on the torus and characterize it as the region where the obstruction to the existence of globally strict critical subsolutions concentrates. As in…
In this paper, we prove effective estimates for the number of exceptional values and the totally ramified value number for the Gauss map of pseudo-algebraic minimal surfaces in Euclidean four-space and give a kind of unicity theorem.
We present a survey of ergodic theorems for actions of algebraic and arithmetic groups recently established by the authors, as well as some of their applications. Our approach is based on spectral methods employing the unitary…
We compare some algebras appeared in the recent attempts to prove resolution of singularities in positive characteristic. We also construct an algebra which encodes the same information and it is equivalent, up to integral closure, to the…
We provide a visual and intuitive introduction to effectively calculating in 2-groups along with explicit examples coming from non-abelian 1- and 2-form gauge theory. In particular, we utilize string diagrams, tools similar to tensor…
Motivated by applications of algebraic geometry, we introduce the Galois width, a quantity characterizing the complexity of solving algebraic equations in a restricted model of computation allowing only field arithmetic and adjoining…
We present algorithms to classify isolated hypersurface singularities over the real numbers according to the classification by V.I. Arnold (Arnold et al., 1985). This first part covers the splitting lemma and the simple singularities; a…
The gauge theory approach to the geometric Langlands program is extended to the case of wild ramification. The new ingredients that are required, relative to the tamely ramified case, are differential operators with irregular singularities,…
We give illustrative examples of how the computer algebra system OSCAR can support research in commutative algebra and algebraic geometry. We start with a thorough introduction to Groebner basis techniques, with particular emphasis on the…
Logarithmic Conformal Field Theories (LCFT) play a key role, for instance, in the description of critical geometrical problems (percolation, self avoiding walks, etc.), or of critical points in several classes of disordered systems…
Capacity control, the bias/variance dilemma, and learning unknown functions from data, are all concerned with identifying effective and consistent fits of unknown geometric loci to random data points. A geometric locus is a curve or surface…
In this paper we try to look at the compactification of Teichmuller spaces from a tropical viewpoint. We describe a general construction for the compactification of algebraic varieties, using their amoebas, and we describe the boundary via…
Fold maps are fundamental tools in the theory of singularities of differentiable maps and its applications to geometry. They are higher dimensional variants of Morse functions. Classes of special generic maps and round fold maps are…
We investigate linear parabolic maps on the torus. In a generic case these maps are non-invertible and discontinuous. Although the metric entropy of these systems is equal to zero, their dynamics is non-trivial due to folding of the image…
Logarithmic differential forms and logarithmic vector fields associated to a hypersurface with an isolated singularity are considered in the context of computational complex analysis. As applications, based on the concept of torsion…
We study the ergodic properties of quantized ergodic maps of the torus. It is known that these satisfy quantum ergodicity: For almost all eigenstates, the expectation values of quantum observables converge to the classical phase-space…
A standard assumption in the study of logarithmic structures is "fineness", but this assumption is not preserved by intersections, fiber products, and more general limits. We explain how a coherent logarithmic scheme $X$ has a natural…
We present an exact and efficient algorithm for computing the Reeb space of a bivariate PL map. The Reeb space is a topological structure that generalizes the Reeb graph to the setting of multiple scalar-valued functions defined over a…
We call a real algebraic hypersurface in $(\mathbb{C}^*)^n$ simplicial if it is given by a real Laurent polynomial in $n$-variables that has exactly $n+1$ monomials with non-zero coefficients and such that the convex hull in $\mathbb{R}^n$…