Showing 1–43 of 43 results for author: Langer, A

A primal-dual adaptive finite element method for total variation based motion estimation

Authors: Martin Alkämper, Stephan Hilb, Andreas Langer

Abstract: Based on previous work we extend a primal-dual semi-smooth Newton method for minimizing a general $L^1$-$L^2$-$TV$ functional over the space of functions of bounded variations by adaptivity in a finite element setting. For automatically generating an adaptive grid we introduce indicators based on a-posteriori error estimates. Further we discuss data interpolation methods on unstructured grids in t… ▽ More Based on previous work we extend a primal-dual semi-smooth Newton method for minimizing a general $L^1$-$L^2$-$TV$ functional over the space of functions of bounded variations by adaptivity in a finite element setting. For automatically generating an adaptive grid we introduce indicators based on a-posteriori error estimates. Further we discuss data interpolation methods on unstructured grids in the context of image processing and present a pixel-based interpolation method. For the computation of optical flow we derive an adaptive finite element coarse-to-fine scheme for resolving large displacements. The coarse-to-fine scheme speeds-up the computing time tremendously. △ Less

Submitted 3 April, 2024; originally announced April 2024.

Projective contact log varieties

Authors: Adrian Langer

Abstract: We study contact structures on smooth complex projective varieties with a simple normal crossing divisor, generalizing some well-known results concerning the non-logarithmic case. In particular, we describe the structure of elementary log contractions of such log varieties and we construct the corresponding contact structures. We study contact structures on smooth complex projective varieties with a simple normal crossing divisor, generalizing some well-known results concerning the non-logarithmic case. In particular, we describe the structure of elementary log contractions of such log varieties and we construct the corresponding contact structures. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: 52 pages

Bridgeland stability conditions on normal surfaces

Authors: Adrian Langer

Abstract: We prove a new version of Bogomolov's inequality on normal proper surfaces. This allows to construct Bridgeland's stability condition on such surfaces. In particular, this gives the first known examples of stability conditions on non-projective, proper schemes. We prove a new version of Bogomolov's inequality on normal proper surfaces. This allows to construct Bridgeland's stability condition on such surfaces. In particular, this gives the first known examples of stability conditions on non-projective, proper schemes. △ Less

Submitted 12 April, 2024; v1 submitted 7 October, 2023; originally announced October 2023.

Comments: 10 pages; v2: some small corrections, to appear in Annali di Matematica Pura ed Applicata

MSC Class: Primary 14F08; Secondary 14C40; 14J17; 14J60

Overconvergent prismatic cohomology

Authors: Andreas Langer

Abstract: In this note I define an overconvergent version of prisms and prismatic cohomology as introduced by Bhatt and Scholze and show that overconvergent prismatic cohomology specialises to $p$-adic cohomologies, like Monsky-Washnitzer resp. rigid cohomology for smooth varieties over a perfect field, the de Rham cohomology of smooth weak formal schemes over a perfectoid ring and the étale cohomology of i… ▽ More In this note I define an overconvergent version of prisms and prismatic cohomology as introduced by Bhatt and Scholze and show that overconvergent prismatic cohomology specialises to $p$-adic cohomologies, like Monsky-Washnitzer resp. rigid cohomology for smooth varieties over a perfect field, the de Rham cohomology of smooth weak formal schemes over a perfectoid ring and the étale cohomology of its generic fibre. Besides, I give an overconvergent version of the complex $AΩ$ of Bhatt-Morrow-Scholze and relate it to overconvergent prismatic cohomology. △ Less

Submitted 18 August, 2023; originally announced August 2023.

Simpson's correspondence on singular varieties in positive characteristic

Authors: Adrian Langer

Abstract: The main aim of the paper is to provide analogues of Simpson's correspondence on singular projective varieties defined over an algebraically closed field of characteristic $p>0$. There are two main cases. In the first case, we consider analogues of numerically flat vector bundles on a big open subset of a normal projective variety (with arbitrary singularities). Here we introduce the S-fundament… ▽ More The main aim of the paper is to provide analogues of Simpson's correspondence on singular projective varieties defined over an algebraically closed field of characteristic $p>0$. There are two main cases. In the first case, we consider analogues of numerically flat vector bundles on a big open subset of a normal projective variety (with arbitrary singularities). Here we introduce the S-fundamental group scheme for quasi-projective varieties that admit compactifications with complement of codimension $\ge 2$. We prove that this group scheme coincides with the S-funda\-men\-tal group scheme of the regular locus of any of its (small) projective compactification. In particular, it provides a new invariant for normal projective varieties isomorphic in codimension $1$. In the second case, we consider vector bundles with an integrable $λ$-connection on a normal projective variety $X$ that is (almost) liftable modulo $p^2$. In this case we restrict to varieties with $F$-liftable singularities that are analogous to log canonical singularities. We prove that a semistable Higgs vector bundle on the regular locus of $X$, with appropriately defined vanishing Chern classes, admits a canonical Higgs--de Rham flow. This provides an analogue of some results due to D. Greb, S. Kebekus, B. Taji and T. Peternell. Finally, we give some applications of the obtained results, also to varieties defined in characteristic zero. △ Less

Submitted 10 February, 2024; v1 submitted 11 February, 2023; originally announced February 2023.

Comments: v2: 41 pages, some small corrections, rewritten part of introduction, added a few examples and Subsection 6.1

A General Decomposition Method for a Convex Problem Related to Total Variation Minimization

Authors: Stephan Hilb, Andreas Langer

