相关论文: Toric weak Fano varieties associated to building s…
This article presents three characterizations of the weak factorization systems on finitely complete categories that interpret intensional dependent type theory with Sigma-, Pi-, and Id-types. The first characterization is that the weak…
We construct klt projective varieties with ample canonical class and the smallest known volume. We also find exceptional klt Fano varieties with the smallest known anticanonical volume. We conjecture that our examples have the smallest…
In this paper, we prove the weak positivity theorem in positive characteristic when the canonical ring of the geometric generic fiber $F$ is finitely generated and the Frobenius stable canonical ring of $F$ is large enough. As its…
The aim of this thesis is to give a concise introduction to homotopy type theory, to Aczel's constructive set theory and to simplicial sets and their homotopy theory in particular referring to their standard model structure, showing some of…
We study the problem of when the collection of the recession cones of a polyhedral complex forms also a complex. We exhibit an example showing that this is no always the case. We also show that if the support of the given polyhedral complex…
We classify rank two vector bundles on a given del Pezzo threefold of degree four whose projectivizations are weak Fano into seven cases. We also give an example for each of these seven cases.
We prove weak approximation for isotrivial families of rationally connected varieties defined over the function field of a smooth projective complex curve.
A flag variety is a homogenous variety $G/B$ where $G$ is a simple algebraic group over the complex numbers and $B$ is a Boel subgroup of $G$. A Schubert variety $X_w$ is a subvariety of $G/B$ indexed by an element $w$ in the Weyl group of…
For any log Fano pair with a torus action, we associate a computable invariant to it, such that the pair is (weighted) K-polystable if and only if this invariant is greater than one. As an application, we present examples of Fano varieties…
We define a tropical version $\F_d(\trop X)$ of the Fano Scheme $\F_d(X)$ of a projective variety $X\subseteq \mathbb P^n$ and prove that $\F_d(\trop X)$ is the support of a polyhedral complex contained in $\trop \Grp(d,n)$. In general…
In this paper, we find weak generating sets for a classical W-algebra $\mathcal{W}^k(\mathfrak{g},f)$ when $\mathfrak{g}=\mathfrak{sl}_N$ or $\mathfrak{sl}_{N_1|N_2}$. Furthermore, observing the relation between quantum and classical…
We provide examples of contractible complexes which fail to have non-positive immersions and weak non-positive immersions, answering a conjecture of Wise in the negative.
The orthogonal and unitary calculi give a method to study functors from the category of real or complex inner product spaces to the category of based topological spaces. We construct functors between the calculi from the…
We give a simple sufficient condition for Quinn's "bordism-type spectra" to be weakly equivalent to strictly associative ring spectra. We also show that Poincare bordism and symmetric L-theory are naturally weakly equivalent to monoidal…
We introduce notions of stationarily ordered types and theories; the latter generalizes weak o-minimality and the first is a relaxed version of weak o-minimality localized at the locus of a single type. We show that forking, as a binary…
Based on the Reid-Shepherd-Barron-Tai criterion for canonical and terminal quotient singularities, we characterize canonicity and terminality of a toric variety in terms of its local class group actions. Specializing it to the Picard number…
We introduce and study the category of modular (i.e. with coefficient of positive characteristic) monodromic perverse sheaves on complex stratified $T$-varieties, with $T$ a complex algebraic torus. In particular, we show that under…
Topologically, compact toric varieties can be constructed as identification spaces: they are quotients of the product of a compact torus and the order complex of the fan. We give a detailed proof of this fact, extend it to the non-compact…
It has long been known that every weak monoidal category A is equivalent via monoidal functors and monoidal natural transformations to a strict monoidal category st(A). We generalise the definition of weak monoidal category to give a…
We extend the weak-strong uniqueness principle to general models of compressible viscous fluids near/on the vacuum. In particular, the physically relevant case of positive density with polynomial decay at infinity is considered.