Related papers: An injectivity theorem II

For a particular class of Galois structures, we prove that the normal extensions are precisely those extensions that are "locally" split epic and trivial, and we use this to prove a "Galois theorem" for normal extensions. Furthermore, we…

This chapter surveys some of the main results on interpolation in several of the most prominent families of non-classical logics. Special attention is given to the distinction between the two most commonly studied variants of…

We establish a structure theorem for the integral points on moduli of special linear rank two local systems over surfaces, using mapping class group descent and boundedness results for systoles of local systems.

We introduce the concept of a viable generically Gorenstein toroidal crossing (ggtc) space $Y$. This generalizes the concept of Gorenstein toroidal crossing scheme, which in turn generalizes that of a simple normal crossing scheme. On such…

The LCS locus is an essential ingredient in the proof of fundamental results of Log Minimal Model Program, such as nonvanishing and base point freeness theorems. We prove in this paper that the LCS locus of a log canonical variety has…

We prove two general decomposition theorems for fixed-point invariants: one for the Lefschetz number and one for the Reidemeister trace. These theorems imply the familiar additivity results for these invariants. Moreover, the proofs of…

We study the map associating the cohomology class of an admissible normal function on the product of punctured disks, and give some sufficient conditions for the surjectivity of the map. We also construct some examples such that the map is…

We present a simple unified proof of classification of discrete amenable group actions on injective factors. Our argument does not depend on types of factors. We also show the second cohomology vanishing theorem for arbitrary cocycle…

We extend the definition of involutivity to non-Lipschitz tangent subbundles using generalized functions. We prove the Frobenius Theorem with sharp regularity estimate when the subbundle is log-Lipschitz: if $\mathcal V$ is a log-Lipschitz…

The "Modularity Conjecture" is the assertion that the join of two nonmodular varieties is nonmodular. We establish the veracity of this conjecture for the case of linear idempotent varieties. We also establish analogous results concerning…

We extend the notion of rational points and cohomological obstructions on varieties to categories fibred in groupoids. We also establish the generalized theory of descent by torsors. Then we interpret the obstruction given by the second…

Let $X$ be a normal variety over a perfect field of positive characteristic and $B$ a reduced divisor on $X$. We prove that if the Cartier isomorphism on the log smooth locus of $(X,B)$ extends to the entire $X$, then $(X,B)$ satisfies the…

Menon's proof of the preservation of log-concavity of sequences under convolution becomes simpler when adapted to 2-sided infinite sequences. Under assumption of log-concavity of two 2-sided infinite sequences, the existence of the…

We show injectivity results for assembly maps using equivariant coarse homology theories with transfers. Our method is based on the descent principle and applies to a large class of linear groups or, more general, groups with finite…

Given a principal fibre bundle with structure group $S$, and a fibre transitive Lie group $G$ of automorphisms thereon, Wang's theorem identifies the invariant connections with certain linear maps $\psi\colon \mathfrak{g}\rightarrow…

In this paper we establish some subnormal embeddings of groups into groups with additional properties; in particular embeddings of countable groups into 2-generated groups with some extra properties. The results obtained are generalizations…

This is my PhD Thesis, part of it has published in Acta Mathematica Sinica. In this paper, a class of morphisms which have a kind of singularity weaker than normal crossing is considered. We construct the obstruction such that the so-called…

In this paper, we proved that a log smooth family of log general type klt pairs with a special (in the sense of Campana) quasi-projective base is isotrivial. As a consequence, we proved the generalized Kebekus-Kov\'acs conjecture…

In this paper, we study the convexity, interior gradient estimate, Liouville type theorem and asymptotic behavior at infinity of translating solutions to mean curvature flow as well as the nonlinear flow by powers of the mean curvature.

We prove a new fixed point theorem of Schauder-type which applies to discontinuous operators in non-compact domains. In order to do so, we present a modification of a recent Schauder-type theorem due to Pouso. We apply our result to…