Related papers: The minimal model program for b-log canonical divi…
Strong approximation with Brauer-Manin obstruction is established for smooth varieties containing a connected linear algebraic group with a compatible action.
Necessary and sufficient conditions are given for a $G$-graded simple module over a unital associative algebra, graded by an abelian group $G$, to be isomorphic to a loop module of a simple module, as well as for two such loop modules to be…
We construct reduction and wall-crossing morphisms between the moduli spaces of stable pairs as the coefficients vary, generalizing the earlier work of Ascher, Bejleri, Inchiostro and Patakfalvi which deals with the klt case. Along the…
We introduce the marked Brauer algebra and the marked Brauer category. These generalize the analogous constructions for the ordinary Brauer algebra to the setting of a homogeneous bilinear form on a $\mathbb{Z}_2$-graded vector space. We…
It is a classical problem to compute a minimal set of invariant polynomial generating the invariant ring of a finite group as an algebra. We present here an algorithm for the computation of minimal generating sets in the non-modular case.…
Let $X$ be a normal projective variety over an algebraically closed field of characteristic zero. Let $D$ be a reduced Weil divisor on $X$. Let $G$ be a reductive linear algebraic group. We introduce the notion of a logarithmic connection…
This research note provides algebraic characterizations of the least model, subsumption, and uniform equivalence of propositional Krom logic programs.
The difference variational bicomplex, which is the natural setting for systems of difference equations, is constructed and used to examine the geometric and algebraic properties of various systems. Exactness of the bicomplex gives a…
We show that the strategy of point counting in o-minimal structures can be applied to various problems on unlikely intersections that go beyond the conjectures of Manin-Mumford and Andr\'e-Oort. We verify the so-called Zilber-Pink…
Let $B_n(m)$ be a set picked uniformly at random among all $m$-elements subsets of $\{1,2,\ldots,n\}$. We provide a pathwise construction of the collection $(B_n(m))_{1\leq m\leq n}$ and prove that the logarithm of the least common multiple…
We prove the existence of good log minimal models for dlt pairs of numerical log Kodaira dimension 0.
We study lower bounds for the self-intersection of the canonical divisor of "canonical varieties" (i.e. varieties whose canonical linear system gives a birational map). We give some improvements for the known results in the case of surfaces…
Equational unification of two terms consists of finding a substitution that, when applied to both terms, makes them equal modulo some equational properties. Equational unification is of special relevance to automated deduction, theorem…
ICM lecture on minimal models and moduli of varieties.
In the algebraic theory of algebra-valued noncommutative probability spaces, for a unital algebra B, a mild reformulation of Speicher's noncrossing B-valued cumulants for random variables in these spaces is used to construct canonical…
Let $f:(X,B)\to Z$ be a 3-fold extremal dlt flipping contraction defined over an algebraically closed field of characteristic $p>5$, such that the coefficients of $\{B\}$ are in the standard set $\{1-\frac 1n|n\in \mathbb N\}$, then the…
Block copolymer, a synthesized polymer material, has found many applications in industry. It is consisting of multiple sequences of monomer alternating in series with different monomer blocks. The combination of different polymers endows…
We explicitly provide minimal Gr\"obner bases for simple, finite-dimensional modules of complex Lie algebras of types A and C, using a homogeneous ordering that is compatible with the PBW filtration on the universal enveloping algebras.
For any grading by an abelian group $G$ on the exceptional simple Lie algebra $\mathcal{L}$ of type $E_6$ or $E_7$ over an algebraically closed field of characteristic zero, we compute the graded Brauer invariants of simple…
Let p be a prime, and let f : Z/pZ -> R be a function with average value 0 and ||f||_A <= 1, where ||f||_A denotes the algebra norm (L^1 norm of the Fourier transform). Then f(x) is small for some x, specifically min_x |f(x)| is no more…