Abstract: We consider sequential and parallel decomposition methods for a dual problem of a general total variation minimization problem with applications in several image processing tasks, like image inpainting, estimation of optical flow and reconstruction of missing wavelet coefficients. The convergence of these methods to a solution of the global problem is analysed in a Hilbert space setting and a conv… ▽ More We consider sequential and parallel decomposition methods for a dual problem of a general total variation minimization problem with applications in several image processing tasks, like image inpainting, estimation of optical flow and reconstruction of missing wavelet coefficients. The convergence of these methods to a solution of the global problem is analysed in a Hilbert space setting and a convergence rate is provided. Thereby, these convergence result hold not only for exact local minimization but also if the subproblems are just solved approximately. As a concrete example of an approximate local solution process a surrogate technique is presented and analysed. Further, the obtained convergence rate is compared with related results in the literature and shown to be in agreement with or even improve upon them. Numerical experiments are presented to support the theoretical findings and to show the performance of the proposed decomposition algorithms in image inpainting, optical flow estimation and wavelet inpainting tasks. △ Less

Submitted 31 October, 2022; originally announced November 2022.

Bogomolov's inequality and Higgs sheaves on normal varieties in positive characteristic

Authors: Adrian Langer

Abstract: We prove Bogomolov's inequality on a normal projective variety in positive characteristic and we use it to show some new restriction theorems and a new boundedness result. Then we redefine Higgs sheaves on normal varieties and we prove restriction theorems and Bogomolov type inequalities for semistable logarithmic Higgs sheaves on some normal varieties in an arbitrary characteristic. We prove Bogomolov's inequality on a normal projective variety in positive characteristic and we use it to show some new restriction theorems and a new boundedness result. Then we redefine Higgs sheaves on normal varieties and we prove restriction theorems and Bogomolov type inequalities for semistable logarithmic Higgs sheaves on some normal varieties in an arbitrary characteristic. △ Less

Submitted 31 December, 2022; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: 61 pages; v2: 67 pages, corrected errors in restriction theorems for semistability, corrected definitions in 1.2, rewritten Subsection 3.4; v3: 68 pages, some small corrections, added Corollary 3.17

Intersection theory and Chern classes on normal varieties

Authors: Adrian Langer

Abstract: We study intersection theory and Chern classes of reflexive sheaves on normal varieties. In particular, we define generalization of Mumford's intersection theory on normal surfaces to higher dimensions. We also define and study the second Chern class for reflexive sheaves on normal varieties. We use these results to prove some Bogomolov type inequalities on normal varieties in positive characteris… ▽ More We study intersection theory and Chern classes of reflexive sheaves on normal varieties. In particular, we define generalization of Mumford's intersection theory on normal surfaces to higher dimensions. We also define and study the second Chern class for reflexive sheaves on normal varieties. We use these results to prove some Bogomolov type inequalities on normal varieties in positive characteristic. We also prove some new boundedness results on normal varieties in positive characteristic. △ Less

Submitted 26 September, 2023; v1 submitted 17 October, 2022; originally announced October 2022.

Comments: 45 pages; v2: 46 pages, references added, introduction rewritten, various small corrections; v3: various small corrections

Approximation of semistable bundles on smooth algebraic varieties

Authors: Adrian Langer

Abstract: We prove some strong results on approximation of strongly semistable bundles with vanishing numerical Chern classes by filtrations, whose quotients are line bundles of similar slope. This generalizes some earlier results of Parameswaran-Subramanian in the curve case and Koley-Parameswaran in the surface case and it confirms the conjecture posed by Koley and Parameswaran. We prove some strong results on approximation of strongly semistable bundles with vanishing numerical Chern classes by filtrations, whose quotients are line bundles of similar slope. This generalizes some earlier results of Parameswaran-Subramanian in the curve case and Koley-Parameswaran in the surface case and it confirms the conjecture posed by Koley and Parameswaran. △ Less

Submitted 16 July, 2022; originally announced July 2022.

Comments: 11 pages

MSC Class: 14J60

Positivity vs. slope semistability for bundles with vanishing discriminant

Authors: Mihai Fulger, Adrian Langer

Abstract: We give an algebraic proof valid in arbitrary characteristic for the known equivalence between (strongly) slope semistable vector bundles with vanishing discriminant and vanishing determinant and numerically flat bundles. We also address a related question of Misra. We give an algebraic proof valid in arbitrary characteristic for the known equivalence between (strongly) slope semistable vector bundles with vanishing discriminant and vanishing determinant and numerically flat bundles. We also address a related question of Misra. △ Less

Submitted 29 March, 2022; v1 submitted 30 December, 2021; originally announced December 2021.

Comments: Second named author added. The main results are extended to arbitrary characteristic. A new counterexample to Misra's question added. An optimistic application of the Mehta-Ramanathan theorem in Corollary 3.2 of the initial submission has been corrected

MSC Class: 14C17; 14C20; 14F06; 14H60; 14N05

Journal ref: J. Algebra 609 (2022), 657-687

A log-motivic cohomology for semistable varieties and its $p$-adic deformation theory

Authors: Oliver Gregory, Andreas Langer

Abstract: We construct log-motivic cohomology groups for semistable varieties and study the $p$-adic deformation theory of log-motivic cohomology classes. Our main result is the deformational part of a $p$-adic variational Hodge conjecture for varieties with semistable reduction: a rational log-motivic cohomology class in bidegree $(2n,n)$ lifts to a continuous pro-class if and only if its Hyodo-Kato class… ▽ More We construct log-motivic cohomology groups for semistable varieties and study the $p$-adic deformation theory of log-motivic cohomology classes. Our main result is the deformational part of a $p$-adic variational Hodge conjecture for varieties with semistable reduction: a rational log-motivic cohomology class in bidegree $(2n,n)$ lifts to a continuous pro-class if and only if its Hyodo-Kato class lies in the $n$-th step of the Hodge filtration. This generalises a theorem of Bloch-Esnault-Kerz which treats the good reduction case. In the case $n=1$ the lifting criterion is the one obtained by Yamashita for the logarithmic Picard group. Along the way, we relate log-motivic cohomology to logarithmic Milnor $K$-theory and the logarithmic Hyodo-Kato Hodge-Witt sheaves. △ Less

Submitted 22 November, 2023; v1 submitted 5 August, 2021; originally announced August 2021.

Comments: 33 pages

Moduli spaces of semistable modules over Lie algebroids

Authors: Adrian Langer

