Related papers: A Minimal Model Program for $\mathbb{Q}$-Gorenstei…
Given a Riemannian $\mathbb{RP}^3$ with a bumpy metric or a metric of positive Ricci curvature, we show that there either exist four distinct minimal real projective planes, or exist one minimal real projective plane together with two…
The goal of this paper is to establish fundamental properties of the Hochschild, topological Hochschild, and topological cyclic homologies of commutative, Noetherian rings, which are assumed only to be F-finite in the majority of our…
In this paper, we prove that any two birational projective varieties with finite quotient singularities can be realized as two geometric GIT quotients of a non-singular projective variety by a reductive algebraic group. Then, by applying…
We classify nonconstant morphisms $\mathbb{P}^m \to G/P$ for $m \le 4$ when $G = SL(n,\mathbb{C})$ (type~$A$) for a minimal parabolic subgroup $P$. Using the Borel presentation of cohomology and explicit Schubert intersection identities, we…
A well-known problem in the theory of polynomials over finite fields is the characterization of minimal value set polynomials (MVSPs) over the finite field $\mathbb{F}_q$, where $q = p^n$. These are the nonconstant polynomials $F \in…
We build the abstract theory of Gromov-Witten invariants of genus 0 for quantum minimal Fano varieties (a minimal natural (with respect to Gromov-Witten theory) class of varieties). In particular, we consider ``the minimal Gromov-Witten…
We (a) prove that continuous morphisms from locally compact groups to locally exponential (possibly infinite-dimensional) Lie groups factor through Lie quotients, recovering a result of Shtern's on factoring norm-continuous representations…
We prove that every infinite minimal subshift with word complexity $p(q)$ satisfying $\limsup p(q)/q < 3/2$ is measure-theoretically isomorphic to its maximal equicontinuous factor; in particular, it has measurably discrete spectrum. Among…
Firstly, we see that the bases of the miniversal deformations of isolated $\mathbb{Q}$-Gorenstein toric singularities are quite restricted. In particular, we classify the analytic germs of embedding dimension $\leq 2$ which are the bases of…
Following Shokurov's ideas, we give a short proof of the following klt version of his result: termination of terminal log flips in dimension d implies that any klt pair of dimension d has a log minimal model or a Mori fibre space. Thus, in…
We show that in any $\mathbb{Q}$-Gorenstein flat family of klt singularities, normalized volumes are lower semicontinuous with respect to the Zariski topology. A quick consequence is that smooth points have the largest normalized volume…
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 2009, de Fernex and Hacon proposed a generalization of the notion of the singularities to normal varieties that are not Q-Gorenstein. Based on their work, we generalize Kleiman's transversality theorem to subvarieties with log terminal…
We exhibit canonical middle-inverse Choice maps within categorical (Free-Variable) Theory of Primitive Recursion as well as in Theory of partial PR maps over the Theory of Primitive Recursion with predicate abstraction. Using these…
An orthomorphism of a finite group $G$ is a bijection $\phi\colon G\to G$ such that $g\mapsto g^{-1}\phi(g)$ is also a bijection. In 1981, Friedlander, Gordon, and Tannenbaum conjectured that when $G$ is abelian, for any $k\geq 2$ dividing…
We study the Picard rank of smooth toric Fano varieties possessing families of minimal rational curves of given degree. We discuss variants of a conjecture of Chen-Fu-Hwang and prove a version of their statement that recovers the original…
Let M be a weakly monotone symplectic manifold, and H be a time-dependent Hamiltonian; we assume that the periodic orbits of the corresponding time-dependent Hamiltonian vector field are non-degenerate. We construct a refined version of the…
Let $R$ be a Cohen--Macaulay normal domain with a canonical module $\omega_R$. It is proved that if $R$ admits a noncommutative crepant resolution (NCCR), then necessarily it is $\mathbb{Q}$-Gorenstein. Writing $S$ for a Zariski local…
Let $\mathbb{F}_q$ be the finite field of characteristic $p$ with $q$ elements and $\mathbb{F}_{q^n}$ its extension of degree $n$. The conjecture of Morgan and Mullen asserts the existence of primitive and completely normal elements (PCN…
Hilbert's 14th Problem asks the following question. Given a linear representation $ \beta: G \to \operatorname{GL}(\mathbf{V}) $ of a linear algebraic group over a field $ k $ is the ring $ S_{k}(\mathbf{V}^{\ast}) $ a finitely generated $…