Related papers: Structure of the Anticanonical Minimal Model Progr…
We show that every structurally submodular separation system admits a canonical tree set which distinguishes its tangles.
Let $(X,B)$ be a log canonical pair and $\mathcal{V}$ be a finite set of divisorial valuations with log discrepancy in $[0,1)$. We prove that there exists a projective birational morphism $\pi \colon Y\rightarrow X$ so that the exceptional…
The Minimal Model Program offers natural higher-dimensional analogues of stable $n$-pointed curves and maps: stable pairs consisting of a projective variety $X$ of dimension $\ge2$ and a divisor $B$, that should satisfy a few simple…
We derive explicit defining equations for a number of irreducible maximizing plane sextics with double singular points only. For most real curves, we also compute the fundamental group of the complement; all groups found are abelian. As a…
We use Matsuki's decomposition for symmetric pairs $(G, H)$ of (not necessarily compact) reductive Lie groups to construct the radial parts for invariant differential operators acting on matrix-spherical functions. As an application, we…
We extend the so called Chen-Jiang decomposition for pushforward of pluricanocanical bundles to abelian varieties to the setting of klt pairs. We also provide a geometric application of this decomposition.
In this paper, we study the geometry of trisections on certain rational elliptic surfaces. We utilize Mumford representations of semi-reduced divisors in order to construct trisections and related plane curves with interesting properties…
We produce neccessary and sufficient conditions for pairs of quantum minors in the quantized coordinate algebra $\Bbb{C}_q[Mat_{k \times m}]$ to quasi-commute. In addition we study the combinatorics of maximal (by inclusion) families of…
The extension of ab initio quantum many-body theory to higher accuracy and larger systems is intrinsically limited by the handling of large data objects in form of wave-function expansions and/or many-body operators. In this work we present…
We construct an ordered set of commutators in a partially commutative nilpotent group $F(X; \Gamma; \mathfrak N_m)$. This set allows us to define a canonical form for each element of $F(X; \Gamma; \mathfrak N_m)$. Namely, we construct a…
We develop a general theory of canonical bases for quantum symmetric pairs $(\mathbf{U}, \mathbf{U}^\imath)$ with parameters of arbitrary finite type. We construct new canonical bases for the simple integrable $\mathbf{U}$-modules and their…
In a 1962 paper, Zariski introduced the decomposition theory that now bears his name. Although it arose in the context of algebraic geometry and deals with the configuration of curves on an algebraic surface, we have recently observed that…
Led by a result derived from Sion's minimax theorem concerning constraint violation in quadratically constrained quadratic programs (QCQPs) with at least one constraint bounding the possible solution magnitude, we propose a heuristic scheme…
We prove that the non-vanishing conjecture and the log minimal model conjecture for projective log canonical pairs can be reduced to the non-vanishing conjecture for smooth projective varieties such that the boundary divisor is zero.
Recently, minimal linear codes have been extensively studied due to their applications in secret sharing schemes, secure two-party computations, and so on. Constructing minimal linear codes violating the Ashikhmin-Barg condition and then…
A couple of complex projective plane curves are said to make a Zariski pair if they have the same degree and the same type of singularities, but their embeddings in the projective plane are topologically different. In this paper, we present…
The existence of decomposition solutions of the well-known nonlinear BKP hierarchy is explored. It is shown that these decompositions provide simple and interesting relationships between classical integrable systems and the BKP hierarchy.…
We prove that all injective maps on positive complex matrices which preserve order and shrink spectrum are implemented by unitary or antiunitary conjugations. We show by counterexamples that all assumptions are indispensable. The result…
We discuss the birational geometry of singular surfaces in positive characteristic. More precisely, we establish the minimal model program and the abundance theorem for Q-factorial surfaces and for log canonical surfaces. Moreover, in the…
In this paper the concept of compatible weak factorization systems in general categories is introduced as a counterpart of compatible complete cotorsion pairs in abelian categories. We describe a method to construct model structures on…