The tag has no wiki summary.

learn more… | top users | synonyms

2
votes
0answers
119 views

When is the Hom-scheme connected?

Suppose that $A$ and $B$ are two algebras finite over a field $K$ (which may be assumed to be separably closed, if that helps), then we know that the functor ...
9
votes
2answers
259 views

Infinitesimal deformations of the formal group of $\mathbb{G}_m$

For a commutative ring $R$, consider the formal group $\widehat{\mathbb{G}}_m$ over $R$ that is the completion of $\mathbb{G}_{m, R}$ along its identity section (naively, $\widehat{\mathbb{G}}_m$ is ...
2
votes
1answer
95 views

formally etale deformations of algebras

Let $A$ be a local artinian ring with residue field $k$, $S$ a $k$-algebra. Suppose there is a formally etale deformation $B$ of $S$ over $A$, i.e. a flat $A$-algebra $B$ such that $S\cong ...
5
votes
2answers
283 views

References for the moduli space of complex structures

I am looking for references where the moduli space of complex structures on a complex manifold is well explained: in particular the infinitesimal deformations, the obstructions, the elliptic complex ...
1
vote
1answer
161 views

Infinitely many rational nt multisection in elliptic K3 surfaces by deformation theory

I'm trying to read this paper of Bogomolov and Tschinkel http://arxiv.org/pdf/math/9902092.pdf about potential density of rational points on elliptic K3 Surfaces. I got quite stuck in Corollary 3.27 ...
4
votes
1answer
161 views

Deformation of curves and closed immersions

Let $\pi:\mathcal{C} \to B$ be a (flat) family of complex projective schemes of pure dimension $1$ with fixed Hilbert polynomial, in particular, for some $n \ge 3$, $\mathcal{C} \hookrightarrow ...
1
vote
1answer
122 views

Representability of deformation functors via SGA

I'm trying to understand Böckle's proof of Theorem 2.1.1 in his notes on deformation theory. Let's start with some motivation. Let $\Gamma$ be a profinite group (I'm thinking of an absolute Galois ...
0
votes
0answers
153 views

Flatness and intersection of fibers

Let $f:X \to Y$ be a flat, proper, surjective morphism between noetherian schemes. Assume $Y$ is irreducible and smooth over $\mathbb{C}$. Suppose that $X$ is the union of two schemes $X_1$ and $X_2$ ...
2
votes
0answers
81 views

Deformations of associative algebras and Hochschild cohomology

I am studying the deformation theory of associative algebras (and Poisson algebras) and came across a question for which I cannot find an answer: Let $(A,\mu)$ be a commutative associative algebra ...
2
votes
0answers
79 views

Residual scheme to local complete intersection schemes in the projective space

Let $A$ be an integral Noetherian $\mathbb{C}$-algebra. Denote by $\mathbb{P}^3_A:=\mathbb{P}^3_{\mathbb{C}} \times_{\mathbb{C}} \mathrm{Spec}(A)$. Let $X,Y$ be closed local complete intersection ...
6
votes
0answers
146 views

Reference or explanation: Cup products, deformations of complex structure and Mirror Symmetry

In section 0.3. of their paper "Frobenius Manifolds and Formality of Lie Algebras of Polyvector Fields," Barannikov and Kontsevich discuss the fact that Kontsevich's formality morphism (from his paper ...
10
votes
1answer
534 views

Associativity of Kontsevich's star product up to second order

In Deformation quantization of Poisson manifolds, Kontsevich gives the quantization formula $$f \star g = \sum_{n=0}^\infty \hbar^n \sum_{\Gamma \in G_n} w_\Gamma B_{\Gamma,\alpha}(f,g).$$ He gives ...
1
vote
0answers
70 views

miniversality vs versality

Consider a moduli problem $\mathcal{M}$. Assume, at each point $x$, the associated deformation problem $\mathcal{M}_x$ has a tangent-obstruction theory. It follows that $\mathcal{M}_x$ has a hull ...
7
votes
2answers
301 views

Deformations of a blowup

Let $S$ be a smooth projective surface over $\mathbb{C}$. (I guess this can be more general—higher dimension, other ground fields, non-projective, maybe even singular?—and I'dd like to hear that.) Let ...
4
votes
0answers
276 views

Obstructions to deformations of complex manifolds

Roughly, a deformation of a compact complex manifold $M$ (in the sense of Kodaira-Spencer) is a triple $(\mathcal{M},w,B)$ where $w:\mathcal{M}\to B$ is a holomorphic map over domain $0\in B\subset ...
2
votes
0answers
114 views

What is the technical difference between a deformation and a perturbation?

What is the technical difference between a deformation and a perturbation? Do they exist in somewhat different categories?
1
vote
0answers
120 views

How to determine a functor (natrually arising from geometry or homological algebra) to be locally of finite presentation?

How to determine a functor (natrually arising from geometry or homological algebra) to be locally of finite presentation? Is there any reference for such staff? My example of functors underlying this ...
3
votes
1answer
182 views

Classical deformation of algebras

Given a complex manifold (or a smooth scheme) $X$, the classical (infinitesimal) deformation theory is parametrized by the first cohomology with coefficients in the tangent sheaf $H^1 (X, T_X)$. ...
1
vote
0answers
81 views

wedge product deformation space Calabi-Yau fourfold

I know that the Lie bracket for $(1,1)$ vector field corresponds to the obstruction map in deformation theory. I was wondering if the wedge product of the deformation vector with itself has any ...
0
votes
0answers
65 views

Lie bialgebras cohomology

I am wondering if there exist a universal construction of (co)-chain complex associated to a given algebra to study deformations as Hochschild homology for associative algebras, or Chevalley-Eilenberg ...
1
vote
1answer
210 views

Smoothness and smoothness over formal neighborhood

Let $f:X\rightarrow Y$ a locally finitely presented map. Let $x\in X$ and $y=f(x)$. We assume that the map on the level of fomal neighborhoods $X_{x}\rightarrow Y_{y}$ is formally smooth, can we find ...
7
votes
0answers
221 views

Is Hironaka's example the only known deformation of Kähler manifolds with non-Kähler central fibre?

A well-known example in the deformation theory of compact complex manifolds is the one given by Hironaka in his 1962 paper An Example of a Non-Kählerian Complex-Analytic Deformation of Kählerian ...
1
vote
1answer
129 views

On the infinitesimal lifting property of non-singular affine schemes

Let $k$ be an algebraically closed field (not necessarily of characteristic $0$), $X$ a non-singular affine closed subscheme in $\mathbb{A}^n_k$ for some $n \ge 2$. Denote by $I_X$ the ideal of $X$ in ...
0
votes
1answer
220 views

Line on a hyper surface

Assume $X$ is a hyper surface in $\mathbb{P}^n$, can one always find a closed immersion $i:\mathbb{P}^1 \rightarrow X$?
2
votes
1answer
155 views

deformations of vector bundles on curves

Let $X$ be a smooth algebraic curve. Suppose I have a flat family $V_y\to X$ of vector bundles on $X$ over an affine scheme $S$. Let $p=Spec(k)$ be one geometric point of $S$. If the determinant of ...
1
vote
1answer
146 views

An application of the Grauert's upper semi-continuity theorem

Let $X$ be a smooth projective variety, $A$ a complete discrete valuation ring, $Y=\mbox{Spec} A$ and $f:X \to Y$ a smooth, projective, surjective morphism. Denote by $y$ the closed point of $Y$. Let ...
1
vote
2answers
145 views

Jacobian of a curve and field extension

Let $K$ be a field of characteristic zero and $X_K$ a smooth projective curve on $K$. Denote by $\bar{K}$ the algebraic closure of $K$ and $X_{\bar{K}}$ the base change of $X_K$ to $\bar{K}$. Under ...
3
votes
2answers
190 views

Injectivity under flat base change of the Picard group on smooth projective curves

Let $K$ be a field of characteristic $0$, $X_K$ a smooth projective curve over $K$. Denote by $\bar{K}$ the algebraic closure of $K$. The base change morphism $X_{\bar{K}} \to X_K$, induces via the ...
4
votes
0answers
80 views

$q$-deformations of fundamental equation of information and entropies

Classical information theory: fundamental equation of information In classical information theory, the information $I(A)$ of an event $A$ (any element of the $\sigma$-algebra $\mathcal F$ of a ...
4
votes
2answers
412 views

Are linear algebraic groups rigid?

The underlying variety of a linear elgebraic group (say, over an algebraically closed field) is affine, so doesn't have nontrivial (infinitesimal) deformations. I'm curious to know whether it's ...
4
votes
0answers
173 views

On the cohomology of Kontsevich graph complex

Kontsevich's formality theorem asserts that a certain quasi-isomorphism of chain complexes between the graded Lie algebra of polyvector fields on $\mathbb{R}^n$ and the dg Lie algebra of ...
0
votes
1answer
221 views

Obstruction and 1st order infinitesimal deformations of Generalized Elliptic Curves (Deligne-Rapoport)

We consider the deformation theory of a generalized elliptic curve $(C_0,+)$ over a field $k$. Let $D$ be the deformation functor. And now we only consider the case that $C_0$ is irreducible as in ...
5
votes
3answers
124 views

graded generalization of the Moyal–Weyl product

Has anyone written about the graded generalization of the Moyal–Weyl product/star product, that is, where the original algebra is already graded? Is it just a matter of signs?
2
votes
1answer
113 views

Generic vs General property of reducedness in a family of projective schemes

Let $\pi:\mathcal{X} \to B$ be a flat family of projective schemes, $B$ is irreducible. Let $\mathrm{Spec} K$ be a generic point on $B$. Denote by $\mathcal{X}_K$, the pull-back of $\mathcal{X}$. This ...
1
vote
0answers
77 views

Obstruction to Gorenstein Liaisons of space curves

Let $P_1,P$ be Hilbert polynomials of curves in $\mathbb{P}^3$. Denote by $H_{P_1,P}$ the flag Hilbert scheme parametrizing pairs $(C_1 \subset C)$ where $C_1, C$ are of Hilbert polynomials $P_1$ and ...
9
votes
1answer
333 views

Motivation behind the definition of hochschild cohomology

For an associative algebra $A$ one can define the Hochschild cohomology of $A$ as $ HH^n(A,A):= Hom_{\mathcal{D}(A^{op} \otimes A)}(A, [n]A)$ (this definition also works for the graded and dg cases as ...
4
votes
1answer
186 views

Surjectivity of certain cohomology groups on hypersurfaces of high degree

I had been reading an article by Spencer Bloch. There is a remark in this text which states the surjectivity of a particular map between cohomology groups without explaining further. I had been trying ...
6
votes
1answer
590 views

Kodaira-Spencer theory of deformation done right

I thought in asking this question on Math StackExchange, but by my experience I don' t think anyone will notice me. Recently, I started studying deformation of complex manifolds in the sense of ...
4
votes
1answer
185 views

Simple maps: Flat versus locally trivial

In deformation of complex analytic spaces, one usually considers an analytic proper simple surjective map $\varpi: \mathscr{M} \twoheadrightarrow \mathscr{P}$ as an analytic family. However the term ...
13
votes
1answer
336 views

Unobstructedness of braided deformations of symmetric monoidal categories in higher category theory

Let $k$ be a field of characteristic zero, and $\mathcal{C}$ be a $k$-linear additive symmetric monoidal category. A braided deformation of $\mathcal{C}$ over a local artin ring $R$ with residue ...
1
vote
0answers
61 views

Differential graded Lie algebras and gauge equivalent

For the Kodaira-Spencer complex $\Omega^{0,*}(T^{1,0})[[t]]$ on a compact complex manifold, with a Hermitian metric. It is well known that finding formal series solution $\Xi = \Xi_1 t^1 + \Xi_2 t^2 + ...
5
votes
1answer
251 views

formally smooth functor

Let $p$ be a prime number, $\mathcal{O}$ the integers of a finite extension of $\mathbb{Q}_p$ with residue field $k$. Let $\mathcal{C}$ be the category of complete, local, noetherian ...
0
votes
1answer
158 views

Is being fano preserved under flat base change [closed]

Let $K$ be a field of characteristic zero and $X$ be a projective variety over $\mbox{Spec} K$. Denote by $\bar{K}$ the algebraic closure of $K$. Let $\bar{X}$ be the fiber product $X \times_K ...
1
vote
0answers
129 views

Hochschild cohomology and bar resolutions

I asked the following question on mathstack but didn't receive any comments, so I thought I'd try my luck here. Let $A$ be an associative algebra over a field $k$. One can define $HH^n (A,A)$ as $ ...
4
votes
1answer
190 views

Simultaneous resolution of singularities in special cases of flat families of projective varieties

Let $\pi:\mathcal{X} \to B$ be a flat family of projective varieties. Assume that $B$ is irreducible. Suppose that $\mathcal{X}$ is smooth except for a closed subscheme, say $Y$ which is isomorphic to ...
3
votes
1answer
126 views

Deforming curves to other curves over the field of rational numbers

Let $X$ and $Y$ be smooth projective geometrically connected curves over $k$ of genus $g$ at least two. If $k$ is an algebraically closed field of characteristic zero, there exists a connected ...
0
votes
1answer
74 views

Two questions about line bundles over Kuranishi families

i'm studying the article "Variétés Kahleriennes dont la première classe de chern est nulle" by Arnaud Beauville and i have a couple of questions i would like to ask you, hoping they are not too ...
3
votes
1answer
284 views

Cohomology and proper base change

Let $\pi:\mathcal{X} \to B$ be a flat, projective surjective morphism over $\mathbb{C}$. Assume that $B$ is a smooth quasi-projective curve. Let $\mathcal{F}$ be a coherent sheaf on $\mathcal{X}$, ...
1
vote
1answer
158 views

On infinitesimal neighbourhood of a point in a projective scheme

Let $X, Y$ be irreducible projective schemes over $\mathbb{C}$ and $X \subset Y$. Let $x \in X$ be a closed point. Assume that for any positive integer $n$ and any morphism from $\mathrm{Spec} ...
2
votes
1answer
90 views

Equivalence of star products on two differents Poisson algebras?

Let $A$, $B$ be two commutative and associative $\mathbb k$-algebras and let $A_\hbar:=A[[\hbar]]$, $B_\hbar:=B[[\hbar]]$ be the corresponding ring of formal series. Of sense [Deformation theory and ...