Skip to main content

Questions tagged [deformation-theory]

for questions about deformation theory, including deformations of manifolds, schemes, Galois representations, and von Neumann algebras.

25 questions from the last 365 days
Filter by
Sorted by
Tagged with
3 votes
0 answers
76 views

Natural transformation and Hochschild cohomology

I am reading the lecture note by Căldăraru:https://arxiv.org/pdf/math/0501094, in the last chapter of this note, he said that we should consider dg category instead of the derived category of coherent ...
TaiatLyu's user avatar
  • 395
2 votes
0 answers
127 views

Deformation of Category via Hochschild Homology

Given a $\mathbb{C}$-linear category $\mathrm{C}$, let’s understand $\mathbf{HH}(\mathrm{C})$, the Hochschild homology of $\mathrm{C}$ as natural transformation. Then for any $A\in \mathbf{HH}(\mathrm{...
TaiatLyu's user avatar
  • 395
1 vote
0 answers
101 views

On descending a section of a morphism between schemes from formal completion to étale local

Here's the case, which arises from the context of doing infinitesimal deformation. Given a DVR $(S,\mathfrak{m},\kappa)$ we have the completion $\hat{S}$ with respect to $\mathfrak{m}$. Say we have a ...
user623838's user avatar
2 votes
0 answers
129 views

Is the deformation of a $C^{\infty}$-manifold over Artin local algebra trivial?

$\DeclareMathOperator\Spec{Spec}$Let $X$ be a compact $C^{\infty}$-manifold without boundary. Let $(A,m)$ be a Artin local $\mathbb{C}$-algebra such that $A/m\cong \mathbb{C}$. Intuitively, a ...
Zhaoting Wei's user avatar
  • 9,019
3 votes
0 answers
156 views

A possible application of deformation theory?

Let $f : \mathbb{R}^{n} \to \mathbb{R}$ be a real-valued polynomial function. Consider the family of real algebraic sets: $$ V_c = f^{-1}(c), \quad c \in (-1,1). $$ I am interested in determining how ...
user82261's user avatar
  • 357
4 votes
1 answer
243 views

On the degeneration of the elliptic surface $E(n)$

The following matter should be widely known (if true). I am sorry for my ignorance! For the natural $n$, let $E(n)$ be the corresponding elliptic surface. In the analytic world, there exists a well-...
Ivan Karpov's user avatar
1 vote
0 answers
165 views

Perfect complexes in a family

Consider a simple normal crossings variety $X=\bigcup_{i=1}^k X_i$ over $\mathbb{C}$ where $X_i$ are smooth projectiv and a flat family $\mathcal{X}\xrightarrow{\pi}\mathbb{A}^1_{\mathbb{C}}$ with $\...
TheWildCat's user avatar
2 votes
0 answers
84 views

Infinity-morphisms for operadic algebras

Is there an already studied notion of $\infty$-morphism between algebras over a quasi-free operad $P = (T(E), \partial)$? If the operad $P$ is Koszul, or of the form $\Omega C$ for $C$ a cooperad, ...
groupoid's user avatar
  • 215
1 vote
1 answer
92 views

Explicit expression of simultaneous resolution of semi-universal deformation of ADE singularity

Denote the semi-universal deformation of ADE singularity by $\mathcal{Y}\to\mathfrak{h}^{\mathbb{C}}/W$, where $\mathfrak{h}^{\mathbb{C}}$ is the complex Cartan algebra of root system of type ADE and $...
Yuanjiu Lyu's user avatar
3 votes
0 answers
186 views

$H^2(X,T_X)=0$ implies the Frölicher spectral sequence degenerates at $E_1$?

Let $X$ be a compact complex manifold, if $X$ satisfies $H^2(X,T_X)=0$, then it is well-known that the Kuranishi space of $X$ is smooth by Kodaira and Spencer's deformation theory. On the other hand, ...
Tom's user avatar
  • 471
1 vote
0 answers
96 views

Birational deformations of holomorphic symplectic manifolds

Let $X$ and $X'$ be birational holomorphic symplectic manifolds. Then the birational morphism between them identifies $H^2(X)$ with $H^2(Y)$. The period space of $X$ is defined to be a subset of $\...
fgh's user avatar
  • 178
6 votes
0 answers
140 views

What is the DGLA controlling deformations of a group representation?

Fix a (discrete) group $G$, characteristic zero field $k$ and representation $\rho_0: G \to \mathrm{GL}_n(k)$. I want to consider the formal deformations of $\rho_0$. My understanding is there is a ...
affy's user avatar
  • 61
1 vote
0 answers
61 views

Quantisation of shifted cotangent bundles

The cotangent bundle $T^*X$ of a smooth space $X$ quantises (e.g. in the deformation quantisation sense) to the sheaf $D_X$ of differential operators on $X$. What is the analogous quantisation of the ...
Pulcinella's user avatar
  • 5,701
4 votes
1 answer
723 views

Reference request: Schlessinger's Thesis

Does anyone have a copy of Schlessinger's Thesis (not his paper "Functors of Artin Rings") As other posters have mentioned, this document is cited in Deligne-Rapoport's "Les schemas de ...
Ben C's user avatar
  • 3,625
4 votes
0 answers
93 views

Drinfeld centres and formal moduli problems

If $\mathcal{P}$ is a sufficiently nice operad, then by [Higher Algebra, 5.3] you can form its centre: $$\mathcal{Z}_{\mathcal{P}}\ :\ \mathcal{P}\text{-Alg}\ \to\ \mathbf{E}_1\text{-Alg}(\mathcal{P}\...
Pulcinella's user avatar
  • 5,701
2 votes
1 answer
208 views

Infinitesimal neighborhood and Ext group

$\DeclareMathOperator\Ext{Ext}$Let $X$ be a smooth projective complex variety and $\iota\colon Y\subset X$ be a smooth closed subvariety. It is well-known that there is a spectral sequence $$E_2^{p,q}=...
Jooh's user avatar
  • 389
1 vote
0 answers
47 views

Absolute irreducibility implies free action on framed universal deformation ring

Let $\overline{\rho}: G\longrightarrow \text{GL}_n(\mathbb{F}_p)$ be a residual representation of the Galois group of a number field. Let $R_{\overline{\rho}}^{\square,\text{univ}}$ be the universal ...
kindasorta's user avatar
  • 2,907
1 vote
0 answers
132 views

Extension of MMP from the central fiber to some neighborhood

I was reading Professor Kollár's paper deformation of varieties of general type (here: https://arxiv.org/abs/2101.10986 ) There is a theorem about the extension of MMP step when the central fiber has ...
yi li's user avatar
  • 225
1 vote
0 answers
109 views

One question about Manetti surface

I am reading Ascher-Devleming-Liu's paper "Wall crossing for K-moduli spaces of plane curves" theorem 5.2 ADL19 and l have some confusions about the proof. Theorem 5.2 states that fixed a ...
RedLH's user avatar
  • 41
2 votes
0 answers
139 views

Question about pro-representable Automorphism functor in Sernesi's "Deformations of algebraic schemes" with trivial relative Tangent space

Let $k$ be an algebraically closed field of arbitrary characteristic, $R$ a complete local noetherian, but non Artinian (see #Edit below for justification) $k$-algebra with residue field $k$ and $S$ a ...
user267839's user avatar
  • 6,018
2 votes
0 answers
129 views

Hodge coniveaux of Calabi-Yau manifolds

Let $X$ be a strict compact Calabi-Yau manifold of dimension $n$. By this, I mean that $X$ is a simply connected projective manifold whose holomorphic forms are generated by a nowhere zero top degree ...
Pène Papin's user avatar
2 votes
1 answer
363 views

Is the completed tensor product (over a complete dvr) of two reduced complete Noetherian local rings again reduced?

To be more specific, Let $\mathcal{O}$ be a finite extension of $\mathbb{Z}_{p}$. Let $A=\mathcal{O}[[X_{1},\ldots, X_{n}]]/\left( f_{1},\ldots,f_{r}\right) $ and $B=\mathcal{O}[[Y_{1},\ldots, Y_{m}]]/...
user521295's user avatar
1 vote
0 answers
115 views

Cokernel of map of dual of sheaves of differentials/deformations

Let $C$ be a nodal projective curve over an algebraically closed field of genus at least $2$. There are two natural "differential objects" one can consider: The sheaf of differentials $\...
Matthias's user avatar
  • 223
2 votes
0 answers
90 views

Formal neighborhood of isolated singularity via DAG

I work over a field of characteristic $0$, denoted $k$. Let $f:\mathbf{A}^{d+1}\rightarrow\mathbf{A}^{1}$ have an isolated singularity at $0$, and let $\widehat{Z}$ denote the formal neighborhood of $...
EBz's user avatar
  • 121
5 votes
0 answers
284 views

Formal neighborhood of stable curves

For a smooth projective curve $X/\mathbb{C}$, every (infinitesimal) deformation is trivial when restricted to $X \setminus x$ for any $x \in X$. In particular, all deformations can be obtained by “...
E. KOW's user avatar
  • 834