Abstract: We show a few basic results about moduli spaces of semistable modules over Lie algebroids. The first result shows that such moduli spaces exist for relative projective morphisms of noetherian schemes, removing some earlier constraints. The second result proves general separatedness Langton type theorem for such moduli spaces. More precisely, we prove S-completness of some moduli stacks of semistab… ▽ More We show a few basic results about moduli spaces of semistable modules over Lie algebroids. The first result shows that such moduli spaces exist for relative projective morphisms of noetherian schemes, removing some earlier constraints. The second result proves general separatedness Langton type theorem for such moduli spaces. More precisely, we prove S-completness of some moduli stacks of semistable modules. In some special cases this result identifies closed points of the moduli space of Gieseker semistable sheaves on a projective scheme and of the Donaldson--Uhlenbeck compactification of the moduli space of slope stable locally free sheaves on a smooth projective surface. The last result generalizes properness of Hitchin's morphism and it shows properness of so called Hodge-Hitchin morphism defined in positive characteristic on the moduli space of Gieseker semistable integrable t-connections in terms of the p-curvature morphism. This last result was proven in the curve case by de Cataldo and Zhang using completely different methods. △ Less

Submitted 12 November, 2022; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: 34 pages; v2: 30 pages, some small corrections, added and updated references, rewritten acknowledgement

On algebraic Chern classes of flat vector bundles

Authors: Adrian Langer

Abstract: We show that under some assumptions on the monodromy group some combinations of higher Chern classes of flat vector bundles are torsion in the Chow group. Similar results hold for flat vector bundles that deform to such flat vector bundles (also in case of quasi-projective varieties). The results are motivated by Bloch's conjecture on Chern classes of flat vector bundles on smooth complex projecti… ▽ More We show that under some assumptions on the monodromy group some combinations of higher Chern classes of flat vector bundles are torsion in the Chow group. Similar results hold for flat vector bundles that deform to such flat vector bundles (also in case of quasi-projective varieties). The results are motivated by Bloch's conjecture on Chern classes of flat vector bundles on smooth complex projective varities but in some cases they give a more precise information. We also study Higgs version of Bloch's conjecture and analogous problems in the positive characteristic case. △ Less

Submitted 7 July, 2021; originally announced July 2021.

Comments: 22 pages

On boundedness of semistable sheaves

Authors: Adrian Langer

Abstract: We give a new simple proof of boundedness of the family of semistable sheaves with fixed numerical invariants on a fixed smooth projective variety. In characteristic zero our method gives a quick proof of Bogomolov's inequality for semistable sheaves on a smooth projective variety of any dimension $\ge 2$ without using any restriction theorems. We give a new simple proof of boundedness of the family of semistable sheaves with fixed numerical invariants on a fixed smooth projective variety. In characteristic zero our method gives a quick proof of Bogomolov's inequality for semistable sheaves on a smooth projective variety of any dimension $\ge 2$ without using any restriction theorems. △ Less

Submitted 16 November, 2021; v1 submitted 7 July, 2021; originally announced July 2021.

Comments: v2: 12 pages, many changes improving readibility of the paper and making it more self-contained; added new restriction Theorem 3.7 on the projective space; added Appendix containing author's variant of proof of Bogomolov's inequality

Journal ref: Doc. Math. 27, 1-16 (2022)

Hodge-Witt decomposition of relative crystalline cohomology

Authors: Oliver Gregory, Andreas Langer

