arXiv subjects
Publications and source records attributed to Sylvain Brochard.
Inspired by the patching method of Calegari and Geraghty, and a conjecture of de Smit that has been proved by the first author, we present a conjectural freeness criterion without patching for complexes over commutative noetherian local rings with derived actions, and verify it in several cases.
Let $M$ be a module over a Noetherian local ring $A$. We study $M$-independent sequences of elements of $\mathfrak{m}_A$ in the sense of Lech and Hanes. The main tool is a new characterization of the $M$-independence of a sequence in terms of the associated Koszul complex. As applications, we give a result in linkage theory, a freeness criterion for $M$ in terms of the existence of a strongly $M$-independent sequence of length $edim(A)$, and another freeness criterion inspired from the patching method of Calegari and Geraghty for balanced modules in their 2018 paper.
F. Diamond proved a numerical criterion for modules over local rings to be free modules over complete intersection rings. We formulate a refinement of these results using the notion of Wiles defect. A key step in the proof is a formula that expresses the Wiles defect of a module in terms of the Wiles defect of the underlying ring.
It is proved that if $φ\colon A\to B$ is a local homomorphism of commutative noetherian local rings, a nonzero finitely generated $B$-module $N$ whose flat dimension over $A$ is at most $\mathrm{edim}\, A - \mathrm{edim}\, B$, is free over $B$, and $φ$ is a special type of complete intersection. This result is motivated by a "patching method" developed by Taylor and Wiles, and a conjecture of de Smit, proved by the first author, dealing with the special case when $N$ is flat over $A$.
Automatic segmentation of pathological shoulder muscles in patients with musculo-skeletal diseases is a challenging task due to the huge variability in muscle shape, size, location, texture and injury. A reliable fully-automated segmentation method from magnetic resonance images could greatly help clinicians to plan therapeutic interventions and predict interventional outcomes while eliminating time consuming manual segmentation efforts. The purpose of this work is three-fold. First, we investigate the feasibility of pathological shoulder muscle segmentation using deep learning techniques, given a very limited amount of available annotated pediatric data. Second, we address the learning transferability from healthy to pathological data by comparing different learning schemes in terms of model generalizability. Third, extended versions of deep convolutional encoder-decoder architectures using encoders pre-trained on non-medical data are proposed to improve the segmentation accuracy. Methodological aspects are evaluated in a leave-one-out fashion on a dataset of 24 shoulder examinations from patients with obstetrical brachial plexus palsy and focus on 4 different muscles including deltoid as well as infraspinatus, supraspinatus and subscapularis from the rotator cuff. The most relevant segmentation model is partially pre-trained on ImageNet and jointly exploits inter-patient healthy and pathological annotated data. Its performance reaches Dice scores of 82.4%, 82.0%, 71.0% and 82.8% for deltoid, infraspinatus, supraspinatus and subscapularis muscles. Absolute surface estimation errors are all below 83mm$^2$ except for supraspinatus with 134.6mm$^2$. These contributions offer new perspectives for force inference in the context of musculo-skeletal disorder management.
We study in this article the dual of a (strictly) commutative group stack $G$ and give some applications. Using the Picard functor and the Picard stack of $G$, we first give some sufficient conditions for $G$ to be dualizable. Then, for an algebraic stack $X$ with suitable assumptions, we define an Albanese morphism $a_X : X\to A^1(X)$ where $A^1(X)$ is a torsor under the dual commutative group stack $A^0(X)$ of $Pic_{X/S}$. We prove that $a_X$ satisfies a natural universal property. We give two applications of our Albanese morphism. On the one hand, we give a geometric description of the elementary obstruction and of universal torsors (standard tools in the study of rational varieties over number fields). On the other hand we give some examples of algebraic stacks that satisfy Grothendieck's section conjecture.
Let $S$ be a normal base scheme. The aim of this paper is to study the line bundles on 1-motives defined over $S$. We first compute a dévissage of the Picard group of a 1-motive $M$ according to the weight filtration of $M$. This dévissage allows us to associate, to each line bundle $L$ on $M$, a linear morphism $φ_{L}: M \rightarrow M^*$ from $M$ to its Cartier dual. This yields a group homomorphism $Φ: Pic(M) / Pic(S) \to Hom(M,M^*)$. We also prove the Theorem of the Cube for 1-motives, which furnishes another construction of the group homomorphism $Φ: Pic(M) / Pic(S) \to Hom(M,M^*)$. Finally we prove that these two independent constructions of linear morphisms $M \to M^*$ using line bundles on $M$ coincide. However, the first construction, involving the dévissage of $Pic(M)$, is more explicit and geometric and it furnishes the motivic origin of some linear morphisms between 1-motives. The second construction, involving the Theorem of the Cube, is more abstract but perhaps also more enlightening.
Let $A\to B$ be a morphism of Artin local rings with the same embedding dimension. We prove that any $A$-flat $B$-module is $B$-flat. This freeness criterion was conjectured by de Smit in 1997 and improves Diamond's Theorem 2.1 from his 1997 paper "The Taylor-Wiles construction and multiplicity one". We also prove that if there is a nonzero $A$-flat $B$-module, then $A\to B$ is flat and is a relative complete intersection (i.e. $B/\mathfrak{m}_AB$ is a complete intersection). Then we explain how this result allows to simplify Wiles's proof of Fermat's Last Theorem: we do not need the so-called "Taylor-Wiles systems" anymore.
In this note, we present a few existence theorems for the quotient of a scheme by the action of a group. The first two sections are devoted to Grothendieck topologies and descent theory. The third one is dealing with quotients: we first give direct and (almost) complete proofs for the main existence results of SGA 3, exposé V. Then we discuss some specific situations: the quotient of an algebraic group over a field by a subgroup, the quotient of a group by the normalizer of a smooth subgroup, and quotients of affine schemes by free actions of diagonalizable groups. From place to place, the original proofs have been slightly improved (e.g. with the use of algebraic spaces). This note grew out of lectures given by the author in the CIRM (Luminy) during the Summer School "Schémas en groupes" in 2011.
We prove some finiteness theorems for the Picard functor of an algebraic stack, in the spirit of SGA 6, exp. XII and XIII. In particular, we give a stacky version of Raynaud's relative representability theorem, we give sufficient conditions for the existence of the torsion component of the Picard functor, and for the finite generation of the Neron-Severi groups or of the Picard group itself. We give some examples and applications. In an appendix, we prove the semicontinuity theorem for a (non necessarily tame) algebraic stack.
This text is my thesis, defended in June 2007, in the status it was at this time. The most important results are contained in the article "Foncteur de Picard d'un champ algébrique" to appear in "Mathematische Annalen" (see the preprint arXiv:0711.4545). In the article, some results have been added, and some previous results have been strengthened. However, the proofs of the results contained in the appendix (concerning the smooth-étale cohomology on an algebraic stack) have been removed. The thesis is only put on the ArXiv to provide a more lasting reference than my webpage for these proofs.
In this article we study the Picard functor and the Picard stack of an algebraic stack. We give a new and direct proof of the representability of the Picard stack. We prove that it is quasi-separated, and that the connected component of the identity is proper when the fibers of the stack are geometrically normal. We study some examples of Picard functors of classical stacks. In an appendix, we review the lisse-etale cohomology of abelian sheaves on an algebraic stack.