Abstract: For a smooth and proper scheme over an artinian local ring with ordinary reduction over the perfect residue field we prove - under some general assumptions - that the relative de Rham-Witt spectral sequence degenerates and the relative crystalline cohomology, equipped with its display structure arising from the Nygaard complexes, has a Hodge-Witt decomposition into a direct sum of (suitably Tate-T… ▽ More For a smooth and proper scheme over an artinian local ring with ordinary reduction over the perfect residue field we prove - under some general assumptions - that the relative de Rham-Witt spectral sequence degenerates and the relative crystalline cohomology, equipped with its display structure arising from the Nygaard complexes, has a Hodge-Witt decomposition into a direct sum of (suitably Tate-Twisted) multiplicative displays. As examples our main results include the cases of abelian schemes, complete intersections, varieties of K3 type and some Calabi-Yau $n$-folds. △ Less

Submitted 5 August, 2021; v1 submitted 24 June, 2020; originally announced June 2020.

Comments: 32 pages

On birational boundedness of foliated surfaces

Authors: Christopher D. Hacon, Adrian Langer

Abstract: In this paper we prove a result on the effective generation of pluri-canonical linear systems on foliated surfaces of general type. Fix a function $P: \mathbb Z_{\geq 0}\to \mathbb Z $, then there exists an integer $N_1>0$ such that if $(X,\mathcal F)$ is a canonical or nef model of a foliation of general type with Hilbert polynomial $χ(X, mK_{\mathcal F})=P(m)$ for all $m\in \mathbb Z_{\geq 0}$,… ▽ More In this paper we prove a result on the effective generation of pluri-canonical linear systems on foliated surfaces of general type. Fix a function $P: \mathbb Z_{\geq 0}\to \mathbb Z $, then there exists an integer $N_1>0$ such that if $(X,\mathcal F)$ is a canonical or nef model of a foliation of general type with Hilbert polynomial $χ(X, mK_{\mathcal F})=P(m)$ for all $m\in \mathbb Z_{\geq 0}$, then $|mK_{\mathcal F}|$ defines a birational map for all $m\geq N_1$. We also prove a Grauert-Riemannschneider type vanishing theorem for foliated surfaces with canonical singularities. △ Less

Submitted 9 July, 2020; v1 submitted 17 October, 2019; originally announced October 2019.

On smooth projective D-affine varieties

Authors: Adrian Langer

Abstract: We show various properties of smooth projective D-affine varieties. In particular, any smooth projective D-affine variety is algebraically simply connected and its image under a fibration is D-affine. In characteristic zero such D-affine varieties are also uniruled. We also show that (apart from a few small characteristics) a smooth projective surface is D-affine if and only if it is isomorphic… ▽ More We show various properties of smooth projective D-affine varieties. In particular, any smooth projective D-affine variety is algebraically simply connected and its image under a fibration is D-affine. In characteristic zero such D-affine varieties are also uniruled. We also show that (apart from a few small characteristics) a smooth projective surface is D-affine if and only if it is isomorphic to either ${\mathbb P}^2$ or ${\mathbb P}^1\times {\mathbb P}^1$. In positive characteristic, a basic tool in the proof is a new generalization of Miyaoka's generic semipositivity theorem. △ Less

Submitted 16 December, 2019; v1 submitted 1 June, 2019; originally announced June 2019.

Comments: v2: 20 pages, to appear in Int. Math. Res. Not

Journal ref: International Mathematics Research Notices, Volume 2021, Issue 15, August 2021, Pages 11889-11922

Nearby cycles and semipositivity in positive characteristic

Authors: Adrian Langer

Abstract: We study restriction of logarithmic Higgs bundles to the boundary divisor and we construct the corresponding nearby-cycles functor in positive characteristic. As applications we prove some strong semipositivity theorems for analogs of complex polarized variations of Hodge structures and their generalizations. This implies, e.g., semipositivity for the relative canonical divisor of a semistable red… ▽ More We study restriction of logarithmic Higgs bundles to the boundary divisor and we construct the corresponding nearby-cycles functor in positive characteristic. As applications we prove some strong semipositivity theorems for analogs of complex polarized variations of Hodge structures and their generalizations. This implies, e.g., semipositivity for the relative canonical divisor of a semistable reduction in positive characteristic and it gives some new strong results generalizing semipositivity even for complex varieties. △ Less

Submitted 7 July, 2021; v1 submitted 15 February, 2019; originally announced February 2019.

Comments: v2: corrected grant number v3: various corrections and improvements; 54 pages

Journal ref: J. Eur. Math. Soc. 24 (2022), no. 11, pp. 3829-3872

Overconvergent de Rham-Witt cohomology for semistable varieties

Authors: Oliver Gregory, Andreas Langer

Abstract: We define an overconvergent version of the Hyodo-Kato complex for semistable varieties $Y$ over perfect fields of positive characteristic, and prove that its hypercohomology tensored with $\mathbb{Q}$ recovers the log-rigid cohomology when $Y$ is quasi-projective. We then describe the monodromy operator using the overconvergent Hyodo-Kato complex. Finally, we show that overconvergent Hyodo-Kato co… ▽ More We define an overconvergent version of the Hyodo-Kato complex for semistable varieties $Y$ over perfect fields of positive characteristic, and prove that its hypercohomology tensored with $\mathbb{Q}$ recovers the log-rigid cohomology when $Y$ is quasi-projective. We then describe the monodromy operator using the overconvergent Hyodo-Kato complex. Finally, we show that overconvergent Hyodo-Kato cohomology agrees with log-crystalline cohomology in the projective semistable case. △ Less

Submitted 24 June, 2020; v1 submitted 27 November, 2017; originally announced November 2017.

Comments: 30 pages

Higher displays arising from filtered de Rham-Witt complexes

Authors: Oliver Gregory, Andreas Langer

Abstract: For a smooth projective scheme $X$ over a ring $R$ on which $p$ is nilpotent that meets some general assumptions we prove that the crystalline cohomology is equipped with the structure of a higher display which is a relative version of Fontaine's strongly divisible lattices. Frobenius-divisibilty is induced by the Nygaard filtration on the relative de Rham-Witt complex. For a nilpotent PD-thickeni… ▽ More For a smooth projective scheme $X$ over a ring $R$ on which $p$ is nilpotent that meets some general assumptions we prove that the crystalline cohomology is equipped with the structure of a higher display which is a relative version of Fontaine's strongly divisible lattices. Frobenius-divisibilty is induced by the Nygaard filtration on the relative de Rham-Witt complex. For a nilpotent PD-thickening $S/R$ we also consider the associated relative display and can describe it explicitly by a relative version of the Nygaard filtration on the de Rham-Witt complex associated to a lifting of $X$ over $S$. We prove that there is a crystal of relative displays if moreover the mod $p$ reduction of $X$ has a smooth and versal deformation space. △ Less

Submitted 24 June, 2020; v1 submitted 27 November, 2017; originally announced November 2017.

Comments: 19 pages

Birational geometry of compactifications of Drinfeld half-spaces over a finite field

Authors: Adrian Langer

Abstract: We study compactifications of Drinfeld half-spaces over a finite field. In particular, we construct a purely inseparable endomorphism of Drinfeld's half-space $Ω(V)$ over a finite field $k$ that does not extend to an endomorphism of the projective space $P (V)$. This should be compared with theorem of Rémy, Thuillier and Werner that every $k$-automorphism of $Ω(V)$ extends to a $k$-automorphism of… ▽ More We study compactifications of Drinfeld half-spaces over a finite field. In particular, we construct a purely inseparable endomorphism of Drinfeld's half-space $Ω(V)$ over a finite field $k$ that does not extend to an endomorphism of the projective space $P (V)$. This should be compared with theorem of Rémy, Thuillier and Werner that every $k$-automorphism of $Ω(V)$ extends to a $k$-automorphism of $P (V)$. Our construction uses an inseparable analogue of the Cremona transformation. We also study foliations on Drinfeld's half-spaces. This leads to various examples of interesting varieties in positive characteristic. In particular, we show a new example of a non-liftable projective Calabi-Yau threefold in characteristic $2$ and we show examples of rational surfaces with klt singularities, whose cotangent bundle contains an ample line bundle. △ Less

Submitted 15 February, 2019; v1 submitted 14 November, 2017; originally announced November 2017.

Comments: v2: slightly shortened and improved version; close to the published one

Journal ref: Adv. Math. 345 (2019), 861-908

Lifting zero-dimensional schemes and divided powers

Authors: Adrian Langer

Abstract: We study divided power structures on finitely generated $k$-algebras, where $k$ is a field of positive characteristic $p$. As an application we show examples of $0$-dimensional Gorenstein $k$-schemes that do not lift to a fixed noetherian local ring of non-equal characteristic. We also show that Frobenius neighbourhoods of a singular point of a general hypersurface of large dimension have no lifti… ▽ More We study divided power structures on finitely generated $k$-algebras, where $k$ is a field of positive characteristic $p$. As an application we show examples of $0$-dimensional Gorenstein $k$-schemes that do not lift to a fixed noetherian local ring of non-equal characteristic. We also show that Frobenius neighbourhoods of a singular point of a general hypersurface of large dimension have no liftings to mildly ramified rings of non-equal characteristic. △ Less

Submitted 7 March, 2018; v1 submitted 14 November, 2017; originally announced November 2017.

Comments: v2: various changes, added interesting Example 4.3, 12 pages, to appear in Bull. Lond. Math. Soc

MSC Class: Primary 13D10; Secondary 13C40; 14B07

Journal ref: Bull. Lond. Math. Soc. 50 (2018), 449-461

Rank 3 rigid representations of projective fundamental groups

Authors: Adrian Langer, Carlos Simpson

Abstract: Let X be a smooth complex projective variety with basepoint x. We prove that every rigid integral irreducible representation $π_1(X,x)\to SL (3,{\mathbb C})$ is of geometric origin, i.e., it comes from some family of smooth projective varieties. This partially generalizes an earlier result by K. Corlette and the second author in the rank 2 case and answers one of their questions. Let X be a smooth complex projective variety with basepoint x. We prove that every rigid integral irreducible representation $π_1(X,x)\to SL (3,{\mathbb C})$ is of geometric origin, i.e., it comes from some family of smooth projective varieties. This partially generalizes an earlier result by K. Corlette and the second author in the rank 2 case and answers one of their questions. △ Less

Submitted 3 February, 2018; v1 submitted 12 April, 2016; originally announced April 2016.

Comments: v3, 49 pages; final version, to appear in Compositio Math

MSC Class: 14F35 (primary); 14D06; 14D07; 14E20 (secondary)

Journal ref: Compositio Math. 154 (2018) 1534-1570

Automated Parameter Selection for Total Variation Minimization in Image Restoration

Authors: Andreas Langer

Abstract: Algorithms for automatically selecting a scalar or locally varying regularization parameter for total variation models with an $L^τ$-data fidelity term, $τ\in \{1,2\}$, are presented. The automated selection of the regularization parameter is based on the discrepancy principle, whereby in each iteration a total variation model has to be minimized. In the case of a locally varying parameter this am… ▽ More Algorithms for automatically selecting a scalar or locally varying regularization parameter for total variation models with an $L^τ$-data fidelity term, $τ\in \{1,2\}$, are presented. The automated selection of the regularization parameter is based on the discrepancy principle, whereby in each iteration a total variation model has to be minimized. In the case of a locally varying parameter this amounts to solve a multi-scale total variation minimization problem. For solving the constituted multi-scale total variation model convergent first and second order methods are introduced and analyzed. Numerical experiments for image denoising and image deblurring show the efficiency, the competitiveness, and the performance of the proposed fully automated scalar and locally varying parameter selection algorithms. △ Less

Submitted 30 December, 2016; v1 submitted 24 September, 2015; originally announced September 2015.

Semistable modules over Lie algebroids in positive characteristic

Authors: Adrian Langer

Abstract: We study Lie algebroids in positive characteristic and moduli spaces of their modules. In particular, we show a Langton's type theorem for the corresponding moduli spaces. We relate Langton's construction to Simpson's construction of gr-semistable Griffiths transverse filtration. We use it to prove a recent conjecture of Lan-Sheng-Zuo that semistable systems of Hodge sheaves on liftable varieties… ▽ More We study Lie algebroids in positive characteristic and moduli spaces of their modules. In particular, we show a Langton's type theorem for the corresponding moduli spaces. We relate Langton's construction to Simpson's construction of gr-semistable Griffiths transverse filtration. We use it to prove a recent conjecture of Lan-Sheng-Zuo that semistable systems of Hodge sheaves on liftable varieties in positive characteristic are strongly semistable. △ Less

Submitted 26 March, 2014; v1 submitted 12 November, 2013; originally announced November 2013.

Comments: v2: changed formatting, 30 pages, corrections in 4.2, 5.1 and 5.2, to appear in Documenta Mathematica

MSC Class: 14J60

Journal ref: Doc. Math. 19 (2014), 509-540

On positivity and semistability of vector bundles in finite and mixed characteristics

Authors: Adrian Langer

Abstract: We survey results concerning behavior of positivity of line bundles and possible vanishing theorems in positive characteristic. We also try to describe variation of positivity in mixed characteristic. These problems are very much related to behavior of strong semistability of vector bundles, which is another main topic of the paper. We survey results concerning behavior of positivity of line bundles and possible vanishing theorems in positive characteristic. We also try to describe variation of positivity in mixed characteristic. These problems are very much related to behavior of strong semistability of vector bundles, which is another main topic of the paper. △ Less

Submitted 21 March, 2015; v1 submitted 18 January, 2013; originally announced January 2013.

Comments: 27 pages, dedicated to C.S. Seshardi on his 20th birthday (in this rare case the number of years does not coincide with the number of birthdays); v2: updated references and added footnotes

MSC Class: 11G25; 14F17; 14G15; 14H60; 14J60

Journal ref: J. Ramanujan Math. Soc. 28A (Special Issue-2013), 287-309

Linear kernels and single-exponential algorithms via protrusion decompositions

Authors: Eun Jung Kim, Alexander Langer, Christophe Paul, Felix Reidl, Peter Rossmanith, Ignasi Sau, Somnath Sikdar

Abstract: A \emph{$t$-treewidth-modulator} of a graph $G$ is a set $X \subseteq V(G)$ such that the treewidth of $G-X$ is at most some constant $t-1$. In this paper, we present a novel algorithm to compute a decomposition scheme for graphs $G$ that come equipped with a $t$-treewidth-modulator. This decomposition, called a \emph{protrusion decomposition}, is the cornerstone in obtaining the following two mai… ▽ More A \emph{$t$-treewidth-modulator} of a graph $G$ is a set $X \subseteq V(G)$ such that the treewidth of $G-X$ is at most some constant $t-1$. In this paper, we present a novel algorithm to compute a decomposition scheme for graphs $G$ that come equipped with a $t$-treewidth-modulator. This decomposition, called a \emph{protrusion decomposition}, is the cornerstone in obtaining the following two main results. We first show that any parameterized graph problem (with parameter $k$) that has \emph{finite integer index} and is \emph{treewidth-bounding} admits a linear kernel on $H$-topological-minor-free graphs, where $H$ is some arbitrary but fixed graph. A parameterized graph problem is called treewidth-bounding if all positive instances have a $t$-treewidth-modulator of size $O(k)$, for some constant $t$. This result partially extends previous meta-theorems on the existence of linear kernels on graphs of bounded genus [Bodlaender et al., FOCS 2009] and $H$-minor-free graphs [Fomin et al., SODA 2010]. Our second application concerns the Planar-$\mathcal{F}$-Deletion problem. Let $\mathcal{F}$ be a fixed finite family of graphs containing at least one planar graph. Given an $n$-vertex graph $G$ and a non-negative integer $k$, Planar-$\mathcal{F}$-Deletion asks whether $G$ has a set $X\subseteq V(G)$ such that $|X|\leq k$ and $G-X$ is $H$-minor-free for every $H\in \mathcal{F}$. Very recently, an algorithm for Planar-$\mathcal{F}$-Deletion with running time $2^{O(k)} n \log^2 n$ (such an algorithm is called \emph{single-exponential}) has been presented in [Fomin et al., FOCS 2012] under the condition that every graph in $\mathcal{F}$ is connected. Using our algorithm to construct protrusion decompositions as a building block, we get rid of this connectivity constraint and present an algorithm for the general Planar-$\mathcal{F}$-Deletion problem running in time $2^{O(k)} n^2$. △ Less

Submitted 31 July, 2012; v1 submitted 3 July, 2012; originally announced July 2012.

Comments: We would like to point out that this article replaces and extends the results of [CoRR, abs/1201.2780, 2012]

MSC Class: 05C85 ACM Class: G.2.2

Nef line bundles over finite fields

Authors: Adrian Langer

Abstract: We use Totaro's examples of non-semiample nef line bundles on smooth projective surfaces over finite fields to construct nef line bundles for which the first cohomology group cannot be killed by any generically finite covers. This is used to show a similar example of a nef and big line bundle on a smooth projective threefold over a finite field. This improves some examples of Bhatt and answers som… ▽ More We use Totaro's examples of non-semiample nef line bundles on smooth projective surfaces over finite fields to construct nef line bundles for which the first cohomology group cannot be killed by any generically finite covers. This is used to show a similar example of a nef and big line bundle on a smooth projective threefold over a finite field. This improves some examples of Bhatt and answers some of his questions. Finally, we prove a new vanishing theorem for the first cohomology group of strictly nef line bundles on projective varieties defined over finite fields. △ Less

Submitted 27 November, 2011; originally announced November 2011.

Comments: 15 pages

MSC Class: 14F17; 14G15

Journal ref: Int. Math. Res. Not. 2013 (2013), (15): 3490-3508

Moduli spaces of principal bundles on singular varieties

Authors: Adrian Langer

Abstract: Let k be an algebraically closed field of characteristic zero. Let f:X-->S be a flat, projective morphism of k-schemes of finite type with integral geometric fibers. We prove existence of a projective relative moduli space for semistable singular principal bundles on the fibres of f. This generalizes the result of A. Schmitt who studied the case when X is a nodal curve. Let k be an algebraically closed field of characteristic zero. Let f:X-->S be a flat, projective morphism of k-schemes of finite type with integral geometric fibers. We prove existence of a projective relative moduli space for semistable singular principal bundles on the fibres of f. This generalizes the result of A. Schmitt who studied the case when X is a nodal curve. △ Less

Submitted 21 March, 2015; v1 submitted 31 August, 2011; originally announced August 2011.

Comments: 25 pages; dedicated to the memory of Professor Masaki Maruyama

MSC Class: 14D20; 14D22; 14H60; 14J60

Journal ref: Kyoto J. Math. 53, no. 1 (2013), 3-23

On a positive equicharacteristic variant of the $p$-curvature conjecture

Authors: Hélène Esnault, Adrian Langer

Abstract: Our aim is to formulate and prove a weak form in equal characteristic $p>0$ of the $p$-curvature conjecture. We also show the existence of a counterexample to a strong form of it. Our aim is to formulate and prove a weak form in equal characteristic $p>0$ of the $p$-curvature conjecture. We also show the existence of a counterexample to a strong form of it. △ Less

Submitted 17 April, 2012; v1 submitted 30 July, 2011; originally announced August 2011.

Comments: 33 pages; v3: improvements in proofs, stronger main theorems

MSC Class: 14D05; 14E20; 14F35; 11G10; 11G99

Journal ref: Doc. Math. 18 (2013), 23-50

Overconvergent Witt Vectors

Authors: Christopher Davis, Andreas Langer, Thomas Zink

Abstract: Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the overconvergent Witt vectors are an étale sheaf. In a forthcoming paper (Annales ENS) we define an overconvergent de Rham-Witt complex on a smooth scheme X over… ▽ More Let A be a finitely generated algebra over a field K of characteristic p >0. We introduce a subring of the ring of Witt vectors W(A). We call it the ring of overconvergent Witt vectors. We prove that on a scheme X of finite type over K the overconvergent Witt vectors are an étale sheaf. In a forthcoming paper (Annales ENS) we define an overconvergent de Rham-Witt complex on a smooth scheme X over a perfect field K whose hypercohomology is the rigid cohomology of X in the sense of Berthelot. △ Less

Submitted 2 August, 2010; originally announced August 2010.

Comments: 25 pages

Moduli spaces of framed perverse instantons on P^3

Authors: Marcin Hauzer, Adrian Langer

Abstract: We study moduli spaces of framed perverse instantons on P^3. As an open subset it contains the (set-theoretical) moduli space of framed instantons studied by I. Frenkel and M. Jardim. We also construct a few counterexamples to earlier conjectures and results concerning these moduli spaces. We study moduli spaces of framed perverse instantons on P^3. As an open subset it contains the (set-theoretical) moduli space of framed instantons studied by I. Frenkel and M. Jardim. We also construct a few counterexamples to earlier conjectures and results concerning these moduli spaces. △ Less

Submitted 30 March, 2010; originally announced March 2010.

Comments: 50 pages

Journal ref: Glasgow Math. J. 53 (2011), 51-96

On the S-fundamental group scheme II

Authors: Adrian Langer

Abstract: The S-fundamental group scheme is the group scheme corresponding to the Tannaka category of numerically flat vector bundles. We use determinant line bundles to prove that the S-fundamental group of a product of two complete varieties is a product of their S-fundamental groups as conjectured by V. Mehta and the author. We also compute the abelian part of the S-fundamental group scheme and the S-fun… ▽ More The S-fundamental group scheme is the group scheme corresponding to the Tannaka category of numerically flat vector bundles. We use determinant line bundles to prove that the S-fundamental group of a product of two complete varieties is a product of their S-fundamental groups as conjectured by V. Mehta and the author. We also compute the abelian part of the S-fundamental group scheme and the S-fundamental group scheme of an abelian variety or a variety with trivial etale fundamental group. △ Less

Submitted 31 August, 2011; v1 submitted 14 December, 2009; originally announced December 2009.

Comments: v2: simplified proof of the main theorem and added section computing S-fundamental group scheme of a variety with trivial etale fundamental group via Esnault-Mehta method; v3: 20 pages, numerous corrections and clarifications; to appear in J. Inst. Math. Jussieu

MSC Class: 14J60; 14F05; 14L15

Journal ref: J. Inst. Math. Jussieu 11 (2012), 835-854

A note on restriction theorems for semistable sheaves

Authors: Adrian Langer

Abstract: We prove a new restriction theorem for semistable sheaves on varieties in all characteristics strengthening previous results. We also prove restriction theorem for strong semistability for varieties with some non-negativity constrains on the cotangent bundle (e.g., most of Fano and Calabi-Yau varieties). We prove a new restriction theorem for semistable sheaves on varieties in all characteristics strengthening previous results. We also prove restriction theorem for strong semistability for varieties with some non-negativity constrains on the cotangent bundle (e.g., most of Fano and Calabi-Yau varieties). △ Less

Submitted 3 July, 2010; v1 submitted 28 May, 2009; originally announced May 2009.

Comments: 12 pages, to appear in Mathematical Research Letters, appendix contained serious error pointed out by Trivedi and it is removed in this version

MSC Class: 14J60; 13A35; 13D02

Journal ref: Math. Res. Lett. 17 (2010), 823-832

On the S-fundamental group scheme

Authors: Adrian Langer

Abstract: We introduce a new fundamental group scheme for varieties defined over an algebraically closed field of positive characteristic and we use it to study generalization of some of C. Simpson's results to positive characteristic. We also study the properties of this group and we prove Lefschetz type theorems. We introduce a new fundamental group scheme for varieties defined over an algebraically closed field of positive characteristic and we use it to study generalization of some of C. Simpson's results to positive characteristic. We also study the properties of this group and we prove Lefschetz type theorems. △ Less

Submitted 3 July, 2010; v1 submitted 28 May, 2009; originally announced May 2009.

Comments: 37 pages; final version will appear in Ann. Inst. Fourier 61 (2011)

MSC Class: 14J60; 14F35

Journal ref: Ann. Inst. Fourier 61 (2011), 2077-2119

A Convergent Overlap** Domain Decomposition Method for Total Variation Minimization

Authors: Massimo Fornasier, Andreas Langer, Carola-Bibiane Schönlieb

Abstract: This paper is concerned with the analysis of convergent sequential and parallel overlap** domain decomposition methods for the minimization of functionals formed by a discrepancy term with respect to data and a total variation constraint. To our knowledge, this is the first successful attempt of addressing such strategy for the nonlinear, nonadditive, and nonsmooth problem of total variation m… ▽ More This paper is concerned with the analysis of convergent sequential and parallel overlap** domain decomposition methods for the minimization of functionals formed by a discrepancy term with respect to data and a total variation constraint. To our knowledge, this is the first successful attempt of addressing such strategy for the nonlinear, nonadditive, and nonsmooth problem of total variation minimization. We provide several numerical experiments, showing the successful application of the algorithm for the restoration of 1D signals and 2D images in interpolation/inpainting problems respectively, and in a compressed sensing problem, for recovering piecewise constant medical-type images from partial Fourier ensembles. △ Less

Submitted 14 May, 2009; originally announced May 2009.

Comments: Matlab code and numerical experiments of the methods provided in this paper can be downloaded at the web-page: http://homepage.univie.ac.at/carola.schoenlieb/webpage_tvdode/tv_dode_numerics.htm

MSC Class: 65K10; 65N55 65N21; 65Y05 90C25; 52A41; 49M30; 49M27; 68U10

Domain decomposition methods for compressed sensing

Authors: Massimo Fornasier, Andreas Langer, Carola-Bibiane Schönlieb

Abstract: We present several domain decomposition algorithms for sequential and parallel minimization of functionals formed by a discrepancy term with respect to data and total variation constraints. The convergence properties of the algorithms are analyzed. We provide several numerical experiments, showing the successful application of the algorithms for the restoration 1D and 2D signals in interpolation… ▽ More We present several domain decomposition algorithms for sequential and parallel minimization of functionals formed by a discrepancy term with respect to data and total variation constraints. The convergence properties of the algorithms are analyzed. We provide several numerical experiments, showing the successful application of the algorithms for the restoration 1D and 2D signals in interpolation/inpainting problems respectively, and in a compressed sensing problem, for recovering piecewise constant medical-type images from partial Fourier ensembles. △ Less

Submitted 1 February, 2009; originally announced February 2009.

Comments: 4 pages

MSC Class: 65K10; 65N55; 65N21; 65Y05; 90C25; 52A41; 49M30; 49M27; 68U10

D-affinity and Frobenius morphism on quadrics

Authors: Adrian Langer

Abstract: We compute decomposition of Frobenius push-forwards of line bundles on quadrics into a direct sum of line bundles and spinor bundles. As an application we show when the Frobenius push-forward gives a tilting bundle and we apply it to study D-modules on quadrics. We compute decomposition of Frobenius push-forwards of line bundles on quadrics into a direct sum of line bundles and spinor bundles. As an application we show when the Frobenius push-forward gives a tilting bundle and we apply it to study D-modules on quadrics. △ Less

Submitted 30 March, 2010; v1 submitted 6 July, 2007; originally announced July 2007.

Comments: 24 pages; corrected proof of Proposition 2.1

MSC Class: 14F05; 13D40; 18E30

Journal ref: Int. Math. Res. Not. 2008, rnm145-26; Erratum in Int. Math. Res. Not. 2010, 1966-1972

Moduli Spaces for Principal Bundles in Arbitrary Characteristic

Authors: T. L. G'omez, A. Langer, A. H. W. Schmitt, I. Sols

Abstract: In this article, we solve the problem of constructing moduli spaces of semistable principal bundles (and singular versions of them) over smooth projective varieties over algebraically closed ground fields of positive characteristic. In this article, we solve the problem of constructing moduli spaces of semistable principal bundles (and singular versions of them) over smooth projective varieties over algebraically closed ground fields of positive characteristic. △ Less

Submitted 26 June, 2008; v1 submitted 24 June, 2005; originally announced June 2005.

Comments: V4: Final version, to appear in Advances in Mathematics, 69pp

MSC Class: 14H60; 14D20

Journal ref: Advances in Mathematics 219 (2008), pp. 1177-1245

Semistable principal G-bundles in positive characteristic

Authors: Adrian Langer

Abstract: Let $X$ be a normal projective variety defined over an algebraically closed field $k$ of positive characteristic. Let $G$ be a connected reductive group defined over $k$. We prove that some Frobenius pull back of a principal $G$-bundle admits the canonical reduction $E_P$ such that its extension by $P\to P/R_u(P)$ is strongly semistable. Then we show that there is only a small difference betwe… ▽ More Let $X$ be a normal projective variety defined over an algebraically closed field $k$ of positive characteristic. Let $G$ be a connected reductive group defined over $k$. We prove that some Frobenius pull back of a principal $G$-bundle admits the canonical reduction $E_P$ such that its extension by $P\to P/R_u(P)$ is strongly semistable. Then we show that there is only a small difference between semistability of a principal $G$-bundle and semistability of its Frobenius pull back. This and the boundedness of the family of semistable torsion free sheaves imply the boundedness of semistable principal $G$-bundles. △ Less

Submitted 27 September, 2004; v1 submitted 12 December, 2003; originally announced December 2003.

Comments: 23 pages; The final version of this article will be published in the Duke Mathematical Journal, published by Duke University Press

MSC Class: 14D20; 14J60

Journal ref: Duke Math. J. 128 (2005), 511-540

Logarithmic orbifold Euler numbers of surfaces with applications

Authors: Adrian Langer

Abstract: We introduce orbifold Euler numbers for normal surfaces with Q-divisors. These numbers behave multiplicatively under finite maps and in the log canonical case we prove that they satisfy the Bogomolov-Miyaoka-Yau type inequality. As a corollary we prove effective versions of Bogomolov's result on boundedness of rational curves in some surfaces of general type. Finally, we give some applications t… ▽ More We introduce orbifold Euler numbers for normal surfaces with Q-divisors. These numbers behave multiplicatively under finite maps and in the log canonical case we prove that they satisfy the Bogomolov-Miyaoka-Yau type inequality. As a corollary we prove effective versions of Bogomolov's result on boundedness of rational curves in some surfaces of general type. Finally, we give some applications to singularities of plane curves. △ Less

Submitted 19 December, 2000; originally announced December 2000.

Comments: 37 pages; AMSTeX

MSC Class: 14J17; 14J29; 14C17

Pluricanonical systems on surfaces with small K^2

Authors: Adrian Langer

Abstract: We prove that the bicanonical system on a surface of general type with K^2=4 has no base components and describe clusters contracted by 4K_X for a numerical Godeaux surface and 3K_X for a numerical Campedelli surface. We prove that the bicanonical system on a surface of general type with K^2=4 has no base components and describe clusters contracted by 4K_X for a numerical Godeaux surface and 3K_X for a numerical Campedelli surface. △ Less

Submitted 20 February, 1998; originally announced February 1998.

Comments: 10 pages in AMS-TeX

A note on k-jet ampleness on surfaces

Authors: Adrian Langer

Abstract: We prove Reider type criterions for k-jet spannedness and k-jet ampleness of adjoint bundles for surfaces with at most rational singularities. Moreover, we prove that on smooth surfaces [n(n+4)/4]-very ampleness implies n-jet ampleness. We prove Reider type criterions for k-jet spannedness and k-jet ampleness of adjoint bundles for surfaces with at most rational singularities. Moreover, we prove that on smooth surfaces [n(n+4)/4]-very ampleness implies n-jet ampleness. △ Less

Submitted 20 February, 1998; originally announced February 1998.

Comments: 11 pages in AMS-TeX